 -t**5/60 - 7*t**4/24 + 17*t**3/6 - 2*t**2 - 31. Let s be r(-7). Is s equal to 18?
False
Suppose -11*u + 1041 = -10*u + 4*b, -4*b = -u + 1089. Which is smaller: u or 1077?
u
Let k = 5132 + -2774. Do 2358 and k have different values?
False
Let y be ((-1)/(-1)*-1)/1. Let x be (((-1)/5)/(11/(-55)))/y. Is -5/9 < x?
False
Let s = -0.668 + 0.56. Let t = -215 - -215. Which is bigger: t or s?
t
Let d = 1815 + -1788.89. Let y = -114 + 88. Let x = d + y. Is -1/3 smaller than x?
True
Let l = -1010/5071 + 8/461. Which is smaller: 29/3 or l?
l
Let c = 155.7089 - 0.5489. Let q = c - 155. Which is smaller: q or -0.2?
-0.2
Suppose -5*g + 264*h = 268*h + 2487, 5*g + 2431 = 3*h. Is g less than -492?
False
Let t(v) = v**3 + 5*v**2 + 2*v + 9. Let m be (-88)/20 + -1 - (-26)/65. Let z be t(m). Is z <= -1/163?
True
Let b = -5300 - -5301. Suppose q = -3*f + 14, 0*q = -4*f - 3*q + 12. Suppose -f = -3*l - v - b, 2*v - 10 = -5*l. Is -1 greater than or equal to l?
False
Let g be (1960/15)/((-16)/(-24)). Suppose 129 = 2*f - 5*a, -3*f - a = -g + 45. Which is greater: 3 or f?
f
Suppose -14130 = 9*i - 14094. Which is greater: i or 556?
556
Let k(a) = a**3 - 34*a**2 - 39*a + 14. Let q be k(38). Let h be (-4)/2 + 8 + q/(-720). Which is bigger: 1 or h?
1
Let o be (-3 + 3)*(-8 - -9). Suppose 11*s - 123 - 53 = o. Is s > 7?
True
Let g(y) = 7*y**3 + 6*y**2 + 9*y - 3. Let s be g(-4). Let k = s + 380. Which is smaller: k or -126/13?
k
Let y be (-1*3*(-278)/14)/(-310). Let u = y + -3/2170. Which is bigger: 0 or u?
0
Suppose -5*k + 62 = -2*i - 0*i, 20 = 2*k + 4*i. Let w be (-3)/(-4) - (-231)/k. Let z = -1360 + 1380. Is w at most z?
True
Let d be ((-126)/315)/(2/1006). Which is smaller: d or -1?
d
Let b(u) = 2*u**3 + 2*u**2 - 7*u + 2. Let v be b(2). Let x = v - -17. Let q be 3/(-2)*(-56)/3. Which is smaller: q or x?
q
Let l = 3.497 + 0.003. Let a = l + -3.504. Let y = 0.096 - a. Is 8 at least y?
True
Let k(y) = y**2 + 8*y - 1. Let j be k(-6). Let t be 3 + j/10 - 2. Let a be 0/(-1) + 4 - 3. Are t and a nonequal?
True
Let s(a) = 3*a**2 + 6*a - 10. Let g be s(-12). Let j = g + -347. Let r = 7.79 - -0.21. Does r = j?
False
Let t be -2 + -1 - (-228 + 226). Which is greater: t or -86/131?
-86/131
Let c = 4/39525 - -601597/606050. Is 1 greater than c?
True
Let b(o) = -5*o + 3. Let y be b(0). Suppose 4*a - 4*t + 24 - 4 = 0, 4*t = y*a + 19. Is a less than or equal to -3/22?
True
Let h = 7085 + -7085.11. Which is greater: h or 2/461?
2/461
Let l be 2623*(2 + 120/(-78)) + -2. Let k = l - 1208. Is k at least as big as -0.1?
True
Let w(y) = y**3 - 38*y**2 - 36*y - 55. Suppose -7*m + 3*u - 69 = -9*m, -m + 30 = 3*u. Let f be w(m). Is f >= 62?
True
Let n = -136 - 0. Let j be (-174)/(-4)*n/(-51). Is 115 less than j?
True
Let r(i) = -17*i + 761. Let n be r(45). Let x(v) = -v**2 - 9*v - 6. Let u be x(-6). Which is smaller: u or n?
n
Suppose 11*q - 16*q - 3*d + 107 = 0, 4*d - 26 = -2*q. Let j be (52/(-12))/((-1)/6). Is j smaller than q?
False
Suppose -4*m - 28540 = -4*v, -14240 = 2*v - 4*v - 4*m. Which is greater: v or 7128?
v
Suppose z - 6*z - 3945 = -4*i, -4*i = -3*z - 2359. Let t be (122/z)/((-1)/13). Which is bigger: -23 or t?
t
Suppose 0 = -134*a - 247139 - 302797. Which is smaller: -4107 or a?
-4107
Let o be (5 + 1 + (-12)/3)*(-67)/(-134). Let z = 2384 - 54841/23. Which is greater: o or z?
o
Let f(v) = -v**3 + 4*v**2 + 8*v - 7. Let l be f(5). Let n = l - 7. Let s be (-2)/(-18) + (-232)/(-174). Which is greater: n or s?
s
Let b = 0.11765 + -4.11765. Which is smaller: -1137 or b?
-1137
Suppose -3*c = -3*d + 66, 2*d - 3*c - 40 = 7. Is 0.14 bigger than d?
False
Suppose 0 = -5*d - 4*d - 9. Let p be 1/(-1 + d/(-2)*0). Let q be (p/(-3)*3)/(4/(-44)). Which is greater: 0.2 or q?
0.2
Let n = 10/1013 + -404/246159. Are 0 and n equal?
False
Let c be (1/(-9))/(355/497*70/12). Which is smaller: -1.5 or c?
-1.5
Suppose -4*z = 3*n - 57, -4*z = n + 3*n - 60. Suppose -3*d + 33 = y, -z - 3 = -d + y. Let w be (d/3 - 11) + 4 - -5. Is 3 <= w?
False
Suppose 118 = -w - h + 111, h = -5*w - 23. Which is greater: -173/53 or w?
-173/53
Let z = 3 - 2.9. Let w be (-68 + 77)/((-1)/(-3)). Which is bigger: w or z?
w
Suppose g = 3*q + 2*q + 141, 0 = 3*g + 4*q - 385. Let j = g + -99. Do 33 and j have the same value?
False
Let q = -137 + 59. Let n = q - -74. Does n = 0.02?
False
Let r(x) = x**3 - 10*x**2 - 9*x - 8. Let w = 50 + -47. Suppose -w*l + 5 = -28. Let j be r(l). Is j greater than 25/2?
True
Let x(k) = 3*k**3 - 11*k**2 + 5. Let t(i) = 2*i**2. Let c(y) = -5*t(y) + x(y). Let a be c(8). Do a and 198 have different values?
True
Let t = -4266 - -4244. Which is bigger: t or -2.8?
-2.8
Let r = -2.3 + -178.7. Let m = r - -181. Which is smaller: -2 or m?
-2
Let t be ((-8)/6)/(14/(-2667)). Let i = 3066 + -3066. Is t < i?
False
Let w = -25489 - -25480. Is w less than 5.92?
True
Let w(b) = -3*b. Let n be w(4). Suppose -27*s = -21*s. Let m(f) = 3*f - 9. Let i be m(s). Are n and i equal?
False
Let g be (2/5)/(5 - 4). Let k = -0.034 - 27.966. Let v = -27.4 - k. Is g <= v?
True
Let a = 1 - 9. Let u = -369 + 383.6. Let n = u - 14.8. Which is greater: a or n?
n
Let h be 3 + (-3)/(-2)*2. Let i be ((h - 3)/(-1))/(-31). Let j = 99 - 98. Is j < i?
False
Let j(p) = p + 11. Let v be j(-6). Suppose -g + 4*u - 2 = 4, 0 = v*u - 10. Suppose -2*s + f - 9 = 0, g*s + 2*f + 27 = -3*f. Which is bigger: 0 or s?
0
Let y = 78/23 + 199/138. Which is smaller: 4 or y?
4
Let h(z) = -7*z**3 - 3*z + 2. Let n be h(2). Let c be (((-12)/10)/(-1))/(n/150). Let d be (-58)/c - (-9)/(-27). Which is greater: d or 20?
20
Let y = 708 - 707.9624. Let v = 5.5376 - y. Is v equal to -1?
False
Let i = 10.83287 - -0.24113. Which is smaller: -2/3 or i?
-2/3
Let o = 10.772 - 9.772. Is o less than -12.59?
False
Let i = 561 + -167. Let n = i + -145. Which is greater: 250 or n?
250
Let v be 1/2*394/197. Let m(q) = q**3 + 5*q**2 - q + 5. Let j be m(4). Let k = j - 279/2. Is v greater than k?
False
Let j = 18687306875/201 - 92972061. Let g = j - -385. Are 1 and g nonequal?
True
Let r be (3 + 231/(-49))*(-210)/(-60). Let t be (-2*1)/(2*-1). Which is smaller: r or t?
r
Let n = -6833 - -11649. Which is smaller: 4815 or n?
4815
Let s = -36145 + 36146. Let w(q) = 325*q - 1. Let h be w(1). Is h less than or equal to s?
False
Suppose 35 = -g - 2*f, g - 300 = -4*f - 321. Which is smaller: -1034/21 or g?
-1034/21
Let o = 0.69 - 83.69. Let f = 96304 + -96301. Is f greater than o?
True
Let f = 193082612591/301 - 641471066. Let t = f + 4143/7. Which is bigger: t or -1?
t
Let z = 831 - 831.337. Let p = z + 0.137. Which is smaller: 0.21 or p?
p
Let i = -419 + 595. Let w = -161 + i. Is w at most as big as -1?
False
Let n = 4976 + -34830/7. Which is greater: 919 or n?
919
Let g = 352 + -355. Let h be g/7 + (-6)/(-14). Is h <= 7/86?
True
Let i = 0 - -2. Let g(y) = y**2 - 40*y + 319. Let t be g(29). Suppose 0*a = -i*o + 4*a + 36, t = 4*a + 20. Which is smaller: o or -0.1?
-0.1
Let g = 292 + -109. Let x = -203 + g. Is -8 <= x?
False
Let v = -274551/10 - -27478. Let s = 119/5 - v. Let k = s - 13/10. Is -1/3 greater than or equal to k?
True
Suppose 17*s - 266 = 10*s. Suppose 0 = 4*z + 3*k - 141 - 11, -z + s = 3*k. Let m be z/105 + (-10)/30. Are m and -1 unequal?
True
Let y = -1 - -2. Let c = 364358 - 6922791/19. Is c >= y?
False
Let t be 717/1195 + 34/(-40). Is t at least as big as 7.59?
False
Suppose 5*k + 4*v + 5 = 0, 5*k + 0*v = -3*v. Suppose k*u + 157 + 104 = 0. Let g be (1/((-60)/(-8)))/((-2)/u). Are g and 5 non-equal?
True
Suppose -4*t - 4411 = -1279. Which is smaller: -782 or t?
t
Let o(f) = -3*f - 27. Let d be o(-10). Suppose t - 321 = 5*t + 3*b, -5*t = d*b + 405. Is -85 bigger than t?
False
Let f = 36 + -4. Let z = f + -28. Suppose -q + 3*c - z*c = 74, -4*q - 2*c = 300. Are -75 and q non-equal?
True
Suppose 0 = 611*q - 615*q + 36. Suppose q*r = 12*r + 261. Which is smaller: r or -88?
-88
Suppose -4*d = -2*o - 6*d - 1610, 3*o + 2409 = -d. Let h = o - -12032/15. Which is bigger: h or -0.12?
h
Let n(k) = k**2 + 21*k - 22. Suppose 0 = 4*w - 3*w - 13. Suppose 97 + w = -5*o. Let p be n(o). Is p != 0?
False
Let r = 103 - 105. Let w be (32/64)/(r/(-312)). Is w < 78?
False
Suppose 4*q - 45 = 5*m, q = -2*m - 6 + 1. Suppose 0 = q*d - 1 - 9. Let s = 11/17 - 5/34. Are s and d non-equal?
True
Let l be (1208/(-41