 be 10/8*(-336)/210. Let y = -56 - -62.1. Let k = y + -1.1. Which is smaller: k or r?
r
Let a be (-46)/(-12) - 3 - 2/(-12). Suppose -5*v = -2*c - 8, -2*c - v + a = -3*c. Which is greater: 1/36 or c?
c
Suppose 4*z = 5*u + 14, 3 = 6*z - z + u. Suppose -3*k = 6, 0 = p + k + z - 12. Suppose -j + 7 - p = 0. Is -6 equal to j?
True
Let b = -133 - -70. Let n be (21/b)/(2/6). Which is bigger: n or -2/127?
-2/127
Let i = 3294 - 3267. Let h = -25.951 - 0.049. Let w = i + h. Is 8 at most as big as w?
False
Let u = -26389 - -26625. Is u less than -9?
False
Let q = -105 + 944/9. Let l be -61 + 79 + -10 - (8 - 1). Is q < l?
True
Suppose -3*q - 5679 = 4*a + 2893, 0 = -4*q + a - 11423. Are q and -2856 unequal?
False
Let x be ((-126)/(-56)*4/66)/(1845/(-20)). Is x at most 1?
True
Let y(j) = -20*j + 95. Let w be y(5). Let a(z) = -2*z**3 - 9*z**2 + 12*z. Let k be a(w). Is k smaller than -35?
False
Suppose 3*k + 9 = 0, -k - 247 = -5*z - 2*k. Suppose 53*a - z*a - 192 = 0. Is 62 greater than or equal to a?
False
Let x = 159993 + -1596449/10. Let b = x - 349. Are b and 0 equal?
False
Let d be (14 - -11)/(1 - 4/5). Suppose 2*p + 3*l = d + 106, -4*l + 468 = 4*p. Suppose 10*t - p = 2*t. Are t and 1 unequal?
True
Let j = -0.093 - 3.607. Let n = 4 + j. Let g = 0.41 + -1.51. Are n and g equal?
False
Let t = 0.01275 + -0.10275. Is t != -9.6?
True
Let z = 67.2 - -85.8. Let r = 474/7 + -68. Is r smaller than z?
True
Let t be (-70)/84 - 388/(-2232)*-21. Which is greater: -3 or t?
-3
Let c(l) = l**3 - l**2 - 26*l + 55. Let o be c(2). Is 1.618 smaller than o?
True
Let c = 225.332 - 0.332. Let s = 255 - c. Do s and 2/3 have the same value?
False
Let u = -5597 - -5597.14. Are u and 2/17 nonequal?
True
Let i = 9541 + -9886. Which is smaller: i or -2075/6?
-2075/6
Let s(h) = 7*h**2 - 1. Let p be s(-1). Let r be 126/56 + p/8. Suppose 5*z = -r*z - 64. Are z and -8 non-equal?
False
Let n be -1*10/25 + (-2114)/(-10). Let f = n - 1056/5. Is f equal to 2/103?
False
Let n be 1 + 0 - (-2)/(-3). Let l = 6327/58 + -1017651/9338. Let t = -4/203 + l. Are n and t unequal?
True
Let l(m) = m**3 - 13*m**2 - 10*m - 20. Let f be l(14). Let t be 10/(-35) + f/(-21). Let p = -6 + -12. Which is greater: p or t?
t
Let g = -888391/51 + 17419. Are 10 and g equal?
False
Let x = 83 - 78. Suppose -5*t = -4*a + 21, x*t + 25 = 6*a - a. Let i = -0.1 + 2.1. Is i greater than a?
False
Let z = 236.7 + -226. Let a = 17.7 - z. Is 1/4 equal to a?
False
Let p(o) = 4*o**2 - 208*o + 517. Let c be p(52). Is c at most as big as 517?
True
Let n(h) = h**2 + 70*h - 71. Let l be n(1). Let i be 29/(-9) + 5*10/225. Are l and i unequal?
True
Let x = 1/4757457 - -90415470253/152238624. Let u = x - 594. Suppose -2*a - 9 = 3*i, -5*a - 2*i = 9 - 3. Is a bigger than u?
True
Let i be ((-14)/(-12)*222)/1. Is i greater than -5?
True
Let s = 4857 + -4849.6. Let a = 19/48 - 1/16. Is a bigger than s?
False
Let l be 2/(-1) - 0 - 2/2. Let c be 1/l - (-1359)/81. Is 16 less than or equal to c?
True
Let m = 235 - 394. Let b = m + 159.2. Which is smaller: b or 0.56?
b
Let h = 75035/119658 + -92/147. Which is bigger: -1 or h?
h
Suppose 0 = -13*s - 11*s - 4464. Let x = -93 - s. Do 94 and x have the same value?
False
Suppose -151*f = -129*f - 268 - 128. Suppose -5*m + 84 = -u, 42 + 38 = 5*m - 5*u. Is f < m?
False
Let k = 0.34 + -19.84. Let h = k + 19. Let r = -0.5 - h. Which is smaller: r or -7?
-7
Suppose 0*f + 6*f = 54. Suppose f*j = 676 + 512. Suppose -4*v - 2*b - j = 0, 3*v = 2*b - 18 - 88. Which is smaller: v or -0.1?
v
Let x = -63795/14 - -7353883/1610. Let l = 1037 + -5239/5. Let o = x + l. Which is bigger: -0.2 or o?
o
Let m(j) = 4*j**2 + 11*j - 17. Let f be m(-7). Suppose -f*n + 105*n + 27 = 0. Let d(o) = -o - 16. Let u be d(-7). Is u less than n?
False
Suppose 0 = 11*h - 3*h + 200. Let o(f) = -3*f**2 - 64*f + 44. Let t be o(h). Which is smaller: t or -232?
-232
Let b be 10/(-15) + (-30)/(-90). Which is bigger: b or 0.02515?
0.02515
Let g be ((-2076)/(-85))/(-6)*-4. Let o = g + -82/5. Suppose -5*r + 35 = 35. Is r smaller than o?
False
Let t be (-8)/(-6) + (-5)/15. Let b(o) = o**2 - 28*o - 18. Let k be b(20). Let i be 2 + (-360)/k + -4. Does i = t?
False
Let f = 4834/11 + -456. Let t = 70504265/803 - 965994/11. Let q = t - f. Is -1 bigger than q?
False
Suppose -2*h - 3 = -25. Let x(u) = -4 - h + 45*u - 44*u. Let i be x(15). Is i < -2?
False
Let y = -1.355 - 5.983. Let d = y - -7.2. Let j = d + 0.038. Is j > -0.1?
False
Let f be 1/3*6 - -16. Let i be 26/26 + f*1. Suppose i*w - 3 = 16*w. Is 16/7 at least as big as w?
True
Suppose 68*w + 50 + 18 = 0. Which is greater: -1/7634 or w?
-1/7634
Let d = -67.109 + 0.109. Let f be (-323)/(-1071) + 10/315. Is f at least d?
True
Let l = 0.541 + -0.4718. Let u = l - -83.9308. Are -4 and u nonequal?
True
Let w be (32 - 3 - 7) + 4 + -2. Let h be 13/12 + w/(-288). Let t = -186 - -2042/11. Is t greater than or equal to h?
False
Let x(w) = 0*w + 0*w - w - 2 - 16. Let r be 17368/(-1670) + (-2)/(-5) + 0. Let q be x(r). Is -8 at most as big as q?
True
Suppose -40*x + 7249 = -13871. Is x greater than or equal to 525?
True
Let k = 8285759642 + -130542143459786/15755. Let j = k - -438/23. Which is smaller: 1 or j?
j
Let l = 4.83 - -58.97. Let s = 66 - l. Let h = -2.1 + s. Is h <= 13?
True
Suppose 60*b + 308 = 214*b. Which is smaller: b or 102/169?
102/169
Let g(t) = t**3 - 82*t**2 + 98*t - 11. Let w be g(80). Are -4972 and w equal?
False
Let x = -20/149 - -2091/16688. Let p = x - -5/48. Let g = 56/219 - -30/73. Is g greater than p?
True
Suppose -87685 + 21157 = -21*k. Suppose 644 = h - 3*t - 0*t, 2*t = 5*h - k. Which is smaller: h or 633?
h
Let g = -3862197/245 + 15764. Which is greater: 0 or g?
0
Let z(g) = -120*g + 1616. Let b be z(13). Let x be 3*19*2/2. Which is smaller: b or x?
b
Let u(b) = b**2 - 34*b - 36. Let k be u(35). Suppose i - 76 = 134. Let w be (4/(-35))/(i/(-49)). Is w less than or equal to k?
False
Let a = 1 + -5. Let l be 64/12*(-6)/(-8). Let r be (l/(-14) - 4) + 0. Are a and r nonequal?
True
Let r be 4620/6578 - (-4)/(-46). Let d be 224/(-36) + 4/18 - -1. Let o be (d - -3 - 1) + 5. Which is bigger: r or o?
o
Let h = -6290 + 6135. Which is greater: -134 or h?
-134
Let r = -44 + 90. Let p = 58 - r. Let j = 1 + p. Which is bigger: j or 17?
17
Let f be 1754/45 - 2/(-9). Let m = -454893/140 + 23018/7. Let s = f - m. Is s at most -1?
False
Let z(s) = -s**3 - 49*s**2 + 103*s + 58. Let r be z(-51). Let x be (109/2*-2)/16. Let c = r + x. Is c >= 1?
False
Let y(o) = -o**2 - 16*o + 71. Let j be y(-19). Is j equal to 14?
True
Let k be -3*(-3)/((-36)/(-16)). Let i = -56.9 + 34.1. Let y = 22.7 + i. Which is bigger: y or k?
k
Let i be -3 + (-53)/(-15) - (-2)/(-6). Suppose 0 = -d - 5*u + 10, -2*d = 2*u + u - 13. Suppose 0 = 4*y + k - 5, -y - 1 = -d*k + 3. Which is bigger: y or i?
y
Let t be (135/(-15) + 5)/(3 - 1). Let n be (-2)/t*(-7678)/22. Is n greater than or equal to -349?
True
Let a be 2 - ((-1)/(-2) - 49699424/129108). Let i = -40387/106 + a. Let k = i + -4/609. Which is smaller: k or 5?
5
Let c be (-2)/(-12)*2/(-41). Let t be -5 - (-1 + 40/(-10)). Which is smaller: c or t?
c
Let p be (12/30)/(3/(-30)). Let z be (-9)/p + (-18)/(-24). Suppose -z*x - x - 188 = -5*u, -4*u = x + 47. Is -47 less than or equal to x?
True
Let n(s) = -2*s**2 - 28*s + 645. Let l be n(12). Let z = 34 + -15. Let k = z - l. Is 1 at least as big as k?
True
Suppose -5*b = 3*d - 1199, 4*d - 7*b - 1595 = -10*b. Let v = -38 + d. Is -0.1 < v?
True
Let w(o) = -2*o**3 - 10 - 7*o + o**3 + 14*o + 7*o**2. Let z be w(8). Let t(i) = -i**3 - 31*i**2 + 104*i + 49. Let u be t(-34). Is z bigger than u?
True
Suppose w - 1 = -4. Let t be ((-9)/w)/(786/4). Suppose -u + 3 = 0, -3*n + 5*u - 157 = -145. Which is greater: t or n?
n
Suppose 0 = c - 6*c. Let m be 2 + 8/(-1592) + (c - 2). Which is greater: m or 0?
0
Suppose 30 = -5*t, 0 = -u + t + 2*t - 586. Is u bigger than -604?
False
Suppose 3*l + 5*l = -1152. Let g be (0 - (58 + -3))/((-3)/l). Let n be -2*(-5)/12*88/g. Is n bigger than 1?
False
Suppose 5*f = -6 + 1. Let d = 1 - f. Let j = 5 + -4.6. Are d and j unequal?
True
Let l = 9 - 48. Let o = 49 + l. Suppose -3*g - o = 2, -m + 1 = -g. Which is greater: m or -8?
m
Let c = -1263/5 + 116181/460. Suppose 9*j + 9 = -0. Is c greater than or equal to j?
T