ich is greater: c or -17?
c
Let v = -2.9 - -3. Let x = 1 - 0. Let y = 5 - x. Are y and v equal?
False
Let d(c) = -5*c**2 + 12*c + 10. Let u be d(3). Which is greater: 39 or u?
39
Let j = 0.016 + -7.616. Which is bigger: -1/3 or j?
-1/3
Let z be (-2)/(-18) + 1456/(-63). Let p = z - -24. Which is bigger: 4/5 or p?
p
Let v = -123 + 141. Let y be (-2)/(-15)*(2 + 1). Is y at least v?
False
Suppose -7 = 7*j - 21. Let k(z) = z - 1. Let t be k(-4). Let g(v) = -v - 6. Let w be g(t). Which is smaller: w or j?
w
Let c = -2 - -4. Let d be (-40)/(-6) + (-7)/(-21). Suppose -7 = -c*j + d. Is j < 6?
False
Let k(u) = -u + 10. Let h(t) = -t**3 + 2*t**2 + 8. Let x be h(0). Let f be k(x). Suppose 0*d - 3*d = -12. Is d greater than f?
True
Suppose 0 = -2*s + 8 + 12. Suppose -p - s = 4*n, 9 = -5*n + 4*p - 7*p. Let z = 0 - 1. Is z greater than or equal to n?
True
Let c = 6.5 - 7. Let f = c - -0.1. Let x = -0.3 - f. Which is smaller: 0.05 or x?
0.05
Let y(d) = -d**3 + 3*d**2 + 2*d - 4. Let l be y(3). Suppose 2*f - 4*f = l*x - 6, f - x = -1. Which is bigger: 2 or f?
2
Suppose 2*h - 6*h = 0. Let u be (92/(-552))/((-16)/9). Is h less than or equal to u?
True
Let m = 3/380 + -959/1140. Which is smaller: 4 or m?
m
Let b(y) = -2*y**2 - 30*y. Let d be b(-15). Let k be (d + (-70)/(-21))/(4/(-6)). Which is smaller: k or 2?
k
Let f = 17 + -49. Let c = -33 - f. Are -1/17 and c non-equal?
True
Let n = 5 + -14. Let k be ((-2)/6)/((-12)/(-72)). Let v be k + (n/(-2) - 2). Do 1 and v have the same value?
False
Let t = -336 - -531. Let k = -4 + 1. Let j be (-1)/k + (-26)/t. Is -0.1 at most j?
True
Suppose 0*f = f - 7. Let k = 11 - f. Let c be (-3)/18*92/46. Do c and k have the same value?
False
Let z(v) = -v**2 + 31*v + 142. Let w be z(35). Is 55/18 at least as big as w?
True
Suppose 1 = -3*o + 7. Suppose 2*h - 2*k - 6 = o, -4*k = 2*h + 22. Let l(q) = -q**2 + 11*q - 5. Let g be l(11). Are g and h unequal?
True
Suppose 0 = t + 2*t + 30. Let z = t + 18. Let b be 7 + 2 - 0/2. Which is greater: z or b?
b
Let w(q) = -q**3 - 15*q**2 + q + 35. Let o be w(-15). Suppose o*c = 17*c - 3. Is c < -21?
False
Suppose -3*d + 5 = 4*b, -2*b + 10 = -5*b - 5*d. Suppose b*t - 2 = 23, 5*m = -2*t + 355. Which is bigger: 67 or m?
m
Suppose 0 = 41*w - 449 + 3360. Which is smaller: w or -73?
-73
Let h = 481/7 - 4115/28. Let y = h + 44129/564. Which is smaller: 1 or y?
y
Suppose -8*s = -5*s - 6. Suppose -2 = p - s*p. Suppose -p*c + 1 = -3*c. Which is smaller: c or 7?
c
Suppose 58*m - 5*y - 1876 = 56*m, -3*m = -4*y - 2821. Is m >= 0.1?
True
Let j = -57 - -61. Suppose -18 = -m + 5*u, -3*m - u = -6*u - j. Are -6 and m equal?
False
Let n be 1038/(-171) + 4 + 0 + 2. Is 0 <= n?
False
Suppose 0*g = -g. Suppose -3*o - 6 + 15 = g. Suppose 0 = -3*w - 3*j - 0*j + 9, 5*w + o*j = 11. Do w and 0 have different values?
True
Let y = -447 + 438. Is y greater than -1.3?
False
Suppose 3*q - 70 + 70 = 0. Suppose 2*y - 20 = 4*o, -2*o - y - y - 10 = 0. Let d be (-5)/(-4)*(-2)/o. Is d at most q?
False
Let g = -22 - -4. Let a = 18 + g. Let n = 707/7337 + -3/319. Which is smaller: a or n?
a
Let f be (3 - (9 - 4))*(-2 + 1). Suppose f*n - 4 = 2*o, 0 + 2 = -n + 3*o. Is n at most 4?
True
Let i = -167 - -464. Is 0 less than i?
True
Let g = 8 - 4. Let x = g - 4. Suppose 5*c + 28 = -3*h, 0 = 2*h + 2*c + 9 + 3. Is h at most as big as x?
True
Suppose -r + 20 = -0*i + 5*i, 2*i = 8. Suppose 3*b = -3*d - 3, 0 = 3*d - 7*d - 3*b - 3. Suppose -c - 3 + 1 = d. Which is smaller: r or c?
c
Suppose -h + j + 9 = -3*j, -3*h + 5*j = -13. Suppose -4*r + 0*r - 1 = 3*v, r + h = 0. Suppose 2*o - 10 = 2. Which is bigger: v or o?
o
Let g(i) = i**2 - 8*i - 3. Let s be g(9). Suppose -5*b - c - 2*c = -4, 3*c + 16 = 5*b. Suppose -6*u = -32 + b. Is s greater than u?
True
Suppose 0 = w + 6 + 23. Let q = w - -28. Which is smaller: 6/13 or q?
q
Let v = -3/244 + -711/1708. Is -0.181 > v?
True
Suppose 65 = -9*f + 4*f. Let d be -17 - (5 + (-15 - (-8 + 3))). Which is bigger: d or f?
d
Suppose -5*f + 10*x + 15 = 0, x + 10 - 8 = 0. Let n = 4704 - 1359458/289. Is n not equal to f?
True
Let t(z) = z**2 - 7*z + 9. Let a be t(7). Let f be (-144)/(-104)*(-3)/a. Let j(n) = n**3 + n**2 + n + 1. Let u be j(-1). Which is bigger: f or u?
u
Let a be (-25 - -27)*1*(-7 + 1). Is -12 bigger than a?
False
Let h be -3 + 2 + 109611/109596. Let d = h - 90782085/474916. Let w = 191 + d. Is w > 0?
False
Suppose l + 17 = -4*k, 2*k - 5 = -5*l - 0*k. Suppose 86 = -l*a + 101. Let r = -2 - -5. Which is bigger: a or r?
a
Let a = 22.97 + -23. Let g = -0.1 - a. Which is bigger: g or -1/2?
g
Let x(k) = -5*k**3 - 29*k**2 + 11*k - 4. Let t(p) = 2*p**3 + 15*p**2 - 5*p + 2. Let l(v) = -7*t(v) - 3*x(v). Let j be l(18). Which is greater: 35 or j?
35
Let t = 1 - 1.1. Let w = 8 + -12.6. Let y = w - -4.9. Which is greater: y or t?
y
Let q = 198.07 + -220. Let s = -22 - q. Is -2 greater than or equal to s?
False
Suppose 2*r - 7 + 0 = 5*n, 3*n - 4*r + 7 = 0. Which is smaller: -3/47 or n?
n
Let k = 46.057 + -46. Let b = k - -8.943. Is 0 != b?
True
Let f be ((-3)/6)/((-2)/(-8)). Let n be 1*1/(f/(-20)). Suppose 0 = -17*m + 34*m - 170. Is n greater than or equal to m?
True
Let y be (-2)/7 - 22711913/29996820. Let v = y - -911/684. Let s = v + -4/179. Is s != 0?
True
Let m = -0.1049 + 0.0049. Is -44 not equal to m?
True
Let i be (7/21)/(3/(-27)*-3). Let c be 2 + -1 - (-183)/(-192). Which is smaller: c or i?
c
Suppose -35*i = -5066 + 1041. Which is smaller: 113 or i?
113
Suppose 2*i - 16 = 5*p, 0 = -10*i + 12*i + 5*p + 24. Is 251 <= i?
False
Suppose 0*d + 3 = d. Suppose 0*a + 60 = d*a + j, 0 = -2*j. Let p = a - 23. Is -2 equal to p?
False
Let b(y) = y - 2. Let w be b(5). Let o be ((3 - w) + 12/(-10))*-5. Which is greater: o or 1?
o
Let k be (-2 - (-3 + 1))*1. Suppose 6*q - 2*q = 3*x - 1, 3*q - 6 = k. Which is smaller: -2 or x?
-2
Let q = -15.87 + -0.13. Let i = -16.3 - q. Which is bigger: i or 6?
6
Suppose 3*a + 4*p - 12 = 3, -4*a + 10 = 2*p. Let r = -9322/11 + 848. Is r not equal to a?
True
Suppose w + 9 = 4*h, 0*h - 26 = 2*w - 4*h. Let d(y) = -y**2 - 17*y - 9. Let k be d(w). Is -10 at least as big as k?
False
Let p(g) = g**2 + g - 1. Let t be p(-2). Let f = 1/4842 + 9527/760194. Which is smaller: f or t?
f
Let u = 1280976/881 - 1454. Is u less than or equal to 1?
True
Let q = -303/200 + -84/25. Which is smaller: -4 or q?
q
Suppose p - 4*p + 4*w = -16, 2*p = -4*w - 16. Let a = 2/71 + -264/4331. Which is greater: p or a?
p
Let l(g) be the second derivative of -g**4/12 + g**3/3 + 10*g**2 - 20*g. Let z be l(6). Is z <= -1?
True
Let u be -1*(-1 + 5 + 22). Let s be 90/u - (9 + -12). Let y = s + -15/52. Which is greater: y or 1?
1
Suppose -3*s = -k + 1051, 3*k - 686 = 2*s + 6*k. Do -348 and s have the same value?
False
Let o be 1050 + (-10 - -15) + -10. Is o at least as big as 1046?
False
Suppose 13*o + 53 = -77. Which is smaller: o or -17?
-17
Suppose 17*z - 4 = 15*z. Suppose 6*b - 5*b + z = 0. Is -3/4 > b?
True
Let i = 24.34 + -24. Let f = i - 0.32. Which is smaller: f or -2/7?
-2/7
Let s(j) = j**2 + 5*j - 42. Let p be s(4). Which is smaller: 27 or p?
p
Let o = 6 + -88. Let w = o - -119. Which is bigger: w or 35?
w
Let x = -11.99 - 0.01. Let h = 36 + x. Let a = 23 - h. Is 1/5 bigger than a?
True
Suppose -5*p = -8*p - 5*s + 34, 3*p = -s + 14. Let m = 0.1 - -0.1. Let x = m + -0.3. Which is smaller: x or p?
x
Let m be (-1 - (-2)/1)*(-4)/4. Which is smaller: 2/789 or m?
m
Let d be -4 - (-22 - (0 + -2)). Let y = 116 - 102. Which is bigger: d or y?
d
Let l(q) = -15*q**2 + 6*q + 3. Let a(i) = 5*i**2 - 2*i - 1. Let z(u) = -7*a(u) - 2*l(u). Let k be z(-1). Is k less than or equal to -3?
True
Let z be (11 - 12)/(-1 + 0). Is -3 at most z?
True
Let k = 42 - 36.4. Let n = k + 2.4. Let w = -91/332 - -2/83. Which is greater: n or w?
n
Let b(h) = -8*h**3 + 4*h**2 + 2*h - 2. Let q be b(-2). Let p = q - 63. Which is smaller: 10 or p?
10
Let y = 1229 - 1228.2. Is y <= 1/9?
False
Let a be (-5)/30*3/2. Suppose 24 = 4*b - 0. Suppose -2*n + 14 = -4*c, 3*c + 17 = n - b*n. Which is smaller: a or n?
n
Let w(n) = 2*n - 12. Let g(c) = 7*c**2 - c. Let u be g(-1). Let p be w(u). Suppose 2*b - 3*v = -7*v - 10, -9 = 3*b + p*v. Is 1/3 < b?
True
Let s = 32 + -26. Suppose 2*h - 8 = -s*h. Are 3/2 and h non-equal?
True
Let d = 0.1267 - 116.1267. Is d bigger