d and 0.26 equal?
False
Let g be (-12*1/(-3))/4. Which is smaller: g or 3/26?
3/26
Let k = 479 + -653. Is k >= -174?
True
Let d = 133 + -159. Which is greater: -0.2 or d?
-0.2
Let t(y) = -3*y - 33. Let h be t(-12). Let b = h + -11. Which is bigger: -0.1 or b?
-0.1
Suppose -3*q + 0*q - 4*n = 0, 2*q - 2*n + 14 = 0. Let w = -41.9556 - -0.0556. Let b = 42 + w. Are b and q unequal?
True
Let k(y) be the first derivative of y**4/12 + 3*y**3 - 11*y**2/2 + 15. Let h(t) be the second derivative of k(t). Let q be h(-13). Is -9 at least q?
False
Suppose 0 = 5*l - l + 28. Let n(t) = -50 + 4*t - 2*t - 2*t**3 + 49. Let a be n(1). Which is bigger: a or l?
a
Let n = -14 + 20. Let g be (-1)/n - (-205)/(-2610)*-3. Which is greater: -1 or g?
g
Let t(c) = 3*c**2 + 22*c + 8. Let n be t(-7). Is n equal to -2/397?
False
Let k = -21 - -15. Let b = 13 + 3. Let w be 20/b*(-1 - 3). Which is smaller: k or w?
k
Let g = 235.8 + 43.2. Is 1 greater than or equal to g?
False
Let x be 13 + 4 + -2 + 0. Let s be 5/1 - (2 + -21 + 5). Let m be s/(-10) + 6/x. Is -0.2 at most m?
False
Let a = 317/264 + -3/88. Let d = a - 4/3. Which is bigger: -1 or d?
d
Let p(c) = c**2 + c. Let q(f) = -f**3 - f**2 - f - 1. Let i(a) = -p(a) - q(a). Suppose 0 = 3*u - 7 + 4. Let k be i(u). Which is greater: k or 4?
4
Let k = -33 - -15. Let g = 22 + k. Let o = g - 13. Is o equal to 0.1?
False
Let f(l) = -50*l - 4. Let d = 14 + -11. Let t be f(d). Let o be t/28 - 2/4. Is -6 less than o?
False
Let y = 35 + -41. Let u(w) = 2*w + 16. Let q be u(y). Suppose 4*v + 3*p - 8 = 7*p, -3*v = -p - 16. Is v at least as big as q?
True
Let m be ((-8)/10)/((-230)/(-7475)). Which is smaller: -18 or m?
m
Let f be 0*3/12*-2. Let v = -4 - -8. Is f > v?
False
Let k = -0.43 - 39.57. Let x = k + 59. Which is bigger: x or 1?
x
Let d = -4.9 - -5. Let c = -10 + 38. Let y = -27.92 + c. Is y bigger than d?
False
Suppose -5*m + 93 = -o - 2*o, 62 = -2*o - 5*m. Suppose f + 3*t + 22 = 0, 0 = -3*f + 2*t + 2*t - 105. Is f at most o?
True
Let f = -1794 - -1794.01. Is f not equal to -0.81?
True
Let z = -3 - 247. Is -249 greater than z?
True
Let i be (8/6)/(((-24)/(-774))/4). Let r be 0/(-3) - 4/i. Is 1 bigger than r?
True
Suppose 0 = -t + 27 - 3. Suppose -7 = -m - t. Let d be -24 - (-13 - (4 - 9)). Is m >= d?
False
Let a = -2167/7 + 309. Let k = 4 - 2. Suppose -u = k*u. Which is greater: a or u?
u
Let j = -15901 - -15901. Let m = 130/731 + 5/43. Do j and m have different values?
True
Let g = 836 + 205. Which is smaller: 1040 or g?
1040
Let a = -1/3112 + 62539/930488. Is a <= -1?
False
Let d = -1 - -4. Let m(t) = -10*t**3 + 2*t**2 - 10*t - 7. Let p(h) = 3*h**3 - h**2 + 3*h + 2. Let k(l) = 2*m(l) + 7*p(l). Let q be k(d). Is q not equal to 3?
False
Let n = 73 + -23. Which is bigger: n or 49?
n
Let w = 1.473 + -1.473. Let u = 3 - 3. Let c be (u + 1/(-2))/1. Is c smaller than w?
True
Let p = 28693/1899 - -1/633. Which is bigger: p or 15?
p
Let q = 49 + -52. Let y(t) = -t**3 + 8*t**2 - 7*t. Let i be y(7). Is q at most as big as i?
True
Let a = -249 + 249. Which is greater: 1/63 or a?
1/63
Let y = -4.6 - -4.61. Let h = y + -0.01. Which is smaller: h or 4?
h
Let t = -93 - -51. Let s = t + 41. Which is greater: 4/23 or s?
4/23
Let l = -81 - -82. Is l < -0.165?
False
Suppose 0*k = 3*k - 12. Let i be -1*20/12*-3. Do k and i have different values?
True
Let m = 1704/13 - 131. Let p be (0 - -1)*1/1. Which is smaller: p or m?
m
Let l = -509.06 - -515. Let p = l - -0.06. Is p < 3/5?
False
Suppose -208 = 2*c + 5*w, -4*w + 7*w = 0. Let p be (-4)/(-6) - c/(-120). Let z = -10 - -10.8. Which is smaller: z or p?
p
Let h(k) = -k**3 + 6*k**2 + 10*k - 17. Let w be h(7). Let q be 10 - 3*w/24*-6. Which is smaller: 14 or q?
q
Suppose 5*c - 6 = 4*c. Let j = c - 2. Let z be 3 - j/128*97. Are z and 0 nonequal?
True
Let h = -0.5 + 0.2. Let u be (-4)/(-34) + 468/68. Let s(x) = 2*x**2 - 12*x - 12. Let l be s(u). Which is greater: l or h?
l
Let p = -10878 - -10821.01. Let c = p + 57. Is -0.02 greater than or equal to c?
False
Suppose 38 = -b - 5*v, b = -b + 5*v - 16. Suppose 0 = 242*z - 448 + 5288. Which is greater: b or z?
b
Let n be (144/30)/(1 - 53/50). Let l = 81 + n. Which is greater: l or 4/5?
l
Let r = -91 + 52. Let m = r - -84. Let u be 3/6 + m/(-10). Is 2 greater than u?
True
Let w(q) = q + 26. Let r be w(-6). Suppose 0 = h - 2*m + 14, 2*m - 6*m = -r. Let l(n) = -n**3 - 4*n**2 + 6*n - 1. Let b be l(-5). Which is greater: b or h?
h
Let g(v) = v**2 + 2*v. Let x be g(0). Suppose -3*a - 4*s = x, -a + 2*s = 2*a - 18. Let h(k) = -2*k - 10. Let b be h(-6). Is a less than b?
False
Let o be ((-12)/10)/((-2)/10). Suppose -n = -6*n - 5. Let l be (n + -1 + -12)/(-2). Is o < l?
True
Let x(v) = v**3 - 25*v**2 + 17*v + 157. Let s be x(24). Which is bigger: s or 3?
3
Let u = -22.97 - 3.03. Are -1/2 and u unequal?
True
Suppose 0 = w + 3 - 5. Suppose -27 = -w*n + 25. Which is greater: n or 24?
n
Suppose k = 3 - 11. Let n be (k/(-2))/(3/6)*2. Is -1 >= n?
False
Let q be (-6)/(-2) - (22 + 169). Which is greater: -186 or q?
-186
Let k = 5275/451 - 130/11. Is k < 0?
True
Suppose -28 = 3*u - 7*u - 2*q, -q = 0. Do 84/11 and u have the same value?
False
Suppose 51 = k - 54. Suppose -g - 2*y = -6*g - 606, -g - 5*y - k = 0. Let w be (4 + 0)/(g/(-8)). Which is greater: w or -1?
w
Let c = -882.66 - -885. Let o = 22.66 - 23. Let t = o + c. Is t >= 4?
False
Let x(u) = u - 8. Let q be x(6). Suppose 0 = 3*b - 3*o, -2*b + 2*o = -3*o + 3. Suppose -b = 3*t - 7, 2*t - 4 = 3*r. Is r bigger than q?
True
Suppose -8 = 2*h + 18. Suppose -62*w - 1369 - 1361 = 133*w. Is h <= w?
False
Let d = 20 - 25. Which is greater: d or 0.5?
0.5
Let k(w) = -w**3 - 3*w**2 + 5*w + 5. Let t be k(-4). Suppose -11 - t = -4*b. Let r be 11/b + (-12 - -11). Is r at least 3?
False
Let x = -6.4 + 6.2. Let a be 0 + -3 - 63/(-15). Is a at most as big as x?
False
Let v be 1/1 + 10 + -9. Suppose -2*p = -3*r + 5, 0 = 4*p + v*r - 5 - 9. Which is greater: p or 5/4?
p
Let p be (-3 + 5)/((-175)/(-5082)). Let v = 58 - p. Which is smaller: -1 or v?
-1
Let l = 2176 - 7605118/3495. Is 1 at most as big as l?
False
Let h(m) = 3*m + 1. Let c be h(-4). Let b be 0 + 1 - (-23 - -15). Let r = c + b. Which is smaller: 2 or r?
r
Let o = 24 + -25. Let m be -2 + (2 - o)/(-3). Is -3 equal to m?
True
Let m be -8 + 4 - (-700)/168. Is -152 greater than m?
False
Suppose -10*g = 16*g + 26. Which is smaller: g or 9/23?
g
Suppose -40*q + 7724 = -5716. Is 338 not equal to q?
True
Let z = -105 - -54. Let w = -50 - z. Is 7/4 bigger than w?
True
Let t(j) = -5*j**2 - 34*j - 139. Let d be t(-5). Which is smaller: -92 or d?
d
Let f(z) = -z - 56. Let x be f(0). Let m = x - -50. Which is greater: 0.1 or m?
0.1
Suppose -7*z = 57 + 27. Let t(k) = 3 + 0*k + k - 14 + k. Let y be t(0). Is z smaller than y?
True
Let x(h) = -3*h**2 - 15*h - 6. Let l be x(-4). Suppose 0 = y - l - 1. Which is smaller: 3 or y?
3
Suppose -12 - 4 = -2*a. Let z be a - (-4 + 3) - -1. Which is greater: 12 or z?
12
Let s(o) = o**2 - 7*o + 7. Let b be s(5). Let h be ((-5)/(-10))/(3/108). Let t = -23 + h. Are t and b unequal?
True
Let v be (23/(-115))/((-2)/454). Is 46 smaller than v?
False
Let f = -43589/87 - -501. Which is smaller: f or 2?
f
Let d = 0.0799 + -1.0799. Which is smaller: 1.1 or d?
d
Let g be (12/(-7))/((-4)/70). Let h be (-713)/46*(-3 - -1). Which is smaller: g or h?
g
Let i = 21 - 13. Suppose -d = -2*t - 2*d - 47, -5*d + 129 = -4*t. Let q = -17 - t. Are i and q non-equal?
True
Let f = -822 - -827.83. Is f less than 1?
False
Suppose -167*n + 159*n - 184 = 0. Is -24 equal to n?
False
Let r be ((-12)/(-108))/(4/(-64)). Is 1/3 equal to r?
False
Let g = -104 - -19. Let s = g + 84.7. Which is smaller: 1 or s?
s
Let h be (-11)/15 - (-3)/9. Let b = -4850.03 + 4813. Let n = -37 - b. Which is greater: n or h?
n
Let u = -7356/5 - -1473. Suppose 0*a + 18 = 3*w - 5*a, -w - a = -6. Suppose w = 2*b - 0. Is u greater than b?
False
Let k(l) = -3*l - 3. Let x be k(-2). Let i = 5 - x. Suppose o + 2*w - 7*w + i = 0, 6 = -3*o + 3*w. Which is greater: -1 or o?
-1
Let p(o) = -o**3 + 13*o**2 + 14*o + 19. Let x be p(14). Let h = x + -17. Suppose t - a - 8 = -3*t, h*t = 4*a + 18. Is -1/17 greater than or equal to t?
False
Suppose -78 = -4*y + 4*p + 78, 4*p - 96 = -3*y. Which is greater: 34 or y?
y
Let p = 164 + 