. Which is smaller: n or r?
n
Let v = -3470 - -3806. Are v and 336 unequal?
False
Let o be (2 + (-257)/3)*(-45)/13. Let n = 285 - o. Do n and -5 have the same value?
False
Let d = -741/25 + 16277/550. Is -9.01 equal to d?
False
Let z be (-15)/(-3) + 32934/(-10974) + -2. Is -1 not equal to z?
True
Let y = 504 + -896. Let o = y + 397. Which is smaller: 38 or o?
o
Let t = 2.43 + -2.33. Is -43.74 less than or equal to t?
True
Suppose -8*u - 2842 = -74. Let b = u + 377. Which is smaller: b or 266/9?
266/9
Let d = 58.72 - 62. Let t = 0.82 - d. Which is bigger: t or -1/3?
t
Let o(a) = 14*a - 77. Let s be o(-14). Let y = s + 1913/7. Let q = -0.4 - -0.37. Which is smaller: q or y?
q
Suppose -3*y + 115 = -4*g, 5*y - 8*g - 220 = -7*g. Suppose -h - y = -4*z, 2*h - 4*z + z + 75 = 0. Is -33 equal to h?
True
Let y = -6683.69 + 6607. Let q = -77 - y. Let u = q - -1.31. Does 1 = u?
True
Let g be 3*(-7)/(-49)*-6082. Let x = 2623 + g. Is 15 at most x?
True
Let b(n) = 3*n**2 - n**3 + 7 + 0 - n**3 + n**3 + n. Let r be b(0). Let k be (-7)/(-28) - (-78)/8. Are r and k nonequal?
True
Suppose 5*a = -5*w, a = 3*w - 10 + 22. Suppose 3*y - 51 = a*p, 0 = -3*y + y + p + 31. Is 5 > y?
False
Let j(v) = v**3 - 16*v**2 + 15*v + 2. Let n be j(15). Let q be -24 - (0*1/n - -3). Let k be (-1)/63 + 6/q. Is k != 1?
True
Let m be 336/9 - 1/3. Let i(a) = -a**3 + 7*a**2 + 7*a - 11. Let p(q) = -q**2 + 26*q - 113. Let l be p(20). Let v be i(l). Which is greater: m or v?
v
Let g = -5949 + 5950. Which is bigger: g or -1/5270?
g
Let j = -11.5 + 45.5. Let p = 35.16 - 0.16. Let x = j - p. Which is smaller: 17 or x?
x
Let c = 14700 + -1513963/103. Which is smaller: 1 or c?
1
Suppose -5*c + 18 = 8. Let j(f) = f**2 + 49*f + 2*f**3 - 18*f**c - 8 - 57*f. Let v be j(9). Is 6 < v?
False
Let b(j) = j**3 - 17*j**2 - 3*j + 47. Let n be b(17). Let u be (8/(-6))/((208/6)/n). Which is smaller: 2/31 or u?
2/31
Let z(c) = 2*c**2 + 17*c + 13. Let x be z(-8). Suppose -5*y - 17 = 2*a, 9 = 2*a - x*a - 2*y. Do a and 29 have the same value?
False
Let s be (0 - (-6)/2)/(48/80). Suppose -21 + s = -8*t. Suppose -3*w - t*j - 2 = 0, -3*j = 5*w - j + 10. Which is smaller: w or -3?
w
Let t be 337680/112740 + (-4)/((-4)/(-3)). Which is greater: 0 or t?
0
Let p = 27202 - 26630763/979. Is -1 at most p?
True
Let z(k) = 288*k + 1727. Let d be z(-6). Is d >= -1/346?
False
Let o = 49 + -36. Suppose 3*k + 1 = o. Suppose z = -k*s - 24, -5*z = 2*s + 42 - 12. Are z and -2 equal?
False
Let l be -1*7/(-2)*-2. Let g be 2/6 + -7 + 3836/3. Let s = 5059/4 - g. Which is bigger: l or s?
l
Suppose 2*m - 2*u = -1426, m + 565 = -5*u - 154. Let v be m/49 - 16/(-28). Which is smaller: v or -12?
v
Suppose -141 = 16*s - 29. Let o = 381 + -390. Which is smaller: s or o?
o
Let f be (-13 + 1846/130)*20/(-22998). Which is smaller: 1 or f?
f
Let w(s) = s**3 + 9*s**2 - 3*s - 26. Let h be w(-9). Suppose u + 16 = h. Let l = -12 + u. Which is greater: l or -26?
-26
Suppose 2*z + z + 3*n - 12 = 0, 3*z + n = 4. Let p be -17*3/9*-3. Suppose -5 = -18*v + p*v. Which is smaller: v or z?
z
Let y = 6050504/389 - 15554. Suppose -5*s + 2*u - 3 = 0, 4*s - 2*u + 7*u - 24 = 0. Which is smaller: s or y?
y
Let j be 101/303*6/2. Which is smaller: j or 0?
0
Suppose -9*t + 2 = -10*t. Let s = 3169 - 3161. Is s greater than t?
True
Let r = -44882 + 33861. Which is greater: r or -11019?
-11019
Let q = -94 + 11. Let t = q - -138. Let f = t + -58. Which is greater: -2 or f?
-2
Let g be (-2 - -16 - -3) + 0. Let f(s) = -5*s - 17. Suppose 6*y = 13*y + 49. Let x be f(y). Does g = x?
False
Let w = 426.9 + -424. Let j = -54 + 57. Suppose -4*s - j = 5. Which is greater: s or w?
w
Let u = 535039/3271892463 + 1/273501. Is 1 != u?
True
Let j(h) = -66*h - 586. Let o be j(-9). Let n be (15/(-5))/(-1*1). Let c be 300/45 + 1/n. Is o at most as big as c?
False
Let k be -3*((-12)/(-213))/(-4). Suppose -7 = 14*p - 7*p. Is k smaller than p?
False
Let t(q) = -10*q - 10. Let m be t(-8). Let k be 449350/6235 - (2 + (-8)/(-116) + -2). Is k at least m?
True
Let n = -0.079 - -226.079. Let r = n - 227. Which is smaller: 2.1 or r?
r
Suppose -o - 1489 = 2*o + u, 2*u = -5*o - 2480. Let j = 560 + o. Which is bigger: 313/5 or j?
313/5
Let j be -1 + (-4)/((-160)/8156). Let o = -902/5 + j. Let r(x) = 22*x**2 + 63*x + 64. Let y be r(-1). Which is smaller: y or o?
o
Let w = 3152 - 3153. Which is greater: w or 19?
19
Let c = -7 + 6. Let o(j) = 40*j + 22. Let h(n) = -27*n - 14. Let p(x) = 8*h(x) + 5*o(x). Let l be p(c). Is 12 > l?
False
Let o(h) = -20*h**3 + 4*h**2 + 5*h + 2. Let s be o(-1). Suppose -4*t - 95 - s = 0. Is -29 equal to t?
True
Let p(t) = -7*t**3 + t**2 + 42 - 75 + 33. Let d be p(1). Let j(m) = -m**2 - 9*m - 14. Let y be j(d). Which is smaller: y or 6?
y
Let m = -286.2 + 286. Let v = -107 - -70. Which is smaller: m or v?
v
Let o = 269/3 - 22267/249. Do 0 and o have the same value?
False
Let g be 3/(-4)*200692/14937. Which is smaller: g or -9?
g
Suppose 5*y + 14 = n, -4*y + 16 - 32 = -2*n. Is -170/161 at most y?
False
Let f be 4*(2590/(-56) + 22). Which is greater: -0.14 or f?
-0.14
Let j = 676/63 - 94/9. Let d(w) = -w**3 - 17*w**2 + 4*w + 69. Suppose -23*a - 243 = 148. Let n be d(a). Which is greater: n or j?
n
Let x be -3 - -6 - (-5 + 4). Suppose -5*o = -2*l - l - 197, -l - 159 = -x*o. Let v = 43 - o. Is v greater than 0?
True
Let s be -13*(-16)/520 + (-576)/(-10). Let u be s/(-9) - (-32)/4. Do u and -1 have different values?
True
Suppose -2*x - 819*z = -820*z + 27, 3 = -x - z. Which is smaller: x or 8?
x
Let c be (28/8 - 3)/(1/54). Let h = 83/3 - c. Let f = -0.06 - 7.94. Which is bigger: h or f?
h
Let g be 2/(-4)*2*(-801552)/448. Let r = -1789 + g. Which is greater: -1 or r?
r
Let m = 20430 - 20725. Which is smaller: -291 or m?
m
Let b be -1 + 1 + 4/10 - 901/265. Is 270 less than or equal to b?
False
Let g = 41 + -16. Suppose 43 + 32 = 5*o. Let s = o - 15. Is s >= g?
False
Let q be (-29*(-1 + 0))/(-1). Suppose -294*o - 2178 - 770 = 5284. Is o at most as big as q?
False
Let s be (5/(-40))/(39/(-20)). Let k = s - -4/39. Let j = -293 + 293. Are j and k equal?
False
Let h = 2714 - 2714. Is 1/1669 at least as big as h?
True
Let r = -1 + 2. Let v = -549.535 + 549. Let q = 0.595 + v. Is r equal to q?
False
Let u = 4402289085/56002 + 67/28001. Let k = -5504939/70 + u. Let s = -161/5 - k. Are 0 and s equal?
False
Suppose -30*v + 2*v - 995 = 517. Is -66 greater than or equal to v?
False
Let r = -9656/5 - -1934. Are r and 41 equal?
False
Let f = 154699/114 + -1357. Let z(k) = k**2 - 21*k. Let h be z(21). Let w be 1/(-6 + h - -5). Which is smaller: f or w?
w
Let l = -49 + 29. Let y be (-52)/l - 1 - 4/(-10). Suppose -w + 8 = -n, 4*n + 0*w + 24 = y*w. Is -11/4 less than or equal to n?
False
Let s be (-204)/351 + -1 + -5 + 3. Let o be (1/(-4))/((-9)/140). Let m = s + o. Which is smaller: -1 or m?
-1
Let y(i) be the first derivative of 2*i**3/3 + i**2/2 + i + 19. Let o be y(-1). Let d be (-726)/385 + o/1. Is d smaller than 1?
True
Let k(y) = -283*y - 1131. Let q be k(-4). Is q > 26/527?
True
Suppose c + 11*l - 5 = 6*l, 5*c - 3*l + 3 = 0. Let n = 18267/616 - 43/154. Let s = 29 - n. Which is bigger: s or c?
c
Let t = 104 + 29. Suppose -t + 153 = -5*q. Let b be 14/(((-20)/(-2))/(-2)). Is q less than b?
True
Let u = -12529 - -6527601/521. Which is smaller: 1 or u?
u
Let w = 54 + -38. Let y be w/(-32) - 22/(-108). Which is greater: y or 0?
0
Let i be ((-416)/(-48) + -6)/(4/(-4926)). Which is greater: -3283 or i?
-3283
Suppose -2*b + 58 = -4*w, 3*b + 2*w - 74 = 13. Suppose 8*z + 77 = -3. Let m be (-145)/z*(-1 + 3). Is b bigger than m?
False
Let j = 8971 + -8180. Which is greater: j or 5541/7?
5541/7
Let y be 4/((-24)/(-351)) - 3/(36/(-42)). Which is smaller: y or 49?
49
Let i = -191.9 + 18.9. Let t = i + 163. Let r = 2 - 1. Which is greater: r or t?
r
Let m be 548814/(-72) + (-3)/12. Let i = 7687 + m. Let z = i + -131/2. Is z <= 0?
True
Let t = -9306 + 9235. Is -63 >= t?
True
Let u = 0.36 - -0.04. Let f be (24/(-16))/(1 + 5/(-2)). Let j be (-72)/(-14) + f + -7 + 1. Is u equal to j?
False
Let g = -7.6 - 4.1. Let r = -11.6 - g. Let w = 4 - -13. Which is smaller: w or r?
r
Suppose -1 + 11 = 2*v. Let x be (-1012)/(-20) - (-168)/70. Suppose -d - 23 = -2*g + 4*g, -2*d = -v*g - x. Is -12 at most as big as g?
True
Let u 