et n = 4065 + -4012. Are 0 and n non-equal?
True
Let h(z) = -z**2 - 4*z - 4. Suppose v - 4*q - 14 = 0, -33 = -3*v - 0*q + 3*q. Suppose -v*r - 52 = 8. Let n be h(r). Is n greater than -15?
False
Let k be (75/(-30))/(3/6). Let l be (-4 + (0 - k))*-13. Let b = 19 - 31. Are l and b equal?
False
Suppose 174*u + 168 = 167*u. Suppose 21 = -2*a + 5*a. Suppose -3*i + 88 = -a*i. Which is greater: i or u?
i
Let y(f) = 95*f**3 + f**2 - 3*f + 2. Let b be y(1). Let q = b - 109. Which is smaller: q or -5?
q
Let l(b) = -20*b**2 + 22*b + 24. Let t be l(-1). Let p be (-34 + ((-48)/t - 3))/3. Are -12 and p unequal?
True
Let q = -9 + 1. Let j be 345/(-230)*20/3. Which is smaller: j or q?
j
Let l(s) = -s**2 + 2*s + 6. Let n be l(4). Let c(i) be the third derivative of -i**6/120 - i**5/30 + i**4/12 + i**3/2 + 3*i**2. Let u be c(n). Is u >= 8?
False
Let m be 0/7 + (-412)/(-18). Let i(h) = -h**3 - 223*h**2 - 220*h + 466. Let t be i(-222). Is t at least as big as m?
False
Suppose 2105*y = 2110*y - 1165. Which is smaller: y or 225?
225
Suppose 0 = -72*u + 128*u - 3 + 3. Is u not equal to -3/8812?
True
Suppose -28*t - 102 = -45*t. Let y be (4*(-60)/144)/(8/t). Is 0 bigger than y?
True
Let a(f) = -38*f**3 + 11*f**2 - 21*f - 6. Let d be a(3). Let c = -997 - d. Let t be (1/29)/(1/(-3)). Is t less than or equal to c?
False
Let a be (-4 - -3)*1*3/2*38. Let f = 16 - 12. Suppose 283 = -5*l + o + 2*o, 0 = -f*o + 4. Which is smaller: l or a?
a
Let n = 0.3 + 0.4. Let r = -107.117 + 107.017. Is r >= n?
False
Suppose 3*j + 6 = 24. Let h = -9398 + 37605/4. Is h not equal to j?
True
Suppose 0 = 4*o - 2*b + 13838, 4*b + 13844 = -31*o + 27*o. Which is smaller: o or -3459?
o
Let g(y) = 2*y + 33 - 67 + y**3 + 11*y**2 + 35. Let o be g(-10). Which is smaller: 82 or o?
o
Let y = -4230 - -4229. Which is smaller: y or -1/535?
y
Let l be (-6)/10 - 3*2/(-10). Suppose 4*a = 3*p + 5*a - 25, 4*a - 16 = l. Let t be 2/108*10*30. Are t and p non-equal?
True
Let d(x) = -x**3 + 8*x**2 - 12*x + 2. Let f be d(6). Suppose m - 7 = -4. Suppose 0 = f*h + 3*v + 160, 131 = -m*h - 3*v - 109. Is h > -80?
False
Let u = -68.1 + 0.1. Let j = u + 67.99. Let z = -11 - -12. Is j equal to z?
False
Suppose -5*m = 2*w + 96, 3*m + 26*w - 23*w = -45. Let i(u) = -u**3 - 4*u**2 + 7*u - 1. Let b be i(-5). Is m smaller than b?
True
Let r be 3/(2*4/(-8)). Let s be 3 + r - 144/(-44). Let g = 1 - -1. Which is bigger: s or g?
s
Let y = 211 + -190. Suppose 516 = y*r - 9*r. Is r >= 43?
True
Suppose -3*p - 1371 = -5*x, 376*p - 538 = -2*x + 372*p. Which is greater: 265 or x?
x
Let o = 148 + -146. Suppose 0 = 5*c + 3*y - 123, -39 = -2*c - o*y + 11. Do c and 22 have the same value?
False
Let p be 4 - (3 + (-41 - -2 - 0)). Let v be 13/21 - p/(-60). Which is smaller: v or 1?
1
Let w = 193074 + -83987246/435. Is -1 bigger than w?
False
Suppose -5*i = 3*w + 907, 5*i - 2*i - 321 = w. Let z = 352 + w. Which is bigger: z or 0?
z
Let c = 0.33 + -0.407. Let h = 0.007 + c. Let o = 8 - 12. Which is smaller: h or o?
o
Let w = -2409 - -2408.9767. Which is bigger: w or -6?
w
Let t be (22456/70 - -13)/((-4)/10). Which is greater: -836 or t?
t
Let h = -1984156/42465 + -25/2831. Which is smaller: h or -48?
-48
Let b = 2206/5 - 444. Let d = -169/30 - b. Is d less than -2?
True
Let p be 4/14*(0 - -7). Suppose p*z + 19 = 3*r, -5*r + r = 5*z - 10. Let c = 12410 + -86875/7. Which is bigger: z or c?
c
Let c = 65 + -65. Let j be (-3)/(-7)*13/((-25974)/12). Which is smaller: j or c?
j
Let b = 44.24 + -44. Let r = 9.34 - b. Let l = r + -5.6. Are 0 and l unequal?
True
Let q be (-27)/(-90) - (7715/50 - 7). Is q at least as big as -1024/7?
False
Let i(b) = 1106*b + 10. Let g be i(13). Let z = g + -791312/55. Which is smaller: 1 or z?
z
Let k be (0 - 3 - -2)/(4/(-84)). Suppose 2*u = -v - k + 3, -4*v = -4*u + 60. Let b be 4*(-4)/(v/10) - 3. Is b < 7?
False
Let h(s) = 19 - 36 + 11 + 13 - s. Let k be h(3). Suppose 0 = -4*p + 4*q + 8, -5*p - 6 = -6*p + 2*q. Is k bigger than p?
True
Let j = 123 - 87. Let m = 13 + -40. Let x = 26 + m. Which is greater: j or x?
j
Let j be 60/(-50)*(3 + 44/(-8)). Suppose -y - 2*y + 4*t = -26, -y + 3*t = -2. Suppose y*b = 11*b + j. Which is smaller: 5/21 or b?
5/21
Let b = -632 - -578. Is -55 != b?
True
Let a = 4870 - 4870. Which is bigger: 3070 or a?
3070
Suppose -7*o + 5*o - 7 = -5*z, 0 = o - 3*z + 5. Suppose -4*j = 2*v - 176, -17*v = -15*v - o*j - 200. Which is greater: v or 93?
v
Let a = -240.2 - -240.1. Is 3799 smaller than a?
False
Let w(m) = -m**3 - 39*m**2 - 25*m - 20. Let j be w(-38). Let f = j - -566. Which is bigger: 56 or f?
56
Let j = -3670 + 3394. Which is greater: -278 or j?
j
Let m = -699.1601 + 0.1601. Let v = -702 - m. Which is bigger: v or -4/59?
-4/59
Suppose 5 = 5*q + n, 3*q = -0*n - 2*n + 10. Let a(s) = 23*s**3 + 13*s**2 - 5*s - 8. Let o be a(-4). Let j be o/(-1092)*7 + -8. Is j smaller than q?
False
Let p be (-237)/(-996) + 2/(-8). Let r = 270 - 273. Let t be 4/r - (-16)/24. Which is bigger: t or p?
p
Let q = -125/363 + 15797/46343. Which is smaller: q or 1?
q
Suppose 0 = 2*k + 5*f - 32483, k + 0*k - 2*f - 16219 = 0. Let n = k - 111352/7. Let c = 321 - n. Which is smaller: c or 3?
c
Suppose -262*g + 2242 = -243*g. Are 233/2 and g nonequal?
True
Let v(j) = j**3 - 2*j**2 + 4*j - 3. Let y be v(2). Suppose -2*b = 3*x - 0*b + y, -b - 4 = 2*x. Let g be (4 + 121/(-33))/(-2 - -1). Is x at most g?
True
Let g = -14 - -12. Suppose 3*m = -83 - 88. Let v = -181/3 - m. Which is smaller: g or v?
v
Let z be 4/5*(-30)/(-12). Suppose z*l - l = 2*l. Suppose l = 4*x - 5*x - 13. Which is bigger: -25/2 or x?
-25/2
Suppose 4 + 1 = 2*l + d, -2*l + 2*d + 2 = 0. Let t be ((99/l)/(-3))/(1/(-2)). Is t > 33?
False
Let i = 1657 - 1657.1. Which is smaller: 14/3289 or i?
i
Suppose 0 = -9*u + 7*u. Let m be 2/1 + (7 - 11). Let o be 1*203/280 + m/20. Do u and o have different values?
True
Suppose 293 = -3*n + 4*n. Suppose 31 = 6*w - n. Let b = 4514 - 4459. Are b and w equal?
False
Let m = -318.15 - -13801.15. Is m <= -1/3?
False
Let r be 1/1*(-4 - 1 - -1278). Suppose -5*y + 25*p - 29*p = r, 4*p = -3*y - 767. Are -505/2 and y unequal?
True
Let a(x) = -7*x + 16. Let d(l) = -l - 1. Let f(m) = a(m) - 6*d(m). Let v be f(0). Let n(h) = h**2 + 9*h + 22. Let g be n(-9). Is g greater than v?
False
Suppose -3*y + 12 = 0, 0*g = -3*g - 2*y + 14. Suppose 0 = -5*m - 3*f + 127, -4*f = g*m - 3*m + 7. Let n = m - 46. Is n >= -24?
True
Let k = 48 - 44. Suppose 2*o + 2 = -k. Is o less than -24/13?
True
Let j = 0.1329 + -0.2329. Let o = 1011 + -999.89. Let y = o + -0.11. Which is bigger: y or j?
y
Let s be (-602)/21 - (15/(-9) + 2). Which is bigger: s or -17?
-17
Suppose -n - 28*x - 16 = -30*x, -3*n = 5*x + 48. Is -177/11 at most as big as n?
True
Let o = 9410/29 - 266228/377. Is -382 smaller than o?
True
Suppose 680*i - 348*i - 350*i = 18. Which is smaller: -4/4325 or i?
i
Let m(k) = 16*k**2 + 38*k + 32. Let d be m(-16). Let f be 2 + ((-7515)/d - 10/(-55)). Is 0 >= f?
False
Let p be (-19434)/(-205) + 2/10. Let h = 93 - p. Which is smaller: -20/23 or h?
h
Let s be (11/6 - (-27)/(-18))*0. Which is smaller: 48/223 or s?
s
Let q = -230 - -228. Let x be 3 - q/(-24)*39. Does 84 = x?
False
Suppose 381*t - 344*t + 168239 = 0. Do -4547 and t have the same value?
True
Let g = 25141496/21 + -1196627. Let m = g + -1685/3. Which is smaller: m or 26?
m
Let v = -37/2522 + 649/1261. Let b = 141 - 64. Are b and v equal?
False
Suppose 16*h = 5221 + 9771. Let o be (2 + h)*(-7)/105. Which is smaller: o or -62?
o
Suppose -83*s - 894 = -84*s. Which is smaller: 896 or s?
s
Let a = -5689/9 + 633. Let z = 201 + -200. Is a less than or equal to z?
True
Let m be 2/(-8) + (-25)/(-148). Let v be 2/((-5)/4*(8 + -4)). Which is smaller: v or m?
v
Let t(h) = h**3 - 5*h**2 - 34*h + 205. Let o be t(13). Let d be (-10)/(-15) - o/(-150). Which is smaller: d or 8?
8
Let n be 2 + 0 + -3 - 4. Let d(q) = 201*q + 6425. Let i be d(-32). Is n < i?
False
Let d(m) = 8*m + 4. Let a be d(6). Let y = -4 + a. Suppose -7*w + y = -w. Is w greater than 9?
False
Suppose -3*u = 2*a - 2280, 51*u - 3450 = -3*a + 54*u. Are 1148 and a nonequal?
True
Let g(x) = 12*x - 34. Let b be g(3). Let t be (4/20)/((-6)/(-15))*b. Is -1/56 < t?
True
Suppose 0 = 2*s + 3*z - 148 + 537, s + 3*z + 196 = 0. Let n(m) = 192*m**3 + m + 1. Let r b