e
Let s be (-8 - -7)/(25/4). Let u(x) = 32 + x + 2*x - 9 + 0*x. Let i be u(-8). Which is smaller: s or i?
i
Suppose -4 = f - 4*z, 3*z = -3*f - 2*f + 49. Let t be -24*(-6)/(1 - -11). Suppose t*v = 10*v + 22. Are f and v non-equal?
True
Let d = 15/1283 + -10209/543992. Let t = 1257/2120 - d. Are t and 2 nonequal?
True
Let u(n) = n**2 + 5*n + 12. Let z be u(-14). Suppose -q - z = -7*q. Suppose -14*j - 171 = -q*j. Which is greater: j or 17?
j
Let z = 63.84 + 1987.16. Which is smaller: -1/2 or z?
-1/2
Let m be -2*((-2)/7 + (-367)/14). Let o(b) = -b - 52. Let f be o(0). Let j = m + f. Is -2/11 bigger than j?
False
Let c(y) = y**3 + 13*y**2 + 12*y - 10. Let m be c(-11). Suppose -3*g - 2*n + 306 = 0, 0*g - 3*g - 5*n = -315. Is g at least m?
True
Let r = 378 - -205. Let q = r - 581. Which is smaller: q or -136?
-136
Let i(k) = -2*k**2 - 54*k + 3104. Let o be i(-56). Are o and -1881/13 nonequal?
True
Suppose 4*n = r + r + 2, 0 = -2*n - 5*r - 29. Let j be (-1)/3 - (123/(-45) - n). Which is smaller: 0.018 or j?
0.018
Let z(g) = 34*g**3 - g + 2. Suppose 29*u - 3 = 26*u. Let b be z(u). Which is smaller: 34 or b?
34
Let a = -538 + 169. Let h be (a/(-18))/(2/(-4)). Let d = -11 - h. Is d not equal to 30?
False
Let v(y) = y**2 + 3*y + 2. Let b be v(-1). Let n be (-4 + (-125)/(-31))*1. Let u = n + -38/217. Is b < u?
False
Let k = -2 - -5. Suppose -2*u = k*u. Let c be -1 + 9/15 + (-864)/(-2385). Is u at least as big as c?
True
Let u = -4769 + 55. Are -4713 and u equal?
False
Let i = -34 + 47. Let d = i + -52. Let k = -1256 + 2511/2. Is k at most d?
False
Let w = -0.1902 - 6736.8098. Is w greater than or equal to -1/2?
False
Suppose 5*k - 7*k + 2*a = -8, 0 = a + 3. Which is bigger: k or 2/2609?
k
Let a be (18 + -1 + -6)/((-2)/8). Suppose 7*k = 12*k + 225. Which is smaller: a or k?
k
Let f = -0.4 + -13.6. Let v = -14.1 - f. Suppose -3*q - 5*z - 27 = 0, 16*q - 7 = 20*q - 3*z. Which is greater: v or q?
v
Let z = -11 - -15. Suppose 3*o - z*n = -70, 2*o + n - 6*n = -35. Let t = o - -91/3. Which is greater: t or -1/10?
t
Suppose 0 = 3*p + 2*p - 35. Let v(g) = 3*g**2 - 13*g + 8. Let z(a) = 7*a**2 - 27*a + 14. Let h(u) = -5*v(u) + 2*z(u). Let t be h(9). Is t <= p?
True
Let q be (-3686)/10*-5 + 17. Which is greater: -1/4 or q?
q
Let o(g) = -2*g**2 + 6*g + 3. Let p = -51 + 55. Suppose -26 = -0*c - 3*c - 2*u, 4*c - 5*u - p = 0. Let m be o(c). Is m not equal to -31?
True
Let a(j) = -j - 5. Let g(t) = -5*t - 34. Let y(m) = -4*a(m) + g(m). Let r be y(-4). Is -81/8 at most r?
True
Let r = 10290.97 - 10289. Are -22 and r non-equal?
True
Suppose -2*q + 4*o + 54 = 0, 0 + 3 = o. Let s(r) = 6*r - 66. Let g be s(11). Suppose g = -14*y + 6*y - 8*y. Which is smaller: q or y?
y
Let q = -211 + 215. Suppose 5*z + 5*c = -160, 86 = -4*z + q*c - 82. Is z greater than -40?
True
Suppose 0 = 3*h + 5*l + 62, 21*h + 5*l = 23*h + 83. Let f = -103 + h. Is -131 greater than or equal to f?
True
Let y = 13921/5 - 2776. Do y and -11 have the same value?
False
Let r = -7436 - -7447.033. Let v = r + -0.033. Let t(s) = 3*s**2 - s. Let l be t(1). Is l at least v?
False
Let v = -1308.5 - -1309.6. Are -10.3 and v equal?
False
Let p = -32.02617 + 0.02617. Which is bigger: p or 0.8?
0.8
Let f(t) = 324*t**2 - t - 1. Let b be f(-1). Suppose 11*p - b - 72 = 0. Which is bigger: p or 0?
p
Suppose -i - 76 = u + 3*i, -2*u - 3*i - 142 = 0. Let f = u - -72. Let y = -3 + f. Which is greater: y or -0.2?
y
Let b(s) = -13*s + 1456. Let c be b(112). Which is bigger: 1/8875 or c?
1/8875
Suppose 3*v = 8*p - 4*p - 10, p - 4*v = -4. Let o be p/(-18) - 65282/(-144). Let m = o + -452. Which is bigger: 1 or m?
m
Let f = -48 - -45.7. Let x = 2.08 + f. Let h = x - -0.32. Is -19 bigger than h?
False
Let s be (131/524)/(378/(-8)). Is -1 >= s?
False
Let h be 2/(3*(-6)/54 + (-28)/(-66)). Let g(m) = m**3 + 10*m**2 + 17*m + 3. Let w be g(-7). Which is bigger: h or w?
w
Let t = 1024 + -222. Let v = -803 + t. Which is greater: 2/773 or v?
2/773
Let l(g) = -3*g - 125. Let z = -207 - -220. Let x be l(z). Is -163 equal to x?
False
Let g be (266/63)/((-5)/(34590/4)). Let q = -7429 - g. Let p = 12151/96 + q. Do p and 0 have different values?
True
Suppose -4*t = 7*m - 4*m - 264, -3*m - 66 = -t. Suppose 9*u = 6*u - t. Which is greater: -24 or u?
u
Let o = -1.6 + 1.93. Let r = -10.72 + 8.72. Is r less than o?
True
Let p(r) = -r**2 - 31*r + 566. Let q be p(-46). Suppose -l + 16 = -145. Let h = l + q. Are h and 39 non-equal?
True
Suppose 0 = 4*z - 19*z - 45. Let t be (-2 - -50)*(-10)/15. Let a = t + 24. Which is bigger: a or z?
z
Let k(o) = -10*o - 2. Let f be k(-1). Let m = f + -3. Suppose 3*t - 7*t - 108 = -m*g, 3*g - 78 = 3*t. Is -1/2 less than t?
False
Let m = -1365 - -1364. Suppose 4*x - 3*t - 26 = 0, 6*t = t + 10. Let s be 6*(x/(-66))/2. Which is greater: s or m?
s
Let p be (-2)/3 + (-4)/(-6) - -673. Suppose 0 = -14*m + p + 237. Is 65 greater than m?
False
Let o = -5786565/9108398 + 504/793. Does -1 = o?
False
Let u = 92 - 74. Let i = -14 + u. Is 0.5 equal to i?
False
Let p = -3/652 + -1283/4564. Are 12/437 and p equal?
False
Let m = -2012 - -2017. Which is smaller: m or -0.25?
-0.25
Suppose 696 - 39 = -9*z. Let c = -14 - z. Let x = c - 64. Which is smaller: -2 or x?
x
Let t = 3906 + -4884. Which is greater: t or -984?
t
Suppose -6 = 2*z, -x + 3*z + 4 = -6*x. Suppose 0 = -2*k - 2, -4*k + 7*k = -3*i - 345. Let y be (11/(-14) - -1)/(i/(-152)). Is y < x?
True
Suppose -a + 17 = -3*d - 96, -a = -d - 41. Which is bigger: d or -30?
-30
Let s = 9/7786 - -4800051/15572. Let z = 308 - s. Suppose -2*r = 3*b - 124, 2*b = -4*r - b + 242. Which is bigger: z or r?
r
Suppose 3*c + 5*a = 140, 68*a - 220 = -3*c + 73*a. Which is greater: c or 111?
111
Let l(i) = -i - 1. Let s(m) = 7*m - 30. Let a(g) = -4*l(g) - 2*s(g). Let x be a(7). Let b(q) = -2*q**2 - 5*q + 4. Let t be b(-4). Which is bigger: t or x?
x
Let t = -662785118/2643 - -250770. Does 1 = t?
False
Let w be (-18 + 22)*10233/36. Are w and 1138 equal?
False
Suppose o + a = 24, -18 + 2 = -o - 3*a. Let l be 660/(-66) - 123/(-3). Is o smaller than l?
True
Let n(s) = 3*s**2 - 3*s - 4. Let y be n(3). Let g be 2*y/3*-3. Let x be (-20)/g - (-6)/21. Are x and -2/129 nonequal?
True
Suppose -40 = -4*r - p + 3, 0 = -2*r - 2*p + 14. Suppose 20*q = 17*q + 51. Which is greater: q or r?
q
Let p = 3337.08 - 3337. Do p and 9/4 have different values?
True
Let f = 9319 + -9308. Suppose 0 = -q - 0*q + 10. Is q less than or equal to f?
True
Let o = 109 - 114.85. Let t = -30.74 - o. Let q = -0.89 - t. Which is smaller: 0.2 or q?
0.2
Let m = 1/25220 + 176207/8398260. Do 0 and m have the same value?
False
Let v = 59 + -73. Let x = 342 + -339. Are v and x equal?
False
Let x = -59798 - -655668/11. Which is smaller: x or -193?
-193
Let y = -0.0242 - -0.2242. Does 328 = y?
False
Let m be -2*(9/(-2) + 3) + 591. Let k be m/36*4/87. Does 0 = k?
False
Let v = -126577 - -34302419/271. Which is greater: v or 0?
v
Let i(r) = r**3 - 5*r**2 + 5*r - 9. Let g be i(6). Let s(f) = -91*f + 15. Let w be s(1). Let m be (-6)/g + 144/w. Which is smaller: -3/5 or m?
m
Let c = -1019.81 + -38.19. Is c > 0.1?
False
Let t(g) = 6*g**3 - 25*g**2 + 9*g - 9. Let v be t(6). Suppose 33*p - 2388 = -v. Is p < 58?
False
Let s(r) = -13 + 19*r - 51 - 2 - 5. Let k be s(18). Which is smaller: 270 or k?
270
Suppose -y = 3*p - 10, 5*y - 6*p + 3*p = 14. Is y at most 56?
True
Suppose 0 = -3*o - 0*o + 3. Let v = -0.0566 + 35.0566. Which is smaller: o or v?
o
Suppose -s = 3*m - 8 - 8, 22 = -3*s + 5*m. Let z = 12063 - 12063.022. Which is smaller: s or z?
z
Let b = 4 - 0. Suppose 7*s - b*s = -84. Let n = -49 - -49.2. Is n at least s?
True
Let r(i) = i**3 - 2*i**2 - 7*i + 6. Suppose -2 = b - 6. Let p be r(b). Let m = -261611 + 261615. Is m less than p?
True
Let f be 36/(-66) + 1027/(-928499)*-493. Which is greater: 1 or f?
1
Let a = -1277679/1046 - -2443/2. Which is smaller: a or -1?
-1
Let d(k) = -k**2 + 15*k + 48. Let v be d(18). Let a be (-260)/v*(-24)/20. Are a and -50 non-equal?
True
Let g be 8448/308 - (25 + -1). Is 0.7 at most as big as g?
True
Let l be 10*3/4*2. Let b(v) = -3*v**2 - 18*v + 38. Let o be b(-8). Let x(y) = -y**2 - 17*y - 58. Let r be x(o). Is l at most as big as r?
False
Let f = 5955/4 - 1496. Let i = -47 + 69. Let u = i + -28. Are f and u non-equal?
T