 - 9 = -z + 4*m, -m = 2. Let x(i) = -i**3 + 6*i**2 - 6*i + 4. Let r be x(5). Let y = r + z. Which is smaller: y or 5?
5
Let m be (6/12)/(2/4)*-42. Which is greater: m or -47?
m
Let o = -1007 + 1007.1. Do 6/13 and o have the same value?
False
Let b = -1.8 - -2. Let o be (-4 + 5)*(0 + -1). Let l be (4/o)/(-5 - 1). Is b not equal to l?
True
Let j be 1 + (-13 + 12)/(-1 + 2). Let i be ((-1)/(-16))/(3/4029). Let o = i - 84. Is o equal to j?
False
Suppose 2*s = -2*s - 4. Let y be 8/(-690)*909/252. Let t = y - 4/161. Which is smaller: t or s?
s
Let y be 3/(-2)*16/(-12). Let z = y + -2. Let d = 524 - 6806/13. Which is greater: d or z?
d
Let c(t) = -2*t + 32. Suppose -w + 10 = -5. Let s be c(w). Suppose 3*g = -0*g. Which is greater: g or s?
s
Let s be (-4328)/(-9064) - (-12)/(-22). Which is bigger: s or 0?
0
Let w(h) = -24*h**2 - 1. Let m be w(1). Let x be (-7 - -3)/(2/12). Which is bigger: m or x?
x
Let v(y) = -6*y + 23. Let k be v(6). Let r = -6 + -6. Is k less than or equal to r?
True
Let p = 5/84 - 925/1428. Let s be (-939)/(-4284) + 6/21. Let z = s + p. Which is smaller: z or 1?
z
Let z(j) = j**3 - 3*j**2 - 7*j + 15. Let t be z(2). Which is greater: t or -13/7?
-13/7
Let d(g) = -g**2 - 6*g - 5. Let t be d(-5). Let n = -97.71 - -98. Let f = 2.71 + n. Do f and t have the same value?
False
Let k be (-90)/(-10)*2/2. Suppose k*i + 5 = -4. Is 2/181 > i?
True
Suppose -4*d + 2*n + 712 = 0, 106 + 69 = d - 2*n. Which is smaller: 0 or d?
0
Let w(k) = 3*k - 30. Let y be w(0). Let c be y/(-4)*20/(-36). Do -3 and c have different values?
True
Let h(g) = g**2 + 8*g - 4. Let u = -23 + 16. Let m be h(u). Let v = m + 10. Is v <= -4?
False
Let m = -18 + 25. Suppose -1 + 29 = -m*o. Which is smaller: -3 or o?
o
Let c = -52 + 55. Suppose 132 = -c*x - 42. Which is smaller: x or -57?
x
Suppose -s - 4*s + 10 = 0. Let n be 363/396 - -3*1/(-12). Which is bigger: n or s?
s
Let q = 5.9 + -28.9. Is -0.1 less than q?
False
Let r = -2133/2 - -772. Is r < -295?
False
Let r(j) = 9*j - 483. Let b be r(51). Is -10 greater than b?
True
Let a be 2 - (57/3)/(-1). Let p be 1 + (-21)/18 + 133/6. Are p and a non-equal?
True
Let j(x) = -10*x - 100. Let i be j(-11). Which is greater: 0.2 or i?
i
Let u(n) = -n**3 - n**2 + n + 2. Let i be u(-2). Let a be (-370)/(-259) + (-4)/(-7). Let b be i/(-16)*(-1)/a. Is b > 1?
False
Suppose 4*n - 34 = -2*y + 5*y, 3*y + 28 = -2*n. Let v be 21/(-155) + (-42)/y + -4. Which is smaller: 1 or v?
v
Let o = 0.97 - -0.03. Let u = o - 5. Which is smaller: -1/2 or u?
u
Let w = -0.3 + 9.3. Let u = -9.33 + -0.17. Let h = w + u. Is h smaller than -1/2?
False
Let l be (-30024)/(-360) - (-6)/10. Which is smaller: 82 or l?
82
Suppose -531 - 81 = -9*d. Suppose 0 = 2*x + d - 52. Is -10 less than or equal to x?
True
Let c(a) = a**3 - 14*a**2 + 22*a + 15. Let y be c(13). Let j = -131 + y. Let o be (-2 - (-2)/6)/(-1). Is j less than or equal to o?
True
Let u(s) = s**3 + 2*s**2 - s - 20. Let m be u(0). Let w be (6/(-15))/(4/m). Let x = -1.95 - -2. Which is greater: w or x?
w
Suppose 10 = -5*u + 3*y - 5, 6 = -2*u - y. Let r = -5 - u. Let q be (-32)/(-24) + r/6. Is -0.2 at least q?
False
Suppose -24 = 3*t + 4*y, -4*t - 19 = y + 13. Let i be (t - -7) + (-63)/(-60). Which is greater: i or 0?
i
Let n be 10/(-65) + ((-48024)/(-39))/(-4). Which is smaller: n or -307?
n
Let x = 6991 - 7000. Let l = -1 - -3. Suppose 2 = -l*d, 2*f - 2*d + 18 = -0*f. Which is bigger: f or x?
x
Let m = 170 + 2. Let v = m + -119. Is v at least as big as 53?
True
Let t(b) = 2*b**2 - 99*b - 520. Let p be t(-5). Suppose 5*k + 6 = 121. Which is greater: k or p?
p
Let j be 15*(-2 - (-132)/65). Suppose -7*v = -13*v - 12. Is v <= j?
True
Suppose 176*y = 182*y - 2718. Which is greater: y or 454?
454
Let v = 12 + 8. Suppose 4*m = v - 8. Is m <= 5?
True
Let q be ((-936)/(-2160) - 3/5)*0. Is -617 at most as big as q?
True
Let g = -157 - -157.1. Which is smaller: 3/131 or g?
3/131
Let r = -495 - -307. Which is greater: r or -0.1?
-0.1
Let r = 3 + -1. Suppose -2 = r*c - 0*c. Suppose 4*f - 3 = f. Is f != c?
True
Let o = -99/1037 + 13/61. Are 30/7 and o unequal?
True
Let y be 6/(-10) + (-14)/35. Is -2/587 > y?
True
Let d(j) = -j**3 + 13*j**2 - 8*j - 10. Let h be d(9). Which is smaller: 243 or h?
h
Let p(h) = -3*h - 7. Let z(j) = 5*j + 13. Let l(i) = -7*p(i) - 4*z(i). Let c be l(6). Which is smaller: c or 6?
c
Let o be (0/(-2))/(-3 + (5 - 3)). Suppose 2*v + 11 = -z - v, -4*v - 18 = -2*z. Is o < z?
True
Let o = -622/1863 - -44771012/31671. Let f = -1414 + o. Which is bigger: f or -2?
f
Suppose -82*a - 16 = -78*a. Do -28/11 and a have the same value?
False
Let x be (-5)/(-25) - 23872/110. Let q = x + 217. Which is smaller: -0.5 or q?
-0.5
Suppose -k + 6*k + 80 = a, a = 4*k + 78. Let t be (1 + 21/(-6) + 3)*(7 + 131). Is a < t?
False
Let p be ((-110)/116 - -1)*(-12)/(-9). Do 5 and p have different values?
True
Let u = 97/4 + -853/36. Let j = u + -11/36. Let d = -0.14 - -0.64. Is d less than or equal to j?
False
Suppose y = v + 709, -29 + 750 = y + 5*v. Let a be y/(-45) - (6/3)/(-1). Is -13 greater than a?
True
Let s = 81 + -86. Let p be (s/(-10))/((-2)/72). Is p at most as big as -18?
True
Let x = 264 - 325. Which is greater: x or -58?
-58
Let t = -15.92 + 1.52. Is t >= -2?
False
Suppose 0 = -7*k + 2*k. Suppose -y + d + 8 = -k*d, y + 4 = 4*d. Suppose y*q - 9*q = 0. Which is greater: 2/19 or q?
2/19
Suppose -30*v - 153 = -39*v. Let q = 41 + -25. Which is greater: q or v?
v
Let z = -7 + 0. Let b = 6.772 - -0.128. Let x = b + z. Which is smaller: -1/14 or x?
x
Let p = -127345/126 - 14983/14. Let b = 2083 + p. Is b smaller than 3?
True
Let h = 5 - -20. Is 23 at least as big as h?
False
Let i = 67 - -46. Let o = -111 + i. Let l be 15/2*2/6. Is l at least as big as o?
True
Suppose -3*n - 3*b - 12 = -6*n, 4*n - 2*b - 14 = 0. Suppose 3*p = -0*p - n. Which is smaller: 2/15 or p?
p
Suppose 12 = 5*g - 2*g + l, -l + 20 = 5*g. Suppose 0 = -g*m + 6*m + 10. Are m and -2 equal?
False
Let q(r) = r**2 + 2*r + 4. Let p(v) = 2*v - 12. Let o be p(5). Let d be q(o). Let i be d/(-10) - (-6)/(-60). Is -1/20 not equal to i?
True
Let b be 0 + -17 + (-2 - (-1 - 0)). Which is greater: -107/6 or b?
-107/6
Let m = -58.034 - -0.034. Let d = m - -60. Which is bigger: d or -3/2?
d
Let j(k) = k**2. Let c(u) be the first derivative of u**2/2 - 3. Let f(s) = 6*c(s) + j(s). Let y be f(-6). Is -0.3 bigger than y?
False
Let g be 5 - 1 - 62/14. Let h = -5 + 6. Which is smaller: g or h?
g
Let w(i) = i**3 - 16*i**2 - 18*i + 17. Let a be w(17). Which is bigger: a or -3/61?
a
Suppose -2*d = -4*s + 12, -d - 3 = -s + 3. Let m(x) = 4*x - 8. Let u be m(3). Suppose u*a + 0*a - 4 = 5*z, z = a. Which is bigger: z or d?
z
Suppose -k = -4 + 3. Let w be 1*((-55)/33 + 3492/2079). Is k at most w?
False
Suppose 48*j = -54*j + 108*j. Let t be 2/(-8) + 274/1246. Let o = 1/178 - t. Are o and j nonequal?
True
Let w(s) = -7*s - 70. Let x be w(-10). Which is greater: -4 or x?
x
Let q be 2/(-4) + (-9)/(-2). Let p be (-410)/(-165) + 38/209. Which is smaller: q or p?
p
Suppose u - 5*t + 3*t = 18, 5*u = 4*t + 72. Suppose -5*z - u = -3*z. Which is greater: -2 or z?
-2
Let g = -475 + 3807/8. Which is bigger: g or 2/5?
g
Suppose 0 = 31*x - 4*x. Which is smaller: x or -6/37?
-6/37
Let q be 4*(-9)/144*(-12)/(-3). Which is greater: q or -15/26?
-15/26
Let u = -2 - -2. Let y be (-1 + -8)/3 + 6. Is y at least u?
True
Suppose l + 2 = 32. Let x = l - 31. Let h be -1 - (25/(-11) - x). Which is smaller: 1 or h?
h
Let u = 1153 - -4475. Let z be (-2)/(-7) + (-1440)/u. Is z not equal to 1?
True
Let t(c) = 3*c**3 + 10*c**2 + 10*c - 3. Let f(o) = 7*o**3 + 21*o**2 + 21*o - 7. Let u(p) = 4*f(p) - 9*t(p). Let d be u(7). Is d > 5?
True
Suppose -6*y + y + z = 112176, -3*y = z + 67304. Let i = y - -1794773/80. Let b = 1/16 - i. Is 3/7 at least as big as b?
True
Suppose -169*h = -168*h - 1. Is h at most -6/227?
False
Suppose -5*d + 3*t + 1 = 0, -5*d + 2*t - t + 7 = 0. Let z be (-92 + -2)/d - -4. Does -43 = z?
True
Let t = -918 - -918. Are t and -3/247 non-equal?
True
Let x be ((-91)/78)/((-4)/(-120)). Let p = -378/11 - 3/22. Which is smaller: x or p?
x
Let g = -31 - -28. Let t be (g/(-1))/(7/84). Let b be 342/t + 1/(-2). Is 11 > b?
True
Let u = -1212 - -1086. Is u less than -130?
False
Let f = -185 - -184.841. 