 -2/25?
False
Suppose q + q + 10 = 0. Let k = 5 + q. Suppose 3*h - 42 = 5*t, -3*t + h - 32 + 10 = k. Are 2/7 and t non-equal?
True
Suppose 3*x = 0, 2*x + 35 = 5*h - 5. Let g = h - 6. Let f be (g/20)/(21/14). Is f smaller than -1?
False
Let h = -1428 + 1807. Is h not equal to -2?
True
Let m = 23 + -23. Let d = -53.3 + 56. Let k = d + -2.75. Is k bigger than m?
False
Let s be (9/(-48))/((-83)/6308). Which is smaller: 14 or s?
14
Let t(k) = 7*k**2 - 136*k - 9. Let c be t(20). Which is bigger: 1 or c?
c
Suppose 264 = 2*k + 2*s, 0 = 4*k + 5*s - 0*s - 527. Is k at most 132?
False
Let f be 5*((-2490)/51 + 3). Let o = f - -229. Which is greater: 0 or o?
0
Let c be 5 - ((-2)/(-118))/(39/11499). Which is smaller: c or 1?
c
Suppose 2390*z = 2394*z. Which is smaller: z or -3/22?
-3/22
Let h = 104 - 96.5. Let t = -6.8 - 1.2. Let i = t + h. Which is bigger: -0.2 or i?
-0.2
Let a = -0.1569 - 144.8431. Which is smaller: -0.3 or a?
a
Let b = -343 + 345. Is -107 > b?
False
Suppose 5*q = -0*q + 120. Suppose -j + 21 = 2*l, -115 = -4*j + 4*l - 19. Which is bigger: q or j?
q
Let h(x) = 314*x - 5009. Let t be h(16). Let o = 11/4 - -47/4. Are o and t equal?
False
Let g = -158 + 152. Which is greater: -9 or g?
g
Suppose -4*f = -5*i + 85, -3*f + 5*i + 30 = 95. Which is bigger: f or -62/3?
f
Suppose -4*v + 0*s - 5*s = 25, 5*v - 25 = 5*s. Suppose 137 + 43 = 3*x. Let q = x - 66. Is v at most as big as q?
False
Let x be 10/35 - (-23)/(-7). Suppose -3*k + 7*k + 8 = 0. Let w(n) = 2*n - 1. Let u be w(k). Are x and u non-equal?
True
Let z(c) = 4*c + 1. Let g be z(-1). Let k(b) = -2*b**2 - 18*b - 2. Let o be k(-9). Let x be 1*((-6)/o + g). Which is greater: -2 or x?
x
Let u = 9 - 8.55. Let o = 0.35 - u. Let z = 14.7 + -15. Is o >= z?
True
Let n = -97 + 65. Let t = n - -35. Are 5/3 and t unequal?
True
Let b(v) = -2*v**2 - 21*v + 101. Let d be b(4). Which is greater: d or -29?
d
Suppose u + 4 + 19 = -3*p, -3*u + 3*p - 9 = 0. Let d = -3 - u. Let j(i) = -4*i + 11. Let w be j(d). Which is bigger: w or -8?
-8
Suppose 8*d = 3*d - 5. Let z be (-12)/(-76)*(-52)/(-6). Let l = -324/209 + z. Is d > l?
False
Let j = -676/21 - -45236/1407. Which is bigger: 0 or j?
0
Suppose -5*i - 689 = -r, 4*r - 855 = 5*i - 154. Is -137 smaller than i?
False
Let h(i) = 13*i**2 - 1. Suppose -g = -5*g - 2*n - 4, 4*g - 4*n - 20 = 0. Let d be h(g). Suppose -w + d = -4*w. Is w greater than or equal to -5/2?
False
Suppose 4*n + p = -2*p + 21, -3 = 3*p. Suppose 5*c - 2*v + 48 = 0, -2 = -2*c - 3*v - n. Let f = 22 + c. Which is greater: 13 or f?
f
Let x = -0.75 - -0.01. Let b = x - -0.54. Let q = 0.34 - 0.04. Is b greater than or equal to q?
False
Let b be 22 - 4 - (-4 - 0). Let y be (b/66)/(1/9). Is y at most as big as 3?
True
Let r = -0.154 + 0.004. Let c = r - 1.85. Is -35 equal to c?
False
Let g = -18 + 15. Let j be (g/(-147))/(-3 - 7). Let w = j - -1051/490. Is w <= 3?
True
Suppose 3*a = -64 + 49. Which is smaller: 6 or a?
a
Let w = 2701/5 - 542. Is w greater than 14?
False
Let p(x) = -x**3 - 14*x**2 + 1. Let y(a) = -a**3 - 5*a**2 + 3*a + 1. Let b be y(-5). Let m be p(b). Let d be (-5)/(-12) - m/6. Which is smaller: 1 or d?
d
Let p = -240 - -311. Is p smaller than 75?
True
Let g be 15 - (1 + -1*8/(-4)). Is 0 at most as big as g?
True
Let z be 2/16 + (-4 - (-8120)/64). Which is smaller: z or -3?
-3
Let z = 40/7 + -934/161. Suppose 2*u = 3*u - 7. Let v = u - 7. Is v at most as big as z?
False
Let h be (1 - -3) + (2 - 4). Suppose 0 = -h*i + 1 + 9. Suppose -i*l = 5*g + 35, 4*g = 7 + 5. Which is smaller: -11 or l?
-11
Let k(s) be the first derivative of -s**4/4 - 14*s**3/3 - 5*s**2 - 5*s + 25. Let v be k(-13). Which is smaller: -43 or v?
v
Let c be (0 - -1)/((-4)/8). Let l be 36/10 - c/5. Suppose -l*a + 3*a = 2*y - 1, 3 = -y - 4*a. Which is bigger: y or 3/14?
y
Suppose 5*t - 2*n = -13 - 78, t = 3*n - 13. Let v = -18 - t. Let j be 18/(-27) + (-80)/(-66). Are v and j equal?
False
Let k = -0.2 - -1.2. Let v = -195.979 + 183.97. Let r = v - -0.009. Is k < r?
False
Let q(u) = -6*u**2 + 14*u - 5. Let f be q(3). Is -35/2 not equal to f?
True
Let k = 0.7866 + -2.7866. Let v = -2 - -3. Let s be (-4*v)/(2/4). Is s at least k?
False
Suppose 27 = o - 4*o. Let w be -2*(3/(-4) + 2)*(-4 + 8). Is o > w?
True
Let p = 700 - 700.2. Is p equal to -1.6?
False
Let f = -64.8 - -65. Let u = -5459/17 - -321. Which is smaller: f or u?
u
Let o be -8 + 1*(0 + -2). Let m(y) = y**2 - 19*y - 9. Let i be m(20). Let b = i + o. Are 1 and b equal?
True
Let d = 1 + 3. Suppose -3*c + 2*g + 157 = 0, -c - 3*g + 67 = -0*g. Let x be d/10 + c/(-325). Is -1 > x?
False
Let n = -1256 + 1322. Is n less than 72?
True
Let f(y) = y**3 + 6*y**2 - 9*y - 6. Let t be f(-7). Let g = -4 + t. Let h = 43.5 + -47.5. Which is smaller: g or h?
h
Suppose 0*k + 2 = k. Suppose -i + 5*l = -0*l - 15, 4 = -k*l. Does -0.2 = i?
False
Let h = -0.1 + 0.2. Let n(c) = -c**3 + 10*c**2 + 12*c - 9. Let f be n(11). Suppose -7*p + f*p + 15 = -5*k, 0 = 3*k - p + 7. Which is bigger: h or k?
h
Let t = -9 - -5. Let l = t + 4. Suppose -q + 2*q + 2 = l. Is q not equal to -2?
False
Suppose -20 = 4*k - 9*k. Suppose -4*j - 18 = -2*r, 3 = -0*j + 3*j + 4*r. Let u = k + j. Which is bigger: -1 or u?
u
Let u = 0.606 - 0.391. Which is greater: 2/7 or u?
2/7
Let p = -23 - -8. Let h(w) = -w**2 - 16*w - 6. Let v be h(p). Is v >= 8?
True
Let b = 154 - 150. Suppose 6*y + 250 = b*y + 4*o, 2*y - 5*o = -248. Is -130 greater than or equal to y?
False
Suppose -x + 5*z - 4 = 2*z, 0 = 2*x - 4*z. Let k be 2 + 9*(-2)/x. Does 16 = k?
False
Let l(h) = 2*h**2 - 32*h - 9. Let u be l(23). Which is bigger: u or 311?
u
Suppose 2*p - 2 = -p + 2*l, -3*p - 10 = l. Let a = -354 - -339. Is p equal to a?
False
Let l = 221.3 + -221.3. Which is smaller: 8/43 or l?
l
Suppose -4*v - 1 = 4*p - 9, 3*p = 4*v - 22. Let l be p/(-7) - (-24)/14. Is 4/7 smaller than l?
True
Let m = -2 - -1.95. Let l = 0 + -6. Let u = 7 + l. Is m <= u?
True
Let v = -176.94 + 177. Which is smaller: v or -0.1?
-0.1
Let r = 45 + -44. Let i be ((-6)/(-9))/(r - (-5)/(-3)). Which is smaller: i or -4/37?
i
Let s = 2 + -1. Suppose q + 9 = 27. Let i be (-10)/24 + q/27. Which is bigger: i or s?
s
Let p = 1.7 - 1.8. Let z = -29.984 + -0.016. Let q = 30.05 + z. Which is greater: p or q?
q
Let h = 2 - 8. Suppose 0 = j + 3 - 42. Suppose 5*i = p - j, -i + 5*p - 40 + 13 = 0. Which is greater: h or i?
h
Let v = -2126/385 + -6/77. Suppose 0 = 23*x + 38 + 123. Is x at least v?
False
Suppose -6 = -4*w + 5*h, -5*w + 10 = -2*h - 3*h. Is 9 greater than w?
True
Let i(a) = a - 5. Let n be i(6). Let o be (2 + -3)*(1 - n). Is -1 smaller than o?
True
Let x = -13.6 + -1.4. Let h = x - -15.2. Which is greater: 0 or h?
h
Let m = 648 + -660. Is m smaller than -64/5?
False
Let m = -1026 - -1026. Which is greater: m or -20?
m
Suppose -2*q = -4*q. Let d(n) = -n - 12. Let h be d(0). Let k be ((-2)/h)/(2/8). Is k at least as big as q?
True
Let b = -1424/33 - -306/11. Is b bigger than -15?
False
Let c be 1*-1*(-1)/(-3). Suppose -3*s - s = 4*o - 68, 2*s - 5*o = 6. Suppose -s*y = -2*y. Is y >= c?
True
Let f(j) = -7*j + 43. Let a be f(6). Let q be ((-147)/(-30) - a) + (-3)/1. Which is smaller: 1 or q?
q
Let i = 7 + -6.94. Let c = -5.94 - i. Let l = c + 5.97. Is l at least as big as 1?
False
Let d be (-48)/(((-30)/4)/5). Which is smaller: 27 or d?
27
Suppose -3*j - 267 = -z, -5*j - 148 - 295 = -z. Let t be j/(-42) - (7 - 5). Which is greater: t or 1?
1
Let r be ((-8)/12 + 1)*-138. Let p = r + 41. Is -6 smaller than p?
True
Suppose 0 = -9*k - 351 - 90. Which is bigger: -51 or k?
k
Let x = -46540 - -790953/17. Which is bigger: x or -14?
x
Suppose 2*a - a - 5*w = 12, 3*w = -9. Suppose -5*t = -0 - 10. Suppose -l - 4*y = 14, -l + y - t + 3 = 0. Is l bigger than a?
True
Let h = 11063/70 - 158. Let i = 5/14 + h. Is 16 less than i?
False
Suppose -18 = o - 5*g, 2*g + 0 = o + 21. Let v = 105 + -85. Let y = v + o. Is -15/7 greater than or equal to y?
True
Let q(g) = -68*g - 5. Let r be q(-10). Let b be (-4 - 0) + r/168. Is b != -1?
True
Suppose -3*c + 6*c + s = -7, -5*c = -5*s + 25. Let q = 5 + c. Let m be (6/20)/((-24)/(-20))*-2. Are m and q unequal?
True
Suppose x = g + 49, g + 34 - 132 = -2*x. Does x = 49?
True
Let q = 0.317 - 0.297. Which is smaller: q or -1/14?
-1/14
Suppose 12 = -3*t + 6*t. Let d be (-5