-4)/18*558/(-1984). Is r less than or equal to s?
True
Let v(d) = -d**2 + 5*d + 7. Let t be v(6). Let f be (-1)/(-4) - (-222)/(-24). Let s be t*((-21)/f - 2). Is s at most -1?
False
Let v = -24708/21134671 + -2/13877. Which is bigger: v or -1?
v
Let s be 6/(-15) + -4 + (-22)/(-5). Which is smaller: s or -1/642?
-1/642
Suppose -2*b + z = 5, 0*b - 3*z - 25 = 2*b. Which is bigger: 12 or b?
12
Let q = -254/513 + 8/19. Suppose -3*r + 0*j + 27 = 4*j, -2*j = r - 11. Suppose -4*x - r = -9*x. Are x and q non-equal?
True
Let a = 115 + -146. Let h = a - -21. Let n = 0.3 + -0.1. Which is smaller: h or n?
h
Let j = -82.524 + 82. Which is bigger: 0 or j?
0
Let c = -280 - -276. Suppose 2*y + 24 = -3*v, -5*v - 27 = -3*y - 6. Let h be 4/v*1 - 0. Which is smaller: h or c?
c
Let b be -1*244/4 + 4. Let m be b/(-18) + -3 + (-70)/132. Which is bigger: -1 or m?
m
Let v be (0 + -4)*(3 - 0). Let a = 95 + -83. Let d = a + v. Which is greater: d or -11?
d
Let s = -0.0453 - 19.9547. Which is smaller: 12 or s?
s
Let t = -15 + 19. Suppose 0 = -w - 5*v + t, -w + 2*w - 3*v + 4 = 0. Does w = -2/23?
False
Let m be (-1)/(-2)*0/(-2). Let u = -15237/11 - -1385. Does m = u?
False
Let n = 0.47 - 5.77. Let b = 3.3 + n. Is b at most as big as -0.06?
True
Suppose 3*b = 5*q + 24, b + 2 = 5. Let s be (q + 3)/(2 + -5). Suppose 2*p = -3*v + 6, s = v - 0*v + 5*p - 2. Which is smaller: 1/2 or v?
1/2
Let f = -59 + 86. Let n(c) = -7*c - 20. Let v be n(-7). Does f = v?
False
Suppose -4*m + 288 + 444 = 4*w, 3*m + 519 = 3*w. Which is bigger: 176 or w?
w
Let a = -16 - -4. Let f be (-1 + a)*518/98. Let x = f - -68. Is x < 0?
True
Let y = -22544438415/17866791938 + -481/1206482. Let m = y + 74/59. Let a = m + -998/753. Is a greater than or equal to 0?
False
Suppose -n = -v - 1336, v - n + 1330 = -3*n. Let l = v + 14656/11. Let a be ((-16)/(-4) + -3)*(0 + -2). Which is smaller: a or l?
a
Suppose -11*l = -5*l + 210. Let o be l/5*(-15)/5. Is o less than 20?
False
Suppose 2 = -j + 2*j. Let m be 2 + -1 - 5 - (22 + -30). Suppose 25 = 5*s, j*p = -2*s + 6*s + m. Which is smaller: 13 or p?
p
Let w = -137 + 1367/10. Which is smaller: 13 or w?
w
Let p = -13 + 23. Suppose -m - p = -k + m, -4*m = 4. Which is smaller: 7 or k?
7
Let d = 75 + -55. Suppose o - d = -0*o. Is 20 greater than or equal to o?
True
Let m be ((-3)/((-6)/34))/(-1). Suppose 3*k - 91 = 4*y, 35 + 31 = -4*y - 2*k. Is y greater than or equal to m?
False
Let v = -5 + 4.98. Let q = 0.08 - v. Let s be (-4)/((-540)/111) + (-24)/108. Which is greater: s or q?
s
Let s be (2 + -4)/(4*9/(-90)). Are s and -12 nonequal?
True
Let d be 9/2*(-38)/(-57). Let r = -1945/3 + 4373/6. Let k = -78 + r. Which is bigger: d or k?
d
Let d = -149/276 + 7/12. Suppose -10*x + 7 = -11*x. Let k(i) = i**2 + 6*i - 8. Let u be k(x). Which is greater: d or u?
d
Let f = 355/3052 - 3/28. Is 1 not equal to f?
True
Let y(g) = -g + 19. Let w be y(8). Suppose -8*j + w*j = -12. Do j and -13/3 have different values?
True
Let x = 0.04 + 2.96. Let g = -0.11 + 2.11. Let s = g - x. Which is smaller: s or 3?
s
Let d = -21.5 + 13.5. Is d >= -13?
True
Let y = 0.15 - 0.05. Let k = 7.2 + -7. Let v = y - k. Is 2/5 greater than v?
True
Suppose 0*l = -l - 1. Let g = 12341/12 - 1029. Do g and l have the same value?
False
Let o be 3 - (2 + -2)/(-1). Let z be (-2 - 0) + (14 - 14). Let j = o + z. Is 5/3 equal to j?
False
Suppose 397 = 14*x + 4989. Do x and -327 have the same value?
False
Let n = 0.218 - 0.48. Let b = n - -0.24. Which is smaller: b or 1?
b
Let b(z) = -z - 5. Suppose -4*s = -3*f - 5, -5*s = f + 4*f + 20. Let m be b(f). Let n = 50 - 256/5. Is n equal to m?
False
Let v = 14 + -20. Let a be 0 - (-3)/v*0. Let b(r) = 2*r. Let c be b(a). Which is smaller: -3/8 or c?
-3/8
Let r(q) = -q**3 - 20*q**2 - 45*q + 26. Let f be r(-17). Are f and -53 unequal?
True
Suppose 2*h + 294 = 80. Which is smaller: h or -106?
h
Suppose 0 = -26*g + 1839 - 6259. Is g > -170?
False
Let u be 1/(-2)*1/(-1)*6. Let s be u - 44/(-6) - 2/6. Which is bigger: 9 or s?
s
Let m = 8.6 + -8.5. Is m at most -0.351?
False
Let f(n) = n**2 + 8*n + 3. Let r be f(-8). Suppose -r*y - x - 48 = -3*x, 0 = 3*y - 4*x + 54. Let k = y + 13. Are k and -7/3 equal?
False
Suppose 36 - 21 = -3*w, 2*l - w + 445 = 0. Is -224 >= l?
True
Suppose 3*a - 7*a + 16 = 0. Suppose t - 2*t = 4. Let y be 6/t + 36/8. Is y > a?
False
Suppose -47 = 26*o - 25*o. Is -50 not equal to o?
True
Let y be -1 - -2 - 35/(-5). Let s(f) = f**2 - 8*f - 5. Let k be s(9). Suppose 0 = -k*d - 11 + 39. Which is greater: y or d?
y
Let k = -1991/28331 + -2/691. Is -1 greater than k?
False
Let z = 2/20053 + -6316703/80212. Let y = z + 78. Which is bigger: y or -2?
y
Let y(z) = -z + 1. Suppose 19 = -2*c - 5*r, -4*r - 17 = 2*c - 1. Let m be y(c). Suppose -m*a = -0*a - 15. Is a at most 0?
False
Let l(p) = -p**2 - 10*p - 10. Let b be l(-9). Suppose t - 2*c = -4*c - 468, 2*t + 948 = -c. Let w = -6192/13 - t. Which is smaller: w or b?
b
Let t be (-1 - -4)/(9/(-42)). Suppose 23*y - 44*y = 63. Which is bigger: t or y?
y
Let r be -91 + 1 - (-11 + 7 - -2). Is -86 at least as big as r?
True
Let m be (-2)/(-15)*33/(-187). Let u = 89/170 + m. Is -0.2 <= u?
True
Let h = 5.03 + -117.03. Is h at most -6?
True
Suppose -g = -5*l + 35, 3*l + 5 = 2*g + 33. Let s be l/(-9) + (-1063)/453 + 3. Which is smaller: s or 0?
s
Let i be 4/(-22) + (-5292)/539. Which is smaller: -4 or i?
i
Let d(s) = 3*s + 53. Let n be d(-17). Suppose -2*u - 4 = -n. Which is greater: u or -2/99?
-2/99
Let g = -23 - -23.9. Let f = 2.9 - g. Let z = 40.92 + -40.9. Which is greater: z or f?
f
Let c(x) = -43*x. Let l be c(-2). Let b = l + -53. Let w = -30 + b. Which is bigger: 19/5 or w?
19/5
Let t = 2.22 - 0.52. Is -0.1 >= t?
False
Let r = 43 + -46. Let f = -12 + r. Are f and -15 equal?
True
Suppose -9 = 3*j - 6. Let v be 1 + 2 + (-618)/230. Let o = v + 2/23. Do o and j have the same value?
False
Suppose 0 = -2*m + 7 + 7. Suppose -w - 2*u = -20, -3*u + m = 3*w - 44. Are w and 14 equal?
True
Let c = 10 - 10.6. Let h = -1.8 + c. Let y = -0.7 - h. Is y greater than -1?
True
Suppose -2*g + 9 + 150 = 3*b, 5*b = 2*g + 281. Let v be (-65)/b - 2/(-11). Which is bigger: v or 2?
2
Let o = 62 + -56. Let k be (o/(-8))/((-3)/(-12)) - -2. Is -7/13 at most as big as k?
False
Let t = -60 - -62. Suppose -2*h = -3*m - 31, 2*m + 51 = -3*m + 4*h. Let v be m/(-6) - (-4)/(-8). Is v greater than or equal to t?
False
Let i be (4/30 + (-3038)/(-840))*40. Which is smaller: 153 or i?
i
Let k = 11703/154 - 76. Which is greater: 0 or k?
0
Let i = -1.02 - 0.18. Let p = -1.13 - i. Let h = 1.07 - p. Is 7 < h?
False
Let f be 2/12 + -21*(-7)/(-126). Is f not equal to -9/59?
True
Let m = 0 - -4. Let v(p) = -3*p**2 + p + 3*p - 3*p - p**3 + m*p**2. Let w be v(-1). Which is bigger: -2/47 or w?
w
Let y(l) = l**3 - 6*l**2 - 2*l - 1. Let r be y(6). Let x = -55 - -45. Let d(j) = j - 3. Let u be d(x). Is u != r?
False
Let a = 54 - 23. Is 95/3 greater than a?
True
Let r(f) = -f**3 + 3*f**2 + 3*f + 3. Let k be r(4). Let t be (k - -1)/(4 + -6). Suppose 14*j - 4*j = 30. Which is bigger: j or t?
j
Suppose 1 - 19 = -3*y. Suppose q = 1 + 1. Which is smaller: y or q?
q
Let x(g) = g + 1. Let s be x(4). Let p = s - 4. Is 1/34 smaller than p?
True
Let a = 1508 + -1912. Is -1/3 at least as big as a?
True
Let g = 2 + -8. Let c(p) = p**3 + 25*p**2 + 27*p + 69. Let h be c(-24). Which is bigger: h or g?
h
Let h be -1 + 2 - (-24 + 6 + -5). Let y be 0/(1*-3) + h/36. Let u = 1 - 14. Are y and u nonequal?
True
Let f = -123 + 70. Is f less than or equal to -53?
True
Let s(c) = c**3 - 6*c**2 + 8*c - 14. Let t be s(5). Which is smaller: t or -1/112?
-1/112
Let a be (-7)/((-7)/(-2)) - -1. Let i be a + 0 - 150/(-144). Let d be 4 - ((-105)/(-15) - (3 + 0)). Which is bigger: d or i?
i
Let o = 170 + -113. Let z = -54.3 + o. Are z and -2/3 unequal?
True
Let b = -0.17 - -1.17. Which is bigger: b or -6?
b
Suppose 7*n = 36 + 34. Suppose -5*d = 3*f - n, -f - 16 = d - 4*f. Is d != -22?
True
Let y(n) be the second derivative of -n**4/12 + 2*n**3 - 10*n**2 + 10*n. Let z be y(8). Which is smaller: 13 or z?
z
Let z = -66 + 44. Let q = -21.8 - z. Is -4 != q?
True
Suppose 0 = 2*n - 0*n + 2. Let p = 2/3241 + 619019/19446. Let d = p + -32. Do n and d have different values?
True
Let j = 270 + -279. Is -17 less than