 Is y > q?
True
Let m = -1.8 - -1.8. Is m < -6/43?
False
Suppose 0*n - 6 = n - 4*w, -3*n + 8 = w. Let l be (4/5)/((-2)/(-10)). Suppose -b = -v - 8, b - l*v = n*b + 17. Which is bigger: b or 2?
b
Let x(c) = c**3 - 6*c**2 + 6*c. Let b be x(5). Suppose 4*r + 3 = -3*f, -4*f - b = -1. Is r < 2?
True
Suppose 5*b - 41 = -4*n, 0*b + 4*b = 2*n + 12. Suppose -n*h + 15 = h. Suppose -m + x - h = -0*x, 2*m - 22 = -5*x. Which is smaller: 1/4 or m?
1/4
Let b be 2/(-4)*5*6/60. Which is smaller: b or -0.29?
-0.29
Let j = -6 + 5. Is j at least as big as -2/5?
False
Let t(x) = -x + 6. Let s be t(7). Which is smaller: -2 or s?
-2
Let g(w) = w + 3. Let n be g(-5). Let k be 70/4 + (-5)/(-10). Let u be (-32)/k - (-2)/(-9). Is n >= u?
True
Suppose 0*d + 3*d = -5*w, -22 = 4*w - 2*d. Is w greater than -11/5?
False
Let i = -2 + 5. Suppose 0 = 80*v - 85*v + 20. Is i less than or equal to v?
True
Let z = -15 - -14. Is -1 > z?
False
Let z = 3 - -3. Suppose m = -5*r - z, 2*r - 3*m = -m. Is r at least -2/5?
False
Let x = -1.4 + -0.6. Let l = -0.15 - 1.75. Let b = l - x. Is -0.3 bigger than b?
False
Let g = 5969/6 - 997. Let t(o) = o**3 + 4*o**2 + 4*o + 2. Let q be t(-3). Which is smaller: q or g?
g
Suppose -2*v + 2 = -v. Suppose -4*m + v = -30. Is m at most as big as 15/2?
False
Suppose 0 = 11*r - 40 - 70. Is 12 > r?
True
Suppose 3*d + 3*v + 5 = 2*d, 0 = d - 3*v - 7. Suppose -2*t + 13 = d. Suppose -2*b - b = t. Which is smaller: -1 or b?
b
Let l(s) = s - 2. Let p be l(7). Suppose 5*q = -25, p*v - q = q. Does v = -2?
True
Let n be (30/4)/3*2. Let t = 6 - n. Are 1 and t unequal?
False
Let c be 1 + ((-276)/(-50))/(-6). Is -1 < c?
True
Let m = 0 + 3. Let v be (-1)/(4 - m) + -1. Let j = -3 - v. Which is greater: -1/7 or j?
-1/7
Let x(n) = n**3 + 1 + 12 - n - 5 - 5 + n**2. Let p be x(-2). Let b(i) = -i**2 - 5*i + 1. Let t be b(-4). Which is smaller: p or t?
p
Let p = -28 + 31. Let m = 1.1 + -4.2. Let u = p + m. Is 1 <= u?
False
Let y = 50 + -53. Let n be 0/(-2) - 16/(-2). Suppose 3*m + 5*d = n, m + 20 + 4 = 5*d. Is y not equal to m?
True
Let g be 1/(-2) - 43/2. Let a be 10/5 + g/8. Let f be ((-6)/(-4))/(9/3). Which is greater: f or a?
f
Let k(x) = -x**3 - 7*x**2 - 7*x - 9. Let b be k(-6). Suppose 0 = 4*i + i. Suppose -5*r + i = -5. Which is greater: b or r?
r
Let f = 1 - 3. Let o be f*(-1 - (-2 - 1)). Let y be (-1)/(-12)*(-1 - o). Which is smaller: y or 5?
y
Let t = -0.14 - 5.86. Let g = t - -6.4. Is -1 >= g?
False
Suppose -7*l + 144 = -l. Which is smaller: 0.4 or l?
0.4
Let r(x) = -x**3 - 6*x**2 - x - 3. Let b be r(-6). Suppose 3 - 6 = b*w. Do -1 and w have the same value?
True
Suppose -1 + 0 = w. Let h be -1 + (-3 - 0 - w). Suppose -3 + 1 = y. Which is smaller: h or y?
h
Suppose -2*w = 3*w - 2*t + 98, 0 = 4*t + 4. Let j be 0 - (-1)/2*10. Let u be 2/j - 12/w. Which is smaller: 2/15 or u?
2/15
Let r be (-6)/15 + 2/5. Let i be (-6*(-6)/756)/((-2)/6). Does i = r?
False
Let m be 2076/14 + 5 + -4. Let q = -149 + m. Does 0 = q?
False
Suppose -9 = -5*y + 11. Let k be (-32)/108*3/y. Is k not equal to 1?
True
Let i = -150 - -150. Is 1/47 at least as big as i?
True
Let f be (-1 - (-21)/(-6))*-2. Let k be (1/2)/(f/(-2)). Is 1 at least as big as k?
True
Let v = 0 - 0.2. Let q be 0 + (1/2 - 0). Which is smaller: v or q?
v
Suppose -d + 2*d = 0. Do d and 1/31 have the same value?
False
Let k = -0.63 + 0.72. Which is smaller: -0.2 or k?
-0.2
Let u be ((-3)/2)/1 + -26 + 28. Is 4 greater than u?
True
Suppose -3*s - 2*z - 20 = 2*z, 0 = -3*s + 3*z + 15. Suppose -5*q - 40 = -s*q. Let f be 12/q*(-2)/(-3). Which is smaller: f or 3?
f
Let f be ((-268)/(-20))/(-1) + -2. Let r = 15 + f. Is -0.4 greater than r?
False
Let c(b) = 2*b**2 + 18*b + 2. Let a be c(-9). Suppose 0 = v - 4*m - 7, -2*v - 4*m - 12 = 2*v. Let w = v - -2. Which is smaller: a or w?
w
Let l = 12 + 23. Which is smaller: 36 or l?
l
Let g = 1 + -1.1. Suppose v + 6 = -2*q, 4*q + 9 = 3*v + q. Is g at most v?
True
Let u(k) = -k**2 + 7*k - 5. Let c = -4 + 9. Suppose -4*r = c*n - 49, 35 = 4*r + r + n. Let m be u(r). Which is bigger: 2/15 or m?
m
Let x be -20 - -4 - 2 - (1 + -1). Is -18 != x?
False
Let a = -50 - -49. Which is bigger: a or 30?
30
Suppose -10*f + 5 - 25 = 0. Let d = -2/39 + -142/273. Which is smaller: d or f?
f
Let p be (-3)/(-2)*(-4)/(-3). Suppose 2*r + 2*y - p = -r, 0 = -4*r - 3*y + 2. Suppose 0 = -5*f + k - 20, 6 + 14 = -5*f - r*k. Is -3 less than f?
False
Let s be (-26)/(-10) - (-6)/(-10). Suppose s*v + 12 + 14 = 0. Let n = 27/2 + v. Which is bigger: n or 1?
1
Let f = -4.8 + 6.8. Which is smaller: f or -11?
-11
Let p = 3.31 - 0.11. Let t = 3 - p. Is -1 not equal to t?
True
Let o = 0.7 - 0.6. Let a = -1.92 + -0.08. Which is smaller: a or o?
a
Let w(q) = 2*q + 3. Let i be w(5). Let n = i + -12. Is 2 <= n?
False
Let y = -5 - -5.1. Is y less than 34?
True
Let o be (50/15)/((-21)/27). Let b = -146/21 - o. Does -2 = b?
False
Let a = -0.04 - 0.02. Let w = a + 0.16. Is -3 not equal to w?
True
Let y = 2.8 - 0.8. Let u = y - 2.2. Which is smaller: 2/9 or u?
u
Let l(d) = 3*d**3 + 2*d**2 + 3*d + 2. Let k be l(-1). Let q be -1*((-5)/(-2) - 2). Does k = q?
False
Let f be ((-2)/70)/((-16)/(-16)). Which is greater: f or 0?
0
Let j = 109 - 113. Which is greater: j or 0.3?
0.3
Let d = 5/12 - 73/60. Are d and -2/7 equal?
False
Let y be (-1)/(1 - 12/14). Suppose 0*c = -2*c - 10. Let n be ((-2)/c)/((-8)/120). Is y <= n?
True
Let s be (-33)/(-6)*(0 + -2). Is -11 <= s?
True
Let h = -28 - -29. Let m be 0 - -3 - 3/h. Let l be -2 - -1 - 7/(-5). Which is smaller: l or m?
m
Let j = 13.1 - 13. Is 0.2 <= j?
False
Let z(f) = f**3 - f**2 - f. Let k be z(-1). Let t be 3 + -34*2/16. Which is bigger: t or k?
k
Let w(h) = h + 14. Let k be w(-11). Suppose -6*a - 15 = -o - 3*a, -14 = -2*o + 2*a. Let j = k - o. Is j greater than -1?
True
Let t = -17 + 7. Let x be (-16)/10 + 4/t. Suppose -16*h - 3 = -13*h. Which is bigger: x or h?
h
Let t = 88 + -77. Is 13 at most as big as t?
False
Suppose -5*x = -3102 - 593. Let n = -8893/12 + x. Let w = -7/4 - n. Which is bigger: 0 or w?
w
Let w = 21 - 18. Let f be 1/3 - (-14)/3. Is f greater than w?
True
Suppose -m + 4*c = 1100554 + 2965007, -5*c = -5*m - 20327880. Let s = -5386894519/1325 - m. Let o = 8/53 - s. Is 0 smaller than o?
False
Let j = 113/819 - -1/63. Is j < 1?
True
Let j = -0.06 + -0.94. Is j equal to -1/3?
False
Let o(y) = y**2 - 6*y + 4. Let z be (-2)/(-6) - 42/(-9). Let u be o(z). Is u > -1?
False
Suppose -5*t - 39 - 21 = 0. Let v be -2*(-9)/t*-2. Let x = v + -1. Is 2/3 at most x?
True
Let f = 0.73 + -0.8. Let c = -0.27 - f. Which is bigger: -3 or c?
c
Suppose 3*x - a = -0*x + 47, 3*a = -5*x + 55. Is x at most 14?
True
Let j = -74 - -151/2. Let p = 10 - 7. Which is smaller: j or p?
j
Let v be (-20)/(-4) - (0 + 0). Suppose -3*g - v = 2*g. Is g at least 2/7?
False
Let s(b) = -b**2 - 4*b + 22. Let h be s(3). Which is smaller: h or 9/8?
h
Let h = 25 - 24. Is h > -8/19?
True
Suppose -r + 13 = 2*u, -u - 4*r + 4 = 1. Suppose 0 = -3*g - 4*a - 11, 0 = 2*a - u*a - 25. Is g equal to 5/2?
False
Let g = 22 + -24. Which is greater: g or -3/4?
-3/4
Suppose 4*m + 101 = n, -4*m = -0*m + 3*n + 81. Which is smaller: m or -1?
m
Suppose 20*h = 24*h + 20. Are -6 and h non-equal?
True
Let u(r) = -4*r**2 - 4*r + 1. Let i be u(-1). Is -7 > i?
False
Let v = -22 - -11. Let o be v/(-55) - 22/(-10). Is 2 > o?
False
Let h = -91 - -90. Is -7/3 bigger than h?
False
Let o be 2 + 0 - (12 - 8). Which is greater: o or -3/2?
-3/2
Suppose 3*n + 97 = -4*o, 10*n - 12 = 14*n. Is -24 <= o?
True
Let t = -15 + 22. Suppose x + 8*h + 20 = 3*h, -t = -x + 4*h. Which is greater: x or -6?
x
Let n = 6259/79 - 2427569/30415. Let c = n + -1/77. Suppose -y - 2 = y. Which is smaller: y or c?
y
Suppose -11 = -o + 3*g, -10*o + 3*g + 44 = -6*o. Which is bigger: -5 or o?
o
Suppose 4*z + 4*d + 29 = 5, 2*d - 24 = 4*z. Is -8 greater than or equal to z?
False
Let t = 5/188 + -1237/564. Which is smaller: t or -1?
t
Let u be (-3)/6*4 + 4. Suppose 4*y - 6 = u*x, 0 = x - 4*x + 3. Let g = -1/182 + 53/182. Is y greater than g?
True
Let j = 65 - 64. Which is smaller: 12/17 or j?
12/17
Suppose -4*f - 4*j = -1 - 35, -4*f + 32 = 3*j. Let a be 2/(-4)*2 + 4. Suppose -2*k = 3*v + 5 + a, f*k = v - 20. Is 0 not equal to v?
False
Let r = 40 - 42. Is 0.7 greater than r?
True
Suppose 0 = t