be 4 - (-2 + 2)*-1. Which is greater: y or x?
x
Let a = 294 + -296. Which is bigger: a or 0.05?
0.05
Let t(l) = -l**3 + 7*l**2 - 9*l + 1. Let p be t(5). Suppose p*c = c + 25. Suppose j = -5*v - 0*j - 5, -5*j - 25 = c*v. Which is greater: v or 1?
1
Suppose 0 = -3*y + 82 - 67. Which is smaller: 63/10 or y?
y
Let f(o) = -3*o + 16. Let b(t) = -2*t + 11. Let d(z) = -7*b(z) + 5*f(z). Let y be d(4). Suppose 11*c - 1225 = -1258. Is c != y?
True
Let o(b) = 3*b**2 - 4*b + 43. Let l be o(3). Is l != 24?
True
Let w = -18 + 15. Let k be 2/(3 - 38/14). Suppose k*y - 4*y + 17 = -5*i, 5*y - 9 = i. Which is bigger: w or i?
w
Let h be ((-25)/10 + 3)*-1*38. Let j = 166 - 185. Do h and j have different values?
False
Let k be (-6)/6*1 + -2. Let w be (4 - 1)/(2/(-2)). Let i = w - k. Is 0 equal to i?
True
Let g = 22 + 17. Let w = g + -40. Is 0 at least w?
True
Let h be 1/(3/3)*-6. Let s be h*(-3)/(-18)*-4. Suppose 5*k - 3*w = 5, -8 = -4*k - w - s. Which is smaller: k or 3/5?
3/5
Let f = -0.8 - -0.8. Let l = f - 1. Suppose 5*a + 6 = -0*w - 3*w, -4*w = 5*a + 3. Is l less than a?
False
Let k(y) be the third derivative of -y**4/12 - 7*y**3/6 + y**2. Suppose 3*b - 5*b = 23*b. Let u be k(b). Which is bigger: u or -1?
-1
Suppose 2251 + 1573 = 16*a. Are 238 and a nonequal?
True
Suppose -83 - 3 = -4*q + k, k = q - 23. Which is bigger: q or -1?
q
Let s = -493831 + 116049597/235. Let m be 14/91 - (-48)/(-1833). Let j = m + s. Is j at least -4?
True
Let d be (-126)/(-605) - (36/(-20))/(-9). Which is smaller: -1 or d?
-1
Let k(o) = -o**2 - 4*o - 1. Let m be k(-3). Suppose 0 = -2*r - g + 35, 0*r + m*g = 3*r - 42. Suppose f - 11*f + 150 = 0. Which is smaller: r or f?
f
Suppose 0 = -5*i - 5*x - 65, 0*x - 55 = 5*i + 3*x. Let m be (1 - 7)/((-2)/(-2)). Which is smaller: i or m?
i
Let c be (-15)/(-18)*3*(-156)/130. Let a(d) = -d**3 + d**2. Let j be a(2). Which is greater: c or j?
c
Let r be 0 + (-202)/(-5 + 3). Is 102 not equal to r?
True
Suppose -5*w - 5*d + 25 = 0, 3*w - 5*d + 5 = -2*w. Suppose w + 0 = -s. Let a = -15 - -24. Which is smaller: a or s?
s
Let x be ((-2)/(-2) - 24632/26) + -2. Let a = x + 949. Is 0 greater than or equal to a?
False
Suppose f = 6*f - 55. Suppose -5*t - b = -23, -2*t - 5*b = -3*t - f. Suppose -t*g - g = -10. Which is smaller: g or 7/5?
7/5
Suppose -3*a - 600 = 2*v, 4*a - 1 = -17. Let z = 6172/21 + v. Suppose -6*n = -4*n + 2*n. Is z < n?
True
Let g be 6/21 + (-1182)/21. Let n be 9/2*g/(-12). Is n > 21?
False
Let q = -0.1 - 9.9. Let s = q - -7. Let h = 3.6 - 3.7. Does h = s?
False
Let g = -0.2488 - -8.2488. Are -128 and g equal?
False
Suppose 7260 = 12*t + 3*t. Is t equal to 487?
False
Suppose 0 = -0*u + 5*u + 45. Let b = -54 + 46. Which is bigger: b or u?
b
Let c = 16 - 11. Suppose -c*m - 23 = 7. Let h = 1 + m. Is h at least as big as -5?
True
Suppose h + 54 = -3*o, 3*o + 2*o = -20. Is -42 > h?
False
Let n(x) = x - 14. Let z be n(10). Let b = 1 + -5. Are z and b nonequal?
False
Let b(c) = -c - 5. Let j be b(-6). Let i(f) = 2*f + 6. Let v be i(-5). Let o be v/(-7) + 28/98. Which is greater: j or o?
j
Suppose -2*i + 7*i = 4*y - 263, 2*y - 133 = i. Suppose 8 = -5*k - y. Let j = k + 26. Is j greater than or equal to 10?
True
Let s be (154/(-35) - -4) + (-26843)/(-24720). Let d = 1/618 + s. Which is bigger: 2 or d?
2
Let d = 44.6 - 49. Let q = 0.4 + d. Let l(x) = 6*x. Let h be l(0). Is q at least as big as h?
False
Let x be (-2)/1 - (1 - 18)*-1. Which is smaller: 4 or x?
x
Let k(t) = -2*t**3 - 3*t**2 - t + 1. Let y be k(-2). Suppose -c = -y - 12. Suppose -13 - 87 = -5*s. Do c and s have the same value?
False
Let s(j) = j**2 + 2*j - 25. Let g be s(4). Is g bigger than 2/351?
False
Suppose 2*m + 2*m - 12 = 0, 0 = 3*a + 5*m + 57. Suppose 8*f + 250 = -2*f. Which is smaller: a or f?
f
Let r = 26.929 + 0.071. Let q = r - 24. Let u = -5 + 5.06. Which is smaller: u or q?
u
Let a(u) = -2*u**2 + 73*u + 204. Let n be a(39). Let k = 11 - 3. Are n and k non-equal?
True
Suppose 107*k - 108*k - 5 = 0. Are k and -3 non-equal?
True
Let w = 15.0119 + -0.0119. Is w less than -30?
False
Let c be (((-5)/2)/5)/(2/(-4)). Let g(a) = -a**2 - 14*a + 3. Let z be g(-14). Which is smaller: z or c?
c
Let r(m) = m**3 - 4*m**2 + m - 4. Let b be r(3). Let f = -17/2 - b. Let n = -124 - -376/3. Which is smaller: n or f?
n
Let d = 729 + -476. Is 251 greater than d?
False
Let f(w) = -4*w + 13. Let s be f(3). Which is smaller: 12 or s?
s
Let n be 3*3/18*-382. Is -189 != n?
True
Let t(l) = 20*l - 54. Let o be t(3). Which is greater: 94/13 or o?
94/13
Suppose -3*o - 4*o = 0. Suppose 9*a - 3*a + 12 = o. Which is smaller: -12/11 or a?
a
Let y = 2/36713 - 1872449/1578659. Which is smaller: y or 0?
y
Let r be (-2)/(-20) + (-1113)/530 + 2. Which is smaller: 5/181 or r?
r
Let s = 0.3 - 9.3. Suppose 40 = -52*v + 57*v. Let x = -26/3 + v. Does x = s?
False
Let t(a) = -a**2 - 4*a + 3. Let g be t(-4). Let n be (8/4)/((-12)/178). Let x = n + 100/3. Which is greater: g or x?
x
Let u = 66.4 + -65. Which is smaller: 13/3 or u?
u
Let w(u) = 11 - 13*u + 2*u**2 - 2*u**2 + u**2. Suppose 2*n = 36 - 12. Let c be w(n). Which is bigger: -3/2 or c?
c
Let v be (-1 + 18/22)/(-4). Let j be 2 + 11/7 + (-9)/(-21). Suppose b = j*b. Which is bigger: b or v?
v
Let d = -2/255 + -761/510. Which is smaller: 0.02 or d?
d
Let p be (-165)/(-6)*12/10. Let v = 24 - p. Is -7 not equal to v?
True
Let b(r) = r**2 + 5*r + 4. Let x be b(-4). Let o(a) = 4*a - 4. Let l be o(x). Which is bigger: l or -3?
-3
Let t be (-10)/(-25)*(-10)/(-4) + 175. Is 177 greater than or equal to t?
True
Let k be (12/15 + 1)*-5. Let z be ((-1)/(-3))/((-1)/k). Suppose 0 = -u - 1 - z. Is -7/2 greater than u?
True
Suppose -3*x = -7 + 25. Are 0.07 and x nonequal?
True
Let q be (-6)/8 + ((-15)/12 - 5). Are q and -5 nonequal?
True
Suppose 9*t = 10*t - 9. Let d be (-5)/(((-6)/t)/((-310)/(-15))). Is 155 <= d?
True
Suppose 26*r + 5 = -3*q + 24*r, 0 = 5*q - 3*r - 17. Are q and -2/2241 equal?
False
Let h = -2 + 4. Suppose l = -h, -l - l - 4 = 5*z. Does -8 = z?
False
Let t = -20791 - -20790. Let d be (1/6)/((-4)/6). Which is greater: t or d?
d
Suppose -53*z + 928 = -1245. Is 49 > z?
True
Suppose 0 = -b - t - 1753, b - 3*b + t - 3512 = 0. Let c = -587927/335 - b. Which is bigger: 1 or c?
1
Let g be (-4)/22 - (-180)/(-99). Let x be (-6 - (2 + -1))*g. Which is bigger: 12 or x?
x
Let y be 6/33 + (-7014)/(-22). Let r = -665 - y. Let w be -4*(-4)/r*3. Which is greater: w or 1?
1
Let v = 6239/124 + -201/4. Let k = -269 - -269. Which is smaller: k or v?
k
Suppose r + 21 = 2*r. Let g be ((-122)/4)/(-1 - 5/(-2)). Let j = g + r. Which is smaller: j or -0.2?
-0.2
Let x(s) = 6*s**2 + 26*s + 71. Let h be x(-3). Which is smaller: 46 or h?
46
Let z be 9/(-18) - (-17)/(-2). Let x be 114/(-27) - 2/z. Is x at least as big as -4?
True
Let a be (-4*1)/1*(-357)/(-204). Which is greater: a or -8?
a
Let n be (-2)/(-4) + (-1)/2. Suppose n*s - 8 = -s. Is s < 4?
False
Let t(o) = o**3 + 9*o**2 - 2*o + 2. Let p be t(-9). Suppose 0 = 11*n - 15*n + p. Suppose -n*g = 34 - 9. Which is smaller: g or -6?
-6
Let g = -453137/67 - -6763. Which is bigger: g or 0.1?
0.1
Let b = -0.772 - 2.228. Which is bigger: b or 0.05?
0.05
Suppose -3*j - 4*n - 2 + 20 = 0, -2*n - 24 = -4*j. Suppose 0 = 5*f - 2*h + 15, -3*f + 0 = 4*h + 9. Let t be 93/15 - f/(-15). Is j >= t?
True
Let g = 2.2 - 3. Let d = g + 0.8. Which is smaller: 3/2 or d?
d
Let p = 126.43 + -124. Let o = -0.23 + p. Is 1/4 greater than or equal to o?
False
Suppose 17*h = 21*h + 4. Let y be ((-4)/(-6))/(2/9). Let d be 4/(-9) - y/(-9). Which is smaller: d or h?
h
Let u be (-10)/(-35) + (-162)/(-21). Let k(i) = 2*i**2 + i - 7. Let b be k(3). Let m be (40/b)/(u/28). Is m smaller than -1?
False
Let g = -55 - -54.96. Which is bigger: -6/7 or g?
g
Suppose -5*l + 135 = 5*u, u - 5*l = -0*u - 3. Suppose -u = 8*w - 10*w. Is w != 6?
True
Suppose n = -n + 4. Let d be 9/6 + 3/6. Let y be (d*n/4)/1. Which is smaller: -1/4 or y?
-1/4
Let o = -13.614 + 8.614. Suppose i + 3*m = 4*i - 18, 0 = 3*i + 3*m + 6. Suppose 5*y - i*y = -9, -5*u + 5*y = -15. Is o bigger than u?
False
Let n = -171 + 291. Suppose o + n = -0*o. Let t be (-123)/o + 5 + -6. Are 1 and t equal?
False
Suppose -7 = 5*b + 4*d + 137, 0 = 3*b - 2*d + 82. Is -28 at least b?
True
Let a = 3919/3542 - 5/322. Let y = 1025 +