*l + 2. Let j be y(-18). Suppose -g - 3*g = -i - 257, -g = -3*i - j. Suppose -61*h - 64 = -g*h. Which is greater: 17 or h?
17
Suppose 16*w - 57 + 41 = 0. Let g be ((w/27)/1)/(34/(-102)). Which is smaller: g or -1/36?
g
Let u = 670 + -1180. Let g be (3/2)/((-15)/u). Which is smaller: g or 53?
g
Let b = -3515 - -3514. Which is smaller: 1/2356 or b?
b
Let l be (-3)/(-48)*-2*34/4. Let p = -41/144 - l. Let y be (-4)/(-16) - (-1)/(-4). Which is smaller: y or p?
y
Let m = 3.03 + -0.03. Let d = -13716 + 13717.3. Which is greater: d or m?
m
Let a(g) = -263 - g**3 - 253 + 13*g**2 - 15*g + 481 - 4*g. Let b be a(11). Is b bigger than -16/7?
True
Let k(o) = o**3 - 8*o**2 - o + 9. Let j(b) = -b**2 - 13*b - 14. Let n be j(-11). Let y be k(n). Let r be y + 9/(-33)*2. Which is greater: r or 0?
r
Let z = 236 - 144. Suppose 5*d - 430 = 4*t - 9*t, 3*t - 2*d = 283. Which is smaller: t or z?
t
Let k(s) = 2*s**3 + 10*s + 7*s**2 - 11*s + 4 - 3*s**3. Let a be k(4). Suppose 0 = -3*v - 3, -5*v - 177 = -5*z + a. Which is greater: z or 0?
z
Let f = 86.629 - 87.1. Let r = -0.671 - f. Does 4/19 = r?
False
Suppose 452*w = 462*w + 290. Is -23 smaller than w?
False
Let y(k) = 92*k - 392. Let w be y(-14). Is w less than -1679?
True
Suppose -2*k + n - 590 - 877 = 0, 1492 = -2*k - 4*n. Suppose -20 = 4*h, 214*h - 217*h - 751 = m. Does m = k?
True
Let c be (121/(-2))/((-1)/(-2)). Let v = 39.032 + -39.132. Which is bigger: c or v?
v
Suppose 0 = -r - 32*r + 8*r - 7325. Which is greater: r or -587/2?
r
Let g(i) = 5*i + 32. Let z(s) = 1. Let n(k) = 3. Let a(y) = 6*n(y) - 17*z(y). Let v(p) = -2*a(p) - g(p). Let w be v(5). Is -60 at most w?
True
Let f = -37.25 - -34. Let o = -3.2 - f. Is o > -2/17?
True
Let x be (-4023)/(-12) + (-10)/(40/(-3)). Let q = x - 336. Is 7/53 != q?
True
Let i = 23596114/106067 + -22/8159. Which is greater: i or 222?
i
Let b = -6 - -7. Suppose 8 + b = -3*c. Let m be c/(9/(-2)) + -2. Is -2 at most as big as m?
True
Let h(s) = -12*s - 45. Let u be 76/14 - (-9)/(-21). Let j be h(u). Let i be (-10)/25 - 72/j. Which is bigger: -44 or i?
i
Let a = 144 + -176. Which is bigger: a or 3/77?
3/77
Suppose -703 - 17 = -16*d + 160. Which is bigger: d or 66?
66
Let a(p) = -p**2 - p. Let l(z) = 11*z**2 - 9*z + 3. Let m(i) = 6*a(i) - l(i). Let h be m(1). Let b(x) = x**3 + 17*x**2 - 2*x - 41. Let k be b(h). Is -5 <= k?
False
Let t be (-16 - -9)*(-48)/84. Suppose 0 = 7*m - 3*m - 140. Suppose 12*d = 7*d - m. Which is greater: t or d?
t
Let o be (1517 - -1)*-15*(-5)/(-45). Let x = o + 382032/151. Which is smaller: x or 1?
x
Let t = 3/54563 + 86973395/491067. Let o = t - 7591/36. Which is greater: -34 or o?
o
Let x = 1526.3 - 372.3. Which is bigger: x or 1?
x
Suppose 126*f - 198 = 120*f. Which is smaller: f or 23?
23
Let w = 0.7643 + -1.0643. Is w at least 1034?
False
Let s = -44 + 26. Let g = -18 - s. Let d = g - -13. Which is smaller: 15 or d?
d
Suppose 0*w = -7*w - 26*w. Is w < -2/5017?
False
Suppose 1533 + 12305 = 11*z. Is z at most 1259?
True
Let y be -41 - (-65568)/1664 - (-1)/13. Is y >= -3?
True
Suppose 3*p + 639 = 3*g, 3*g - 862 + 207 = -p. Is 218 greater than g?
True
Let m(i) = -2 + 10*i + 19 - 31*i - i**2. Let d(c) = -c**3 + 10*c**2 + 62*c + 1. Let g be d(-4). Let x be m(g). Which is bigger: -28 or x?
-28
Let w = 49 + 80. Suppose -w = 11*i + 69. Let n be 3*(-3)/i - 0. Is n > 18/11?
False
Let r be (596/(-10))/((-99)/25 + 4). Let h = 891 + r. Is h bigger than -600?
True
Suppose -3*g - 204 = 252. Let i be 1/(-4) + g/(-352). Let a = -281/1727 - 3/157. Which is smaller: i or a?
a
Let o be (-8)/54*(-30)/13*-4. Let f = o + 12/13. Which is smaller: f or -2/37?
f
Suppose a + 1420*l = 1415*l - 45, 5*a - 2*l = -63. Which is smaller: -336 or a?
-336
Let n(w) = w**3 + 20*w**2 - 63*w - 25. Let p be n(6). Is 529 < p?
True
Suppose 3624 = -2*d - 2*c - 3538, 0 = 3*d + 5*c + 10737. Which is smaller: d or -3583?
d
Let s(g) = g**3 + 13*g**2 + 19*g - 36. Let u be s(-11). Let a be (-444)/10 + (u/(-5))/(-1). Are -45 and a unequal?
False
Let u = 95.7 + -94.7. Is u >= 106.1?
False
Suppose -6*q = -257 - 7. Let a = -45 + q. Let s = -78 + 1481/19. Which is smaller: a or s?
a
Let s(n) = 95*n + 2018. Let j be s(-21). Is j smaller than 194/9?
False
Suppose 341*s - 340*s = -13. Let c(r) = r**3 + 12*r**2 - 17*r - 51. Let w be c(s). Which is smaller: w or 2/603?
2/603
Let v = -2688485/397 - -6772. Is 1 less than or equal to v?
False
Let f = 5359 + -6365. Which is smaller: f or -1009?
-1009
Let f(v) = -11*v - 49. Let t be f(19). Let s = t - -338. Which is greater: s or -1?
s
Let z be ((-624)/(-320))/39*20. Is z smaller than 32?
True
Let r = 9614 + -14560. Which is greater: r or 0?
0
Let b = -437 + 459.3. Let u = -6.7 - b. Which is smaller: 3 or u?
u
Let l = 31106 + -31049. Is l at least as big as 1/84?
True
Let a = -1030.005 - 7.995. Is -3 bigger than a?
True
Suppose -33*g + 693 = -26*g. Let l = -81 + 179. Is l at least g?
False
Let r = -0.03 + 0.33. Let b = 0.2 - r. Let h = 126881/90 + -14109/10. Which is greater: b or h?
b
Let c be (6/10)/((-2)/(-30)). Let n = -155 + 158. Suppose -4*s + 8 = -n*s. Which is greater: c or s?
c
Let q be 6*(-14)/105*(-30)/4 - 6. Is q < -10/4967?
False
Let p(a) = 36*a + 395. Let s be p(-11). Let q = 10 - 1. Let z be (q/570)/((-12)/30). Which is smaller: z or s?
s
Let n(z) = -41*z + 232. Let f be n(6). Let q be (-680)/(-126) - f/(-49). Which is smaller: q or 4?
4
Let p(l) = -3*l - 22 - 4*l + l + 0*l. Let h be p(-4). Let a = -3431/7 + 491. Is a bigger than h?
False
Let z(d) = 350*d + 1164. Let g be z(-3). Which is bigger: g or 573/5?
573/5
Suppose 382 = p + 58. Let c = 2272/7 - p. Suppose 4*g = -2*m + 6, -2*m + 0 = -g - 1. Is g bigger than c?
True
Suppose g = 2*s + 28, -4*g - s + 4*s = -107. Suppose 496 = -59*b + 75*b. Suppose -287 = -b*c + 519. Are g and c equal?
True
Let n = 64.8 - 64.89084. Are -1 and n nonequal?
True
Let u = -1183 - 454. Is u greater than -1637?
False
Suppose -4*z + 45 = 3*g, -z + 3*g + 13 = 2*g. Suppose 30 + z = p. Which is bigger: 43 or p?
43
Suppose -p - 5*s - 10 = -5*p, 4*s + 8 = -p. Suppose -5*n + 2 = -4*n. Suppose n*j - 2 + 4 = p. Which is greater: j or -1/5?
-1/5
Let i be 1/(-1608)*32/24. Let g = i + -7225/13266. Which is smaller: g or -7?
-7
Let f = -35449/60 - -9275/12. Is 181 > f?
False
Suppose -n - 5*u = -3105, -12*n + 2*u + 6174 = -10*n. Let k = n - 596372/193. Which is smaller: k or -1?
-1
Suppose 409*j - 408*j = -116. Let t = 89 + j. Is -28 < t?
True
Suppose 38*s + 799 = 2775. Suppose -19*m - 33*m + s = 0. Is -2/5 bigger than m?
False
Suppose 4*q - 36 = -0*q. Suppose h + 5 = 0, 2*h = -4*z + 6*z - 262. Let c = z - 112. Is c less than or equal to q?
False
Let j = 67 - 63. Suppose j*r - r + 132 = 0. Let o be (-14)/(-24) + 11/r. Do o and -9/14 have the same value?
False
Let q = 386 - 368. Let h be q*3/45 + 1/(-1). Are h and 0.53 non-equal?
True
Let a be (-12 - (-754)/65) + (1 - 14/(-10)). Is a <= 174?
True
Let b = -74 + 76.21. Let j = b + -0.21. Let y = -551/7 - -79. Is j bigger than y?
True
Let z(r) = -1124*r - 58. Let p be z(-1). Suppose -22*g + 35*g - p = 0. Is 82 greater than or equal to g?
True
Let m = 4.438 + -29.438. Is -2/17 > m?
True
Let z = -15124 - -14810. Is -1576/5 greater than z?
False
Let o = 31 + -35. Let s(q) = q**2 + 4*q + 3. Let n be s(o). Suppose -6*g - n = 21. Which is smaller: -2 or g?
g
Let d = 176 - 173. Let r be ((-5)/4 + 2)/(d/12). Which is smaller: r or 17?
r
Suppose 0 = 13*y - 8*y - 5*g - 20, 0 = 4*y + 5*g - 34. Let b be (4/y)/(6/18 - -2). Is -1 greater than or equal to b?
False
Suppose q + 0*q = 4. Suppose -4*f - 3 = -4*z - 11, 2*f = -q*z - 14. Let r = -845 - -11831/14. Does f = r?
False
Let u be (-571981)/(-62) - ((-2)/4)/(2 - 1). Which is greater: u or 9227?
9227
Let d = -12846 + 12857. Let g = -5.4 - -6. Is g less than d?
True
Suppose 4*k = 0, 4*b - 2*k = -0*k. Suppose -5*v - 9 - 6 = b. Let u = 10952 - 10954. Which is greater: v or u?
u
Let s(p) = p**2 - 7*p - 2. Let o be s(5). Let y be (280/(-350))/(2/(-40)*6/(-4)). Which is smaller: o or y?
o
Let s = -35.482 + 369.882. Which is smaller: s or -0.01?
-0.01
Let w = 434 + -817. Let x be ((-4)/(-6))/(260/150306). Let g = w + x. Which is smaller: g or 2?
2
Let i = 89 - 85. Suppose i*r + 99 = 13*r. Is r <= 87/7?
True
Let w = 33.51 + -41.81. Is w not equal to -0.08?
Tru