2/7?
m
Suppose -r = -3*r. Let a be (-2)/6*(-4)/(-14). Is r at least a?
True
Let x = -14 + 18. Let b = -5 + x. Which is bigger: b or -5?
b
Suppose z = -3*d + 4*d, 0 = -3*d. Is z > -1/29?
True
Suppose 2*n = l + 3 - 4, -l = -5*n - 7. Which is smaller: -4 or l?
-4
Let s be 13/3 - 6/(-9). Let r = 4 - s. Do r and -1/16 have the same value?
False
Suppose -3*i = 17 - 2. Which is smaller: i or -4?
i
Let b(m) = -m**3 - 2*m**2 + m + 1. Let h be b(-2). Let c = h - -3. Let p be c/3 + 40/(-15). Is -2 bigger than p?
False
Let v = -3.6 + 2.7. Is v less than or equal to -1?
False
Let q be 2314/(-16848) + 2/(-32)*-2. Which is smaller: q or 1?
q
Suppose -4*j + 15 = -v, -j + 2*v + 2 = -7. Suppose -2 = -4*u + 2, 0 = -3*d + 2*u - 47. Let i be (-66)/d + (-4)/10. Is i greater than or equal to j?
True
Let h = 41/28 - 7/4. Which is greater: h or 1?
1
Let v be (-221)/624 - (-1)/6. Let f(u) = -u. Let l be f(1). Which is bigger: l or v?
v
Suppose 2*i + 2 = 8. Suppose 4 = -q + i. Let j = -7 + 7. Is j greater than q?
True
Let t = -135 - -135.1. Which is greater: -4/9 or t?
t
Suppose w = -h + 3, w + 4*w + 1 = 3*h. Let l be (-8)/3*(-3)/2. Suppose 0 = -l*u - r - 4, 2*u + 3*r - 4 = 6*u. Are w and u unequal?
True
Let z = -12.07 + 12. Let b = -0.17 - z. Let i = -0.3 - -0.5. Which is bigger: i or b?
i
Let c be (-2 - 21/(-9)) + (-4)/3. Are 4/35 and c unequal?
True
Let x(n) = -3*n. Let h be x(6). Let p = -14 - h. Which is greater: p or 2?
p
Let b(m) = -3*m + 10. Let y be b(-7). Let j = y + -19. Let z be 5/j + 4/(-6). Are 0 and z equal?
False
Suppose 2*q - 3 = 1. Suppose 0 = 5*y - 25, 2 = -2*x + 3*y - 7. Which is bigger: x or q?
x
Let m = -8 + 6. Let p = 18 + m. Suppose p = -0*w - 2*w. Which is greater: -9 or w?
w
Let f be (0 + -20)/(1/(-2)*-1). Are 0.1 and f equal?
False
Suppose 3*a - 9 = -5*n + 4*n, 4*n - 2*a + 20 = 0. Let d be -7*(6/2)/n. Which is smaller: 2 or d?
2
Let r(b) = 2*b - 6. Let l be r(6). Suppose 0 = 5*h - 5*d + 30, -d + l = -2*h - 2*d. Is h >= -4?
True
Let q(k) = k**2 - 3*k - 2. Let o be q(4). Let c be o/7 - 1/28. Which is greater: -3 or c?
c
Let a = -11 - -15. Let i be (a/(-10))/((-1)/5). Do i and 4 have the same value?
False
Let i = 14 - 9. Is -0.05 != i?
True
Let t = -55.6 + 63. Which is smaller: 1 or t?
1
Suppose 2*n - 44 = -2*a, 14 = -3*a - 4*n + 78. Which is smaller: 25 or a?
a
Let o be (-82)/264*-3 + -1. Which is greater: o or -1?
o
Suppose 0*h + 5*h - 5 = 0. Which is smaller: 1/4 or h?
1/4
Let c = 786/7 - 112. Do c and -0.2 have the same value?
False
Let v = 95/4 + -24. Suppose 20 = 4*i, -5 = -5*c + i + i. Let a = 2 - c. Is a at least as big as v?
False
Let p = -0.27 - -2.27. Which is bigger: p or -2/3?
p
Suppose -4*v - 2*v + 42 = 0. Let y be 2/v - (-12)/7. Which is smaller: y or 3?
y
Let s = 28.92 - 29. Let w = 7.08 + s. Is w > 1/2?
True
Suppose 0 = -3*d + 8*d - 20. Suppose -2*m = -3*f + 1, -2*m + f - 3 = -d. Suppose -3*x = -4*i + 5 - m, -2*x - 2 = -2*i. Is i <= 2/5?
False
Let p = -8.765 - 0.135. Let n = p - -9. Which is bigger: 2/7 or n?
2/7
Let x(n) be the second derivative of -5*n**3/6 + n**2/2 - 2*n. Let h be x(1). Let t be (-1 - h)*4/(-6). Is t greater than or equal to 0.1?
False
Let n = -0.03 - 0.17. Which is smaller: n or -1?
-1
Suppose -5*v = -4*u - 1, 5*u + 17 = 2*v - v. Let o be (v + -1 + 3)/(-4). Do 5 and o have the same value?
False
Suppose 3*f - f - 50 = 0. Suppose 0 = -4*r - r + f. Suppose -2*t - 5*m = -6*t + 5, -m = -t + 2. Is r smaller than t?
False
Let p = 1.96 + -2. Let l = p + 0.14. Which is greater: l or -0.1?
l
Suppose -4 = -3*r + 2*r. Let v(y) = 2*y - 6. Let t be v(r). Which is smaller: 3/4 or t?
3/4
Let y = 30 + -7. Which is bigger: y or 24?
24
Let w = -2.18 - -0.18. Which is smaller: -0.1 or w?
w
Let p be 42/11 + 4/22. Suppose 3*v + 17 = h, 2*v - 3*h = -p - 12. Let o = 4 + v. Is -1 at least o?
True
Let u = -0.09 - 2.91. Is -2/3 greater than or equal to u?
True
Let f be 14/(-6)*1*(1 + -4). Which is smaller: f or 3?
3
Let t = 127 + -187. Does t = -60?
True
Let m = -2.7 - -0.9. Let c = 1.2 - m. Is 2/7 at least as big as c?
False
Let y = 40 + -38. Are y and 0.08 unequal?
True
Let k = -5 + 8. Let g = k + -5.1. Let t = -2 - g. Are t and 2 nonequal?
True
Let h(q) = 12*q - 13. Let p be h(5). Is p <= 45?
False
Let l(j) = j**3 - 3*j**2 + 3*j - 2. Let h be l(2). Which is smaller: h or -1/34?
-1/34
Let w = -0.87 + -0.13. Is w greater than -28/9?
True
Let u be (-2)/206*(6 - (-22)/(-4)). Which is smaller: 0 or u?
u
Let x be -1 - (1 + -6) - 0. Let c = x - 2. Which is greater: 3/5 or c?
c
Let y(d) = -d - 7. Let z be y(-6). Which is bigger: z or -3?
z
Let c be ((-2)/(-1))/(0 + 2). Let f = 101680/11 - 323536/35. Let b = f - 2/55. Is c at most as big as b?
False
Let w be 0 + (-26)/(-6) - 4. Let k = -9 - -13. Is k greater than w?
True
Let g = -48 - -47. Which is smaller: -4 or g?
-4
Suppose -2*z - 28 = p, 0 = p + 2*p - 5*z + 95. Let g = p + 27. Does g = -0.06?
False
Let h = -0.2 - -0.2. Let c = -0.13 + 0.53. Is h at least as big as c?
False
Let q = 211 + -221. Let p = 16 - 25. Which is smaller: p or q?
q
Let m(k) = k**3 - 10*k**2 - 4*k + 19. Let r be m(10). Is -22 >= r?
False
Let v = -4.9 + 5. Which is smaller: v or -0.9?
-0.9
Let v be 1*(-3 + (-5)/(-2))*2. Which is smaller: v or 22?
v
Suppose 5*k + 5*i + 30 = 0, 5*k + 33 = -4*i + 2*i. Which is bigger: -6 or k?
-6
Suppose 1 - 2 = -u. Suppose u = -m, 7*m + 17 = -4*d + 2*m. Let t(a) = 3*a + 8. Let p be t(-3). Is d less than p?
True
Suppose 2*t + 4 = t. Let g be t/2 + 7/2. Is g less than 0?
False
Let p(k) = -4 + 2 + 4 - k + 2. Let t be p(2). Suppose t = -r + 1. Does r = -1/4?
False
Let u = 0.47 + -0.37. Which is bigger: -1.2 or u?
u
Let m be (-2)/(1 + (-5)/4). Suppose 5*j = m + 7. Suppose -2*v = 3*a - 1, 2*v = j*a + 6*v - 5. Which is greater: a or 1?
1
Let z(g) = -g**3 + 3*g**2 - 3*g + 7. Let c be z(3). Let m be (-24)/18 + c/3. Suppose -4*y = -12, 5*a - 4*y + 16 = -6. Is a greater than or equal to m?
True
Let v = 32/3 + 5/3. Let y = v + -26/3. Is 3 less than y?
True
Let h = 10.3 + -10. Is -3 less than or equal to h?
True
Let x be 18/(-168)*(-14)/36. Which is smaller: x or 0?
0
Let i = -4.7 - -2.8. Let y = i + 0.9. Is y > 1/5?
False
Let f = -126 + 1636/13. Let z = -1 - -1. Which is smaller: z or f?
f
Suppose 3*g + 33 = -h, -2*g - 2*g + h - 51 = 0. Let t be (-17)/(-51)*g/(-10). Is 1 smaller than t?
False
Let q = 50 + -49.6. Is 0.5 equal to q?
False
Let h be (1/2)/(15/30). Let u be 4/6*(-1)/(-6). Does u = h?
False
Let j = -15 - -19. Is 4 > j?
False
Let s = 7/11 + 19/22. Let k be -4*(-1)/(16/12). Is k bigger than s?
True
Suppose 2*p - 3 = 3*p. Let u be 1/1 - p/(-2). Suppose 4*d = -3*t - 7 - 1, -2*t = 2*d + 4. Is u < d?
False
Let o = -59 - -58.82. Which is greater: -2/7 or o?
o
Let q = -2.6 + 0.6. Let v = q - -5. Which is bigger: v or -1?
v
Let x be 8*((-2367)/66)/3. Let q = x + 96. Is 1 less than or equal to q?
False
Let w(v) = v**3 - 20*v**2 - v + 19. Let s be w(20). Let k be (-7)/12 - (-3)/(-12). Which is smaller: k or s?
s
Let l = -581 + 2884/5. Which is greater: l or -3?
-3
Let m = 0.3 - 0.4. Let v = -4 + 4.06. Let b = 0.16 - v. Which is bigger: m or b?
b
Suppose 0*v - 36 = -3*v. Are 12 and v equal?
True
Suppose -47 = 5*c - 4*j + 18, 3*j + 21 = -4*c. Let x = c + 10. Is x greater than 2?
False
Let w = -30025 - -210856/7. Let t = 97 - w. Let s = t + 1/28. Do -2 and s have the same value?
False
Let b = 2949 + -20583/7. Which is bigger: 9 or b?
9
Suppose -2*u = 3*f - 21 + 6, 0 = 2*f - 10. Suppose 5*i + 31 = 4*s - u*i, -4*s = -4*i - 28. Suppose 0 = 4*l - 2*l - 4. Is l less than s?
True
Let x = 1.7 - 1.754. Is x >= -0.1?
True
Suppose 4*u = -2*g - 1 + 3, g = -u. Is g bigger than -3?
True
Let k = 45 - 46. Is 2/11 <= k?
False
Let g(z) = -3*z + 12. Let m be g(0). Which is greater: 13 or m?
13
Let t = -31 + 61/2. Which is greater: t or 1?
1
Let p = -304/7 - -16105/371. Let d = p - -56/159. Which is bigger: 1 or d?
1
Suppose -3 = 4*l - l. Let f = -0.33 - 6.57. Let y = f - -7. Which is smaller: y or l?
l
Let q = 19 + -18. Is 4 < q?
False
Suppose 3*j = -5*v + 15, -v - 3*j - 18 = -9. Suppose 2*g - 7*u = -3*u + v, -3*g + 9 = -5*u. Which is bigger: 4 or g?
4
Let y = -5822/15 - -388. Let o be (-2 + 6/4)*-8. Suppose -4*c - 2*k = -2*c - 8, 0 = -4*c + o*k - 8. Which is greater: c or y?
c
Let o(x) = -7*x**3 + 2*x**2 - 2*x + 