- 1 = a - 0*a, -a - 1 = m*k. Suppose -w + 12 - 11 = k. Which is bigger: w or 4?
4
Let s be (-4 + 6)*(0 + 5). Let i(z) = z**3 - 10*z**2 - 4. Let m be i(s). Let b(r) = 3*r**3 - r**2 - r - 1. Let h be b(-1). Do h and m have the same value?
True
Suppose -4*i - 4*z = 631 - 155, -5*i + 5*z - 645 = 0. Let v be i/10 + (-4)/(-10). Which is greater: v or 0.3?
0.3
Let w be (-10)/4*(-2)/10. Let f(x) = x**3 + 4*x**2 + 2*x + 6. Let z be f(-4). Let u be z/8*(-12)/(-9). Is u bigger than w?
False
Let t(n) = 3*n + 3. Let h be t(3). Let l = h + -6. Suppose -x - l = -2*x. Is x equal to 7?
False
Let r = -410443 - -265146267/646. Let t = r + -3/38. Suppose -3*v = 12, 4*f - 2*v = -v + 8. Which is smaller: f or t?
t
Let h = -73223/24 + 3051. Suppose -4*g - g = 5. Is h > g?
True
Let n be ((-288)/(-120))/(2/5). Let g be (-8)/(n + -3 - 4). Is 8 greater than g?
False
Let m = -9 + 13. Suppose -4*a + 2*l + 49 = 3*l, l = m*a - 47. Let i = 25 + -14. Which is smaller: a or i?
i
Let s(h) = -h**2 - 4*h + 7. Let d be s(-5). Let q = 4 + -7. Let n be d/6 - (q + 3). Is n != -1?
True
Let q be 9/(-2)*(-4)/6. Let h(c) = 2*c**2 - 37*c - 10. Let s be h(19). Which is smaller: s or q?
q
Let l = -21 + 50. Let s = l + -29. Which is smaller: s or -0.17?
-0.17
Let z be (-8)/(-16) - 6/(-4). Suppose 5*i = z*i - 3. Let m = -2830/3861 + 2/351. Which is smaller: m or i?
i
Let n(h) = -17*h + 646. Let q be n(38). Let g be 8*(1 - 10/4). Which is greater: g or q?
q
Let v be (-270)/(-126) - 1/7. Let w be -1 - (-3 + 2)*v. Is w greater than 1?
False
Let b = -0.2658 + 0.1358. Is -66 at most b?
True
Let o be 5 - (0 - -3)/(-1). Let x = -7 + o. Let q be 341/(-1210) + (-4)/(-22). Which is bigger: q or x?
x
Let c = -0.654 - -0.764. Which is greater: c or -0.09?
c
Let z be 55/715 + 170/(-13). Is -161/13 at least as big as z?
True
Suppose 4*w - 7 + 10 = -j, -3*w + 2*j + 6 = 0. Suppose 2*n + 4*p - 38 = w, n + 3*n - 2*p - 76 = 0. Is n > 21?
False
Let q = -526 + 525.93. Which is smaller: q or 3?
q
Suppose 0 = -2*j - 2, -5*l + j + 2*j = 162. Does -33 = l?
True
Let x = 83 - 58. Let h = x - 26. Which is smaller: -3.1 or h?
-3.1
Let z be (16/12)/((-32)/72). Let c(w) = -5*w**2 + w + 4. Let a(u) = 9*u**2 - u - 7. Let v(t) = 4*a(t) + 7*c(t). Let k be v(z). Which is greater: k or 6/7?
6/7
Let r = -11 - -7. Let u = -16315/6342 - -1/906. Which is smaller: r or u?
r
Let k be -7 + (-4389)/(-728) - -1*1. Which is smaller: 0 or k?
0
Suppose -2*p + h = 5*h - 80, -5*p + 211 = -h. Let g be (-12)/p - (-6)/14. Is g bigger than -1?
True
Let j = -35842/103 - -348. Are j and 0.5 equal?
False
Let p = 14.33 + -15.13. Is -8 less than or equal to p?
True
Let h(d) = 2 - 18 - 19 + 2*d. Let p be h(17). Which is smaller: -2/79 or p?
p
Let g = 11.92 + -11.72. Is g at most as big as 125?
True
Suppose -302 = 8*x + 26. Which is smaller: x or -39?
x
Suppose 0*x + 5*m + 369 = 3*x, 0 = 3*x - 4*m - 369. Suppose y - 18 = -x. Is -106 bigger than y?
False
Let r be (8/(-90))/(4/10). Let a be (8 - 11) + (0 - 1). Let z = -5 - a. Which is greater: z or r?
r
Let s(m) = m**3 + 2*m**2 + m + 2. Let w be s(-2). Let y = 899 + -28771/32. Let v = 5/32 + y. Is w at least as big as v?
False
Let s(z) = z**2 - 5*z - 11. Let o be s(9). Let f = o - 77/3. Is -3 greater than or equal to f?
False
Let f be (-10)/(-15) + (-305)/(-120). Which is smaller: 2 or f?
2
Let f be 2/8 - (-155)/20. Suppose 0 = f*z - 4*z. Let d be (-1 - z)*(6 - 5). Which is greater: d or 1/15?
1/15
Suppose o - 201 + 73 = 0. Let y = o + -128. Which is bigger: -20/17 or y?
y
Let s = -51 + 16. Let t = 30 + s. Which is smaller: -26/5 or t?
-26/5
Let b = -32.2 - -34.2. Which is bigger: -32 or b?
b
Let l = -0.1 + 0.1. Let f be (7 + 33)/8 - 33/7. Is l greater than or equal to f?
False
Suppose 5*m - 57 = -12. Which is greater: 8 or m?
m
Let p be 1*((-6)/(-3 + 5) + 2). Which is smaller: p or -2/79?
p
Let h = 3/175 - 3337/700. Let w = h + 559/116. Which is smaller: w or 1?
w
Suppose 0*b + 44 = 2*b - 4*m, 3*b = -m + 94. Let p = b - 29. Is p < 0.3?
False
Let g = 13/362 - -8231/22806. Let v = 1/9 - g. Is -0.41 greater than v?
False
Let a = -105.8 - -106. Which is bigger: a or 2.66?
2.66
Let w(u) = 36*u - 247. Let q be w(7). Which is bigger: q or 7?
7
Let x be ((-30)/18)/(5/(300/236)). Is x greater than 1?
False
Let z = 835 - 774.9. Let t = -64 + z. Let g = t - -4. Which is smaller: g or -3/10?
-3/10
Suppose 0 = -5*p + l + 15, -11 = -5*l + 14. Suppose 0 = -p*f + 32 - 16. Suppose 0 = -f*x + x - 3. Which is greater: x or -1/34?
-1/34
Suppose k + 3*k = 56. Let o be 18/(-14) - (-4)/k. Suppose 6 - 6 = 2*g. Which is bigger: o or g?
g
Let o be (-3027)/(-15) - 44/55. Is 201 equal to o?
True
Let g = -233 - -2099/9. Let f = -2.54 - -8.49. Let r = 6 - f. Is r > g?
False
Suppose 2*x = 3*x + 1. Let n(s) = 30*s**3 + 2*s**2 - 209*s + 207. Let z be n(1). Which is smaller: z or x?
x
Let y be (-40)/(-4)*(-3)/(-6). Let h(o) = -o**3 - 14*o**2 - 4*o - 49. Let f be h(-14). Is y at most as big as f?
True
Let b = -2.17 - -24.17. Which is bigger: b or -0.3?
b
Let q(o) = -o**3 - 10*o**2 + 12*o + 11. Let k be q(-11). Suppose k = -b + 3*b + 2*b. Let w be (-22)/(-224) - (-4)/(-14). Which is greater: b or w?
b
Let c be 1 - -1 - (-54 + 0). Let r be (c/10)/2 + -1. Let z = -36 - -37. Is r <= z?
False
Let h be ((-2)/20)/(2/216). Let a(v) = 2*v**2 + 80*v - 12. Let f be a(0). Are f and h non-equal?
True
Let c = 37 + -32. Suppose -v = -c + 6. Are v and 1/4 non-equal?
True
Suppose 0 = 5*n - 27 + 7. Suppose -n*f = m - 19, 0 = 3*m - 4*m + 2*f - 11. Which is bigger: 1 or m?
1
Let q(b) = -225*b**2 - 22*b - 38. Let p be q(-2). Is -894 equal to p?
True
Let d = -6/7195 - 1079208/50365. Let o = 3307/154 + d. Is o at most 1?
True
Suppose 0*g = 5*g - 4*k, -3*k = -2*g. Let q = -25169/8 + 3127. Let b = -19 - q. Which is smaller: b or g?
g
Suppose -4*v + 5 = v. Let a = -152 + 219. Let b = a + -671/10. Which is smaller: b or v?
b
Let v = 390 - 307. Which is smaller: 85 or v?
v
Let f = -155123/87 - -1783. Which is bigger: 1 or f?
1
Let d be (-3)/10 + (-1209)/(-130). Is d smaller than 40?
True
Let i be 6 + 223/(10 + -9). Which is smaller: i or 230?
i
Suppose -11*n + 5*n = 6*n. Which is greater: n or 1/968?
1/968
Suppose -5*s + 18 - 3 = 0. Suppose -4*k - 38 = -2*c - 16, s*c = -4*k + 3. Suppose c*q = -5*v + v - 29, -2*q + 22 = -4*v. Is -6 <= v?
True
Let q = 16853/200 - -209/25. Are q and 0.1 equal?
False
Let j = -2/431 + 18128/5603. Let v be (208/65 - (-12)/15)/2. Which is greater: j or v?
j
Suppose 5*n - 10 = -0*n. Let d = 31.73 + -1.13. Let k = d - 31. Is n != k?
True
Let r be ((-15)/9)/((20/15)/(-4)). Let o be 19/4 + (-3)/4. Is r greater than o?
True
Let u = 2/1441 + -10107/14410. Which is bigger: -2 or u?
u
Let m = -568216/163 + 3486. Is m != 2/5?
True
Let x be 2/2 + 37789/(-37743). Is x at least 0?
False
Suppose 2*m + 15*k - 12*k - 13 = 0, 0 = -3*m + 5*k - 9. Which is greater: 4/7 or m?
m
Suppose -i - 23 - 20 = 0. Let x = i - -44. Is 1/24 < x?
True
Let p be (12/(-18) - 8)*-6. Is 55 bigger than p?
True
Let g = 1.7 + 1. Let d = 16.7 - g. Let j = -14 + d. Are j and -0.2 nonequal?
True
Suppose 0 = -5*r - 3*j + 10, 0*j - j - 2 = -r. Let c = 68 - 23. Let q = c - 37. Which is bigger: r or q?
q
Let h = 67 - 59. Let x be h/(-110)*(-20)/88. Does 2 = x?
False
Let a(c) = -c - 1. Let q be a(4). Let w(o) = -2*o - 1. Let b be w(1). Let i be (0/(-1))/b*-1. Are i and q nonequal?
True
Suppose -2*h - 60 - 160 = 0. Let y = h + 188. Suppose -5*t - v - 2*v - 81 = 0, -5*t - y = 4*v. Is -17 not equal to t?
True
Let u = -81 - -87. Suppose -f + 55 = -u*f. Is -1/4 less than f?
False
Let p be -3 - (65/(-20) - 0). Let d be 6/15 + 212/45. Let s = 488/99 - d. Which is greater: s or p?
p
Let h = -125.8 - -94. Let b = h + -1.2. Is b less than 0.1?
True
Let s = -205 - -107. Let m = s + 97.68. Which is bigger: 2/5 or m?
2/5
Let w = -112 - -246. Let v = -136 + w. Is -2 at most as big as v?
True
Let w be (13 + 1)*((-564)/42 - -12). Is -18 at most w?
False
Let b be (-14350)/(-245) + 0/(-1 - -2). Which is smaller: 58 or b?
58
Let j = -2862 - -2021. Is -841 less than j?
False
Let b = 119.003 + -119. Let g = -3.003 + b. Suppose -4*m + 5*r - 10 = 3*r, 0 = 4*m - 3*r + 15. Which is bigger: m or g?
m
Let t be (-15)/(-12) - 2/8. Let a(j) = j**2 - 5*j - 1. Let x be a(5). Are t and x non-equal?
True
Let u be ((