k = -28. Let a = 3488 - 3481. Is a not equal to k?
False
Let a = -142/43 + 241/86. Let b(c) = -c**3 - 9*c**2 - 7*c + 10. Let q be b(-8). Suppose -4 = t, 4*r - q*r - t + 90 = 0. Which is greater: r or a?
a
Let w(g) = -123*g + 239. Let o be w(2). Let v(n) = -n**2 + 3*n + 1 + 2*n**2 - 6. Let b be v(o). Is 23 not equal to b?
False
Suppose 259*r = 6*r + 1907620. Is r smaller than 7539?
False
Suppose 9196 = -5*o + c, 76*c + 9208 = -5*o + 74*c. Which is greater: o or -0.1?
-0.1
Let j = 20951 + -20958. Is 507 > j?
True
Let z(q) = 2*q**2 - 11*q - 9. Let t be z(8). Let h = t - 32. Is h bigger than -1/271?
False
Suppose 16 = 4*o, 0 = -6*q + 9*q - 2*o + 8. Is 2/47573 <= q?
False
Let u = 129 - 122. Suppose u*z - 2628 = -5*z. Which is smaller: 220 or z?
z
Let a = -0.8 + 1. Let x(c) = -4 + 26*c - 16*c**2 + 15*c**2 - 30*c. Let m be x(-2). Which is bigger: m or a?
a
Let g(o) = -2*o**3 + 4*o**2 - 10*o + 21. Let m be g(2). Let b be 27/7*(8/(-48))/m. Which is smaller: -2 or b?
-2
Suppose 643968 = -i - 22*i - 20*i. Are -14977 and i non-equal?
True
Let z be -3 - 1 - 3*(2 + -17). Let c(t) = -t - 9*t**2 + z + 5*t**2 + 5*t**2 - 2*t**2. Let w be c(6). Which is greater: -20 or w?
w
Let g(y) = -6*y - y**2 + 54 - 61 + 4*y**2. Let a be g(-3). Is 36 greater than a?
False
Let l = 22725618/13265 + -4/2653. Which is smaller: 1713 or l?
1713
Let j = -18173.2 + 18186. Which is smaller: 16 or j?
j
Let i be 6171/1308 - ((-148)/(-16) + -8). Which is bigger: i or 4?
4
Let x = -9567 - -9567. Is x at most as big as -1/4263?
False
Suppose 2*o = x - 28, 0 = 4*o - 5*o - 5. Suppose 926 - 98 = x*y. Is y greater than 43?
True
Let s = -216 - -109. Let w = s - -245. Suppose 2*u = -4*o - w, -o + 4*u - u - 17 = 0. Is -31 less than o?
False
Suppose -2*c - d = 305, 5*c - 2*d + 1241 - 465 = 0. Let q = c + 117. Are q and -36 equal?
False
Let u = 237948979/21 - 11336835. Let k = u - -5930. Which is smaller: k or 0?
k
Let z(d) = d**3 - 5*d**2 - 2. Let s be z(5). Suppose -3*f = l + 5, 119*f - 1 = 120*f + l. Let x be (-4)/((-104)/f)*-1*s. Is x < 9?
True
Let b be (-7056)/(-80)*(-3)/(-18)*20. Which is greater: 296 or b?
296
Let l = 103 - 63. Let n(k) = 94*k - 1881. Let m be n(20). Which is smaller: l or m?
m
Let q(x) = 2*x**2 - 16*x + 57. Let f be q(19). Let a be f/15 + (-4 + 5)*-1. Are a and 30 equal?
False
Suppose z + 13 = -d, -5*d + 26 = -7*d - z. Let w(c) = -c**3 - 15*c**2 - 28*c + 2. Let m be w(d). Let t be (-8)/6*144/m. Is t > -7?
True
Let p(a) = -6*a**2 + 20*a + 20. Let s be p(9). Let c be s/8 - 3/12. Let j be (-7)/(70/c) - 3. Which is greater: 2 or j?
2
Let a(y) = -y**3 - 24*y**2 - 20*y + 69. Let v be a(-23). Suppose v*h = 4*h + 16. Are h and -27/7 nonequal?
True
Let m be ((-40)/6)/20 + 1191/3654. Which is smaller: m or -1?
-1
Let w be 4/(-6) + ((-77)/213 - -1). Let z = 638 + -639. Which is bigger: z or w?
w
Suppose 0 = -4*d - 3*n + 174 + 744, -2*n - 1592 = -7*d. Which is smaller: 1137/5 or d?
1137/5
Let c(m) = 2*m**2 + 14*m + 3. Let l be c(-7). Let t(h) = h**l - 19*h + 21*h**2 + 14*h - 17*h. Let y be t(-22). Is y at most as big as 1/27?
True
Let i be (2/(-4) - (-1)/4) + 282/(-376). Is i equal to 10/2619?
False
Let m be -3 - -1*(-116)/(-4). Suppose 4*g + 67 + 1 = 4*b, 2*b = -g - 2. Let t = g + m. Is 15 greater than t?
True
Let d be (-1)/(-12) - ((-2927928)/2016 - (-9)/21). Is 1452 at most as big as d?
True
Let l = 3467921/3560 - 7793/8. Is l at most as big as 1?
True
Let w(o) = -2*o**2 + 14*o. Let l be w(7). Let i = -121 - -379. Which is greater: i or l?
i
Let g = -301 - -302. Are g and -4/2757 equal?
False
Let g be (-16)/(832/(-228))*(-2 + 1). Are g and -5 non-equal?
True
Let r be 8/(-22) + 23/((-1771)/(-3746)). Which is smaller: -3 or r?
-3
Suppose 123*k - 132*k + 27 = 0. Suppose 5*w - 2*m + 756 = 0, -w + k*m = 3*w + 602. Is -152 < w?
False
Let q be 143/165 + (-6)/(-45) - (11 - 11). Is -4/299 != q?
True
Let u(z) = -5*z - 98. Let x be u(-17). Suppose 0 = -7*c + 28 - 28. Is x >= c?
False
Let x be (-183)/63 + (-6)/(-18). Let a = 5 - 31. Let h = a - -23. Are x and h nonequal?
True
Let b = -8962 - -35869/4. Do b and 0 have different values?
True
Let v be 4169/(-605) + (-3)/(-33). Which is smaller: -0.2 or v?
v
Let g(w) = -w**3 - 16*w**2 + 93*w + 13. Let c be g(5). Do c and -24 have different values?
True
Let z = -39758 - -39680. Is z != 44/7?
True
Let u = 4.8 - 24.6. Let k be 1872/468*2/(-12). Which is bigger: u or k?
k
Let g = -1259 + 1259.849. Which is greater: g or 1?
1
Suppose -11*w - 6 = -17*w. Suppose -3*a + 0 = -v - w, 0 = -v + 4*a. Let g be 11/(825/(-20))*(-10)/v. Is g less than or equal to 18?
True
Let j = 2710 - 24362/9. Let d = -1811.9 + 1811.9. Is j greater than d?
True
Let a(f) = 2*f**2 + 80*f - 2229. Let w be a(-82). Which is greater: w or 4660?
4660
Let u be (8/(-16) - -2)*-4. Let t = -15 + 25. Let b = t - 15. Which is greater: u or b?
b
Let l = 22770 - 15130. Is -1/4 less than or equal to l?
True
Let n = 1556.2 + -1538.46. Which is bigger: n or -5?
n
Let k(x) = x**3 - 19*x**2 - 18*x - 38. Let h be k(20). Let c be 4/h - (-516)/(-216). Let z = c + -91/9. Which is greater: -10 or z?
-10
Let o = -0.33 + -2.27. Let u = -3.1 - o. Let z be (9/(-24)*-2)/(54/16). Is u at most z?
True
Suppose 398 = -3*x + 5*i - 65, -5*i - 367 = 2*x. Which is smaller: x or 4/3?
x
Suppose -14 = -5*w - 164. Let i = -26 - w. Suppose i = 5*k - k. Is k < 1/37?
False
Let v(k) = -2*k**3 - 40*k**2 - 33*k + 94. Let i be v(-19). Is 7/50 > i?
True
Let c be 12/(-78) - (-1166)/(-26). Suppose -1 - 45 = y + 4*m, 0 = 4*m. Is c > y?
True
Let j be 45/10*26/(-3). Let y = j - -53. Suppose -3*t = y + 16. Is -8 bigger than t?
True
Let y = 0.113 + -0.413. Which is greater: y or -0.0563?
-0.0563
Let p = 0.041 + -7.941. Let v = -7.7 - p. Does 47 = v?
False
Suppose -23*n - 11*n = -68. Suppose 0 = -10*c + 8*c + n. Let o = -194 + 3685/19. Do c and o have the same value?
False
Let v(a) = -a**3 + 58*a**2 - 208*a + 231. Let o be v(54). Which is greater: o or 665?
665
Let d = -10706 + 5702. Which is greater: -5005 or d?
d
Let q(a) = 34*a + 2379. Let w be q(-70). Let t be (-12794)/(-105) - 2/(-7). Let b = t - 122. Are w and b nonequal?
True
Let j(y) = 16*y**2 - 68*y - 131. Let x be j(-2). Let n be -1 + 72/(5/5). Which is bigger: x or n?
n
Suppose -3*u = 5*d + 5 - 9, 4*d + 5*u - 11 = 0. Which is smaller: 3/392 or d?
d
Suppose 7*a - 12 - 58 = 0. Suppose 0 = -4*f + 5*f. Suppose 5*p + f*p = -a. Is -12/13 at most as big as p?
False
Let v(x) = 732*x**2 - 534*x - 2677. Let a be v(-5). Is 18294 <= a?
False
Let j = -5.6289 + 0.7489. Which is bigger: j or -4?
-4
Let o be (-1552)/(-80) - 19 - 204/483. Do 1 and o have the same value?
False
Let s = -206.5 - -260. Let t = 16.5 + s. Let v = t + -79. Are v and 1 nonequal?
True
Let s be (6/(-5))/(9/(-30)). Suppose -q + s*z - 22 = -3*q, -4*q - 4*z = -32. Let k = -4 + q. Is 11 less than or equal to k?
False
Let w = 7750 - 7826. Which is smaller: w or -71?
w
Let y(f) = -2*f + 38. Let v be y(20). Let g = -36 + 31. Let b be -1 - 5 - (-6 + (g - -10)). Which is smaller: v or b?
b
Let l(x) = x - 15. Suppose -7*s + 4*s + 51 = 0. Let h be l(s). Suppose 4*p - 1 = -3*u, 2*p + u = -p + h. Is p smaller than -7?
False
Let n be ((-10)/6)/(58/87)*-2. Suppose -n*a = 4*w - 2*a - 285, -2*w - 3*a = -147. Are 69 and w non-equal?
False
Suppose -837*z = -849*z + 46392. Is 3867 equal to z?
False
Let r = 139 + -441. Let v = r - -216. Do v and -86 have the same value?
True
Suppose 22 = 4*q - 6. Let z(w) = -w**3 + 7*w**2 + w - 7. Let l be z(q). Suppose l = 4*b - 2*y + 8 + 2, y = 3*b + 9. Is 0.1 < b?
False
Suppose -27 = -36*d - 63. Let r = 16 + -10. Let f = r + -7. Are f and d equal?
True
Let m be -12*8/112*133. Let i = 95 + m. Which is bigger: i or -1?
-1
Let h = 9887 - 6817. Is -0.1 > h?
False
Let d = -3.89 + 0.29. Let h = d + 4.7. Let l = h - 0.1. Which is smaller: l or 0?
0
Let y be (2/3)/((-1)/(-3)). Let m be 0 + (y - (-3 - -3)). Suppose -48 = m*u + u + 2*d, -2*d - 30 = 2*u. Is -17 at least as big as u?
True
Let h be ((2/12)/(24/(-144)))/((-3)/27396). Which is smaller: h or 9131?
9131
Let d be (-8)/((-8)/(-3)) - -2. Let f = 44 - 34. Let v = f + -41. Which is bigger: v or d?
d
Let p = -2 - 53. Let z be ((-2)/(-4) + 0)*10. Suppose 2*m = -2*s - 106, 0*m - z*m = -5. Is p at most as big as s?
True
Let o be -7 - 9/(54/(-30)). Let v be