0 or i?
0
Let z = -1.09 + 0.09. Which is bigger: 4/747 or z?
4/747
Let d be (-456)/(-8*(-1)/(-20)). Which is bigger: 1139 or d?
d
Let t = 0.024 - 2.224. Let n = -77.2 - t. Let k = n - -52. Which is smaller: 0.1 or k?
k
Let i(k) = k**3 + 14*k**2 + 13*k + 29. Let b be i(-12). Suppose -5*c + 0*j - 291 = 4*j, b = -3*c + j. Are -53 and c equal?
False
Let d(j) = j**3 - 12*j**2 - 16*j + 44. Let v be d(13). Suppose -8 = -w - v. Suppose 4*l + l = 0. Are w and l equal?
False
Let i(o) = -4*o + 4. Let u be i(3). Let j = -19357 - -19346. Which is smaller: j or u?
j
Suppose 8*r = 10*r - 44. Suppose 35 = 13*v + r*v. Are 7 and v nonequal?
True
Let t = 16796/50379 + -1/16793. Which is greater: 1674 or t?
1674
Let q = -16775 - -19626. Which is smaller: 2852 or q?
q
Suppose 33*b - 30 = 35*b. Let k be (-33)/b + (0 - 6/30). Is k smaller than 14/9?
False
Let b be 7*(-1626)/(-21) + 8. Are b and 548 nonequal?
True
Let w(u) = -11*u**2 + 23*u - 61. Let r be w(6). Let i = r + 309. Let h be -12*2*2/4. Is i >= h?
True
Let a = 27.092 - 0.092. Is a <= 24?
False
Let l be (23/2116)/((-780)/(-56)*7/2). Which is smaller: -1 or l?
-1
Let l = 0.8871 - 0.1771. Which is bigger: l or 1/13?
l
Let r be (-11478)/(-17208) + 4/(-36)*6. Is r at least -1?
True
Suppose 7*y = 334 + 282. Let u = y - 47. Is 40 > u?
False
Let y be (-1067)/(-429) + -2 - (-5)/(1 - 16). Suppose -2*f = -2*j + 54, -2 = -5*j + 6*j. Which is greater: f or y?
y
Suppose 0 = -5*j - 4*x + 31 + 41, -j - 3*x + 21 = 0. Let t(o) = 23 + 3*o - o - j. Let c be t(-5). Are c and -1/27 equal?
False
Let i = -86765/13 + 6671. Let y(r) = r**2 - 7*r - 2. Let b be y(7). Is i greater than b?
False
Let u = 19861 - 19897. Which is bigger: -384/11 or u?
-384/11
Let t = 2398 - 40764/17. Let w = 20 - 41/2. Which is bigger: t or w?
t
Let l = -2977 - -3020.5. Let y = -103 - -147. Let m = l - y. Which is smaller: m or -6?
-6
Let c(t) = 5*t + 70. Let q be c(-13). Suppose 6 = q*x - 19. Suppose m = -3*y + 8, -3*m + x = 3*y + m. Which is bigger: -2 or y?
y
Let l(a) = 3*a**2 + 2*a - 2. Suppose 18 - 22 = -2*i. Let j be -4 + (-1)/(1/(-4)*i). Let h be l(j). Which is smaller: -0.1 or h?
-0.1
Suppose -29*a + 34*a - 6435 = 0. Let m be a/168 - (-3)/(-8). Which is greater: 6 or m?
m
Let l = 83 + -14. Suppose 0 = 2*w + 4*b + 11 - l, b = -3*w + 97. Which is smaller: w or 36?
w
Suppose 436*u = 489*u + 4823. Is u at most -1455/16?
True
Let n be (55 - 5)/(-1 - -7 - 3). Suppose 0 = f + 2*g - 0 + 8, 16 = 3*f - 2*g. Let i be -121*f/(-14) + (-60)/210. Which is smaller: n or i?
n
Let r = 10857 + -86857/8. Which is bigger: -93 or r?
r
Let y(h) = 4*h**2 - h. Let p be y(-1). Suppose p*t = o - 0*o - 72, -3*o + 48 = -3*t. Is t at least -13?
False
Let m be (-734)/508*(-126)/(-19251). Let z = m + 3/713. Which is smaller: z or -1?
-1
Let f = 341/26 - 31549/2405. Which is bigger: 1 or f?
1
Let d(z) = -2*z**3 + 2*z**2 + 2*z - 2. Suppose 2*q = -2*g + 10, q + 9 = -2*g + 18. Let r be (28/36 + (-2)/(-9))*q. Let i be d(r). Which is smaller: i or -1?
-1
Let r(w) = 9*w + 522. Let o be r(-63). Let p(s) = 8*s + 10. Let f be p(-7). Which is smaller: o or f?
f
Let h be (-1)/(0 + (-44429)/14). Which is smaller: h or -1?
-1
Let f = 0.08 + 232.92. Let r = f + -234. Let k = -49 - -49.23. Is r at least k?
False
Let t be -21*21/(-9) + 0. Suppose 227 = 3*o - 73. Suppose 0 = -n + s + 2*s + 45, -o = -2*n - 4*s. Is n greater than or equal to t?
False
Let a(j) be the third derivative of j**5/60 + j**3/6 - 19*j**2. Let w be a(0). Let n be (-2 - -1) + 195/198. Which is smaller: w or n?
n
Let z be ((-231)/308)/((-102)/16). Let n = 3 + -3. Let h be -4*2/(-8)*n. Do z and h have different values?
True
Let u = 0.6958 - 0.489. Let x = 0.0608 - u. Is x smaller than 0?
True
Let j = 0.99 - -1.64. Let v = j - -12.37. Which is smaller: -2/7 or v?
-2/7
Suppose 0*j + 26*j = 147 - 121. Is 3/1493 at least as big as j?
False
Suppose 2 = -y + 2*h, 3*y - 27*h = -32*h + 5. Is y less than -1/6041?
False
Let c = 3940/13 + -303. Which is smaller: 11.9 or c?
c
Suppose -h = -0*h. Suppose -6132 = -37*i + 41*i. Let y be 7 + (i/308 - 2). Are h and y nonequal?
True
Let y = 20/37 - -401/148. Let x(s) = -s**2 - 9*s + 12. Let j be x(-10). Suppose j*l - 5*z = -17, 33 = 2*l - 0*z + 5*z. Which is smaller: l or y?
y
Let i = -199 + 199.87. Let r = 23.13 + i. Let y = r - 18. Which is greater: y or -1?
y
Let i be (1 - (2 - 0)) + (5 - -41). Let q be (-138)/i*-9*(-10 - 0). Which is bigger: q or -277?
q
Suppose 0 = 6*g + 6*g + 576. Let k be (-1)/(-4*1/g). Is -14 at least as big as k?
False
Let r(t) = t**2 - 8*t - 18. Let s be r(10). Suppose i = -2*i + j + 28, j = s*i - 20. Suppose i = k + 2. Is k < 8?
True
Let d = -420.9 + 398. Let w = d + 22.9. Is w smaller than -47?
False
Let z be ((-51)/(-204) - 269/(-12))*(-6)/(-860). Which is smaller: -1 or z?
-1
Let v = -537.4 - -537.53. Which is smaller: -1.77 or v?
-1.77
Suppose 4*x + f = 4*f - 46, -f - 38 = 4*x. Let r = 27 + -14. Let t = r + x. Which is smaller: 5 or t?
t
Let u be ((-10)/(-110))/(14/(-22)). Is 533 greater than or equal to u?
True
Suppose k + 3228 + 2703 = 5*c, 4*k + 23570 = -2*c. Which is smaller: -5895 or k?
k
Let n = 13896.016 + -13827. Let u = n + -69. Let d = 0.066 - u. Which is greater: 0 or d?
d
Let f be 12 + (-29 - -15) + (2 - -1465). Is f bigger than 1464?
True
Let v = 218 - 778. Let y be (25 + -26)/(v/562 - -1). Are y and -282 non-equal?
True
Let l = 94 + -3852/41. Suppose -7*z - 5*q = -2*z, 2*q = 2*z - 8. Suppose -z*f - 2*m + 0*m = -10, -21 = -5*f - 4*m. Is l bigger than f?
False
Let p(v) = 3*v**3 + 7*v**2 - 52*v + 70. Let j be p(2). Let l(u) = -2*u**3 - 5*u**2 - 2*u + 1. Let c be l(-3). Which is bigger: c or j?
j
Let i(u) = -243*u - 719. Let m be i(3). Do m and -1450 have different values?
True
Let p(h) = -12*h - 71. Let o(a) = 25*a + 144. Let j(m) = -2*o(m) - 5*p(m). Let s be j(-14). Are -73 and s nonequal?
False
Let g be (-288)/((-12)/54 - 2288/(-10134)). Let v be (1/4)/((-135)/g). Let j = -150 + v. Which is smaller: j or -1?
-1
Suppose 39*c - 3201 = 28*c. Let s be 9/(-4) + 1 - c/388. Let w be (7/13 + -1)/(-2). Which is greater: s or w?
w
Let k = -463 - -674. Let d = k + -141. Which is smaller: d or 69?
69
Let y(g) = g**3 + 24*g**2 - 70*g - 467. Let n be y(-26). Is n >= 13/434?
True
Let h(b) = b**3 + 20*b**2 + 18*b + 51. Let n be h(-19). Suppose -3*g = u - 13 + 3, 0 = -4*u - 2*g + n. Is u bigger than 10?
True
Let s = -248 - 7. Suppose 3*k = 2*w + 520, 3*k + 1004 = -2*w - 2*w. Which is smaller: w or s?
s
Let x = 18990 - 18997. Is -709 >= x?
False
Suppose -46 = 2*s - 33*b + 25*b, 5*s - 3*b + 13 = 0. Are 2/5531 and s nonequal?
True
Let y be (-888*(-12)/90)/((-2)/40). Is -2368 > y?
False
Let k(p) = p**2 + 4*p - 9. Let t = -226 - -239. Let x be k(t). Which is smaller: x or 213?
x
Let t = -37373 - -30510. Which is bigger: t or 1?
1
Suppose -3*b = 2*n - 8, -2*b + 3*n + 21 - 7 = 0. Suppose 5*h - b*m - 7 = 41, -3*h + m = -33. Let l be (-1)/1 - (-16)/h. Are 3 and l equal?
False
Suppose 24 = -79*u + 80*u + 3*z, z = 2. Is 10 greater than or equal to u?
False
Suppose -16*t = -13*t + 180. Let n = t - -67. Which is smaller: n or -3?
-3
Let w = -637436119/852067920 + -2/1613765. Let i be (-153)/272 - (-1)/(-8). Let s = i - w. Which is greater: s or 1?
1
Let w = 199 + -92. Let k = w - 115.9. Let f = 9 + k. Which is smaller: f or -23/5?
-23/5
Let d = 13 - 28. Let f be 220/416 + d/40. Is f less than or equal to 2?
True
Let p be (-35165)/(-39) - (-2)/6. Let i be 1/10*p/99*6. Which is bigger: 6 or i?
6
Let l = -0.13 + 73.13. Let w = 72 - l. Let z = -1.4 + 79.4. Is z != w?
True
Suppose 0 = -o - 5 + 8. Suppose -6*q + 3*q + o = 0. Let l(u) = -25*u**2 - u + 3. Let y be l(q). Which is smaller: y or -2/7?
y
Let r be -4*(597*(-15)/(-270) - (-4)/(-6)). Suppose 5 = -m + 4. Let x be (-214)/r + m - (-68)/(-85). Is x > -5?
True
Suppose s = 2*m + 4, 4 = -2*s + 3*m + 12. Suppose s*k - 25*d = -28*d + 15, -25 = -5*d. Which is smaller: -24 or k?
-24
Let p = 10 - -70. Let d = p + -75. Suppose 8 = 3*k - k, 2*y + d*k = 20. Does -5/9 = y?
False
Let w(k) = -k**2 + k - 2. Let g be w(0). Let u(s) = -2474*s**2 + 1233*s**2 - 16*s + s**3 + 1228*s**2 + 24. Let n be u(14). Which is smaller: g or n?
n
Let j = -47 - -57. Let l be (28/(-12) + 1)*15/j. Let m be (4/3)/l*11/22. Is m bigger than 0.033?
False
Suppose -3*b