j. Let m = l + -14413/9. Let u = -28/9 - m. Which is smaller: -0.3 or u?
u
Let m = 0.0869 - -1.1131. Which is smaller: 0.02 or m?
0.02
Let b be 164/(-10) + 20/50. Let m be b/72 - 2/(-9). Is m at least as big as -2/3?
True
Let l = -252 + 1761/7. Is 2/75 at least l?
True
Let z = 81 + -135. Let a = z - -35. Let c = -20 - a. Which is smaller: 2/17 or c?
c
Let k be (-2)/(-12)*12/1278. Is k <= 1?
True
Let m = -380640 - -2652073/7. Let h = m - -1767. Are -5 and h unequal?
True
Let x be (-2)/(-6) - (-7)/6. Let n be ((-63)/(-5) - 3)*-5. Let h = n + 51. Which is smaller: x or h?
x
Suppose -2 = 8*n - 2. Is 2 > n?
True
Suppose -3*f = -4*j + 18, -3*f + 7*f + 2*j = -2. Let v(u) = -u**2 + 17*u - 33. Let b be v(15). Which is smaller: b or f?
b
Suppose -2*f = 4*s - 28, 0*f = 3*s - 3*f - 3. Suppose 2*x + 1 = s. Let a be (4/x)/(1 + -3). Is 1 > a?
True
Let o(s) = 6*s**3 - 34*s**2 - 30*s + 131. Let h be o(6). Let x be 1 + (-1 - 1) + 23. Is h at most x?
False
Let g be 4/(-8)*(2 - 2). Let t be -1 - (g - 0/1). Let f be -3 + 36/16 - t. Which is smaller: f or 0?
0
Let s = -674 - -714. Which is smaller: 47 or s?
s
Let g(n) = -7*n**2 - 53*n + 24. Let t be g(-8). Let k = 302 - 17212/57. Is k at least as big as t?
True
Let q be 204/100 + 0 + -2. Let x(j) be the first derivative of j**4/4 + 7*j**3/3 + 2*j**2 - 11*j + 18. Let l be x(-6). Which is greater: q or l?
l
Let r = -2.698 + 2.679. Is r at least -10?
True
Let l = 19783 - 4253357/215. Do l and 1 have the same value?
False
Suppose 5*q - 16 = 3*q. Suppose -3*u = -12, -u + 5 = -4*a + 1. Let g be (a + -1)*q/(-10). Which is greater: g or 2?
2
Suppose r = 3*j - r - 13, -2*j + 5*r + 27 = 0. Let k be (j/(-4))/((-2)/8) - 2. Which is greater: k or -1.5?
k
Let b be (4 + (-55)/15)*-6. Is -26/45 >= b?
True
Suppose 23*k - 20*k = 84. Suppose -4*h + 4*i = -0*i - k, -2*h + 3*i + 17 = 0. Is 2/9 greater than h?
False
Suppose 4*x + 1219 = -3*f, -20*x - 622 = -18*x + 4*f. Which is greater: -303 or x?
x
Let a be (1 - -1) + -1 + 4. Suppose a = -t, 5*x - 3*t + 20 = -2*t. Let f = x - -3. Are f and -1 equal?
False
Let c = -1.62 + -0.16. Is c bigger than -0.1?
False
Suppose 68*g = 101*g + 66. Let q = 672/59 + -743/2360. Let i = q - 56/5. Are i and g nonequal?
True
Let w(a) = -a**3 + 6*a**2 + 9*a + 1. Let r be w(7). Suppose 0 = r*v - 12*v + 3. Is v at most as big as -3?
False
Let k be ((-1)/10)/((-13)/(-12) + -1). Let q be 69/(-46) - 1/(-2 - -1). Which is greater: k or q?
q
Let g be 4/(-8) + 75/54. Which is smaller: g or 0?
0
Let i = -557.4 - -557. Which is greater: i or 3/7?
3/7
Let y = 0.24 - 4.54. Let l = y + -0.7. Let j = l - -4.9. Is j less than 2/7?
True
Let y = 8 + -8. Which is smaller: y or -1/221?
-1/221
Let i = -12 - -31. Let f be (-4)/6 + i/33. Let v = -1880/2811 + 2/937. Which is bigger: v or f?
f
Let b be 10/(-15) - 5/(-3). Let m be (b/(-6))/((-11)/33). Let k(i) = -i - 1. Let l be k(-1). Is m bigger than l?
True
Suppose -2*v = 2*w + 234, v + 2*w + 132 = 6*w. Let g be (-2)/12 - 68/v. Let s be -8 + 3 + (1 - 2). Is s bigger than g?
False
Let s(h) = -h**3 + 8*h**2 + 2*h - 23. Let m be s(-6). Which is bigger: m or 470?
470
Let m = 463 - 585.3. Let z = 123 + m. Which is bigger: -10 or z?
z
Suppose i + z - 143 = -512, -i - 4*z - 384 = 0. Which is smaller: -363 or i?
i
Let x = 8 - 8.2. Let l = -3396 + 23733/7. Let f = -415/77 - l. Which is bigger: x or f?
f
Let s = 101.47 - -2.53. Let r = s + -104.46. Which is bigger: r or -0.1?
-0.1
Let l = 37 - 38. Which is bigger: l or -21/10?
l
Let u = -56.51 - -54.3. Let v = -2.3 - u. Let n = 23 - 25. Is n at most v?
True
Let l = -993 + 998. Is l bigger than 13?
False
Let g = 62301 + -8971285/144. Let u = -3/16 + g. Let h = 133 + -667/5. Are u and h nonequal?
True
Let q = -2.3 - 5.7. Let j = -14 + 5. Let t = q - j. Which is bigger: -0.3 or t?
t
Let j = 145/6 + -24. Let k(g) = -g**2 + 11*g + 26. Let i(n) = 14*n**2 + 3*n + 2. Let v be i(-1). Let o be k(v). Which is bigger: o or j?
j
Let w = 4.334 + -0.334. Let v = -0.2 - -0.29. Do w and v have the same value?
False
Let f = -2527 - -2528. Let z = 7 + -228. Let y = z - -7733/35. Do f and y have different values?
True
Let q be (4 - 5)*(-4 - -25). Let g be (-14)/q*(-3)/(-6). Is g <= 9?
True
Let m(v) = -6*v - 1. Let a be m(-1). Suppose s + 2*h + 18 = -4*s, -s = a*h + 22. Let q be (-2 - -3)*2/s. Which is smaller: q or 0?
q
Let j(z) = 19*z + 8. Let r be j(3). Let p = r + -45. Is 18 bigger than p?
False
Let o(t) be the first derivative of t**3/3 - 11*t**2/2 + 18*t - 5. Let p be o(10). Do p and 8 have the same value?
True
Let q = -8/243 + -5306/1215. Is -3 less than q?
False
Suppose -3*a + 4*x - 3*x = 256, 0 = -a - 3*x - 82. Let j = -133 - a. Is j at least -48?
True
Let j be 6/15 - (-54)/15. Suppose -b + 0*b = -4*p + 20, 2*b + 20 = j*p. Let v = 166/105 - 8/21. Which is smaller: v or b?
b
Suppose 0 = q + 4*q + 10, 5*q = -5*c - 10. Suppose -2*a + 22 = -c*a - 4*p, 3*a - 30 = 3*p. Let j = a - 16. Is -6 greater than or equal to j?
True
Let m = 4 + -8. Let r be m/3 - (-4)/(-6). Let k be (-12)/15 + 1 + (-16)/20. Which is smaller: k or r?
r
Let z(b) = b**3 - 10*b**2 - 5*b - 33. Let i be z(11). Is i less than 35?
True
Let l be 12/20 + (-148)/(-20). Let c be (3/((-24)/118))/(2/l). Is -60 less than or equal to c?
True
Suppose 82*q = 121*q. Which is greater: -1/1610 or q?
q
Suppose 0 = -1704*w + 1693*w - 253. Which is smaller: w or 1?
w
Let f = 43.08 + -43. Which is greater: f or 0.1?
0.1
Let u = 30.9249 - 0.0249. Let z = -36 + 5. Let k = z + u. Is -24 greater than or equal to k?
False
Let k(d) = -d**3 + d**2 + 1. Let y be k(3). Suppose -90 = 6*c - 0*c. Is c <= y?
False
Suppose -5*p + 17 = -3*l + 2*l, 7 = 4*p - 3*l. Let v be (305/10)/(p/(-8)*-1). Is v at most as big as 60?
False
Let y = 1169/187 - 97/17. Is y at least -0.088?
True
Let d = -0.34 - -0.34. Are 7.1 and d equal?
False
Suppose -3*z - 117 = 4*b, 0 = -3*b + 93*z - 89*z - 69. Let i be 4/(2 + (-56)/26). Are b and i equal?
False
Suppose -2*y - 3*y = 30. Let g(l) = 4*l + 2*l + l**2 - 6 - l. Let s be g(y). Which is smaller: 6/11 or s?
s
Suppose y + 2*u + 0*u - 9 = 0, -3*y - 3*u + 15 = 0. Let q be 14*1*(y + -3 + 1). Is q at most -15?
False
Let h be ((-3)/3)/(18/(-1288)). Let y = h + -7030/99. Suppose 22*s = 45*s - 7*s. Which is smaller: s or y?
s
Suppose 0*x + 24 = x - 3*k, -4*x + 75 = -5*k. Let j = 13 + 4. Which is smaller: j or x?
x
Suppose 0*f + 4 = 2*f + 4*m, 2*f + m = -5. Let j be ((-3)/162)/((64/(-12))/f). Which is smaller: 1 or j?
j
Let z be (-2)/((28/(-8))/(-7)). Let c be -33 - (-3 - z)*-3. Which is bigger: c or -29?
-29
Let r = -2.013 + 0.013. Is r < 30?
True
Let v be (-162)/270 - 752/(-1370). Which is smaller: v or -1?
-1
Let w = -5 + 8. Suppose -2*q - 6 = 2*p, -5*q + 2*p = -w*p + 25. Let z be (-1)/(q/(-24)) + 1. Is 2 equal to z?
False
Let p(l) = l + 8. Let t be p(-6). Let m(n) = n**3 - 5*n + 1. Let g be m(t). Is -4 >= g?
False
Let g(w) = 41*w + 8. Let t be g(2). Let b = t + -87. Which is smaller: b or 22/5?
b
Let c be -1 + (-4)/1 + 2. Let j be (-12)/(0 + -4) - 66/c. Which is smaller: 24 or j?
24
Let y be 3/7 + -5*(-1182)/(-21). Which is smaller: y or 2/5?
y
Let n = 12 - 1. Let v = n - 0. Suppose 5*f = -v + 1. Which is greater: 1 or f?
1
Let b = 980 - 4942/5. Suppose 2*x + q = -13, -x = 3*x + q + 31. Is b > x?
True
Let x be ((-10)/(-35))/((-4)/(-56)). Is x bigger than 21?
False
Suppose -m = -4 + 5. Let x = -5511 + 1394285/253. Which is smaller: x or m?
m
Let x = -1/474 - -107/790. Let q = -6 - -5. Which is bigger: x or q?
x
Let n be (3 - (3 + -71 - -1)) + 2. Let t = n - 71. Is t at least 9/14?
True
Let o(f) = f - 16. Let p be o(5). Let w be 40/(-220) - 46/p. Suppose -3*x = -0*x - 2*s - 13, -21 = -5*x + 3*s. Which is smaller: w or x?
x
Let i(u) = 3*u + 61. Let h be i(-14). Is h < 18?
False
Suppose 2*c = 4*y - 84, 9 = y + c - 6. Let u = -452/1533 - -2/219. Is u at most as big as y?
True
Let q be (-2)/(-6) + (-10)/(-15). Let o be 7 + -11 + (-120)/(-33). Which is greater: q or o?
q
Let p be -170 + 36/6 + -4. Is p less than or equal to -170?
False
Let f = -1.3 - 1.2. Let k = -655/2 + 328. Is f at most k?
True
Let u = -1156 - -1550. Which is greater: u or 393?
u
Let u = 6/55 + 16/55. Suppose 54 + 494 = -2*o. Let p = o - -1364/5. Is p at most u?
True
Suppose 0 = -c + 2*x + 38, -2*c - 214*x + 212*x + 52 = 0. Let p =