g as d?
True
Suppose 8 = -5*i + 63. Suppose -i*h + 22 = -0*h. Are h and 9/10 equal?
False
Let q be -2*295/3850 - -4. Let t = q + -42/11. Which is greater: t or 0?
t
Let p = -0.07 - 1.03. Let u = 0.24 - 1.44. Let y = p - u. Which is smaller: y or -0.01?
-0.01
Let a = 0.395 + -0.355. Let n be 8/(-9)*(-1)/4. Which is bigger: a or n?
n
Suppose 6*c - 75 = c. Let t(x) = 8*x + x**3 - 1 - 4 + x + 6*x**2 - c*x**2. Let n be t(8). Does n = 3?
True
Let u = 0.2 - 0.1. Let v = 1.1 - u. Let f be 7/3*(-6 - (-240)/42). Are f and v unequal?
True
Suppose 6*l - l = -5. Let o = -3560 + 39163/11. Which is greater: o or l?
o
Suppose 48 = -2*r - 10. Let a = -51 - r. Let k be -27 + ((-8)/1 - -16) + -2. Which is smaller: a or k?
a
Suppose 0 = b - 4*g - 13, 3*g - 8 = 5*b - 22. Suppose 3*h - 71 = -4*r + 253, 4*h - r - 413 = 0. Let n be (-8)/(-52) - 42/h. Is n at most as big as b?
True
Let i be 4/(-8) - 210/(-4). Let l be (-9)/12*-76 - 7. Which is smaller: l or i?
l
Let n = 95 - 93.04. Let i = 18 + -18.04. Let w = i - n. Which is smaller: 0.1 or w?
w
Let j = 342 + -38. Is 304 less than or equal to j?
True
Let r(z) = -z**3 - 5*z**2 + 3*z - 7. Let g be r(-6). Suppose -140 = g*m - 4*m. Which is bigger: m or -21?
m
Let f be -1 - (-12)/(-4) - -4. Let j be f + 0 - 32/(-12). Let m(x) = x**2 + 4*x + 2. Let d be m(-4). Which is smaller: d or j?
d
Let a(u) = 2*u - 16. Let g be a(8). Suppose -2*s - 22 + 24 = g. Is s > -4/9?
True
Let h = -521/6 - -87. Let b = 0.145 - 0.345. Is h at most as big as b?
False
Let z be 0 + 2 + (-8)/4. Suppose z = 29*o - 31*o - 8. Which is greater: o or -1?
-1
Let i = 0.045 - 1102.045. Which is greater: i or 0.1?
0.1
Let b = -1.5 - -3.2. Let u = 1 - -1. Let o = u - b. Does o = 0.2?
False
Let a = -146 - -18. Is a less than -900/7?
False
Let d = -289 - -11. Which is smaller: 1 or d?
d
Let r be -6*(-3)/18 + 2/(-1). Which is bigger: r or -69?
r
Let z = 2 - 1. Let d be 1 - (-75)/(-11) - -6. Which is greater: d or z?
z
Let l = 0.126 - -26.874. Let i = l + -25. Is -1 != i?
True
Let f = -0.01 + 7.21. Let i = f - 37.2. Let u = -30 - i. Which is bigger: 1/4 or u?
1/4
Let j = -113.106 - -113. Let w = j + -0.004. Which is greater: w or 1?
1
Let t(z) = 5*z - 3. Let l be t(3). Suppose -n + 2*y = 266, -5*n = 2*y - 7*y + 1335. Let s be (-14)/77 - n/22. Is s less than l?
False
Let w = 262.9 - 263. Which is bigger: w or 111?
111
Let h = 40 + -4. Let w = h + -39. Which is greater: 0 or w?
0
Suppose -d = 1717 + 2343. Let z = -1051538/259 - d. Which is smaller: 1 or z?
z
Let u = -111 + 110.98. Let o = -0.05 - -0.45. Is u > o?
False
Let r be (-18)/(-12)*(-4)/38. Let l be ((-2)/3)/(10/(-405)). Let s = l + -27. Is r not equal to s?
True
Let s = 0.155 + 68.845. Let v = s - 68.8. Let f = 2 + -1.98. Is v > f?
True
Let d = 0.09 - 0.06. Let b = 418 - 418.17. Let z = d - b. Which is greater: -0.03 or z?
z
Let x = 2982.17 - 2959. Let z = x + -24. Are -1/4 and z equal?
False
Let p = -204.62 + 205. Is -1 greater than or equal to p?
False
Let m(r) = -7*r**2 + 21 + 6*r + r**3 - 8 - 4*r. Let i be m(6). Which is bigger: i or -2/11?
-2/11
Let a = 180 + -181. Is -3 greater than or equal to a?
False
Let y = -31430/17 - -1849. Let l(g) = -g**3 - 3*g**2 + 3*g - 3. Let f be l(-4). Let w be -3*-1*f/3. Which is smaller: y or w?
y
Let m(k) = k - 2. Suppose -2*w = 2 - 20. Let l(o) = o**2 - 10*o + 12. Let d be l(w). Let n be m(d). Do n and 1 have the same value?
True
Let t(d) = 17*d - 11. Let c be t(-3). Is -62 less than or equal to c?
True
Let n(l) = -13*l + 63. Let m be n(2). Suppose 4*k = -98 - 2. Let c = m + k. Which is smaller: 11 or c?
11
Suppose -3*y = -14 - 4. Let u be (-4 - (-4)/y)*3. Which is smaller: u or -11?
-11
Let q = 9/326 - 436/18745. Which is greater: 0 or q?
q
Suppose -18*g = -20*g + 50. Let y = 22 - g. Which is smaller: 0 or y?
y
Let x = -13 + 9. Let n be 64/132 - x/22. Do 2 and n have the same value?
False
Let j(b) = -b**2 + 6*b + 6. Let x(t) = -2*t**2 + 17*t + 17. Let o(y) = -8*j(y) + 3*x(y). Let l be o(-3). Let z be l - 1/4*0. Is -1/3 at most z?
True
Let l be (-4)/(-6) - (-15)/(105/28). Which is smaller: l or -1/4?
-1/4
Let i be (-3)/(-4) - (-2)/8. Let r = -3.9 + 4.14. Let z = r + -0.27. Which is smaller: i or z?
z
Let p = 99 + -101. Let d(z) = -z + 3. Let k be d(7). Is k greater than p?
False
Suppose -2*k + 6 = k. Let t be ((-120)/(-280))/(6/8). Is t greater than k?
False
Let b(r) = -12*r**2 - 40*r - 11. Let t be b(-5). Which is smaller: t or -108?
t
Let g = -59 - -69. Suppose -4*u + 4 = 8. Which is bigger: u or g?
g
Let y be 4/12 - 28/24. Suppose 0 = 957*z - 953*z. Which is greater: z or y?
z
Let j = 63.1 - 62.1. Let n = 0.23 + -0.05. Which is smaller: n or j?
n
Let i = 486.8 + -519.09. Let w = -0.29 - i. Do -0.1 and w have different values?
True
Let x = -598 + 576. Is -252/11 smaller than x?
True
Let n be (-30)/4*36/(-30). Let t be 4/(12/n) + 27. Is 30 at least as big as t?
True
Let u = 2643/10540 + -2/2635. Which is smaller: 27/14 or u?
u
Suppose 37*f = -31*f + 19108. Is 286 != f?
True
Let k = 11.09 + -0.09. Let c = 30 + -30.14. Let p = c - -0.04. Which is bigger: p or k?
k
Let r(a) = -4*a + 30. Let d be r(0). Let t be (-3)/(-15)*11 - 6/d. Does 9 = t?
False
Suppose -11547 = 34*q + 4943. Which is greater: -484 or q?
-484
Suppose 4*x - 3*b = -66, -5*x - b + 6*b = 80. Let l = -13 + -6. Which is bigger: l or x?
x
Let i be -9 - (-3 - (-4 - 1)). Let t(r) = -r**2 - 11*r + 1. Let y be t(i). Let k = 3/8 - 29/56. Is y >= k?
True
Let v = 10 - 10.01. Let d = 1.01 + v. Let y = d + -1.1. Is y not equal to 0.8?
True
Suppose -38*x = -32*x - 36. Which is smaller: 4 or x?
4
Suppose 448 = 30*m - 992. Is m at least as big as 53?
False
Let l(y) = y**3 + 9*y**2 + 2. Let r be l(-9). Let d be ((-1)/11)/(r/(-4)). Are d and 0 equal?
False
Let g(x) = x**3 - 14*x**2 + 2*x - 18. Let d be g(14). Suppose t = 4*i + 28, 3*i = -3*t + d - 1. Let j = t + -11. Is -3 less than j?
False
Let b(s) = -s**3 + 5*s**2 + 9*s - 2. Let w be b(6). Let a = -145/484 - -6/121. Which is bigger: a or w?
w
Let v = -37 - -36. Let i be 4 + v*(2 + -2). Is 0 greater than or equal to i?
False
Let v(u) = -u**3 + 7*u**2 - 9*u - 1. Let x be v(4). Let f(l) = -2*l**2 + l + 1. Let w be f(4). Let m = w + x. Is m < -16?
False
Suppose 3*j - 26 = y, 0 = j + 2*j - 3*y - 24. Let h(s) = s**2 - 10*s + 11. Let g be h(j). Suppose -i - 4 = -g*i. Is i <= 3?
False
Let h = 1582 + -2096. Is -1544/3 smaller than h?
True
Let f = -3 + -59. Let p = f + 61. Which is smaller: p or 6/7?
p
Let q be -2 + (-3)/2*(-6)/9. Which is smaller: -5/6 or q?
q
Suppose 1806*y - 1786*y - 660 = 0. Let t be (-3)/(((-18)/68)/3). Which is bigger: t or y?
t
Let u = 5.1 + -5. Let o = 13270/6437 + -84/41. Which is smaller: o or u?
o
Let r = -178.1 + 183.127. Let g = r + -0.027. Is 1/4 > g?
False
Let r = 0.46 - 0.79. Let i = -0.67 + r. Does i = -0.35?
False
Let q(n) be the second derivative of -17*n**5/5 - n**4/6 + n**2/2 + 12*n. Let a be q(-1). Suppose a - 23 = -4*w. Are w and -11 non-equal?
False
Let b be 13/(1326/29184) - 6/51. Is -1/2 greater than or equal to b?
False
Let r be 0 - (3/(33/(-31)) + 1). Let y = 123/110 - r. Which is bigger: y or -1?
y
Suppose -25*x = -20*x + 210. Is x != -42?
False
Let l = 248 - 247. Which is smaller: -2/47 or l?
-2/47
Let m = -213 + 213. Which is bigger: 24/29 or m?
24/29
Let d be (-17)/(1326/(-252)) + -3. Let n(w) = -2*w + 11. Let c be n(6). Is c >= d?
False
Let v = 168 - 184. Which is bigger: -14 or v?
-14
Let u be (0 + 1)/((-1)/(-3)). Suppose u*s - 6*s + 3 = 0. Let p be 4/6*3 - (-20)/(-11). Which is smaller: s or p?
p
Let c(u) = -u**3 - 4*u**2 - 4*u - 1. Let o be c(-3). Let d(w) = -2*w + 50. Let x be d(25). Which is smaller: x or o?
x
Let c(n) = -n**3 - n**2 - 9*n - 6. Let d be c(0). Let x = -4/9 - 11/36. Which is smaller: d or x?
d
Let i = -0.359 - -0.859. Which is bigger: -7/3 or i?
i
Let j = 1352 - 1381. Which is greater: j or -16?
-16
Let z be (6/(-3))/(22/2). Is z not equal to -36?
True
Let g = 3 + -3. Let z = -0.1 + g. Let t = -0.246 - -0.296. Is t less than z?
False
Let t = 546.29 - 547. Which is smaller: -8 or t?
-8
Let o(f) = f**2 - f + 9. Let b be o(7). Suppose 5*u + 14 = -b. Let w be (-3)/(-6) + u/(-2). Which is smaller: w or 6?
6
Let h be 3 + 12838/(-3906) + (-2)/(-9). Suppose 0 = 3*c + 6, -5*m + 2*c = -3*c + 5. Let s(g) = -g**3 -