f?
False
Let p = -9 + 9. Let v be (12/(-750))/(1/(-5)). Which is greater: p or v?
v
Let p be (-2*3/2)/(-1). Suppose 0 = -t + p*t + a - 3, -2*a = 3*t - 6. Let x be 2/(-11) - 56/(-66). Is x < t?
False
Let k = 0.2 - 0.3. Suppose -3*o = 2*o + 5*p - 15, -9 = -3*o + 2*p. Which is smaller: o or k?
k
Let d be (-7)/(-14)*-1*1/(-2). Let y = -0.01 + -1.99. Are y and d non-equal?
True
Let b be (0 - 0)/((-10)/(-5)). Let y be ((-2)/5 + 0)*-5. Let i = y + -3. Is i less than or equal to b?
True
Let h = -295 - -296.99. Let a = h - -0.01. Which is smaller: 5 or a?
a
Let j = 81/190 - 1/38. Suppose 0 = -0*u + u + 3. Let x be (-10)/u*21/14. Is x bigger than j?
True
Let c = 14 + -17. Let r = c - 2. Is -4 less than r?
False
Suppose 2*u - f - f = 30, -f - 45 = -3*u. Do u and 15 have the same value?
True
Let u be ((9/6)/(-3))/(-1). Suppose -4*y - 2*t + 24 = t, 2*y - 4*t + 10 = 0. Suppose 0*o = 3*o - y. Is u greater than o?
False
Suppose -m - 4*b - 22 = m, 3*b - 66 = 4*m. Let g be 9/(-15) + 6/m. Is -1 greater than or equal to g?
True
Let s be (1 - 5/3)*-6. Suppose 2*y - s*y - 16 = 0. Which is smaller: y or -7?
y
Let b = -1 + -1. Let j = -3 - b. Let f be 10/9 - (-3)/(-3). Which is smaller: f or j?
j
Let t = 6/43 - -63/473. Which is smaller: t or 0.1?
0.1
Let j = 2/3905 + 66373/23430. Are j and 3 nonequal?
True
Suppose 0 = -4*a - 3*z + 6, 0 = -2*a + a + z - 2. Suppose 0 = q - 0*q - 6. Suppose -w - 2*w + q = a. Is w equal to 3?
False
Let u be -1*(217/219 + -1). Let j be (-673)/(-24)*(-1)/((-73)/(-1)). Let q = u + j. Which is greater: q or 1?
1
Let s be (-1 - -2)*(-1 - 2). Let b = s + 3. Suppose -q - 2 + b = 0. Which is smaller: q or -0.1?
q
Suppose -2 = -i - 9. Which is greater: i or -6?
-6
Let u = 6 - -6. Let h = 12 - u. Which is smaller: -4 or h?
-4
Let g(o) = -2*o**2 + 2*o + 1. Let i be g(2). Let n = i + -1. Let u = n + 6. Is u <= 1/2?
False
Suppose -2*g = 2*g + 16. Let i = g - -5. Let s be -1 - 1 - (1 + i). Which is smaller: -5 or s?
-5
Let g(k) = -k**3 - 7*k**2 - 4*k + 12. Let j be g(-6). Suppose -s + 4 = 0, -s + 0*s = -4*z - 32. Is j <= z?
False
Suppose -3*c = -3*d - 2*d + 24, -3*d - 2*c + 3 = 0. Suppose 2*s - 1 = s. Are s and d equal?
False
Let w(g) = -2*g - 8. Suppose -2*u = -4*u - 12. Let v be w(u). Let d be -2 + (-7)/(-2 - -1). Is d greater than or equal to v?
True
Suppose -4*p + 8 = -76. Suppose -6*d + p = -3*d. Let w = 6 - d. Which is greater: 1/8 or w?
1/8
Let d = 0.3 - -6.7. Let g = 4 - d. Is -2 != g?
True
Suppose -4*v + 10 + 0 = 2*q, 25 = 5*q. Let b be 3 - 1 - 72/54. Which is bigger: v or b?
b
Suppose -4*f - 33 = 5*l, 2*f + 3 = -5*l - 6. Let g be (1/3)/((-16)/f). Which is bigger: g or -2/3?
g
Let m = 26 + -27. Which is bigger: m or 5?
5
Let b be 4/(-1) - 92/(-16). Are 1 and b nonequal?
True
Let y = 5 + -4. Let i be (1/(-4))/(y + 0). Are 0 and i unequal?
True
Let l = 43 - 61. Let k = -15 - l. Is k bigger than 2/3?
True
Let m = 5 + -2. Suppose -3*p + m = -4*p. Let x(w) = w**2 + 8*w - 21. Let r be x(-10). Is p <= r?
True
Let c be 4 + 52/(-16) + 50/8. Which is smaller: c or 9?
c
Let z = 61/810 - -2/81. Let b = -2 + 2. Is b != z?
True
Let o be (0/(-4) - 5) + -2. Which is greater: -8 or o?
o
Suppose 0 = 7*n - 2*n - 15. Which is greater: 2 or n?
n
Suppose 7 = -a + 3*s - 1, 1 = -5*a + 2*s. Which is greater: a or -4/3?
a
Suppose 50 + 0 = -3*k - y, 50 = -5*k + 5*y. Is k equal to -17?
False
Let i be (-1 - -2) + -1 - -6. Let x be (-10)/i + 4/6. Let z be x/(2 - 3)*1. Which is greater: z or 0?
z
Let d = -38 - -37. Let f(p) = -p + 1. Let m be f(2). Let i = m + 1. Which is smaller: d or i?
d
Let s be -1*(1 + 1 + 1). Let m(r) be the first derivative of -r**2/2 - 2*r + 4. Let j be m(-2). Are j and s non-equal?
True
Let i be (6/(-30))/(24/30). Do -3/13 and i have the same value?
False
Let k = 100 + -99. Let x = 2/67 - -59/268. Which is greater: k or x?
k
Let g(j) = -10*j**2 + 2*j**3 - 8*j - 4 - 3*j**3 + 2*j**2 - 3. Let m(s) = -s - 12. Let x be m(-5). Let u be g(x). Is u at least as big as 2/5?
False
Let x(y) = -3*y + 19. Let l be x(5). Is l < -1/3?
False
Suppose -4*x - q - 2*q = 0, -5*x + 5*q = 0. Let b be (-4)/(-14) - (-261)/42. Let f = 6 - b. Which is smaller: f or x?
f
Suppose -8*a + 9 = f - 4*a, -f + 5*a = 0. Let m be (f - 3)/(1/(-2)). Is m equal to -4?
True
Let x be (0/3 - -1)*1. Let z be (1/((-1)/(-3)))/x. Let r be -1*z/(0 + 3). Which is bigger: 1/3 or r?
1/3
Let j = -26 - -37. Is j greater than or equal to 11?
True
Let t be 52/16 + 1/(-4). Let h(b) = -1 - 6*b**2 - b**t + 5*b - 3 - 12*b. Let n be h(-5). Is 7 at least as big as n?
True
Let k(l) = l**3 - 6*l**2 + 4*l + 1. Let u be k(5). Let a be (-9)/(-2) - (-2)/u. Is 4 bigger than a?
False
Suppose -5*i + 2*i + 15 = -3*n, 2*n - 4*i + 18 = 0. Let f be 2/n + (-4 - -8). Is 0.1 at least f?
False
Let m(y) = y**2 - 9*y + 36. Let n be m(7). Which is bigger: n or 25?
25
Suppose -83*m + 87*m = -564. Is m at most as big as -0.1?
True
Let o = 0.2 - -0.8. Suppose 5*x = -0*x. Which is bigger: x or o?
o
Suppose 2*n - 3 = 5. Suppose -5*x = n*k - k + 12, -4*x - 20 = 5*k. Suppose x = 4*q - 14 + 2. Is 4 smaller than q?
False
Let n = -0.39 - 0.01. Let b = -0.3 - n. Let g = b + -0.2. Which is smaller: g or 1?
g
Let f(j) = -j**2 + 13*j - 16. Let h be f(11). Suppose x - 9 = -3*c - 2*x, 2*c + h = x. Let b(g) = -g**3 - 6*g**2 + g + 6. Let w be b(-6). Is c at most w?
True
Let r = 0.1 - 0.1. Let x = -24.3 - -25.1. Which is smaller: r or x?
r
Let x = 2 - 1.94. Let u = x - 2.06. Let s be 2 + 1/((-2)/3). Does s = u?
False
Let k = 1.2 - 5.2. Which is greater: 2 or k?
2
Let w be (-558)/(-42) + -1 + (-4)/14. Is w at least 13?
False
Let i(g) = 0*g**2 + 7*g + 2*g**2 + 3 - 3*g**2. Let y be i(5). Is y at most 13?
True
Let x = -0.2 - 0. Let s = 8 + -8. Let b = 0 + s. Is b equal to x?
False
Let d be (0 - (1 + -3)) + -3. Let x = 2/25 + 3/25. Let u = x + -13/15. Which is bigger: u or d?
u
Let s(c) = -3*c - 77. Let v be s(-21). Are 0.1 and v equal?
False
Let w = -0.47 + 0.5. Let y = w + 0.07. Let q = 2 + -4. Which is greater: y or q?
y
Suppose 5*x + 3 = 2*x. Which is smaller: 2/43 or x?
x
Let p be (-1)/(-2)*-4*-1. Let a be -2*p/4 + -3. Which is smaller: 1 or a?
a
Suppose 0*m - 4*m = -5*y + 83, 3*m + 5*y + 106 = 0. Let g be (-249)/m - 6/27. Is 8 at most as big as g?
True
Let g = 11.72 - 12. Let x = 0.03 - g. Let l = 0.01 - x. Is 1 less than l?
False
Let q(z) = -6*z - 6. Let n be q(-11). Let s be (-42)/n - 2/(-4). Which is bigger: s or 1?
1
Let w = 34 + -42. Which is smaller: 1 or w?
w
Let m = -0.78 - -0.08. Let t = m + 0.5. Which is smaller: 1 or t?
t
Let x(l) = -7*l + 13. Let v be x(4). Is v at most as big as -14?
True
Let n = 15.6 + -15. Let s = 0.02 - -0.38. Let f = n - s. Which is greater: f or 0?
f
Suppose 4*s - 6*s + 68 = 0. Let i be -11 + 8 + s/12. Is 1 <= i?
False
Suppose 2*j - 36 = -j. Suppose 4*s + 12 = -o, 0*s - j = 4*s - 4*o. Which is smaller: -4 or s?
-4
Let l be 4 - 2*6/4. Let t = l - -1. Let c be 9/(-36) + t/8. Is c bigger than 0?
False
Let u(o) = -o**3 - o**2 + o - 1. Let n be u(-2). Let q be (-7 + 3)*(-1)/(-14). Is n smaller than q?
False
Let f = 309/7 + -41. Is 4 > f?
True
Suppose 3*i = -2*i + 20. Is i less than or equal to 2?
False
Let t be (-5)/(-36) + (-73)/292. Let a = -1 + 1. Let w = a - -1. Is w greater than t?
True
Let d be (7/3)/(2/12). Which is greater: 15 or d?
15
Let l = -1/120 + 247/840. Let z = 7 + -4. Suppose 0 = -z*c - 0*c + 3. Which is bigger: c or l?
c
Suppose 0 = 3*a + 2*a - 40. Suppose 0 = 5*x - 3*x - a. Let m be (-1 - (-6)/x)/(-1). Which is bigger: 8 or m?
8
Let x = -0.48 - -0.3. Let s = x - -0.08. Is 0.2 at least as big as s?
True
Let u(w) = -5*w**3 + 4*w - 1. Let a(b) = b**3 + b**2 - b - 1. Let r(h) = -6*a(h) - u(h). Let y be r(-6). Are y and 0.1 non-equal?
True
Let j be 4/((-16)/66) + 2. Suppose -2*c - 55 = -5*u, c + c + 4*u = -10. Let x = c - j. Is -1/2 at most x?
True
Let k be (24/(-20))/(6/20). Let g be (-14)/k*(-16)/(-28). Suppose b = 3*b + g. Which is bigger: b or -1/2?
-1/2
Let q = 8571/10 - 858. Is q smaller than 0?
True
Suppose -8 + 4 = 4*t. Let b be 0 + (-3)/(1/t). Suppose -b*f = -4*o + 9, -4*o + 0*o + 15 = 3*f. Which is greater: 2/3 or f?
f
Suppose 3*r + 13 = l, r + 3*l = 5 - 16. Let d = r + 10. Suppose 2*h = 2*j - 3*j - 15, -45 = d*j + 4*h. Are -2/5 and j nonequal?
True
Let s = 10 + -14. Which is smaller: -