11
Suppose 2*m = 2*c - 1112, 2*c + m - 1082 = 39. Are 1119/2 and c unequal?
True
Suppose 2*i + 1094 = 6*i - 2*z, -2*z = 4*i - 1090. Is i less than 273?
False
Let w be (-22)/5*(-26)/194. Let f = -27159/97 + 280. Let s = f + w. Is 0 smaller than s?
True
Let g = 11 - 9. Suppose 0 = -2*n + g - 0. Let h = -463/10556 + 5/203. Are h and n non-equal?
True
Let y(d) = d - 14. Let g be y(14). Suppose v + g = 1. Which is smaller: 5 or v?
v
Suppose 3*o + 28 = -5*p, 4*o = -6*p + 3*p - 19. Let g be -4 + 66/16 + -2. Which is greater: g or o?
o
Let y = -54 - -55. Let u = 0.05 + 3.75. Let s = u - 0.8. Is y equal to s?
False
Let y(s) = s**2 + s - 2. Let f be 14/(-35) - 81/(-15). Suppose -4*u = 4*a - 4, 0 = 4*a + f*u + 3 - 10. Let h be y(a). Which is greater: 4/11 or h?
4/11
Let h = -4 + 10. Let m be 1*3/(h/38). Let n = m - 20. Is 1/6 > n?
True
Let l(z) = -z**3 + 7*z**2 + 6*z + 17. Let i be l(9). Which is smaller: -92 or i?
-92
Let k be ((-63)/4 - 1/(-1))*-2. Let g = -291/10 + k. Which is smaller: -1 or g?
-1
Let j = 365 + -367. Is 100 at least as big as j?
True
Suppose -4*w + 133 = 181. Let z be (5 - w/4)*2. Are z and 18 unequal?
True
Let n = 157 + -49. Suppose 9 - n = 9*i. Is i less than 1/5?
True
Let p = -20.199 + 20.4. Which is greater: 1/3 or p?
1/3
Let s be (-1 - -1 - 0) + 0. Suppose -3*h - f - f - 33 = 0, s = -5*f. Suppose 63*k + 189 + 512 = 8. Does k = h?
True
Let m = -1270/53 - -24. Which is bigger: 1 or m?
1
Suppose 5*p = 6*p + 14. Let v be (p/(-4) + -3)*(-30)/9. Which is greater: v or -2?
v
Suppose 0 = -4*j - 2*p - 110, 51 = -2*j - 35*p + 38*p. Let n(h) = -14*h - 2. Let t be n(2). Which is smaller: j or t?
t
Suppose -918 = 11*t - 93. Let h = -46 - t. Which is bigger: h or 1?
h
Let i = 338 + -56. Let n = -2259/8 + i. Which is smaller: 1 or n?
n
Let l = 433 - 665. Which is smaller: -231 or l?
l
Let u be (8/(-20)*58)/(5/(-200)). Is u bigger than 928?
False
Let r = 875016/13 - 67344. Let t = 35 + r. Which is smaller: 0 or t?
t
Let c(u) = -34*u + 37. Let k be c(1). Let w(q) = -39*q**2 + 2*q - 3. Let v be w(-3). Let j be v/(-621) + (-2)/k. Is 1 <= j?
False
Let j = -1.431 + 1.512. Is -3 smaller than j?
True
Let z = 36.56 + 0.24. Let x = 36 - z. Let r = x + 0.6. Which is bigger: 2 or r?
2
Let z = -2.84 - 27.76. Let l = -31 - z. Is -2 at least l?
False
Let a = 346 - 188. Let l = -159.1 + a. Which is smaller: l or -0.4?
l
Let l(n) be the first derivative of n**2/2 - 6*n + 2. Let d be l(8). Is 2 smaller than d?
False
Suppose -2*d + 315 = -9*d. Let r = d + 59. Is r != 12?
True
Let m = -269.133 - -269. Let u = 0.133 + m. Let q = -1 + 1.1. Which is bigger: q or u?
q
Let u = -8211 + 541969/66. Let x = -20/33 + u. Which is greater: x or 1?
1
Let l = 599 + -601. Which is greater: -33 or l?
l
Let o(g) = g - 7. Let j be o(3). Let y be (j/((-32)/12))/(-3). Is 2 greater than y?
True
Let y = 77 - 115. Let n = y - -186/5. Which is smaller: n or -2/7?
n
Let t(k) = -k**3 + 7*k**2 - 6*k + 7. Let l be t(6). Let d = l + -7. Let p = -3.86 + -0.14. Which is greater: d or p?
d
Suppose -n + 4*n - 4*o - 24 = 0, 3*o - 11 = -5*n. Let t be n/(-24) + 10/(-12). Let p be ((-1)/(-45))/((-7)/(-42)). Which is smaller: p or t?
t
Let t = -72 + 45. Let r = t + 28. Is r less than or equal to 6?
True
Let b be (-4)/(-4) - (9 - 0). Which is greater: -26/3 or b?
b
Let r(c) = c**3 + 29*c**2 + 28*c + 40. Let d be r(-28). Let f = 108 - d. Which is smaller: 67 or f?
67
Suppose -11*y + 8*y - 288 = -3*h, 0 = -5*h - 25. Is 0.1 at least y?
True
Suppose -15 = -u - 15. Let k be 3/92*(-3 - 1). Which is smaller: u or k?
k
Let f = 57 - 51. Let o = f - 4. Is -1 smaller than o?
True
Suppose 3*w - 40 = -5*v, -2*w - 25 = -7*w. Suppose -9 = 67*u - 70*u. Suppose 3*j = -u*o + 6*o - 15, 15 = -v*j + 3*o. Which is bigger: j or -2/9?
j
Let r = 1783506/205 + -8700. Which is smaller: -1 or r?
-1
Let j be (3 + -3 + 1)*51. Let l(v) = -v**3 + 6*v**2 + 12*v - 23. Let s be l(6). Which is smaller: s or j?
s
Suppose 11*j + 1581 = -4524. Which is greater: j or -553?
-553
Suppose 121 = -13*k + 95. Suppose -3*f + 3 = 12. Are k and f non-equal?
True
Let w(z) = -2*z - 34. Let a be 1/(-2) + 43*3/(-6). Let x be w(a). Which is smaller: 1 or x?
1
Let z = 1753 + -1752. Which is smaller: -5/622 or z?
-5/622
Let r(l) = -7*l + 37. Let v be r(5). Let k be (-1)/((-11)/(-2))*-15. Do k and v have the same value?
False
Let m = -1525 + 1525. Which is bigger: m or 0.014?
0.014
Suppose 0*s = 3*s - 3. Let y be (-146)/400 - (-15)/120. Is y >= s?
False
Let h(t) = 10*t + 6 - 11 + t**2 - 5. Let u be h(-11). Which is smaller: u or 3/13?
3/13
Let g be -5*(-1 + (-8)/(-14)). Suppose 4*o + 2*j + 20 = 9*o, 4*o + 5*j + 17 = 0. Is o greater than or equal to g?
False
Let y be (9 - (-407)/132) + -12. Is 7 equal to y?
False
Let p(z) = -z**3 + 15*z**2 - 2*z + 33. Let n be p(15). Let c(y) = y**3 - 3*y**2 + y - 2. Let h be c(n). Which is smaller: h or -47?
-47
Let g(v) = -v**2 + 1. Let i be g(-3). Let m = 8 + i. Suppose -2*h - 7 = -7*s + 2*s, m = -2*s + 5*h + 7. Which is bigger: s or 2/5?
s
Suppose -3 = 5*b - 28, 4*b = 3*k + 35. Let j = 19970/9 - 2224. Which is bigger: j or k?
k
Let t(p) = p**3 - 20*p**2 + 20*p - 11. Suppose 5*z - 110 = -5*l, -3 = l - 2*z - 16. Let x be t(l). Suppose 5*d - 40 = -0*d. Do x and d have different values?
False
Let s(n) = -988*n - 8. Let u be s(-1). Which is bigger: u or 981?
981
Let m = -1864/7 + 266. Which is bigger: m or 2/39?
2/39
Let l(y) = -6 + 0 - 6*y**2 + y**3 + 6. Let n be l(6). Suppose -3*h - 2*s - 53 = 0, 5*s + 35 = -h - n*h. Are -14 and h non-equal?
True
Let k be (-2)/(-5)*(-10)/(-12). Is 0 at least k?
False
Let c = -1.026 + -698.974. Are -0.1 and c equal?
False
Let a(n) = n**2 + 19*n - 3. Let z be a(-19). Let k = -3 + z. Which is bigger: 2/9 or k?
2/9
Suppose -4*x = -4*m + 8, 2*m - 3*x = -2*x + 8. Let k be 422/(-12) + 1/m. Which is greater: -34 or k?
-34
Let i be (-1)/(50/396) - (27 + -35). Let p(s) = -s**2 - s + 1. Let o be p(1). Let q = o + 0. Which is greater: q or i?
i
Let z = -17 + 17.24. Let t = 0.76 + z. Which is greater: 1/10 or t?
t
Let u be 11*(0 + 1) + 1. Let t(r) = 7*r - 1. Let w be t(2). Let g = w - u. Which is greater: 2/19 or g?
g
Let z = -219.7 - -91.8. Let k = -128 - z. Is 0.9 equal to k?
False
Suppose 0 = -0*y + 3*y - 12. Let i be 27/(-2) + (-3 - -1) + y. Which is greater: i or -11?
-11
Let l = 10 + -13. Let o = l + 2. Let h be (1 - 1)/(0 + o). Which is greater: 1/12 or h?
1/12
Suppose 2*w = 7 + 33. Let v = w + -17. Suppose 0 = 2*o + 3*q - 22, -3*o - 3*q = -27 - 0. Which is greater: o or v?
o
Let b = -435 + 434. Which is smaller: 12/119 or b?
b
Suppose w - 4*f + 394 = 0, 2*f = 2*w + 392 + 396. Is -394 <= w?
True
Let s be (-1 - 12) + 2 + -1. Let i = -399 - -386. Which is smaller: i or s?
i
Let s(g) = -g**2 + 2*g + 5. Let z(h) = h**2 - 2*h - 4. Let l(m) = -2*s(m) - 3*z(m). Let d be l(-1). Let n be 110/(-30) - (-1)/(-3). Which is greater: n or d?
d
Let t = 49/90 + -2/45. Let i = 35 - 40. Let v(y) = -y**2 - 4*y + 5. Let g be v(i). Is t at least as big as g?
True
Suppose -3*p - 14 = 16. Let y be -12*((-20)/16 + 2). Is p less than y?
True
Suppose 5*x + 89 = -3*g, -5*g = 2*x + 81 - 34. Let d = -4 - -10. Suppose 5*i + 83 = y, d*y + 95 = -5*i + y. Which is bigger: i or x?
x
Let o(f) = 2*f + 16. Let x be o(-6). Let q be (-1 + x)/9 + 5/(-60). Suppose -3*w + 1 = 4. Are q and w non-equal?
True
Suppose 22*f - 9*f = 1430. Which is smaller: f or 111?
f
Let p = -103 + 106.3. Let t = p - -7.7. Is t >= 2?
True
Suppose -22*p = -23*p + 13. Suppose -11*c = -p*c + 12. Is c greater than 34/7?
True
Suppose 2*o + 0*x = -2*x + 6, -2*x + 2 = -2*o. Suppose b - 2 - o = 0. Suppose -b*y = -2*y. Which is greater: y or -1/12?
y
Let c = -98.55 - -97. Is -0.1 at least c?
True
Let u be 20/(-45) + 4360/(-72). Which is greater: u or -56?
-56
Let l(o) = o**2 - 5*o - 21. Let j(w) = 9*w**3 + 2*w**2 - 4*w + 2. Let r be j(1). Let s be l(r). Is s bigger than 17?
False
Let m = 68.124 + -0.124. Let u = -64 + m. Which is greater: u or 1/5?
u
Suppose 0 = 5*x - 3*x. Let s = 1 + x. Let g = 6.9 - 7.3. Is s at most g?
False
Let q = 15 + -7. Let d(f) = 4 + 7*f**2 + 7*f + 1 + 0*f**3 + 5*f**3 - 6*f**3. Let b be d(q). Are b and -1 non-equal?
True
Suppose -4*o + 4 = 0, -4*l - 27 = -2*o + 423. Do l and -111 have different values?
True
Let r(q) = -19*q + 155. Let l be