= 11.51 + -29.51. Let w = -17.91 - 0.09. Let v = s - w. Which is greater: 5/6 or v?
5/6
Let v be 22246608/3330 + 4/3. Let k = 6682 - v. Which is smaller: 1 or k?
k
Let h = -505 - -212. Let b = -223 - h. Which is smaller: b or 1?
1
Suppose 15*y + 10215 = -95*y - 1885. Which is smaller: y or -104?
y
Suppose -2*t = -3*y + 4641, -5*t - 8793 - 3583 = -8*y. Do y and 1546 have the same value?
False
Let z(g) = -g**3 + 6*g**2 - 4*g - 3. Let c be z(3). Suppose 5*k - 48 = l + c, 4*k = l + 47. Which is smaller: 15 or k?
k
Let b(f) = -4*f**3 + 41*f**2 - 70*f - 19. Let h be b(8). Which is smaller: -96/55 or h?
h
Let p be 41/(-123) + 200476/601356. Is 1 at least as big as p?
True
Let c = 16.994 + -2874.994. Does -1 = c?
False
Suppose 5*u = 2*m + 26, 4*u - 1796 = 3*m - 1764. Suppose 0 = 3*x - 4*i - 37, x = -2*x + 3*i + 39. Let c = -27/2 + x. Is u less than c?
False
Let t = 193 - 192. Which is bigger: -2/1051 or t?
t
Let w be (6/4)/((-84)/(-11032)). Suppose -37 = 9*u + w. Is 2 smaller than u?
False
Let w(k) = k**2 - 9*k - 7. Let i be w(10). Let g = -4572 - -1164. Let r = g - -37530/11. Which is bigger: i or r?
r
Let u = -13042 - -12649. Is u <= 17?
True
Let j(q) = -2*q + 17. Suppose -4*d + 58 = d - v, 5*d + 3*v = 46. Let c be j(d). Which is greater: -1 or c?
-1
Let p be -9 - (-1 + -10)*-54. Let s = -603 - p. Which is smaller: s or -3/35?
-3/35
Let d = 393 - 5105/13. Let b(p) = -2*p**2 + 66*p + 1569. Let r be b(49). Is d > r?
False
Suppose 0 = -15*y + 10 + 20. Suppose 19 = 3*m + y*q, m + 3 - 11 = q. Which is bigger: 8 or m?
8
Let s be ((-1291 - -18) + -22)*(-1 - 9/(-5)). Which is smaller: s or -1039?
-1039
Suppose 191 = 9*t - 2124 - 520. Is t > 323?
False
Suppose -3*s - 2*c = 1088 - 9170, -4*s = -4*c - 10796. Suppose -4*o - s = 4*o. Is -337 smaller than o?
False
Let b be ((-10252)/561)/(4/(-114)). Let l = b - 521. Suppose -7*y + 5*y = 2. Which is smaller: l or y?
y
Let x be 1266/(-8) - (2/(-12))/(282/(-1269)). Is x greater than -34?
False
Let v = -12778787/29139 - -4824/11. Which is greater: v or -1?
v
Let d = 19588/32395 - 58/95. Which is bigger: -1 or d?
d
Let k = 100 - 791/8. Let m = 23 + -18. Suppose -7 = -2*q - 3*f + m, 3*q = 4*f - 16. Are q and k unequal?
True
Let t = 291 - 286. Suppose 577 = -t*v - 688. Are -254 and v nonequal?
True
Let t be (18/4)/((-33)/(-88)). Let m be (-2*t/36)/((-4)/(-6)). Which is greater: 1/102 or m?
1/102
Let a be ((-1)/6)/(18/(-81)*15/20). Which is smaller: -3/37 or a?
-3/37
Let y = 3241 - 4307. Which is greater: y or 2?
2
Suppose 34 = 6*c - 74. Let n be (-196498)/576 + 2/c. Let v = n + 341. Is -1 less than v?
True
Let m be -1 + 6 - 144443/18532. Let f = -4622 + 522291/113. Let s = m + f. Which is greater: s or -2?
-2
Let s = 467.28 - 2.28. Let m = 467 - s. Which is smaller: m or -32/9?
-32/9
Let w = -282910 + 16973161/60. Let d = 73/20 + w. Which is smaller: -21 or d?
-21
Let q = 205 + -404. Let b = -232 - q. Is b greater than or equal to -131/4?
False
Suppose -b = -4201 + 4304. Suppose -2*q + 84 = r + 2*q, r + 5*q = 80. Let s = b + r. Which is bigger: s or -5?
s
Let m be ((-10)/(-40))/((-6)/2264). Let n be (146 + -222)*(-5)/(-4). Is n greater than m?
False
Suppose 11094 = -218*z + 175*z. Is -257 equal to z?
False
Let v(w) = -w**2 + 107*w - 2623. Let u be v(39). Let t = 57 + -28. Is u at least as big as t?
True
Suppose -1004 = -2*s - 4*a, 23 = 5*a - 2. Let b = 499 - s. Which is smaller: b or 0?
0
Let k(u) = -2*u**3 - 2*u**2 + 37*u + 52. Let f be k(-4). Let b be (-785)/1182 + (-12)/(-18). Which is bigger: f or b?
b
Suppose 0 = -5*s + 5 + 5. Suppose 0 = -3*n - s*n. Let f be ((-56)/(-140))/((-39)/75). Which is smaller: n or f?
f
Suppose 191 = -4*d + 15. Let t = -46 - d. Let y = 256 - 257. Is t less than y?
True
Suppose -3*p + 6 = -0. Suppose -o + 3*x + 15 = 0, -p*x - 60 = -4*o + 2*x. Is -3 greater than o?
False
Let i = -2216.82 + 2217. Is -73 < i?
True
Let p(s) = 3*s**3 + 20*s - 9. Let x(f) = -2*f**3 + f**2 - f + 1. Let j(y) = p(y) + 2*x(y). Let h be j(5). Are h and 9 unequal?
True
Let r = 7/131 + -48154/1441. Do r and -34 have the same value?
False
Let i(v) = -v - 15. Let c be i(-14). Let z = -8/335 + 586/52595. Which is bigger: z or c?
z
Suppose 690*p + 9582 = 3*g + 694*p, -5*g - 3*p + 15937 = 0. Which is smaller: g or 3188?
g
Let n(m) = m**2 + 11*m + 27. Let s be n(-7). Let j be 1/((-1 - 8)*105/(-45)). Which is greater: s or j?
j
Let a(n) = 3208*n**2 + 7*n - 7. Let x be a(1). Let y = x - 73770/23. Is y > 2?
False
Let p = 437.529 + -0.529. Which is bigger: -0.2 or p?
p
Suppose 0 = 277*z - 183*z - 94. Is z at least as big as -8/843?
True
Let m(z) = 2*z - 10. Let r be m(4). Let b be 1743/147 - r/14. Suppose -b = 4*f, -4*p - p - 4 = 3*f. Which is smaller: p or -2/217?
-2/217
Let j(b) = b**3 - 3*b**2 - 10*b. Let q be j(5). Suppose -199 = -m - 5*n + 22, q = -4*m + 3*n + 976. Which is bigger: 242 or m?
242
Let t(q) = -4*q**3 - 5*q**2 + 10*q + 27. Let g be t(6). Which is greater: -962 or g?
g
Let o(m) = -m**3 - 44*m**2 + 92*m + 16. Let s be o(-46). Suppose -8 = -4*y, -36 = -l - l - 4*y. Is l <= s?
True
Suppose -4*l = 2*z + 10, -26*z + 25*z = -4*l - 19. Which is bigger: l or 364?
364
Let i = 133.11 - 133. Let d = i + -1.11. Which is smaller: d or -16?
-16
Suppose -49*m - 9231 = -3*f - 48*m, 0 = m + 6. Which is greater: f or 3074?
f
Let m be -2*(-2035)/(-12 + 1). Which is smaller: m or -368?
m
Let q = 2.51 + -385.51. Let i = 382 + q. Let o = -5.8 + 0.8. Which is bigger: o or i?
i
Let p be (-2)/5 + 1016/(-10). Let r = -388253 + 1552599/4. Is r at most as big as p?
True
Suppose -192*k - 132 = -60*k. Let w = -431/7 - -62. Is w smaller than k?
False
Let m(a) = -2*a**2 + a + 8. Let s be m(0). Let l be -1*-22*(-4)/s. Suppose 0 = -2*w - w - 36. Do l and w have the same value?
False
Let h be (-9)/(-2)*(-11640)/45. Let l = h + 5928/5. Which is greater: l or 22?
22
Let t be 3/(-9) - ((-38)/(-3) + 3). Let p be 2/t*684/72. Which is greater: p or 0?
0
Suppose 3 = -5*l - 2. Let d = 298 - 503. Let o be (-215)/d - (0 - -1). Which is bigger: l or o?
o
Suppose g + 88 = -3*m, 0 = -m - g + 3*g - 27. Is m at most as big as 77?
True
Let a = 6344 - 164949/26. Is 16 equal to a?
False
Suppose 4*b - 2028207604 = -5*g, -472295001 = 2*g - 4*b - 1283578037. Let a = g - 500967250928/1235. Let y = a - 276/13. Is -1 smaller than y?
True
Let y = -5.23 + 5.2. Let x = y + -0.07. Is x equal to -134?
False
Suppose 15 = i + 3*d, i + 0*i = 2*d - 10. Let s be -6 - (4/(-4) - i). Let q be ((-6)/112)/(s/(-20)). Which is bigger: -1 or q?
q
Let h be 1092/(-77) - 6/132*12/(-3). Let p be (-1)/(-3) + (-212)/15. Which is bigger: h or p?
p
Let t = -359 + 359. Suppose t = -9*c + 43 - 34. Is 1/39 greater than or equal to c?
False
Let c = 3.514 + -2.417. Let l = c - 0.417. Which is smaller: 1/3 or l?
1/3
Let n be -246*(1 + (-9)/6). Let t = 371/3 - n. Let l be 30/75 - (-82)/(-190). Which is greater: t or l?
t
Let g = 2028 - 2244. Is g != -220?
True
Let f = 2064.1 - 2085.1. Is f less than or equal to 1/213?
True
Let z = 48510 - 34089. Are z and 14422 equal?
False
Let c be 382/(-2574) + (-1)/3 + 1/9. Which is smaller: 0 or c?
c
Suppose 3*i = 68 - 44. Suppose i - 5 = -3*n. Let a be (2/(n - -3))/(273/(-6)). Does 0 = a?
False
Let i = 14949 + -13738. Are 1211 and i equal?
True
Suppose -5*m = 6*z - 7*z - 2063, 3*m = -5*z + 1221. Let d = 418 - m. Which is greater: d or 7?
7
Let k = -6767/2 + 3386. Which is bigger: -0.101 or k?
k
Let z = -27.453 + 27.352. Does z = 9/11?
False
Let o = 457 - 464. Let t be (-336)/35 - -3 - 1/(-1). Which is greater: t or o?
t
Let p = -7988/3 + 2745. Let s = -85 + p. Let m be (-6)/4 + 385/(-154). Which is bigger: m or s?
s
Let u = 4561/32025 - -2/4575. Do 6.1 and u have the same value?
False
Let q be (-49)/196*(6 - (-252)/(-40)). Is q less than or equal to -309?
False
Let j = 211 + -209. Suppose -j*g = 2*g. Let z be 639/1575 - 4/14. Which is bigger: z or g?
z
Let q = 3/5734 - 321509/774090. Which is smaller: -1/4 or q?
q
Let p be 3/3*44/(-44). Is p < 15/1204?
True
Let o(t) = 6*t - 22. Let a be o(4). Let x be 54/(-130) - ((-30)/(-25) - a). Suppose -2 = -3*g - 5. Which is greater: x or g?
x
Suppose 4*i = 3*b + 29, -i = -2*b - 9 - 2. Suppose -8*y = -a + 1, 0*y + 2 = -y + 2*a. Which is smaller: i or y?
y
Let k = 0.1 + 0. Let v = 7.961 - -5.939. Do v and k have different