d b non-equal?
True
Let z = -11 - -11.8. Let o = 2 + 1.2. Let h = o + z. Is -1 smaller than h?
True
Let h = -315 + 311. Suppose -n + 25 = -5*r, 3*n = -2*n + 25. Is r greater than or equal to h?
True
Suppose -3 = -z + l + 3, 8 = 2*z - l. Is -1 not equal to z?
True
Let n(j) = -7*j - 7. Let l be n(-7). Let w = -127/3 + l. Is -1 at least as big as w?
False
Let c = -41.04 + 41. Let o be (-2)/(-10)*5/4. Is c < o?
True
Let u(o) = 29 - 13*o - 3*o**2 - o**3 + 2*o**2 - 14*o**2 - 11. Let m be u(-14). Is m bigger than 4?
False
Let k be 6/(-14)*139/(-6). Let l = 10 - k. Let z be 1/(-5)*(-34 - -39). Is z > l?
False
Let o(v) be the second derivative of -v**3/6 + 2*v**2 - 2*v. Let w be o(4). Are -3/14 and w equal?
False
Let h(u) = 3*u + 5. Let b be h(-4). Let s = 10 + b. Let n be (-9)/s - (-6)/1. Which is greater: n or -0.1?
n
Let t = 17 + -19. Does -2 = t?
True
Suppose -3*n - 38 = -5. Do -10 and n have different values?
True
Let n = 5 + -3. Is n < -0.5?
False
Let o be (-5)/2*(-3 + 1). Suppose o*c + 4 = c. Is c < -2/37?
True
Let u = -20 - -15. Which is smaller: -7 or u?
-7
Let a be (10/(-4))/((-60)/24). Is -2/55 <= a?
True
Suppose -28 = -4*x - 0*x. Which is bigger: x or 6?
x
Let p = 0.09 - 0.09. Let t = 2/255 - 176/765. Which is bigger: t or p?
p
Let w = -0.062 + 3.062. Let q = 1 - 1. Let j = q + -1. Which is smaller: j or w?
j
Let x = 6/65 + 4/13. Let o be (-2)/(4 + (-3 - 3)). Is o greater than x?
True
Let k = 37 - 26. Let q = k - 31/3. Let t be 6/4 - (3 + 28/(-8)). Do q and t have the same value?
False
Let b = -1038/7 + 148. Are b and 2.1 nonequal?
True
Let p = -3 - -2.9. Let q = p - 2.9. Let x = -4 - -4. Is x at most q?
False
Suppose 0 = -k + 1 + 7. Let y(v) = -v**2 + 9*v - 11. Let z be y(k). Which is smaller: -4 or z?
-4
Let f = 13 - 16. Suppose 4 = -0*o - o. Is o smaller than f?
True
Let x(b) = -b**2 - 5*b - 4. Let y be x(-4). Suppose 5*g + 0 = 5. Let l = g + y. Which is smaller: l or 1/3?
1/3
Let h = -387 - -388. Suppose 4*p = -5*a - 48, -5*a + 0*p - 44 = 2*p. Let b = -6 - a. Is b at least h?
True
Let r be (2/(-7))/(63/98). Is r > 0?
False
Suppose 3*x = 360 - 429. Is -23 at least as big as x?
True
Let s = 0.1 + 0.9. Suppose o + 60 = -3*o - m, 3*o + 56 = 2*m. Let y = -31/2 - o. Which is smaller: s or y?
y
Suppose 12 = 2*r + 46. Is r less than -17?
False
Let y(s) be the second derivative of -s**3/6 - 2*s**2 - s. Let v be y(-5). Let m = -12/29 + 118/145. Which is bigger: v or m?
v
Let n(m) = 31*m**2 - m - 3. Let b be n(4). Let g be 2/(1008/b - 2). Let c = 33 - g. Which is greater: 1 or c?
1
Let d = -0.078 - 0.062. Is -2/5 at least as big as d?
False
Let d = 76 + -378/5. Let b(n) = n - 2. Let l be b(-10). Let q be ((-3)/(-2))/(l/32). Is d greater than q?
True
Suppose f + 4*c - 37 = 9*c, -c - 29 = -f. Is f at least 0?
True
Suppose 8*a = -2*a - 270. Do a and -138/5 have different values?
True
Suppose 4*o - 5*v + 41 = 0, -4*o + 4*v + 10 = 46. Which is bigger: 0 or o?
0
Let a = -0.041 - 5.959. Which is smaller: -5 or a?
a
Let o be 3 + (15/5 - (0 - -26)). Is o at least as big as -20?
True
Let c(b) = b**2 + 11*b + 11. Let f be c(-12). Which is smaller: f or 22?
22
Let k(s) = -s**3 + 3*s**2 + 2*s. Let j be k(4). Is j >= -8?
True
Let o(x) = -13*x - 12. Let c be o(0). Is c > -10?
False
Let y = -15.9 + -3.1. Let l = -19 - y. Let f = -0.2 - -9.2. Is l at least as big as f?
False
Let h = -1.3 - -0.3. Let i = 0.1 - 0.2. Let q = -0.4 - i. Which is greater: q or h?
q
Let q = -24 + 36. Let y = q + -7. Which is greater: y or 0.4?
y
Let c = 22/67 + 382/469. Are c and 2 non-equal?
True
Suppose -4*k + 19 + 15 = -5*s, 0 = 2*s - k + 13. Is -6 > s?
False
Let n = 2 + -1.9. Let h = 36 - 32. Which is greater: n or h?
h
Let x(h) = -h + 1. Let c be x(2). Let d be 3/84*4*3. Which is smaller: c or d?
c
Let b be -3 - -6 - 4 - -1. Let h(i) = i**3 - 8*i**2 - i + 9. Let r be h(8). Which is smaller: r or b?
b
Let v = -32 + 31. Is v bigger than -1/10?
False
Suppose 2*b + c - 39 = 0, -18 = -4*b + 5*c + 39. Is b at least as big as 18?
True
Suppose 20 = -2*d - 0*d - v, -5*v + 20 = -5*d. Let t = d + 7. Do 1 and t have different values?
True
Let o(k) = k**2 + 9*k - 8. Let y be o(-10). Suppose 0*h + 2*h = -4*x + 10, 2*x + y*h - 10 = 0. Is x greater than -2?
True
Let d = 24 + 29. Let z = d - -7. Let o be (16/z)/(12/10). Is 0 > o?
False
Suppose 101*l - 93*l = -24. Which is bigger: -9/4 or l?
-9/4
Suppose 2*s - 28 = 4*i, 4*i - 40 = -3*s + 8*i. Suppose -2*m = -j + 4*j + s, -3*j = 3*m + 12. Is 0 < m?
False
Let b = -0.23 - -0.16. Let j = 51 + -50. Which is smaller: b or j?
b
Let i = 11 - 7. Let h(x) = x**3 - 2*x**2 - 2*x + 3. Let s be h(i). Let f be (s/30)/(12/16). Which is smaller: 2 or f?
f
Let y = -185 - -1297/7. Let r = 2 + -0.9. Let w = -0.6 + r. Is w greater than or equal to y?
True
Let n = 1 + 0. Let z = n + -1.1. Is z bigger than -0.2?
True
Let y = 78 - 78. Which is bigger: y or -2/27?
y
Let q = 0.18 + 0.32. Which is smaller: q or -0.1?
-0.1
Let c = 727/13 + -56. Let h = -4 - -9. Let f = h + -4. Is f bigger than c?
True
Let j = -1.2 - -0.4. Let w = 0.6 + j. Is -2 at most as big as w?
True
Let i be (-4)/18 + 10/450. Which is bigger: 0 or i?
0
Let o be (1 + 30/(-24))/((-10)/(-8)). Which is bigger: -5 or o?
o
Suppose -2*w + 2*z = -136, 12*w - 5*z + 228 = 15*w. Which is smaller: w or 70?
70
Let o be (-13)/52 - (-10)/(-24). Is o at most as big as 0?
True
Suppose j + 10 + 1 = 0. Let v = j - -19. Do v and 8 have different values?
False
Let z be -2*((-1)/(-1) + -2). Suppose 0 = -z*n - 4. Is -1 at most as big as n?
False
Let m be (2/40)/((-75)/20). Is m not equal to -1?
True
Let l(b) = -b**3 + 6*b**2 + 6*b - 2. Let j be l(4). Let d be (-21)/j*2 - -1. Do 0.4 and d have the same value?
False
Let g(y) = -y**2 + 7*y + 5. Let m(h) = -h**3 - h**2 - h + 8. Let v be m(0). Let p be g(v). Which is smaller: -4 or p?
-4
Let d = 2.91 - 3. Let l = 0.19 + d. Is l >= -5/3?
True
Let q be 2/(4/(-6)*1). Let k be 7*(-2)/(-4) + q. Which is bigger: 1/3 or k?
k
Let s = 3 - 1. Let z(f) = f**2 - 5*f - 6. Let c be z(6). Which is smaller: s or c?
c
Let r be -4 - (-1)/((-3)/(-9 + 0)). Is -2/491 <= r?
False
Suppose 5*l = 42 - 12. Let z = -4 + l. Let a(c) = c**2 - 4*c. Let w be a(4). Which is smaller: w or z?
w
Let g(h) = 2*h**2 - 25*h - 13. Let w be g(13). Let f be 1*(-4)/(-6) + 0. Is f at least w?
True
Let m(z) = -9*z + 1. Let r be m(-5). Suppose -4*w = -14 + r. Let f be (-50)/w - (-6)/8. Are f and 6 non-equal?
True
Let m(y) = y. Let l be m(-2). Let d(s) = -s**2 + 9*s - 15. Let c(j) = 2*j**2 - 19*j + 30. Let r(i) = -3*c(i) - 5*d(i). Let g be r(11). Which is smaller: g or l?
g
Let u be 6/4*8/(-6). Suppose -p + 5*p = -4. Which is smaller: u or p?
u
Let x(a) = 19*a + 2. Let v be x(2). Let y be ((-18)/(-8))/((-50)/v). Is -3 <= y?
True
Let n(x) = -x**2 - 4*x - 3. Let a(o) = 2*o**2 + 8*o + 6. Let h(y) = -2*a(y) - 5*n(y). Let l be h(-3). Is -2/3 > l?
False
Let h be 16/(-9)*15/20. Which is bigger: 0 or h?
0
Suppose -k + 4 = -3*k - 2*a, a + 2 = 2*k. Suppose 6 = 2*y - 4*y - 3*u, 5*y - 4*u = 8. Let i be (k - y) + 8/20. Is -1 bigger than i?
False
Let l be (2/8)/(20/90). Which is bigger: l or 2?
2
Let n = 431/5 - 33613/390. Are 0 and n non-equal?
True
Let z = -14 - -65. Is z equal to 51?
True
Let o = 1/19 - 1/57. Which is smaller: o or -0.1?
-0.1
Let u(v) = -2*v**3 + 2*v**2 - 1. Let q = -2 + 3. Let m be u(q). Is 1/8 at least as big as m?
True
Let q = -1 + 1.1. Let a be (-1)/(-2)*8*1. Let v = a - 6. Is v less than q?
True
Let l be 6/5*15/6. Suppose -l*x + 3 = 15. Which is smaller: -3 or x?
x
Suppose f - 16 = -14. Is -1 greater than f?
False
Let i be 1 + 2/(4/(-3)). Let z = -0.97 - 0.03. Let w = -2 - z. Which is smaller: w or i?
w
Let n = -1.3 + 6.3. Let r = n - 4. Is 1 smaller than r?
False
Let c(t) = -t**3 + t**2 + 4*t - 3. Let s be c(2). Let p be ((-6)/(-4))/(12/16). Suppose -5*v + s - 5 = -2*g, 0 = g - p. Are 2/7 and v equal?
False
Let g = 81 - 50. Which is smaller: 0 or g?
0
Let p = 0.04 + 0.56. Let d = p + 0.4. Let b = d - 0.9. Are b and 0.4 equal?
False
Suppose y - 2*w = 5*y, -w = 5*y + 3. Let a be (-2)/18*1*-2. Is a not equal to y?
True
Suppose c - 10 = -2*g - 49, c = -4*g - 75. Which is greater: -17 or g?
-17
Let u = 1 + 5. Suppose 0 = -q - 4*q + 3*t + 40, -5*t = 0. Let d = q - u. Which is smaller: d or 1?
1
Suppose 5 = -5*z + 65. Le