t - 9193 = -4*s. Is s at most 2294?
False
Let a = 36.46 + -35.26. Which is bigger: -223 or a?
a
Let z = 25 + -13. Suppose 0*u + z = 4*u. Suppose -f = u*n + 38, -3*n + 2*f - 34 = 7*f. Is -10 at least n?
True
Let y = 9.6 - 9.32. Let u = y + -0.366. Let a = -1.086 - u. Which is bigger: a or 2.2?
2.2
Let b = -781.5 - -763.2. Which is bigger: -10/3 or b?
-10/3
Let p(q) = q**3 - 2*q**2 - 3*q + 37. Let a = -121 - -121. Let f be p(a). Suppose -f - 32 = 3*h. Is h greater than or equal to -0.1?
False
Let n = 25.2354 + -1.2354. Suppose 3*d = 2 + 1. Is n <= d?
False
Let l(c) = -5*c**2 + 2*c + 13. Let f be l(5). Let q = f - -103. Which is bigger: 58 or q?
58
Let w = -37081 + 34260. Is -2821 >= w?
True
Let w = 96 + -7. Suppose 5*s + w = 49. Let o(j) = j**3 + 8*j**2 + 8*j - 1. Let p be o(-7). Is p <= s?
True
Let o = 91 + -88. Suppose -3 = -7*i + 4*i. Let n be i*(-2 + 4) - 0. Which is bigger: n or o?
o
Let f be ((-13)/(-78))/((-51)/(-72)). Which is bigger: f or 0?
f
Let b = -3357 + 2955.9. Let w = 401 + b. Which is smaller: w or 361?
w
Let t(x) = 2*x + 27. Let g be t(-14). Let y be -5 - (34/(-27))/((-24)/(-36)). Are y and g unequal?
True
Let a(t) = 24*t + 52. Suppose 0 = -5*g - 7*r + 8*r - 13, -2*g - 14 = 4*r. Let s be a(g). Which is greater: -22 or s?
s
Suppose 3*z - 39 = x, 6*z = 2*z - x + 52. Suppose -4*g + 3 = 5*w, -z = 5*w - g - 3*g. Which is greater: 0 or w?
0
Suppose 0 = -4*u - 2*w - 32 - 54, -5*u - 103 = -2*w. Which is smaller: -332/15 or u?
-332/15
Let r = 15 - 22. Let w = -37 - r. Let o = w - -30.1. Which is greater: o or 29?
29
Let n be -3 + -10 - 3192/(-96). Which is smaller: 20 or n?
20
Let d be (-1)/(-6)*11/(-220)*-10*21628. Which is greater: 1803 or d?
1803
Let i = 103 - 76. Let q = -46 + i. Which is greater: q or -132/7?
-132/7
Let y = -130.096 - -0.096. Let g = -131 - y. Which is greater: 12/5 or g?
12/5
Let d be 1 - (4 + (5 - 38)). Suppose -14*h = -11*h - d. Suppose -38 = -h*o - 388. Is -35 smaller than o?
False
Let b = 0.2 + 0.8. Let c be (4*(-57)/6080)/((-8)/120). Does c = b?
False
Suppose 14*m + 10*m - 13548 = 4*a + 25*m, -2*m = 0. Is -3383 at most a?
False
Let w = 27.159 + -26.6. Let n = w - 0.449. Is 1 > n?
True
Let h = -68317 + 68157. Let w(q) = -79*q - 1. Let z be w(2). Which is smaller: z or h?
h
Let s be 6/(-3) + 0 + (-12)/(-3). Let w = -2 + s. Suppose w = -3*f + 4*p - 2*p + 61, 119 = 5*f + p. Is f equal to 24?
False
Let y be (-3)/19*4/(-2). Suppose -2*f - 260 = -5*o + 24, 0 = -2*f - 4*o - 284. Let u = f - -142. Are y and u equal?
False
Let r be 67/7 + (-38)/(-114)*7*-3. Let o(j) = -j**2 + 7*j - 3. Let q = 7 + -1. Let t be o(q). Do t and r have different values?
True
Suppose 0 = -55*y + 41*y - 58*y - 10728. Which is smaller: y or -150?
-150
Let b be (-145)/(-15) + -1 - (-3 - (-8)/3). Is b less than 5?
False
Let m be 4 - -2 - (-22)/(-4). Let z = 159.8 - 99.8. Which is smaller: m or z?
m
Let s = -1609021227/112765 - -71344/5. Is s at most 1?
True
Let b = -29997/7 - -4285. Which is smaller: b or 6289?
b
Let k = -3039 - -3039.1254. Do 0 and k have different values?
True
Let y be 1/3 - (-2)/(-6). Let v be ((-4)/(-6) - 0)/(2/162). Suppose y*o + 3*o - v = 0. Which is smaller: 17 or o?
17
Let f be (1/(-2))/(-1) - ((-170)/(-12) + -12). Is f < 0.57?
True
Let f be (127/3556)/(58/(-8)). Do f and -2 have different values?
True
Let m be 5 + (1 - 4)/((-117)/(-546)). Let l(v) = -v - 13. Let j be l(-11). Is j bigger than m?
True
Let w = 19/3 + -139/39. Let c(d) be the third derivative of -d**6/120 + d**5/4 - 5*d**4/8 + 17*d**3/6 - d**2 - 23*d. Let t be c(14). Which is greater: t or w?
t
Let p be 568/342 + 104/(-988). Which is smaller: -0.4 or p?
-0.4
Let k = 4428.674 - 4429. Which is greater: k or 4/7?
4/7
Suppose 11*p + 61 = 10*p. Let s = 64 + p. Are 23/12 and s nonequal?
True
Let m be (-4)/(-12) - 20/(-12). Suppose m*s = -3*p + s + 542, -3*s = -2*p + 343. Is 179 at most p?
True
Suppose -11*y + 6*y - 106 = u, y + 6 = -4*u. Suppose 3*o + 3*i = -78, -5*o = 3*i + i + 125. Is y less than o?
True
Let u = -10664 - -10664. Is -19/223 equal to u?
False
Let j(p) = 9*p**3 - 165*p**2 + 2*p + 13. Let b(w) = -13*w**3 + 329*w**2 - 4*w - 27. Let h(q) = 3*b(q) + 5*j(q). Let o be h(-27). Which is greater: o or 39?
39
Let r = 73.9621 + 0.1379. Let n = r + -74. Let z be -5 + 524/87 + -1 + 0. Is n > z?
True
Let g = 147 + -179. Let h = -33 - g. Which is greater: -1/25 or h?
-1/25
Let y(t) = -4*t**2 - 31*t - 3. Let h be -4 + 0/2 + 9. Let p(r) = r**2 + r. Let o(j) = h*p(j) + y(j). Let x be o(24). Which is smaller: x or -49?
x
Let m be 19/((-21 - (-1 + -2))/4). Which is smaller: m or 1.9?
m
Suppose r = 4, -118 + 0 = 2*j - 2*r. Let c = j + 22. Let o = c + 34. Do o and 1/38 have the same value?
False
Let v(x) = -x**2 + 16*x - 28. Let g be v(14). Let u be ((-2)/12)/(12880/(-336)). Is u at least g?
True
Let m be (-2278228)/(-244)*(-1 + 0). Is -9337 > m?
False
Let c(b) = -6*b**2 + 17*b + 132. Let n be c(9). Which is greater: -194 or n?
-194
Let d = 10.25448 - -0.77522. Let n = -0.0297 + d. Let h = -0.2 + -0.2. Which is greater: h or n?
n
Let t(y) = 60*y + 357. Let z be t(78). Is 5037 < z?
False
Let j = 123 - 124. Let m be 356*(-4)/(-96) + j/(-6). Suppose -3*w + m = -3*h, 4*h - 3*h + w = 3. Do h and 3/26 have different values?
True
Let g(q) be the first derivative of -11*q**3/3 + 17*q**2/2 - 5*q + 62. Let n be g(3). Which is smaller: -52 or n?
n
Let o(s) = -29*s**2 + 209*s - 210. Let g be o(1). Suppose 4*d + 28 = 2*d. Which is greater: g or d?
d
Let t(c) = 453*c - 3171. Let z be t(7). Which is bigger: -1/2756 or z?
z
Let d(t) = -130*t - 330. Let k be d(-3). Which is smaller: k or 25?
25
Let s be (-39 - -42) + (-17790)/5934. Which is smaller: s or -1?
-1
Suppose 0 = -5*l + 3 + 2, -5*t + l - 41 = 0. Let a = -20 - t. Let o = -560 + 548. Do a and o have different values?
False
Let c be (-2)/7 + (-18)/(-7). Suppose 6*q + 48 = -6*q. Let b be 8 - (3 - (q - -1)). Do b and c have the same value?
False
Let l = 63 - 187/3. Let z(r) = -2*r - 51. Let p be z(27). Let w be 4/14 + (-75)/p. Which is smaller: w or l?
l
Let b = 2346 + -1417. Let v = b + -17625/19. Is 2 less than or equal to v?
False
Let v = 1113 - 12424/11. Which is greater: v or -15?
-15
Suppose -3*l = 11 + 7. Let z be 12/(-9) - (8/l + 2). Let j(i) = -7*i + 10. Let y be j(z). Is y smaller than 22?
False
Let l = -5159/4 - -15485/12. Are 1/22 and l equal?
False
Let m = 2.095 + -2.355. Which is greater: 4/5 or m?
4/5
Let b = 26.4 + 0.6. Let j = b + -11. Let k = j - 16.14. Does k = -0.1?
False
Let j = 669241023/53 + -12625530. Let f = j + -1659. Which is smaller: 1 or f?
f
Let m = 28.8758 - -1.1242. Is 0.047 at most as big as m?
True
Let g = 17249 + -17249.3. Is g smaller than -4/39?
True
Let z(f) = f**3 + 42*f**2 + 235*f - 74. Let s be z(-34). Does s = 1182?
False
Suppose n - 2 = -30. Let c be (-1)/(-4) - (-567)/n. Let v be -1 - -2*c/(-8). Is v < 4?
False
Let l(q) = -9*q + 45. Let n be l(4). Let x be 27/4 + 11/(n - -35). Which is smaller: x or 14?
x
Let o be (3/12)/(115710/(-2904)). Let r = o - 3/203. Let c = 87/380 - r. Which is bigger: 6 or c?
6
Let a be (-386)/(-20) - ((-70)/21)/10. Let p = a + -89/6. Suppose -2*y + 0*y = -3*l - 23, -3 = 3*y + 3*l. Are p and y nonequal?
True
Let u(n) = -11*n**2 + 5*n - 2. Let f be u(-4). Let b = 29809 + -148051/5. Let k = b + f. Which is greater: -1/2 or k?
k
Let i = -3573 + 3352. Which is smaller: 2 or i?
i
Let v = -312651/459596 - 93/2582. Let x be 27/(-4806)*12/2. Let l = x + v. Which is smaller: l or -1?
-1
Let w = 10 - 17. Let f be (-7 - (0 - 0))*(61 + -62). Is f at least as big as w?
True
Let i = 184 + -246. Let a = i - -62.08. Which is smaller: 4 or a?
a
Let a(b) = 7*b - 4*b + 174*b**2 + 5*b + 2 + 425*b**2 + 6. Let t be a(-1). Which is greater: 598 or t?
t
Let t = -4485 - -4456. Is t > 19?
False
Let b be 3792/30 + (-1)/5*-3. Suppose 0*h + 1270 = 10*h. Is h at most as big as b?
True
Suppose 42*r - 45*r - 23 = 5*u, 5*r + 5*u = -25. Which is greater: 16/269 or r?
16/269
Let s = 2.967 + 0.373. Let f = -1.34 + s. Which is smaller: 0.033 or f?
0.033
Let l = 83 - 84. Let p be 22/(-55) - (-1 - l). Let d = p - -53/20. Is d < 2?
False
Suppose -2*b + 15*n = 16*n + 1296, 3*b = -n - 1947. Which is greater: b or -3905/6?
-3905/6
Let p be (-2)/9 + 1 + -3. Let c = 262/117 + p. Let w = -63 + 63. Whic