+ 22 = 196. Let t = 263/3 + o. Which is smaller: 1 or t?
t
Let t = -5616 - -5810. Is 0 at least t?
False
Let s be 1 + 1/(-2) + (-39)/(-26). Suppose 3*c - 4 = s. Suppose -2*j - c*j = o, -j = 4*o. Is j less than or equal to -10/11?
False
Let b be 2/3 + (-180)/(-54). Let g be (9/8334)/((-1)/b*2). Which is smaller: g or -1?
-1
Suppose 9152*l - 9181*l = 2365 - 857. Which is bigger: 91 or l?
91
Let j = 1.5 - 2.5. Suppose -114*o - 109*o = -226*o - 834. Which is smaller: o or j?
o
Suppose -5*w - 25 = -12*v + 7*v, -3*v - w + 19 = 0. Let k = -18.6 + 2.6. Let f = -15.8 - k. Which is smaller: v or f?
f
Suppose -x = -3*l + 23 - 105, 5*l - 82 = -x. Which is smaller: x or 58?
58
Let v = -5257 + 47315/9. Which is smaller: v or -49?
-49
Let f = 327237415223/5105 - 320389378/5. Let p = f + -23479. Is 0 >= p?
True
Suppose -3*s - n - 2386 = 0, 817 = -s + 52*n - 48*n. Is s <= -788?
True
Let m be (-63)/(-3)*912/665*5. Is m <= 153?
True
Suppose t = 11 - 7. Suppose 3*j = 5*v - 3534, 5*j = j + t*v - 4712. Let c = j + 15304/13. Is -1 equal to c?
False
Let j = -900 - -11236. Is 10337 greater than or equal to j?
True
Let i = 542284/141 + -3846. Which is greater: -2/27 or i?
i
Let x be (3/(-2))/(-219 + 216). Is x smaller than -1373?
False
Let t(y) = -669*y + 1. Let j be t(1). Let z = -6669/10 - j. Let g be (-5 + 315/65)/(26/(-338)). Is g greater than z?
True
Let l = -0.343 + 0.083. Let o = 227/159 - 5/53. Which is smaller: o or l?
l
Suppose 2247 = -25*n - 1853. Let x(c) = -c**3 - 17*c**2 + 47*c + 7. Let g be x(-19). Does g = n?
True
Suppose -3*d + 2*k = -1677, k + 2808 = 5*d + 2*k. Let w be (12 - 1)/(33/d). Is w at least 186?
True
Let v = -419 - -347.1. Let a = 2384 - 2312. Let f = v + a. Which is smaller: -1.2 or f?
-1.2
Let g = 9225 - 9224.353. Which is smaller: g or -0.2?
-0.2
Suppose -2*k + 13 = 4*j + 3*k, -4*j - 37 = -5*k. Let c be -34*(-3)/(-35) - j. Is c equal to -1?
False
Let b(x) = -2*x**2 - 2*x + 3. Let p be b(2). Let l = -54594 + 54592.9. Is p less than l?
True
Let m = 11829/22 - 1075/2. Which is smaller: 4.56 or m?
m
Let m = -3654 - -3653. Let s = 19 - 10. Let f be (s*3/36)/(-6). Which is smaller: f or m?
m
Let u(s) = s**3 + 22*s**2 - 6*s + 10. Let n(q) = -2*q**3 - 43*q**2 + 11*q - 21. Let f(j) = -6*n(j) - 11*u(j). Let b be f(-16). Let h = b + -16. Is 26 at most h?
False
Suppose -25 + 0 = -5*u. Let a(v) = -v**3 + 3*v**2 + 6*v. Let b be a(u). Let w = -30 - b. Are w and -10 nonequal?
False
Let f = -7519 + 7533. Let s(y) be the third derivative of y**6/120 - y**5/30 - y**4/8 - 5*y**3/6 - 5*y**2. Let h be s(4). Is f at most as big as h?
True
Let k be 630/28 + 4/(-8). Suppose -3*x = -h + 4, -5*h = -k*x + 25*x - 2. Are 20/61 and x nonequal?
True
Let m(i) = -i**2 - 6*i + 35. Let a be m(-9). Suppose a = -t + 3*z, 10*t = 14*t - 2*z + 12. Suppose 2*g = -g. Is g greater than t?
True
Suppose -k = 3*b - 5, -17 = 2*k - 27. Let x be b/(-4 + -4 + 6). Which is greater: x or 83?
83
Suppose -3*l = -2*x + 3*x + 38, -2*x = -5*l - 78. Let t = -86.327 + 0.427. Let b = t + 86. Which is bigger: l or b?
b
Suppose -3*d = -4*a, -4*d = a - 5*a. Let p be 4/((-372)/42219) - 2. Let b = -456 - p. Which is bigger: d or b?
d
Let b = -2111 - -2180. Which is smaller: 36 or b?
36
Suppose 29 = -4*w + g, -w - 6*g - 4 = 22. Let r = -4228 + 33761/8. Is r > w?
True
Suppose 4*h = -n + 64, -5*h = 6*n - 404 + 1. Is n < 49?
False
Let v = 375.2 - 133.2. Is 12 at most v?
True
Let z = 17 - 21. Let j be (-2)/z*(-54)/21. Let q = 25/14 + j. Which is smaller: 1 or q?
q
Let a = -225603 + 225605. Let s = 18 - 19.45. Which is smaller: a or s?
s
Let k be 13642/10 - (-56)/70. Which is smaller: 1366 or k?
k
Let a = 0.04131 - -0.05869. Which is smaller: a or -8.85?
-8.85
Let f = -3 + 28. Suppose -3*s = -8*s - 5*k + f, 0 = 4*s + 2*k - 10. Suppose s = 4*h - 75 + 319. Is -61 not equal to h?
False
Let h(m) = -m**3 - 15*m**2 + 21*m - 38. Let k(q) = q**2 + q + 1. Let a(i) = -h(i) + 3*k(i). Let b be a(-19). Suppose 0*n = -2*n + 42. Which is bigger: n or b?
b
Let p be ((-9)/(-27))/((-124)/(-93)). Let k be (2 + 26/(-14))*1. Are k and p nonequal?
True
Let f be (-2)/(-8) - (10/8 - -5). Let t be (f/4*68/(-51))/(-19). Which is smaller: -2/39 or t?
t
Let h = -57 + 60.26. Let j = h + -3.06. Let r = 2 + -1.98. Which is smaller: r or j?
r
Let m = 342 + -328.92. Let c = m - 1.08. Which is smaller: 3 or c?
3
Let g(r) = r**3 - 13*r**2 + 23*r - 132. Let l(x) = -64*x - 244. Let y be l(-4). Let m be g(y). Are m and 1/193 equal?
False
Let p = 1125 + -1115.77. Let y = p - -0.77. Let t = 9.9 - y. Does -10 = t?
False
Let c be -2 + (-28)/(-18) - 17238/459. Let a(w) = -w**2 - 23*w - 20. Let n be a(-9). Suppose n = -8*q - 206. Is q < c?
True
Let w = 41257127957/7068 - 110812322/19. Let u = -4944 + w. Is -1 smaller than u?
True
Let l = 4 - -71. Let a = 73.06 + -0.06. Let b = l - a. Is -4 <= b?
True
Let l be 4/26 + 1694203/(-1547). Is l greater than or equal to -1095?
True
Suppose 0 = -2*k - 55 + 395. Suppose 0 = -0*o - 5*o - k. Let x = -40 - o. Which is greater: -3 or x?
-3
Let x = 3449/500 - -44/125. Is 0.007 smaller than x?
True
Let h = -1781/6 + 49271/166. Which is smaller: h or -1?
-1
Let u(x) = x**2 + 17*x + 6. Suppose -4*s = 67 - 3. Let r be u(s). Let w be (1 + 0)/(r - -16). Do -1 and w have different values?
True
Let f = -429631/25410 - -2028/121. Let u = -2/105 + f. Suppose a + 3*v = 2, -a + 2*v = 3*a + 6. Is u >= a?
True
Let p = 4480 - -530. Which is bigger: 5012 or p?
5012
Let p = -151.74 + 866.74. Which is greater: p or 0.1?
p
Let d = 24605/759 + -747/23. Let h = 2 - 1. Suppose j - h = -2*y + 6, -3*y = -2*j - 14. Which is bigger: j or d?
d
Suppose 0 = -3*a + 8 - 2. Suppose -a*c + 1 = -3*o + 3*c, 0 = -4*o - 4*c + 20. Let m = 17 - o. Which is greater: m or 13?
m
Let y = 3955 + -28029/7. Which is greater: y or -50?
y
Suppose -6*z + 5*h + 70 = -z, 3*h + 27 = 2*z. Let k be -2*242/4 - (-18 + z). Which is greater: 0 or k?
0
Let i = 61804/7 + -8866. Let o = i + 1286/35. Let b = 9557 + -9557. Which is bigger: o or b?
b
Let l be (-1 + 0)/((-5100)/1400 - 8/(-7)). Let a = 4195 + -46115/11. Let o = 68/33 - a. Are l and o non-equal?
True
Let s = 42.3 + -42.2. Suppose -2*t + 794 = -2*h, -4*t - 507 = 2*h + 257. Which is smaller: s or h?
h
Suppose -8*h + 4*d - 2072 = 0, 16*d = -h + 19*d - 259. Is -1/6 at least h?
True
Let c = -4 - 0. Let m be -4 - (1 + (0 - (-4)/c)). Let w be (6/m)/(15/(-100)) - 1. Is 9 at most as big as w?
True
Let l be (-1)/((-10)/115 - ((-206545)/(-226090) - 1)). Which is bigger: 1967 or l?
1967
Let k be (-2)/3 - (25 + (-227374)/8862). Are 2 and k non-equal?
True
Let g = -11 - -10. Suppose -118 = -4*z + 2*a, z + 5*a = -4*z + 140. Let n = z - 33. Is n at most g?
True
Let x(r) = -24*r**3 - 2*r**2 + 6*r - 634. Let s be x(0). Is -635 <= s?
True
Let i = -125 - -103. Let v(y) = 2*y - 10. Let l be v(-4). Let a = -42 - l. Is a != i?
True
Let d be ((-1)/(-3))/(39/351). Let g be -11 + 18/(-9) - (2 - d). Is g equal to -15?
False
Let f = -0.05 - 0.25. Let a be 3163/20 + (-160)/(-128). Let x = 159 - a. Which is greater: f or x?
f
Let k = 634.5 - 348.5. Is k smaller than 1/2?
False
Let t(k) = -2*k**2 + 4*k + 17. Let z(u) = -u**3 + 8*u**2 + 21*u - 6. Let g be z(10). Let b be t(g). Which is smaller: -1/147 or b?
-1/147
Let m(k) = 2*k**2 - 25*k + 502. Let v be m(0). Which is bigger: v or 500?
v
Let z(q) = -q**2 - 28*q - 93. Let p be z(-18). Suppose -60*o = -59*o - p. Is o < 1?
False
Let r = 54032/3 - 18011. Which is greater: r or 6/275?
6/275
Let q = 7584 - 7606. Which is smaller: q or -103?
-103
Let w = 162 + -340. Let a = w - -177.8. Is a >= 37?
False
Suppose 30586 = 57*c - 8062 + 3992. Do c and 603 have different values?
True
Let h = -124 + 124.15. Let g = 75.85 + h. Which is bigger: -1 or g?
g
Suppose -119 = -5*n - 0*b + 3*b, -4*b - 12 = 0. Let r = n - 4. Let z = 53/3 - r. Which is bigger: z or -1?
z
Suppose 0 = -3*m - z - 1069, 361 = -40*m + 39*m + 2*z. Which is bigger: -363 or m?
m
Suppose 0*v + 5 = -2*i - 3*v, -5*i - 6 = v. Let t be 24/(-288)*215607/16. Let d = t - -1123. Which is greater: i or d?
d
Suppose -4*h + 588 = -4*p + 164, 4*p = -2*h + 188. Let z = 120 - 221. Let l = z + h. Which is smaller: l or -3/17?
-3/17
Let v be (-1 + 0)/(-8) - 54/48. Are v and -1/5849 non-equal?
True
Let a = -73 - -44. Let b = 20 + a. Let o be (0 - b)*2*(-2)/