5*f - 20 = 0, 5*a = -5*f + 70. Is 16 at most as big as a?
False
Let f = -1.1 + 0.1. Let s = -6 - -4. Let i = -4 - s. Is i at least as big as f?
False
Suppose u = 2*u. Suppose -2 = 3*q + 4. Let y be 1 + 5/q - -2. Are y and u non-equal?
True
Let g be ((-4)/(-6))/((-5)/3). Let u(d) = d**2 + 6*d - 3. Let a be u(-6). Let j = a + 4. Are j and g unequal?
True
Let v = -66/133 + 4/19. Which is smaller: 1 or v?
v
Let j be 1/(-4) - 55/4. Suppose 32*x - 23*x = -135. Is j at least as big as x?
True
Let w = -322/3 - -110. Which is smaller: w or 3?
w
Let v(q) = -2*q**2 + 22*q - 2. Let c be v(8). Is c > 46?
False
Let g = 114 - 113.32. Which is smaller: -0.1 or g?
-0.1
Let w = -3 + -2. Let g(a) = a**3 + 4*a**2 - 6*a - 3. Let h be g(-5). Suppose 20 = -2*t - h*t. Is w less than t?
False
Suppose 2*z - 19 = -3*c, 19 = c - 3*c + 5*z. Let v be (2 - (-16)/(-9))*c. Which is smaller: v or 2?
v
Suppose 5*g - 4*x - 63 = 4*g, -144 = -2*g - x. Which is greater: 72 or g?
72
Let y be (6/(-5))/(4/465*3). Which is greater: y or -46?
-46
Suppose -4*x + b + 11 = 0, -5*b = 3*x - 0*b + 9. Suppose -x*a = 1 + 7. Let z be ((-1)/(-4))/((-1)/a). Is -4 less than z?
True
Suppose -2*p = -3*p + q + 3, p = 5*q + 15. Suppose -5*g + 4*n + 1 + 94 = 0, -2*g + 3*n + 38 = p. Suppose 3 = -0*l - l - 3*y, -y + g = -3*l. Does -5 = l?
False
Suppose -11 = 4*q - 35. Let p = q - 3. Suppose d + 5 = -0*j + p*j, 3 = -3*d - 3*j. Is d greater than or equal to 0?
False
Suppose 2*v + f - 7 = 0, 4*f = 3*v - 0*v - 16. Suppose 0 = -v*b + 6*b + 6. Does b = -3?
True
Suppose c - 2 = -0*c. Let k = -3137 - -9673/3. Let a = 88 - k. Is c at least a?
True
Let a be (-1)/(-1)*(1 - -7). Suppose 0 = -2*f - a - 4. Let p = -5 - 1. Is p bigger than f?
False
Let l = 137/5 - 28. Let s = l + -9/10. Suppose y = -1 - 1. Which is smaller: y or s?
y
Let k be 2/8 - (-23)/4. Suppose k*n = n. Which is smaller: n or -2/9?
-2/9
Let g be (24/40)/(2/10). Suppose 4*l + 0*y = g*y - 10, 5*l = 5*y - 15. Is 2/17 bigger than l?
True
Let g = -2.2 + 3.1. Let m = 0.6 - g. Let x = -2.9 + 3. Is x less than or equal to m?
False
Let w be (-12 - -6)*(-3)/(27/84). Which is smaller: 57 or w?
w
Let h = 2 + -1. Let b = -141/4 + 35. Is h > b?
True
Let l = -12 - -12. Is l at least -1/12?
True
Suppose -4*z + 4*l = -0*z - 12, 4*z - 2*l = 8. Are 3/13 and z unequal?
True
Let g = 10.2 - 10. Let w = 0.02 + -3.02. Let r = -4 - w. Which is greater: r or g?
g
Suppose 5*a - 3*x - 12 = -2, a - 5*x - 2 = 0. Suppose o = 3*f + 14, a*o = 5*f + 5*o. Which is greater: f or -2?
-2
Let a be -1 - -2 - (-14)/(-5). Suppose 2*n = -19 + 15. Is n greater than a?
False
Let f(c) = 2*c**2 - 4. Let j be f(4). Let w = j - 55/2. Let g = -16.6 - -17. Which is bigger: g or w?
w
Let y = 32 - 31.9. Which is greater: y or 0.17?
0.17
Suppose -4 = a - 8. Let f be 16/5 + ((-42)/(-15) - 3). Does f = a?
False
Suppose -3*m + 25 = -4*o, 0 = -10*o + 5*o - 3*m - 11. Let i = 7 - o. Let h be 2/i - (-2)/(-11). Do -1/3 and h have the same value?
False
Let j(t) = -3*t**2 - 1. Let l be j(-1). Let z(v) be the third derivative of -v**5/60 - v**4/6 + 5*v**3/6 - 5*v**2. Let d be z(l). Is 5 smaller than d?
False
Suppose -18 = -x + 13. Let a = 22 - x. Let r be (-6)/a*9/(-2). Is -4 greater than r?
False
Let z = 52.9 - 53. Is -2.3 <= z?
True
Suppose 5*z + 2 = 2. Which is greater: 2/121 or z?
2/121
Let d = -17.7 + 18. Is d at most as big as -1?
False
Suppose 0*g + 4*g - 28 = 0. Suppose -5*y + g + 3 = 0. Suppose -k - y*k = -9. Is 3 <= k?
True
Let g(p) = 16*p - 4 - 14*p + 5 + 561*p**2. Let o be g(-1). Let m be (-4)/18 - o/72. Is -9 not equal to m?
True
Let u = -5 + 7. Which is bigger: 3 or u?
3
Let s be (-2)/3 - 66/(-18). Suppose s*k = 7*k + 4*r + 8, -2*r = -5*k + 4. Suppose 5*z + k*z - 5 = 0. Which is smaller: 0 or z?
0
Let p(o) = 2*o**2 + o. Let j be p(-1). Suppose -5*t + 0*t + 2*r + 5 = 0, -t + 1 = 3*r. Is t at least j?
True
Let c = 91/6 - 211/14. Which is greater: c or 1/4?
1/4
Suppose -1 - 1 = -t - 4*d, -3*d = 15. Let b = t - 16. Are b and 6 equal?
True
Suppose 2*y = 3*y. Let s be (15/(-6) - -3) + y. Suppose 0*r - 13 = -3*r + 5*t, 2*r + 2*t = -2. Do r and s have the same value?
False
Let a be 3/(-10)*12/(-9). Is a at most as big as 2/5?
True
Let z = -8 + 7.82. Is 0 less than or equal to z?
False
Suppose -14 = -s - 4*a, 5*a = 5*s + 7*a + 20. Which is smaller: -8 or s?
-8
Suppose 40 + 20 = -5*j. Which is smaller: j or -11?
j
Let k(s) = -s + 3. Let d(j) = 2. Let q(w) = 5*d(w) - 3*k(w). Let r = 1 - 0. Let l be q(r). Which is greater: 2 or l?
l
Let h(j) = j**2 - 7*j - 6. Let s be h(8). Suppose m + 3 = -s*m. Let l = 3 + -4. Is m >= l?
True
Let p = 0 - -2. Suppose -p*f - 20 = -7*f. Suppose 0 = -5*i - b - 3*b + 11, -f*i - 2*b = -10. Is 3 less than or equal to i?
True
Let a = 3 - 2. Let x = 6 + -4. Is x at most as big as a?
False
Suppose -4*z = -23 + 3. Suppose -8 = -5*a - 5*c + 2, -z*c = a - 6. Let s be a*(2 - (1 + 1)). Is 1 equal to s?
False
Let w be 1 + -2 + (-440)/(-494). Let r = -5/19 - w. Let a = -156.1 + 156. Which is smaller: a or r?
r
Let d be (3 + -6)/(-69)*(-12)/6. Which is bigger: -1 or d?
d
Let h = -163/715 - -3/65. Let z be 2/(-1) - (-3 + 0). Is h at most z?
True
Let o be (-4)/10 - (-8)/20. Suppose -3*n - 6 = 3*g, -g + o*g + 2 = -n. Which is bigger: 2/9 or g?
2/9
Let h(y) = -y**2 - 7*y - 4. Let d be h(-6). Suppose -b = -d*b. Which is bigger: -2/25 or b?
b
Suppose -9 - 11 = -5*y. Let h be 45/108 - y/6. Is 2/3 less than or equal to h?
False
Let l(h) = -1 - h**2 + 3 + 2 + 4*h. Let s be l(5). Let w be s/(-1) - 3/3. Does 2/9 = w?
False
Let x be (-85)/(-100) - 1/4. Is x <= -2?
False
Suppose 19 = 10*d + 9. Which is smaller: 0 or d?
0
Let y = 2 + 1. Suppose -7 = -y*u - 1. Let j = 1 - 0. Is j <= u?
True
Let l(c) = 2*c - 9. Let i be l(6). Let y be i - -43*2/(-30). Is y bigger than 1?
False
Let g(f) = 8*f**2 + f. Let y be g(-1). Suppose -20 = -y*t + 2*t. Let c = t - 7. Which is smaller: -2 or c?
c
Suppose 0*n = -4*n + 16. Let g = -17 + 24. Let o = g - 6. Are o and n equal?
False
Let i = -69.32 - -69. Are i and -1/4 equal?
False
Suppose 2*j + 3*t - t - 6 = 0, -4*j + 5*t + 3 = 0. Suppose 1 = f + j. Let i be 3/(-9) + (-2)/3. Do f and i have the same value?
True
Let r(s) = -s - 6. Let f be r(-6). Let a be (4/(-6))/(4/(-12)). Let z be (-9)/30 + (-1)/a. Is f > z?
True
Let i = -14 + 10. Is i greater than -2?
False
Suppose -f - 10 = 4*f. Let x = f - 2. Let i be ((-84)/27)/x + -1. Which is smaller: 1 or i?
i
Let p = -3/29 - 23/58. Let m = 2 - 3. Which is smaller: m or p?
m
Let x(t) = 4*t**2 + t - 1. Let v be x(1). Let r be ((-3)/(-6))/((-30)/v). Which is bigger: -1 or r?
r
Let z be -6*(2 - 9/6). Let c be 0*z/9 + 3. Suppose 2*w - 10 = -3*w. Which is greater: w or c?
c
Let b = 2.1 + -2. Let t = -5 - -2. Let u be 2/(-4) - t - 2. Is b > u?
False
Let n be 1 + 0/(-3) - 4. Is n <= -3?
True
Let t(a) = 3*a - 4*a + 0*a + 3 - 2. Suppose 2*w + 4*q = -2*w, 0 = 3*w + 4*q - 1. Let o be t(w). Is 2 at least o?
True
Let p(n) = -2*n - 3. Let d be p(-2). Let m be 8/10*(-5)/(-6). Is d at least m?
True
Suppose -2*k = -2*c - 8, 13 = 5*c + 3*k + 1. Which is smaller: -2/3 or c?
-2/3
Let b = 0.2 + 0. Let p = b + -0.4. Let u = 0.1 + p. Is u < 0.03?
True
Let j be (-3)/(-2) - 3/(-2). Suppose j*k - 6 = -3*d - 0, -2*d - 3*k = -7. Which is smaller: -2 or d?
-2
Let r = -239/4 - -60. Is r < 1?
True
Let q = -0.07 - -0.11. Let r = 0.11 - q. Let f = -0.27 + r. Which is greater: f or 0?
0
Suppose -3*j + 22 = 2*l, 0 = j - 3*l + 1 + 10. Suppose 0 = -4*k + j - 0. Let h = 1573/9 - 175. Is k equal to h?
False
Suppose -5*u + 2*m + 3*m = -30, -4*m = 16. Suppose 0*a = -3*a - 3*j + 18, 5*a = 4*j + 3. Suppose -9 = -t - u*t, a*v + 9 = 3*t. Is 2 at least v?
True
Let y(m) = -m**2 + 6*m - 5. Let v(r) = -r. Let k be v(-3). Let f be y(k). Which is greater: f or -1?
f
Let j = 2.4 + -6.4. Let z = j + -2. Which is bigger: z or 1?
1
Let q be 1/(1/3)*1. Which is bigger: q or 2?
q
Suppose 0 = 4*q - 85 + 25. Suppose 0*y = 5*y - q. Which is smaller: 1 or y?
1
Let u = -108 + 82. Is -27 less than u?
True
Let l be ((-1)/(-3))/(6/9). Let r = -1 + 3. Let g be -2 - (-1 + r) - -3. Which is smaller: l or g?
g
Let x = 24 + -43. Let v be x - -2 - (-5 + 3). Is v less than -16?
False
Let u = -4 + 4.1. Let n = u - 0. Let z = n + -0.2. Which is smaller: -1 or z?
-1
Let j = -0.8 + 3.8. Let f = j + -3.1.