 m = -59 + 58. Let i be -1 + m - (-5 + 56/18). Which is smaller: 1 or i?
i
Let y be 15/(-9)*(-2)/(-3). Let a = 48 - 35. Suppose p = -5*n - a, 2*n = -0*p - 2*p - 10. Is y smaller than n?
False
Let d be 259*2/175*-45. Which is smaller: d or -133?
d
Let l be ((-80)/(-140))/(318/(-14)). Are 0 and l non-equal?
True
Let x = 5873 - 5877. Let n be 12/(-7) + (0 - 1). Which is bigger: n or x?
n
Suppose 4 = 2*x + 3*j - 11, 0 = 5*x - 2*j + 10. Suppose -5*m = -x*m - 10. Let g be (-2)/4*m/3. Which is greater: g or 2/11?
2/11
Let b be (3 + 7/(-2))/((-7)/21). Let w = 14 - 16. Are w and b unequal?
True
Let b(h) = h**3 - 8*h**2 + 4*h + 2. Let x be b(8). Is -6 less than x?
True
Suppose 21 = -3*r + 4*g + 55, 2*r + 8 = -5*g. Suppose -r = -2*l - 24. Let q be (-2 - 39/l) + -2. Which is smaller: q or -1?
-1
Let h be (-3)/(-2 + 5) + 2. Let c(a) = -a**3 - 10*a**2 - a - 1. Let k be c(-10). Suppose 3*y - 3 = -k. Are h and y unequal?
True
Suppose -2*h + 0*w + 2*w = 6, -4*w = -h + 3. Let a be ((-2)/40)/(2/h). Which is bigger: a or -0.1?
a
Let n be -152 + (-2 - (-10)/2 - 7). Which is greater: -159 or n?
n
Let j(f) be the second derivative of -f**5/20 - 11*f**4/12 - 13*f**3/6 - 4*f**2 - 13*f. Suppose 0 = 3*y - y + 20. Let a be j(y). Which is smaller: 21 or a?
21
Let a = 31 + -17. Suppose -5*p + 52 = -2*c, 3*p - 2*c + 4*c = 44. Which is smaller: a or p?
p
Let v be (-27 - -1) + 3*5/(-15). Let o be ((-128)/(-44))/(-2)*v/12. Which is smaller: o or 2?
2
Let s = 110 - 109.82. Let k = -0.6 + 0.7. Which is greater: k or s?
s
Let p = -8 + 7. Let a(i) = -43*i**3 - i**2 + i + 1. Let r be a(p). Let t be 13/r - 15/105. Is -2/7 < t?
True
Let r(z) = -z**3 + 4*z**2 + z - 5. Let t be r(4). Is t less than 4/3?
True
Let n = 3461/25112 + -5/344. Is n smaller than -1?
False
Let t = 921 + -923. Let s = 11 + -20. Is s less than t?
True
Let q = -11.8 + 11. Let m = 53/4 + -55/4. Which is bigger: m or q?
m
Let j(i) = 2*i**3 + 4 + 23*i - 42*i + 24*i. Let b be j(-1). Let g(v) = v**3 - 6*v**2 + 4*v + 2. Let s be g(5). Is b bigger than s?
False
Let t = 4225 + -1128070/267. Let y = 1099/30171 - t. Which is smaller: y or 1?
y
Suppose 5*t - 2 = 13, -3*w - 5*t + 2175 = 0. Are 719 and w nonequal?
True
Suppose 4*a + 3*k = -64, 6*k = 4*k. Is -15 < a?
False
Let a = 0 - 0.09. Suppose r = -3*z - 0 + 14, 12 = 3*z. Is r >= a?
True
Let g(z) = z**3 + 6*z**2 - 6*z + 6. Suppose -s = -4*l - 32, -4*l = 2*s - s. Let d = 9 - s. Let j be g(d). Is j at least 2/11?
False
Let g(w) = -w**3 + 5*w**2 + 5*w - 6. Let k be g(5). Let l = k - 14. Let a be (-5)/5*(l - 0). Which is smaller: a or -6?
-6
Suppose 0 = 5*z + 5*a + 135, -3 = 3*z - 5*a + 70. Are z and -10 unequal?
True
Let h(o) = o**2 - 12*o + 17. Let u be h(11). Let z be (-5)/(-10)*(u - -2). Which is bigger: z or 7?
7
Let m = 649/5 - 8332/65. Which is greater: 3 or m?
3
Let g(r) = -r**2 + 15*r + 4. Let l be g(15). Let j = -5 - -4. Which is smaller: j or l?
j
Let q = -22 - -12. Let h = q + 5. Let g = 83.9 - 84. Is h >= g?
False
Suppose -7*f = f - 32. Let z = 6.6 + 0.4. Let n = 6 - z. Does n = f?
False
Let c = -11327 + 11328. Let n = -3 - -2. Let t = 15 - n. Do c and t have the same value?
False
Let q be (-5)/15 - (-142)/(-24). Let f(v) = 36*v + 173. Let n be f(-5). Which is smaller: n or q?
n
Let p = -11 + 20. Let u be (1/2)/((-9)/6). Which is bigger: p or u?
p
Let s(k) = k**2 + 4*k - 35. Let n be 3/(-6 - -5)*3/1. Let l be s(n). Is 10 greater than l?
False
Let a = 69 - 23. Let u = -46 + a. Is 3/5 greater than or equal to u?
True
Let j(c) = c**3 + 59*c**2 + 406*c - 101. Let s be j(-51). Let n = -137481/140 - -982. Which is bigger: n or s?
s
Let h = 0.1 - 0.09. Let z = 0.046 + 0.064. Let x = z - h. Which is smaller: x or -0.1?
-0.1
Let r = -22 + 12. Let v be (r/15)/(2/3). Suppose 2*m + 24 = -2*m - 4*g, g = -5. Is v less than or equal to m?
True
Let y(i) = -8*i - 7. Let j(h) = 4*h + 4. Let u(n) = -7*j(n) - 3*y(n). Let r be u(-2). Is 1/4 smaller than r?
True
Let z = 43 + -15. Let y = z - 26. Suppose -y*f + 0*f + 49 = 3*p, -3*p - f = -53. Is 18 equal to p?
False
Let n be ((-4)/(-33))/(2/27). Let o be 7310/2365 + (-1)/11. Is n at least as big as o?
False
Let r(s) = s**2 + s + 1. Let j(u) = 4*u**2 - 4. Let y(g) = -j(g) + 3*r(g). Let k be y(5). Let o be k - -10*2/8. Which is smaller: o or 2/3?
o
Let b be ((-233)/(-26) - 9)*7. Is b bigger than -2/7?
True
Let o = -2323.9 + 2324. Let s = 40 - 59. Is o greater than s?
True
Let g be -2*(-777)/(-516) - -3. Let v = g + -341/258. Let n(b) = -2*b. Let x be n(1). Which is bigger: x or v?
v
Suppose -6*f - 124 = -2*f. Let o = 609 + -640. Is f less than o?
False
Let o(b) = b**2 - 12*b - 29. Let x be o(-7). Which is bigger: x or 1?
x
Let s = 71 - 68. Let f be 19 - 3/9*(s - 3). Which is greater: f or 73/4?
f
Let u be ((-9)/12)/1 + 1. Suppose 2*a + q = 6*a - 3, -2*a - 5*q = -7. Which is smaller: u or a?
u
Let f = -1 - -1. Suppose 132 = -5*q + 4*t, -q + 3*t - 23 = -1. Let w be (2 - (-49)/q) + (-19)/44. Is w less than f?
True
Let d be (4 + (-238)/(-4))/((-2)/4). Let n = d + 887/7. Which is bigger: n or 14?
14
Suppose l = 4*p - 13, 3*p + 16 - 10 = -l. Is l != -154/15?
True
Let d be 26/4*98/(-392). Is d not equal to -1?
True
Let d = 12 + -12.3. Let i = -0.1 - d. Let w = -2 - -1.9. Which is bigger: i or w?
i
Let x = -2.1618 - -0.1618. Do x and -0.33 have the same value?
False
Let y = 0.1 + -0.1. Let b = 0 + y. Let g = 4/293 + -630/3223. Is b at most g?
False
Let a = -7 - -3. Let w(l) = l + 3. Let p be w(a). Let j = 67/506 + -2/23. Which is smaller: j or p?
p
Let x = -278.3 - -278. Which is greater: -60 or x?
x
Let c be 988/1045*(58 - -2). Do 56 and c have different values?
True
Suppose -20 = -5*r, r + 8 - 4 = n. Suppose n*h = -6*h + h. Which is smaller: 2/23 or h?
h
Let u = 25 + -27. Let w = 6 - u. Suppose -3*f - w = f. Do 0 and f have different values?
True
Let f = 306 - 285. Which is bigger: 4 or f?
f
Let m = -349 - -352. Let k = -1 - 1. Let q = k - -4. Is q at least m?
False
Let q = -90 - -63. Let z(i) = -2*i**3 - 2*i**2 + 3*i + 2. Let t be z(-2). Suppose u + 34 = -3*v + 6*v, t*v + 132 = -5*u. Which is greater: q or u?
q
Suppose 0*o = 4*o - 3*t - 165, 0 = -o - 5*t + 70. Let f = o - 22. Suppose 4*b + 21 - 9 = 0, -k = 5*b + f. Is k less than -8?
False
Let j = 0.03 + 0.27. Let l = -1529 - -1529.3. Is j greater than l?
False
Let m = -50.8996 + -0.1004. Do m and 0 have different values?
True
Let y = 2.84 + -0.04. Let z = y - 2.63. Let g = z - -0.83. Which is bigger: 0.09 or g?
g
Let o be (0 + 3)/((-3)/(-8)). Suppose 4*x + 2*x = 48. Suppose x*h - 15 = 41. Is h less than or equal to o?
True
Suppose 1 = 34*k + 1. Suppose m + 1 = -3*m + g, 5*m + g + 8 = 0. Let y be ((-39)/6 + m)/(-6). Are y and k equal?
False
Let k = -22484 - -19763434/879. Let p = k - -4403/3516. Are p and 0 unequal?
True
Let g = 0.7 + -3.7. Let n = 418 - 416. Is g greater than n?
False
Let m be (-71)/(-781)*22/4124. Is m not equal to 1?
True
Suppose 4*o - 648 = -20*o. Let f be -3 + 2 - -30 - 3. Which is bigger: f or o?
o
Let l = 584 - 585.91. Is l > 0.1?
False
Suppose -37*o + 780 + 22678 = 0. Which is smaller: o or 635?
o
Let y be -9*(-4)/48 + (-22)/8. Let m be y/(-7) - ((-19)/7 - -3). Which is smaller: -4 or m?
-4
Let v(p) = -p**3 - p**2 + 5*p + 3. Let d be v(-3). Let b = 9 - d. Suppose 2*r + b*u = -1, -3*r + 6 = -r - 4*u. Is 2 bigger than r?
True
Suppose 0 = -3*w - 12, 0 = 3*g - 2*w - w + 12. Suppose 0 = -5*b - 16 + 61. Let m = g + b. Which is greater: 2 or m?
2
Let x = -2949/5 + 565. Do -26 and x have different values?
True
Let u be 2/12*(-34 - -28). Which is smaller: u or 2?
u
Suppose 14*g = -g + 15. Let p be (-3 - (-15)/3) + -2. Suppose 2*m - 2 = -0*m - 2*j, -4*m - j + 1 = p. Which is bigger: m or g?
g
Let h(f) = f**2 + 15*f + 23. Let x be h(-14). Let t be 12/x*-3*2. Which is bigger: t or -9?
t
Let z(r) = -r**3 + 4*r**2 - 42. Let n be z(0). Is -44 less than n?
True
Suppose k + k - 8 = 0. Suppose -k + 8 = -4*g. Is g less than 1/9?
True
Let v be (-7)/1869*(-7)/(-7). Which is greater: v or 0?
0
Let k be 8 + -9 + (-2*1 - -49). Let j = 46 - k. Is 1 > j?
True
Let y be 152/(-114)*((-10306)/10300 + 1). Which is smaller: -1 or y?
-1
Suppose l + 4*b = 62, 8*l + b - 234 = 3*l. Let w = -53 + l. Is w less than -15/2?
False
Suppose 4*z = f + 196, 3 = f - 1. Let g = z - 152/3. Is 1 bigger than g?
T