s greater: w or -760/21?
w
Let y be (19643/2216 - 9) + 1/8. Which is greater: 1 or y?
1
Let v be (-3)/(12/(-16)) - (1 + -5). Let r be (2/3)/(v/(-204)). Which is greater: r or -9?
-9
Let i = -68 - -68.05. Let s = -0.25 - i. Let n = -12 + 11.8. Which is greater: s or n?
n
Let g = -2061 + 1953. Which is smaller: 1/13 or g?
g
Let m be (686/11)/(-2) - 0/(7 + 5). Which is bigger: m or -32?
m
Let q = 10628 + -14741. Do q and -4114 have different values?
True
Let y = 0.09007 - -136.90993. Is y greater than or equal to 53?
True
Let g = -1128/7 + 160. Let k(l) = l**3 + 13*l**2 + 2. Let s be k(-13). Suppose -w = 5*c - 4, s*c - 3*c - 20 = -5*w. Which is smaller: c or g?
g
Let b(s) be the second derivative of s**4/12 - 13*s**3/6 - 2*s**2 + 20*s. Let t be b(13). Let j be (-6)/10 + t/10. Is -43 smaller than j?
True
Suppose -6*a + 14 = 20. Let z be 0/(-4 + a) - 11. Is z > -9?
False
Let h be (-12768)/(-22932) - (-6)/(-63). Which is greater: 42 or h?
42
Let z = 4611 - 5046. Which is smaller: -437 or z?
-437
Let k(d) = -d**2 - 7*d + 16. Let x be k(6). Which is bigger: x or -9?
-9
Suppose 0 = 33*q + 1354 + 8876. Are q and -319 non-equal?
True
Let s = 0.19568 - 0.09568. Is -2.278 >= s?
False
Suppose 509 + 31 = -90*h. Let j be 2/(-5) + (-64)/10. Which is greater: j or h?
h
Let i = -72 - -128. Suppose -47 = -9*f - i. Which is smaller: f or -1/309?
f
Let d = 221/2 + -13489/122. Suppose 0 = -139*k + 179*k + 40. Which is bigger: d or k?
d
Suppose 4*g = -109 + 37. Let y(x) = 36*x + 10. Let h(q) = -13*q - 2. Let c(d) = -11*h(d) - 4*y(d). Let o be c(g). Which is bigger: o or -3?
o
Let d = -170140/13 + 6295206/481. Suppose 3*c + r + 1 = -3*r, -2*c + 2*r = -18. Suppose 2*k = -3*k + c. Which is smaller: k or d?
d
Let w = 1022 - 593. Suppose 0 = -2*r + 2*j + 112 + 68, w = 5*r + 2*j. Let y be 4 + -2 + (-172)/r. Are 1 and y equal?
False
Let t(s) = -69*s + 82. Let n(p) = 71*p - 84. Let o(i) = -6*n(i) - 5*t(i). Let d be o(3). Do d and -1 have the same value?
False
Let w = -13/428 - -1775/65484. Is w greater than or equal to 0?
False
Let m = -29.5 + 32.56. Let j = m + -3.06. Let y = -55 + 39. Which is smaller: y or j?
y
Suppose -7*m - 59 = -234. Suppose -3*s + m - 4 = 0. Is 0.09 <= s?
True
Let c(v) = -v**3 - 29*v**2 - 51*v + 81. Let o be c(-27). Which is smaller: -26/309 or o?
-26/309
Let f(y) = y**2 + y - 1. Let m be f(0). Let b(r) = r**2 + 3. Let h be b(0). Suppose h*p + 4 = -p. Is p not equal to m?
False
Suppose -m + 7*m - 34*m = -196. Is m <= 273/40?
False
Let m = 1576073/2523 + -13/841. Let j be 2232/6*163/2718*-28. Let z = m + j. Is z greater than or equal to 1?
False
Suppose 3*r + 3*a - 172 + 412 = 0, -3*r + 5*a - 216 = 0. Let j be 5/(-1) - 2 - r. Which is smaller: j or 71?
j
Let w(p) = -p**3 + 37*p**2 + 124*p + 7. Let o be w(-3). Let t = -1 + 1. Suppose t = 2*h - h. Is o at least as big as h?
False
Let f = 0.053 - 238.053. Let n = f - -238.6. Which is smaller: n or 14?
n
Let s = 336001/6 + -55749. Let p = -197429/786 + s. Which is bigger: p or -1?
p
Let k be ((-11590)/272)/(0 - 1) - (-807)/(-2152). Is k smaller than 43?
True
Let v be 54/(-9) + 1 + 55. Suppose -2*l = -4*p + 38, -5*l + 5*p = 4*p + v. Which is smaller: l or -0.06?
l
Let t(b) = -5*b - 13. Let y be t(-9). Let q = 280.99 - 280.89. Is y less than or equal to q?
False
Let b = 3/84155 + -426364/156780765. Is -1 less than b?
True
Suppose -32*g + 8*g = 89 + 175. Which is greater: g or -230/21?
-230/21
Let d be ((-305)/(-183))/(((-325)/(-3630))/13). Is d less than -2/17?
False
Let k = -5573/3 + 495916/267. Is k != 0?
True
Let g = -962 - -939. Let u be (-40)/(-15)*6/4. Is u < g?
False
Suppose 2*q + 4709 = 3*a, a - 4*q - 1232 - 341 = 0. Suppose -a - 276 = 5*l. Is l smaller than -369?
False
Let n = -1047/10 + 3464/33. Let r = n + 1/33. Let x(z) = -z**3 + 8*z**2 - 8*z + 8. Let i be x(7). Is i not equal to r?
True
Suppose -3*m - 138*t + 134*t - 4819 = 0, -4*m - 4*t - 6420 = 0. Are m and 2 equal?
False
Let l = 27.56 + 4.44. Let u = -31.97 + l. Is -53 < u?
True
Let i be 2/(-6) - 813/(-9). Let f be ((-2)/9)/((-824)/337428). Which is greater: i or f?
f
Let a be 1/5 + (-35)/1275*3. Let v(d) = -2*d**2 + 5*d - 12. Let z be v(4). Let m = z - -25. Is m > a?
True
Let u(q) = -q**3 - 11*q**2 + 16*q - 3. Let x be u(-12). Let a = x + 52. Let n be (21/12 - 2)*(-2)/(-46). Is n at most a?
True
Let n = 1958 + -1939. Suppose 0*h + 3*h + 12 = 0. Let o = 6 + h. Is n > o?
True
Let p = 12247 + -12246. Which is smaller: p or -6/869?
-6/869
Let m = 84.6 - 84.2. Which is bigger: m or 1/1246?
m
Let o = 36.79 - 36.59. Is o at most as big as 2/265?
False
Suppose 2176 = 27*p + 41*p. Suppose -14*k = -6*k + p. Let r(d) = d - 1. Let v be r(-3). Is k > v?
False
Let m = 0.086 + 23.014. Let a = m + -22.1. Which is smaller: 8/17 or a?
8/17
Suppose 0 = -112*q - q + 39*q + 700188. Is q greater than or equal to 9463?
False
Let i(q) = -3*q - 14. Let b be i(-5). Let z = 13/105 - -1933/3045. Which is bigger: b or z?
b
Suppose -u + 11 = 3*k, k - 1 = 5*u - 4*u. Suppose 79 = u*c - 67. Do c and -1 have the same value?
False
Let h = -205 + 82. Let n = -29972 - -29971. Which is smaller: h or n?
h
Suppose -5*o + o = 3*o. Let w be ((-93)/620)/(15/(-2)). Which is greater: o or w?
w
Let c(t) = -7*t**2 + 61*t + 24. Suppose 2*v + 4*n - 111 = -77, 7 = -v + 4*n. Let h be c(v). Which is bigger: 86/19 or h?
h
Let b = 6017 - 3963. Is 2054 at least as big as b?
True
Let u = -10618498089 - 12388743203. Let j = 2321453653551471/100901 + u. Let q = j + -1/4387. Is q greater than or equal to -1?
True
Suppose -171*a - 29725 + 7666 = 0. Is -132 != a?
True
Let z(t) = 7 + 7*t**2 - 11*t + 0*t**2 - 1 - 5*t**2. Let p(k) = -k**2. Let l(u) = -3*p(u) - z(u). Let c be l(-12). Is c <= 6?
True
Suppose 0 = -i + 4 - 5. Let d be -44*i/((-6)/(-3)). Suppose 2*r - 4*j - d = 0, -2*r - 3*r - 2*j - 5 = 0. Which is bigger: r or 12/17?
r
Let k be (-171)/(-5) + (-4)/20. Let b = 6 - k. Suppose 4*h - 9*g + 72 = -44, -3*g = -4*h - 116. Which is smaller: h or b?
h
Let l(r) = 11*r - 85. Let a = -54 + 61. Let v be l(a). Let t(d) = -d**3 - 11*d**2 + 12*d - 8. Let m be t(-12). Is v smaller than m?
False
Let t(m) = 495*m - 383. Let s be t(7). Is 3082 at most s?
True
Let f be (-14)/(-1155)*3/2. Let q(z) = z**3 + 5*z**2 - 6*z + 1. Suppose -42 = -0*j + 7*j. Let i be q(j). Is i greater than or equal to f?
True
Suppose 3*l + 654 = 2*s, -2*l + 4*s = 172 + 256. Let a = 254 + l. Let g be 14/(1*2/5). Which is bigger: a or g?
g
Let w = -111409/1030926700 + 3/58900. Is 1 smaller than w?
False
Suppose 12 = -b + 3*b. Let y be ((-1)/2)/(2/b). Let s(l) = 10*l**2 + 95*l + 122. Let n be s(-8). Which is smaller: n or y?
y
Let c = -504735632/40022437 - -172/57421. Let t = -216/17 - c. Which is smaller: t or -1?
-1
Let x = -45 - -14. Let d = 1.447 - 0.656. Let t = 0.209 + d. Is t greater than or equal to x?
True
Suppose 40 = 5*m + 5*v, -4*v = -5*m - 7*v + 46. Suppose m*q = 7*q. Let h = -651/25 - -26. Which is smaller: h or q?
h
Let s = -3553 + 3553. Are s and 2015 unequal?
True
Let g = -15627 + 203271/13. Suppose 3*m = 8*m - 50. Which is greater: g or m?
m
Let s(o) = -4*o - 31. Let x be s(-7). Suppose 3*n - 74 = 8*n - t, 3*n + 49 = -4*t. Let k be (2 + n)*6/30. Which is smaller: x or k?
x
Let s(a) = -a + 7. Let w be s(-9). Let r be (2/4)/((-4)/w). Let z(y) = -4*y - 14. Let l be z(-3). Is r less than or equal to l?
True
Let g be 14*((-35)/5)/(-826). Which is smaller: 1 or g?
g
Let b(n) = -4*n**3 - 12*n**2 + 2*n + 7. Let i be b(-3). Which is smaller: 1/88 or i?
1/88
Let u be ((-4)/(1752/(-9)))/((-396)/(-1760)). Is u less than 1?
True
Let g be 3*(2 + (-4)/6). Let z(k) = 2*k**3 - 12*k**2 + k - 18. Let h(s) = s**3 - 6*s**2 - 9. Let n(j) = g*z(j) - 9*h(j). Let o be n(7). Are o and -9 equal?
False
Let f = 0.047 - 1482.047. Which is bigger: f or 2/3?
2/3
Let o(g) = -g**3 + 3*g**2 + 12*g - 5. Let n be o(5). Suppose 0 = -n*k + 5*k - 5*k. Are 1/29 and k equal?
False
Suppose -4*h = b + 3528 + 1921, -5*h = 5*b + 27335. Is -5471 smaller than b?
False
Suppose 2*p - 7 = -u + 3, -2*u + 3*p = 8. Suppose 6*k = u*k + 124. Which is smaller: k or -5?
-5
Let o = -1.153 + 564.153. Let a = o - 569. Is a greater than -17/4?
False
Suppose g - 5*g - 252 = 3*v, 2*v + 148 = 4*g. Which is greater: v or 1?
1
Let t be (4*6/20)/((-10)/(-75)). Suppose t = -3*p, 3*o - p 