maller: u or p?
u
Let t = -0.98 + 0.08. Let q = -0.4 + 0.3. Let p = q + t. Which is greater: p or -0.1?
-0.1
Let a = 27/145 + 2/145. Suppose 0 = -3*v - 30 - 6. Let u = 11 + v. Which is bigger: a or u?
a
Suppose 0 = 4*a - 13 + 5, -n - 3 = -a. Let x = n + 4. Suppose 26 = -x*v + 2*v + 5*u, 0 = u - 5. Which is smaller: v or -2/7?
v
Suppose 0*m = -5*h - 4*m - 53, 4*h - 3*m + 30 = 0. Is h less than -9?
False
Suppose 2*r + 7 = -91. Is -50 greater than or equal to r?
False
Let m(s) = -13*s - 5. Let c be m(-2). Which is greater: 20 or c?
c
Let x(d) = -d**2 + d + 2. Let y be x(0). Let o = -7 + y. Let n(b) = 5*b + 1. Let q be n(-1). Is o equal to q?
False
Let d = 0.5 - 0.5. Let n = -1 + d. Which is smaller: n or 0.05?
n
Let i(v) = 69*v**2 + 4*v + 2. Let x be i(-1). Which is bigger: x or 66?
x
Let t be (-3 - (0 + 0) - 0) + -7. Are -12 and t nonequal?
True
Let m(i) = -i. Let t be m(1). Is t <= 1/3?
True
Let m = 1 + -0.8. Let g = -1.1 + 1.3. Let s = m - g. Which is bigger: 0.9 or s?
0.9
Let g(o) = -o**3 - 13*o**2 + 13*o - 14. Let s be g(-14). Which is bigger: 3/4 or s?
3/4
Suppose c - l - 2*l = 8, 4*c + 3*l - 2 = 0. Suppose -29 = -4*h - 3*r, -h - 3*r = c*h - 24. Let p = 4 - h. Is -3/2 < p?
True
Let s = 13 - 16. Which is bigger: -2 or s?
-2
Suppose u = -u - f - 13, 0 = -5*u - 5*f - 40. Which is smaller: u or -8?
-8
Suppose 1 + 4 = 5*q. Suppose -4*z + q = -r, -4*z + 0 = -2*r - 2. Are 0 and z unequal?
False
Let u = -10 - -12. Let h = 3 - u. Is 1 >= h?
True
Let k = 0.19 + -0.07. Let x = k - -0.08. Let a = 0.4 + -2.4. Do x and a have the same value?
False
Suppose -3*u = -5*t + 10, -2*t - 5*u = -5*t + 6. Suppose t*z + 180 = -z. Let l be (8/z)/(1/3). Is l at most as big as -0.7?
False
Let i(b) = -2*b - 1. Let f = -9 - -8. Let p be i(f). Do p and 1 have different values?
False
Let y be 4/(-22) + 70/22. Which is greater: y or -1?
y
Let x be (-44)/(-16)*2*-1. Which is bigger: x or -7?
x
Let o = -6 + 4. Let g = 9 - 7. Let n = -4 + g. Is o greater than n?
False
Let p = 0.27 - 0.67. Does -0.2 = p?
False
Let z = -5 - -3. Let q be 6/12*(z - 0). Which is greater: -1/3 or q?
-1/3
Let l(v) = -v**2 - 4*v + 2. Let x be l(-4). Suppose -20 = -4*a + 2*i, -a - 4 = -x*i - 12. Suppose a = 6*w - 2*w. Is w smaller than 0?
False
Let l be 10/(70/(-21)) + (-73)/(-25). Is 0 at least as big as l?
True
Let u be (-6)/15*(-3 - -2). Which is bigger: 1 or u?
1
Let c(l) = -l**3 - 7*l**2 + 7*l - 2. Let m be c(-8). Let p be m/(-9) + 22/15. Suppose -4*s + 3 = y - 2*y, 5*s - 2*y - 3 = 0. Which is smaller: s or p?
p
Let y = -787 + 3117/4. Is -8 bigger than y?
False
Let i be (1*(-3)/3)/1. Is i at least 3/14?
False
Suppose s - 5 = -q - 4*q, q - 39 = -4*s. Suppose 2*c = 7*c - s. Suppose -5*l + c*l = -3. Which is bigger: 2 or l?
2
Suppose -6*s = s + 70. Let m = s + 12. Which is smaller: m or 1?
1
Let c = -3 + -3. Let t = 5.9 + c. Let a(v) = 3*v - 11. Let m be a(5). Which is smaller: t or m?
t
Suppose 12 = -0*l + 3*l. Suppose l*x = x + 6. Let z = 26 + -101/4. Which is smaller: x or z?
z
Let r = -295 + 293.03. Let b = -0.05 - -0.02. Let f = b + r. Are f and -0.1 equal?
False
Suppose -c = -4*x - 39, -5*c + 4 = 3*x + 39. Which is smaller: -11 or x?
-11
Suppose 0 = 4*z + 5 + 27. Which is greater: 1 or z?
1
Let r be 39/5 + 24/(-30). Which is smaller: 12 or r?
r
Let d be 64/10 + 2/(-5). Suppose d*r - 2*r = 0. Which is smaller: -0.05 or r?
-0.05
Suppose -18*u - 63 = -15*u. Is -22 at most as big as u?
True
Let v = 0.9 + -2.9. Which is smaller: -0.06 or v?
v
Let d = 2 - 4. Let y be (-2)/d - (-20 - 7). Suppose -3*a + 15 = 0, -4*i + y = 6*a - 2*a. Is i not equal to 2?
False
Let h be (1 - 0)/(-1) - -2. Let f = 226/1001 + -4/91. Is f >= h?
False
Let c be (2 + -3)*(3 + 16). Are -19 and c nonequal?
False
Let v be (342/(-108))/((-2)/4). Are v and 5 unequal?
True
Let i(z) = -4*z + 4*z + 11*z**2 - 1 + z**3. Let m be -22*(-3)/(-6 - 0). Let b be i(m). Is b less than -3?
False
Let i(s) = 4*s - 6. Let t be i(3). Which is greater: t or 5?
t
Let p be -3*(2 + 0 - 1). Let x be p/((-1)/2*2). Let i be x/6 + (-7)/10. Which is smaller: i or -2?
-2
Let x be ((-1)/(-3))/((-1)/(-3)). Let v = 2 + x. Which is greater: v or 4?
4
Let a(z) = 3*z + 1. Let u be a(5). Suppose u = 2*q + 5*j, 3 - 2 = q - j. Let v = q + -4. Which is smaller: v or -2/5?
v
Let y be 2/12*(-4)/(-3). Suppose 5 = 2*u - 3. Suppose 22 = m - u*f, -2*m + 3*f = -0*m - 19. Which is bigger: m or y?
m
Let n = -4 - 2. Let a = n + 5. Which is bigger: a or -1/11?
-1/11
Suppose -10 + 26 = -4*h. Let u = 2 + h. Is u smaller than -1/2?
True
Let z = -35 - -25. Let t = 9 + z. Is t at most -1?
True
Let g be (-16)/(-88) + 3552/550. Let y = g + -7/50. Which is smaller: 6 or y?
6
Let f = 0.07 + -0.07. Let v = 3 - 3.01. Is v smaller than f?
True
Suppose 3*c + 12 = -c. Let u = -2 - c. Is 0 at most as big as u?
True
Let v = 1/159 + 631/795. Do v and 2 have the same value?
False
Suppose 5*f - 2*i - 2 = 0, -f - i - 4 = 3*i. Suppose f = 3*l + 13 + 5. Let v be ((-2)/3)/(2/l). Which is greater: v or 1/2?
v
Let s = 14 - 8. Suppose -3*w + s = 0, 4*b - 8*b = 3*w - 2. Suppose 5*j + 20 = 5*n, -20 - 8 = 3*n + 5*j. Is n greater than b?
False
Let t(g) = -g**2 + g + 4. Let k be t(0). Suppose 5*a + 16 = 6, -3*a - 6 = -k*z. Let n = -52/15 + 24/5. Which is greater: z or n?
n
Let x be (1/4)/(-8 + 426/48). Let d be (-2)/7 + 44/7. Let c be ((-2)/d)/(3/9). Which is smaller: c or x?
c
Let c(d) = -2*d**2 + 7*d - 6. Let u(r) = r**2 - 6*r + 6. Let h(l) = 2*c(l) + 3*u(l). Let b be h(-5). Is 1 at most as big as b?
True
Let v = 19 + -29. Let a be 4/10 + (-36)/v. Suppose 0 = -4*x, -4*x + 1 = -k + 4. Is a equal to k?
False
Suppose -46 = 2*w - 4*w. Suppose -z = 5*s + w, z + 3*s = -22 + 9. Is 1 greater than z?
False
Let b = -18 + 19. Let h = 29 - 20. Let n be (b/(-2))/(h/2). Is 0 <= n?
False
Let x = -19 - -25. Is x >= 6?
True
Suppose 2*g - t + 14 = 0, -5*t = -2*t. Let a be 36/5 + (-1)/5. Suppose -j + a = -2*j. Are g and j unequal?
False
Let s = 2.04 + -0.82. Let j = s - -0.82. Let o = j - 0.04. Which is greater: o or 0?
o
Let j be (-27)/12 + (-1)/(-4). Suppose -4*y + y = 5*k + 1, 1 = k. Is y at most as big as j?
True
Let l(v) = v**3 + 5*v**2 - v - 5. Let n be l(-5). Suppose 5*u - 2*j = -7, 0 = -4*u - 4*j - 0*j. Which is smaller: u or n?
u
Let f = 8745/116 + 317371/1508. Suppose 0 = -2*l - 75 - 497. Let c = f + l. Is 1 at most as big as c?
False
Let d = -1 + 0.9. Let k = 3 - -1. Let p be (2/12)/(k/12). Is p equal to d?
False
Let s = -0.3 - 0.7. Is s < -14?
False
Let x = -0.21 - -0.2. Let i = -0.236 - 0.054. Let p = -0.39 - i. Which is greater: p or x?
x
Let f = 7 + -15. Let g = f - -3. Let n = -1 + -3. Is n > g?
True
Let o(r) be the third derivative of -r**5/60 + r**4/3 - 3*r**3/2 - r**2. Let l be o(6). Suppose w + 4 = l*w. Which is smaller: 6/11 or w?
6/11
Let y = 43 + -31. Let z be 6/4 + y/(-8). Let v be (z/(-2) - -1)*-1. Is -1/4 at most v?
False
Let r(q) = q**2 + 4*q + 2. Let a be r(-3). Suppose -5*c = -2 - 28. Let u(x) = x - 6. Let l be u(c). Is l smaller than a?
False
Let h = -1313 + 22328/17. Is -1 at least as big as h?
False
Let m = -0.3 + 1.3. Is m greater than or equal to 12?
False
Suppose -2*b - 10 = 2*b + 2*o, -o = -b + 2. Is 12/11 at least b?
True
Let z be -8*((6 - -2) + -3). Is z <= -41?
False
Let w(u) = -3*u + 5. Let z be w(2). Let g = 4.94 - -0.06. Which is smaller: z or g?
z
Let i = -1079.03 - -1073. Let t = i + 6. Let c = 0.9 - -0.1. Are c and t nonequal?
True
Let s = -19 - -15. Let k be (-24)/(-9)*(-6)/s. Which is greater: 2 or k?
k
Let v be 7*(-3)/3*-1. Let d be (-2)/v + (-45)/(-84). Which is greater: 0 or d?
d
Suppose 5*l = -10, -3*z + 3*l - 4*l = -1. Which is smaller: z or 14?
z
Let l = 28 + -25. Suppose l*g - t = t - 22, -10 = -2*t. Suppose j + 5 = -3*q, 4*q - 3*q - 3*j + 15 = 0. Is q at most as big as g?
False
Let s be 1/3 - 15/20. Let l = -1/4 + s. Which is bigger: l or -2?
l
Let p = -20/7 + 41/14. Let r = p - 3/14. Which is smaller: 0 or r?
r
Let r = -8 + 4. Which is smaller: -14/5 or r?
r
Let y = -0.5 + 0. Let u = y - -0.48. Which is greater: -1 or u?
u
Let u(n) = -4*n**2 + 8*n + 5. Let l(s) = 3*s**2 - 8*s - 6. Let x(c) = -5*l(c) - 4*u(c). Let z be x(-5). Is -5 at most as big as z?
True
Let x(u) = u**2 - 6*u + 7. Suppose 2*q + 50 = 7*q. Suppose 3*d - 5 = -4*t, d + 4*d + q = -3*t. Let w be x(t). I