9/5. Is 0 < q?
False
Let i = -24 + 29. Which is greater: 7 or i?
7
Let x = -8.1 - -8.12. Which is smaller: x or 2?
x
Let o = -8 - -8. Let c(p) = 7*p - 43. Let q be c(6). Is o smaller than q?
False
Suppose 5*y = 2*y - 5*h + 37, 15 = 3*h. Suppose y*m = -d + 30, -4 = -4*m + 8. Let w be (1*2)/((-12)/d). Is w at least as big as -5/2?
False
Let h(w) be the second derivative of -5/6*w**3 + 1/20*w**5 + 3*w + 0 - 4*w**2 - 5/12*w**4. Let j be h(6). Is j at most -4?
False
Let i be ((-4)/4)/((-2)/(-20)). Let p = i + 9. Which is smaller: p or -5?
-5
Suppose 3*c + 0 + 4 = y, 0 = -y - c + 4. Suppose -3*v + 0*v = 3*d, 4*v - 27 = 5*d. Let a = 6 + d. Which is smaller: y or a?
a
Let w be (-1)/(-5)*10/(-8). Suppose 0 = 8*q - 11*q + 6*q. Is w < q?
True
Let w(n) = 2 - 1 + 5*n**2 - 6*n**3 - 6*n**2. Let b be w(1). Which is smaller: b or -4?
b
Let f = 0.4 - 0. Let x(d) = 4*d - 32. Let t be x(8). Which is greater: t or f?
f
Suppose 0 = -5*p - 20, 2*x + 3*p - 2*p = 20. Do x and 11 have the same value?
False
Suppose -45 = 3*d + d + 5*r, -3*r = -2*d + 5. Suppose -3*u = 5*m + 11, 2*m - 2*u - 3 = m. Is d < m?
True
Suppose 3*a - 8*a - 5 = 0. Which is greater: a or 3/7?
3/7
Let k = 3 - 7. Let n(x) = -x - 4. Let t be n(k). Is t at most -2?
False
Let t = -10 - -9.9. Is t equal to -1/7?
False
Let l be (-3 - -6 - -9)/2. Let p(f) = -f**2 + 7*f - 5. Let a be p(l). Suppose 8 = -k + 5*k. Which is smaller: a or k?
a
Let g(n) = n**2 + 2*n - 2. Let f be g(-3). Let p be (20/25)/((-4)/(-30)). Let y be ((-12)/63)/(p/9). Is y not equal to f?
True
Suppose 8 = -2*r + 5*v, -4*r - 3*v - 18 = 24. Let n be 28*1/r + 2. Is n greater than -1?
False
Let a = 4 - 1. Let j = a - 2. Let g be (6/(-10))/((-6)/4). Is j bigger than g?
True
Suppose -m - 5 = 2*j, j - 4 = 5*m + 4*j. Let n = 0 - m. Let t be 57/(-21) - (n - 2). Is -1 at least t?
False
Suppose -13 = -4*u + 11. Suppose -u*t = -t. Is 2 at most as big as t?
False
Let j be (-12)/6*(-2)/4. Suppose 2*n - 8 = -4. Let l be j*(2 + -4)/n. Do -1 and l have the same value?
True
Let m = 33 + -100/3. Which is smaller: m or -6?
-6
Let l = 41/196 + 2/49. Let s = 0.34 - 0.34. Which is greater: l or s?
l
Let f = 17 + -17. Is f less than 0.2?
True
Suppose g = 4*v - 0*v - 11, -5*g = 5*v - 45. Suppose -2*x + r = -14, -4*x = -0*x - g*r - 28. Let t(f) = -f**3 + 4*f**2 + f + 2. Let u be t(4). Is x <= u?
False
Let z(g) = g**3 - 10*g**2 + 9*g - 1. Let t be z(9). Is -4 greater than or equal to t?
False
Let d(t) = -2*t**2 - 1. Let j be d(-1). Let n be (-14)/6 + 34/(-51). Is j greater than or equal to n?
True
Let w = 8 + -7.6. Let u = -0.1 + 0.1. Is w less than u?
False
Let b = 8 + -7. Are b and 1 equal?
True
Let r = 8 - 6. Are -1/4 and r unequal?
True
Let p = 0.0992 - 47.1492. Let d = 46 + p. Let i = 0.05 + d. Is 0 less than i?
False
Let u be -3*(-2)/(-36)*(-3)/2. Which is smaller: u or 0?
0
Suppose -5*b - 51 = 4. Let o = 6 + b. Are o and -6 equal?
False
Suppose -2*r + 15 + 7 = 0. Let c = -8 - -13. Suppose r = c*j + 1. Is j less than 2?
False
Let v = -101 - -99. Which is smaller: 1.7 or v?
v
Let d be 37/7 + 4/(-14). Suppose -z + d*z = 8. Suppose -2*j = -p - p + 14, 3*j + z*p = 4. Does 1/3 = j?
False
Let l be (4/(-3))/(2/(-6)). Let p(j) = 5*j**2 + 2*j - 3. Let n be p(2). Let v = 26 - n. Is l at most v?
True
Let q = -3.8 + -0.2. Let t = 10.3 + -6.2. Let v = t + q. Which is bigger: -5 or v?
v
Let s = -49 - -48.77. Let x = s - -0.03. Do -2 and x have the same value?
False
Let c(l) = -l**2 + 3*l + 3. Let n be c(4). Does -2/23 = n?
False
Let o(m) = -m**3 + 17*m**2 - 8. Let z be o(17). Is z >= -8?
True
Let b be (-2)/(-4)*658/7. Does 47 = b?
True
Let g = -9.09 + 9. Let t = 121 + -121. Which is bigger: t or g?
t
Let b(i) = i**3 + 4*i**2 - 5*i - 4. Let l be b(-5). Let o = -15 + 25. Let z = 7 - o. Are l and z equal?
False
Let u = -23 - -25. Suppose u*j = j. Is j equal to -3/13?
False
Suppose 6 = 2*t + t. Suppose -c - 2*r - 3 = 0, -3*r + t*r - 12 = -3*c. Suppose 5*k = c*k. Which is greater: 2/13 or k?
2/13
Let q = 16 + -25. Let t be ((-6)/q*3)/4. Are 1/2 and t equal?
True
Suppose 2 = -z + 9. Is 7 smaller than z?
False
Let o = 0.47 + -0.5. Let n = o + 0.23. Is 2 at least as big as n?
True
Let t = -3.7 + 4. Which is bigger: t or -2/15?
t
Let u be (28/8 - 4)*-16. Suppose -3*i + u + 4 = 0. Is i <= 4?
True
Suppose 11 - 66 = -5*v. Suppose 4*j + v = -1. Which is bigger: j or -1?
-1
Let v be (-18)/1 + -20 + 23. Is v at most as big as -12?
True
Let l(k) = k**2 + k + 4. Let h be l(0). Suppose 4*g = -0*g - h. Let c be -1 - 2 - -1 - -2. Which is smaller: g or c?
g
Let t = 0.13 + 0.07. Let u(i) = -i**2 - 3*i + 2. Let x be u(-3). Let s be (24/20)/((-3)/x). Are t and s unequal?
True
Let g(u) = -u - 5. Let k be g(-7). Suppose 5*v = k*p - 0*p + 17, 0 = -2*v + 5*p + 11. Which is greater: 2 or v?
v
Suppose 5*c - v = 6 + 8, 2*v = -c + 5. Let f be 1/(-57)*-173 - c. Which is greater: f or -1?
f
Let j be ((-2)/(-4))/((-1)/2). Let m = j - -2. Is 2 < m?
False
Suppose d - 6*d - 541 = 4*j, 0 = 3*d - 2*j + 329. Which is smaller: d or -1?
d
Let m = 95/4 - 24. Is m less than or equal to -14?
False
Let r = 122.073 + -0.073. Let h = r - 117.1. Let x = h + -5. Which is smaller: x or 1?
x
Suppose -3*t = 3*p - 9, -5*t + p = -t + 3. Which is smaller: 2.9 or t?
t
Let h be (1/1)/(-1*1). Let r = 7.97 - -0.03. Let b = r - 7.95. Which is greater: h or b?
b
Let v = 33 + -39. Is v greater than or equal to -5?
False
Suppose 0 = 2*x + 2 - 4. Let a(q) = -q**3 + q - 1. Let r be a(x). Let k be (-60)/275 - 2/(-5). Is k at most r?
False
Let j be 8/4*-2*2/8. Is -6/41 at least j?
True
Suppose 4*r + 3*j = 11, -4*r + 4*j + 2 = -2. Which is smaller: r or 12/5?
r
Suppose -2 = -h, 3*g + 2*g + 5*h = 25. Let w(z) = -z**2 - 6*z + 1. Let l be w(-6). Is g <= l?
False
Let w be 2/(-10) + 76/(-120). Let k = -1/12 - w. Which is smaller: k or 1?
k
Let j(i) = i + 1. Let m be j(3). Suppose 0 = -2*s + m, 3*u - s - 9 + 32 = 0. Which is greater: u or -1/2?
-1/2
Let k(a) = -2*a**3 - 2*a**2 + 2*a + 1. Let g be k(-2). Suppose g*y - 15 = -3*c, -y + 9 = 2*y. Which is bigger: c or 1/3?
1/3
Let r(b) = b**2 - 9*b + 1. Let i be r(9). Suppose 0*x + i = -x. Are x and -1 nonequal?
False
Let c = -5 - -9. Let z be c + -2 - 4/2. Let w = 20 - 61/3. Is z >= w?
True
Suppose -10*f - 10*f = -660. Do 34 and f have the same value?
False
Let d be ((-1104)/(-20))/3 - (-4)/(-10). Which is smaller: 19 or d?
d
Let j = -13 + 6. Let x = j - -9. Suppose x*c = -3*c. Which is smaller: -2 or c?
-2
Suppose -i + 4*o - 6 = -0*i, 4*i - 16 = -4*o. Let d be (-1)/(i + -3 + 2). Which is bigger: 3 or d?
3
Let l = -5 - -4. Let c be 4 + 1/l + 2. Let f = c + -3. Is 2 less than f?
False
Let y = 9 - 11. Is -4 at most as big as y?
True
Let m be (1 + (-14)/10)/1. Let v = -0.07 + 0.23. Let n = 0.06 - v. Which is smaller: m or n?
m
Let b = -2.38 - -2.5. Let i = 0.19 - b. Which is smaller: i or -0.1?
-0.1
Let x = -530270/4879 + -21/697. Let v = x - -109. Let a = 0 + -1. Is v >= a?
True
Let w be ((-1)/(-3))/((-10)/12). Let a = -0.9 + -0.1. Let j = 0.8 + a. Which is smaller: j or w?
w
Let b(o) = 2*o**3 - 3*o**2 + 3*o - 3. Let a be b(2). Suppose w - a = -4*g, 0 = w - g + 4*g - 5. Let p(t) = -t + 6. Let z be p(7). Are z and w non-equal?
False
Let w = -0.6 + 0.64. Let d = 0.06 + w. Do d and -0.2 have the same value?
False
Suppose 5*u = -q + 2, 4*u - 6*u + 71 = -5*q. Is 1 less than q?
False
Let r = 26 - 26. Which is bigger: r or -2/13?
r
Let c = -8 - -12. Suppose -4 = c*t - 0. Suppose 5*m = 4*z - 9, 0 = -0*m + 3*m + 4*z - 1. Is m less than or equal to t?
True
Let n = -6/89 + -136/623. Let u(a) = a + 1. Let g be u(4). Suppose j - g = -4*j. Which is greater: n or j?
j
Let d(z) = 3*z + 3. Let y be d(-2). Let v be (-1)/y*(-75)/(-5). Is v less than 5?
False
Let q = -0.4 + -0.7. Let j = -1.1 - q. Is -1 greater than j?
False
Let y = -0.1 - -1.1. Are y and 0.01 unequal?
True
Let q be ((30/21)/5)/1. Is 1 at least as big as q?
True
Suppose 4*k - g = 4*g - 11, 2*k - 8 = -2*g. Which is greater: 2/29 or k?
k
Let a be (2/(-3))/(2/(-66)). Suppose 4*o = 5*k - 23, 3*o - 3*k + a = -4*k. Let q be 22/(-4) - (-6)/(-12). Are o and q non-equal?
True
Let w = -23 + 38. Let h be (-3)/(-2)*(-10)/w. Which is smaller: -3/2 or h?
-3/2
Suppose 5*q = 3*y + 8 + 52, -5*q + 2*y = -55. Suppose -3*z - 2*j = 18, 0*j - 3*j + q = 0. Let l = 6 + z. 