
True
Let f(n) = -7*n - 44. Let a be f(-7). Suppose 2*x - a*x = -5*x. Which is smaller: x or -17/25?
-17/25
Let y be 6 + -8 + (-10 - -5). Let d = 59/3 - 76/3. Which is greater: d or y?
d
Suppose 0*d + 17 = 2*c - 5*d, -5*c = 5*d - 60. Let m(v) = v**3 + 9*v**2 + 36*v - 9*v**2 - 12*v**2 - 24*v - 16. Let a be m(c). Which is smaller: -4 or a?
a
Suppose -2*k + 4*v - 6 = 0, 5*k - 9 = -v + 31. Let n(u) be the second derivative of u**3/2 - 6*u**2 - 23*u. Let y be n(k). Which is bigger: 8 or y?
y
Let x = -11053 - -6449. Is x greater than -4603?
False
Let c be (-13)/(-1) - (-5 + -8). Which is bigger: 27 or c?
27
Let c(n) = 2*n**2 - 29*n + 26. Let d be c(21). Let b be d/(-39) + 20/12. Which is smaller: b or -4?
b
Suppose 9 = -0*h + h - 2*z, -2*z - 5 = 3*h. Suppose -5*w + 40 = 5*m, -5*w - h = -7*w + 3*m. Is w > 32?
False
Let u = 2785 - 1584. Let b = u - 783053/652. Is -1 at most b?
True
Suppose -k + 7 = -3*k + s, -4*s = 12. Let h be 8/k + 4 + -2. Suppose 360 = -14*u + 276. Is u equal to h?
False
Suppose -3*r + 16 = -2*q, -112*q + 108*q - 4 = r. Do q and -76/51 have different values?
True
Let i = -120 + -193. Let l = i - -329. Is 0.07 less than or equal to l?
True
Let m(q) = 8*q - 83. Let d be m(11). Suppose -2*j + 22 = f, d*j = f - 32 + 87. Is j at least as big as 27?
False
Let t be -2*4/(-6) - (-6)/9. Suppose 50 - 144 = -t*u. Which is smaller: 48 or u?
u
Let u(f) = 9*f + 25. Let o be u(-8). Let a = 129/40 - 1993/40. Are o and a non-equal?
True
Suppose 0 = -2*g - 0*g - 130. Let p = -1912 + 1977. Let l = p + g. Is 6/7 greater than or equal to l?
True
Let z = -63/22 - -127/198. Let f = z + 23/9. Suppose -28 = -6*b + 2*k - 436, 0 = b + 4*k + 68. Which is smaller: b or f?
b
Suppose -2*h - 448 + 456 = 0. Suppose 3*j - 4*n + 251 = 0, -h*j + 2*n - 348 = -0*j. Do j and -89 have the same value?
True
Let o = -262 + 568. Suppose -203 = 3*v - 1121. Is v smaller than o?
False
Let u = -2212327/20853 - 11/2979. Let c = 106 + u. Let y(p) = -p. Let z be y(-1). Which is smaller: z or c?
c
Let q = -43385/99 - -2370/11. Let s = -223 - q. Is s < -0.3?
False
Suppose -4*f + 104 = -112. Suppose -17*z = -x - 14*z + f, 0 = 4*x + 3*z - 186. Suppose 2*l - 30 - 176 = -4*c, -3*c + 2*l + 137 = 0. Is c bigger than x?
True
Let q = 2/9 + 23/18. Suppose 20 = g - 6*g + 3*f, 22 = 3*g + 5*f. Let v be (-3)/(-1)*g + 36/48. Do v and q have the same value?
False
Let a(b) = 4*b**2 - 138*b - 174. Let f be a(36). Do 60 and f have different values?
True
Let t = -8477/184 + 371/8. Let b = -6.26 - -6.36. Is t >= b?
True
Let y = 1012 + -164. Is 850 bigger than y?
True
Let d(z) = 2*z**2 + 2*z - 4. Let i be d(5). Let j = 538 + -503. Suppose -1904 = -j*u + 21. Is u at least as big as i?
False
Let c(l) = -2*l**2 + 8*l + 41. Let f be c(0). Which is bigger: 15 or f?
f
Let s = -3085 - -3084.98575. Which is bigger: s or 2/7?
2/7
Let z = 206 - 219. Let t be 9*3*(z + 14). Is 27 at most as big as t?
True
Let p be 382/(-18) - (7 - 65/9). Let s be p/(-7812)*16/(-18). Are s and 1 non-equal?
True
Suppose -2*y + 212 = l, 2*l - 430 = -0*y + 2*y. Let v be -3 - (l/(-36) - -3). Let b be 2/(-5) + 0 + (-3)/5. Is b < v?
True
Let w be -3 - (-75 + (-2 - 3)). Let z = w + -383/5. Which is bigger: z or 0.018?
z
Suppose 0 = 4*v - k, -2*v = -4*k - 10 - 4. Let s be 53 - (-1 + -3 - v). Suppose 0 = -5*l - 3*y - 2*y + 295, -4*l - y = -227. Is s bigger than l?
False
Let d be (7 - 4) + 5792/(-350) + -1. Let p = d + -4/175. Which is smaller: -14 or p?
p
Let n = -3.6 + 0. Let u = -4.4 - -8.3. Let x = u + n. Is 2/5 <= x?
False
Let c be 162/4 - (-4)/8. Let b(o) = o**2 + 22*o + 12. Let x be b(-22). Let t(v) = v**2 - 11*v + 27. Let j be t(x). Is c < j?
False
Let s = -8 - -19. Let j = -2/10311 + 587737/51555. Is j greater than or equal to s?
True
Suppose -2*q + 5*i + 868 = 2*i, -q + 444 = i. Which is greater: q or -3/2?
q
Let s = -31 - -63. Let n = -3 + s. Let z = n + -28. Is -30 greater than or equal to z?
False
Suppose 4*n - 115 = s + 116, 4*s + 216 = 4*n. Which is smaller: n or 13?
13
Let x(w) = -7*w + 26. Let h(q) = 30*q - 103. Let s(b) = 2*h(b) + 9*x(b). Let z be s(9). Let m = 9/199 - 1019/13731. Is m not equal to z?
True
Suppose -3*g - 6 = -6*g - q, -3*q = 9. Let z = -1778 - -1780. Let f be 4/z*(9 + (-244)/28). Which is bigger: f or g?
g
Let g(l) = -527*l - 141782. Let o be g(-269). Let x(h) be the first derivative of -21*h**2/2 - 1. Let v be x(1). Which is bigger: o or v?
o
Let m(a) = 17*a**2 + 49*a + 56. Let d(l) = 8*l**2 + 25*l + 27. Let k(z) = -9*d(z) + 4*m(z). Let w be k(-7). Which is smaller: w or -15?
-15
Let y be 389 + 6 + -6 + 3. Suppose -4*v + 11*v = y. Which is greater: v or 57?
57
Let f(u) = 4*u + 26. Let x be f(-4). Suppose 14*c = x*c - 28. Let i = -619/3 - -2407/12. Which is greater: i or c?
i
Let q = 487.3 - 194.2. Let b = q + -293. Let i = -13/15 - -8/15. Is i equal to b?
False
Let i be -1*((-2656)/16 + -13). Which is bigger: i or 191?
191
Suppose 3*z + 13 = 10, 0 = -2*d - 5*z - 243. Which is smaller: d or 22?
d
Suppose -o - 15 = 3*w, 2*w - 5*o = -0*o - 27. Let i(d) = -d + 1. Let p be i(-1). Suppose q = -p - 5. Which is smaller: w or q?
q
Suppose -5*x = 3*s + 157, -4*s + 3 = -s. Let l = x - -3. Let y be 64 - (l/(-9) + 6/(-27)). Which is greater: 62 or y?
62
Let g = 1360 - 3324. Is -0.1 at most as big as g?
False
Suppose -5*o + 2*o - 426 = 0. Let f = o - -4968/35. Let u = -904 - -904. Which is bigger: f or u?
u
Suppose -12*b = -14*b. Suppose b = l + 68 + 8. Let m be -3 + (0 - l/20). Which is greater: 2 or m?
2
Let a be ((-6)/3 - -69)/(0 - 16 - -15). Let v(t) = -19*t**2 - 2*t - 2. Let m be v(-2). Is m > a?
False
Suppose -5*m - 58 = -88. Suppose m = -a - 6. Let q be 22/((-18)/a*(-12)/9). Which is greater: 4 or q?
4
Let a = -287 + 185. Let p = -282 - a. Which is bigger: p or -179?
-179
Let d be (0 - 0)/((-6)/3). Let x be ((-32)/12 + 2)*41304/(-56). Let b = x - 491. Which is smaller: b or d?
d
Let b be (498/5 + 0)/(1*(-18)/27). Is b <= -149?
True
Let a be 25/(-100) + (-2)/(-8). Suppose a = -4*l - 5*u - 512, -258 = -6*l + 8*l + 2*u. Which is smaller: l or -131?
l
Suppose 4*q - 25 = -5. Suppose 3*u - 6 = 6, 5*a - 20 = -q*u. Is a not equal to 2/487?
True
Let d(u) = 12*u - 57. Let q be d(22). Let i = q + -131. Is 75 smaller than i?
True
Let c = -253 + 0. Let s = -234 - c. Are s and -3 nonequal?
True
Let t be (3/(12/10) + -2)*6. Suppose -38 = 3*n + t*d + 190, -n = 2*d + 77. Let q be ((-4)/(-10))/((-24)/n). Is q >= 0?
True
Let o be 1 - (104 + -1 + 2). Let z be o/(-20) + 2/(-10). Which is smaller: 3 or z?
3
Let b = 292 + 867. Suppose 10*u - b - 1241 = 0. Is u at least 241?
False
Let s be (-5)/(-3) + 2/(-3). Suppose -29*y = 12289 - 1849. Let z = y - -7564/21. Does z = s?
False
Suppose -148*t + 136*t + 3408 = 0. Let u = -181 + t. Which is smaller: u or 104?
u
Let p = 56.08 - -4.02. Let s = p + -60. Let n = 66 + -25. Is s at least as big as n?
False
Let x = 3195/7 - 1779489/3899. Is -1 not equal to x?
True
Suppose 8 = -2*n, 3*o - n - 24 = 2*n. Suppose 5 = 3*m + 2*k, 14*k + 4 = o*m + 16*k. Let p be (-4 + m + 1)/((-4)/4). Is p equal to 0.01?
False
Let m = -0.009 + 3.019. Let v = m - 2.9. Let d = v + 4.89. Is 2 equal to d?
False
Let i be (-5)/3*(-954)/265. Suppose -475 = i*b - 439. Are b and -7 non-equal?
True
Let x(s) = s**3 - 10*s**2 + 12*s + 24. Let i be x(5). Is i <= -598/15?
True
Suppose 3*z + 12 = -z. Let o be 5/15 + z/15. Let m = -9.6 - -10.6. Which is bigger: o or m?
m
Let p(u) = 10*u**2 - 19*u + 10. Let x be p(12). Suppose 6*l + 7*l = x. Which is bigger: 93 or l?
l
Suppose 465 + 607 = 16*r. Let t(c) = 3*c**2 - 15*c + 34. Let h(g) = -g**2 + 7*g - 17. Let m(i) = 5*h(i) + 2*t(i). Let s be m(7). Is r not equal to s?
False
Suppose 0 = -5*m - 4*f, 0 = 3*m + m + 3*f. Let y = 4423/2 + -448934/203. Are y and m nonequal?
True
Let q be (-27 - (0 - 0)/1)/(1023/47740). Do -1258 and q have the same value?
False
Suppose -y + 5*y + 3*w = -65, -5*w - 29 = y. Let q(t) = -2*t - 30. Let c be q(y). Let x be 8/(-48) + c/(156/(-103)). Which is greater: 0 or x?
x
Suppose 12*s - 144 = 2520. Is s > 221?
True
Suppose 0 = 5*b + 5*m, 5*b + 21 = -m + 3*m. Let h = 4/4027 + -169202/68459. Is b < h?
True
Let p be ((-360)/(-80))/((-9)/(-24)). Which is greater: 728/57 or p?
728/57
Let h = -0.3048 - -0.3048. Which is smaller: h or 3558?
h
Suppose 3*x - 4*f - 10 - 