14)/12 + 4/12. Let f = -11/24 - y. Is -1 at most as big as f?
True
Let f(c) = c + 4. Let i be f(3). Suppose -8 - i = -5*q. Suppose -2*w = 5 - q. Which is bigger: 1 or w?
1
Suppose -66 = -d - 0*d. Let m be 1 - (-29)/d - 2. Let f = m + 2/33. Is f < 1?
True
Let d be (6/15)/(18/15). Which is bigger: d or 0.1?
d
Suppose 4*g = 3*x + 26, -x - 2*x + 19 = 5*g. Suppose c + 3*s + 8 = 2*c, -5*s = 20. Let y = -7 - c. Is x less than or equal to y?
False
Let l = -8 + 8. Let s = -1/4 + 7/8. Which is greater: s or l?
s
Let y = -7.8 - -8. Let f = -0.2 - y. Is 0.2 >= f?
True
Let d(x) = -x**3 - 6*x**2 + x + 4. Let a be d(-6). Which is smaller: -3 or a?
-3
Let n be 5 + (-4)/4*4. Let f = -0.3 - -0.8. Is f < n?
True
Let y(l) = l**2 - 1. Let m be (-2 - 15/(-9))*-3. Let j be y(m). Suppose j = 5*v - 2*v + 9. Is v greater than or equal to -3?
True
Suppose 60 = -f - 4*f. Let o be (3/((-9)/f))/(-1). Which is greater: -8/3 or o?
-8/3
Let w be 46/(-10) + (-9)/(-15). Do w and -4 have the same value?
True
Let t be 451/308 + (-1)/(-4). Is t greater than 2?
False
Let c be 12 + (0 + -1 - 2). Suppose c*t - 8*t = 0. Which is smaller: t or -1?
-1
Let i be (-44)/(-7) - 6/21. Let d be i/4*20/(-15). Do d and 0 have the same value?
False
Let c = 4 + -6. Let a = 6 + c. Suppose 0 = 2*p - a*p. Which is greater: -1/2 or p?
p
Let k = -2.8 + 2.7. Is k less than 0.8?
True
Let k = 7 - 5. Let n be (-4)/6*(-3)/(-2). Let h be (-1 - n)/(k/(-2)). Which is smaller: -1 or h?
-1
Let w be 6/21*3/3. Which is greater: w or 1?
1
Let j(c) = -c**3 + 3*c**2 + 3*c - 9. Let k be j(-3). Which is smaller: 37 or k?
k
Suppose -b - 2 = -3*b. Suppose -b = -2*u - 9. Are -4 and u unequal?
False
Suppose 0 = -3*h + h - 5*g - 6, 2*h = 2*g + 8. Suppose 0*m - y = -h*m + 8, 5*m - 14 = y. Which is smaller: -2 or m?
-2
Let o be (-2)/14 + 0 + (-29)/(-7). Is o < -2?
False
Let t be 2/(-6) + (-2260)/(-75). Let z = t + -30. Which is greater: z or 0.1?
0.1
Let p be ((-2)/(-4))/(1/(-2)). Let v = p - -1. Suppose 0 + 2 = -2*j. Which is greater: j or v?
v
Let j be (-3)/(-4)*16/30. Suppose 2*r + 4 = -0*r, 2*r + 44 = -5*w. Which is bigger: j or w?
j
Let q = 0.43 + 2.27. Let m = -3 + q. Which is smaller: m or -1/4?
m
Let o = 4 - 7. Let n be (2 - 2) + 10 + o. Are n and 6 equal?
False
Let u = 5 - 9. Let y = -1 - u. Let p = 4 - y. Are p and 1/3 nonequal?
True
Let g = -0.34 + -0.02. Which is greater: g or 1?
1
Let i = -0.43 - 18.57. Let l = 19.03 + i. Is l greater than 0.1?
False
Let k(q) = -q**3 + 9*q**2 + 2*q - 8. Let b be k(9). Is b bigger than 0.04?
True
Let k = 44 - 222/5. Let g = 61.95 + -62. Does k = g?
False
Suppose -3*q - 171 = 3*s + s, 0 = 4*q - 12. Let t be s/4 - (-6)/24. Which is greater: -10 or t?
-10
Let x(q) = -q**2 + 6*q + 9. Let a be x(7). Let j = 4 + 11. Let h = j + -27/2. Which is smaller: a or h?
h
Let a = -329/2355 + 1/157. Let t be (-2)/(-15) - (-52)/(-60)*-1. Which is smaller: t or a?
a
Let s = 16 + -8. Suppose s*a - 10*a = 0. Is 3/14 > a?
True
Let s = 3142 + -66086/21. Let g = -30/7 - s. Which is bigger: g or 3?
3
Let q = 42 + -19. Which is greater: 0.1 or q?
q
Let w be 6/1*8/12. Suppose 3*o = -4*x + 8 + 8, -4 = w*o - x. Let m be (-1)/4 - 11/(-12). Is o less than m?
True
Let n be -1 + 6 - (-1 + 3). Suppose 3*h - 9 + n = 0. Let s = 4 - 3. Which is greater: s or h?
h
Let k be -3*(-4)/3*1. Let g be ((-4)/3)/(1/(-3)). Suppose n + 1 = b, -2*n + 28 = 2*n + g*b. Which is smaller: n or k?
n
Let n = -9 + 14. Suppose 5*z + n*r - 9 - 11 = 0, -z + 2*r = 11. Is z bigger than 0.03?
False
Let d(i) = -2*i + 1. Let k be 0/(-1 - -1 - 4). Let j be d(k). Which is greater: 14/9 or j?
14/9
Suppose -2*d - 14 = 3*y + 16, 4*d + 5*y + 56 = 0. Which is greater: d or -8?
-8
Suppose -u + 4 = -5*u. Is 0 >= u?
True
Suppose 3*o - 3*w + 42 = 12, -2*o + 4*w - 30 = 0. Which is smaller: o or 0.2?
o
Let u be (-16)/(-10) - (-6)/15. Suppose -u*z = -z. Is z equal to 0?
True
Let v = -0.2 - -0.6. Let x be (3 - 2) + 10/(-18). Let a = -1/18 - x. Do a and v have different values?
True
Let r = 8.42 - 7.4. Let x = 0.02 - r. Let n = x + 1. Which is bigger: -1 or n?
n
Let b = 1036 + -1026.79. Let k = b + -1.01. Let x = k + -8. Which is smaller: x or -2/5?
-2/5
Suppose 4*l = -3*r + r + 12, -5*l + 4*r + 15 = 0. Are -21 and l equal?
False
Let g = 24 + -8. Suppose v = 5*v + g. Which is smaller: v or -3?
v
Suppose 12 = -h + 3*n, -3*n = 5*h + n - 16. Let u be -1 + h/3 + 1. Let g(m) = m**3 - m**2 - m + 2. Let j be g(u). Which is smaller: j or -2?
-2
Let z(t) = t**3 - 12*t**2 - 12*t - 6. Let d(g) = -2*g**3 + 25*g**2 + 25*g + 11. Let b(o) = -4*d(o) - 9*z(o). Let v be b(9). Is v > 3?
False
Let r be 1 + -1 - (0 + 2). Let n be 0/(2/r) - 1. Let g = -13/44 - -1/22. Which is smaller: g or n?
n
Suppose 2*l - 43 = 11. Let r be 8/(-20)*(-15)/l. Do r and 1/2 have different values?
True
Suppose 5*r - 8 = -2*c, -4*r - 2*c = -11 + 3. Let u = 2/7 + -47/140. Is u smaller than r?
True
Suppose 3*h = 2*h. Suppose 2*r + t = r - 9, -23 = 3*r + 2*t. Let g be (6 - -1) + r + 2. Which is smaller: h or g?
h
Let g = -172/11 + 2675/176. Does g = 1?
False
Suppose 13 = 5*s + 3. Let k be (-16)/20*s/(-4). Let h = -1.3 - -0.3. Do k and h have different values?
True
Let g(n) = n**3 - 8*n**2 + 4*n + 1. Let c be g(7). Which is smaller: -18 or c?
c
Let p(c) = -c**3 + 4*c**2 + 5*c - 1. Let u be p(5). Let m be 2 - (1 - u)*1. Is 0 at most m?
True
Let t = 10.21 - 0.21. Let w = -11 + t. Is w at most 0?
True
Let f be (4/8)/(1/12). Suppose -w = 3 - f. Which is greater: w or 2?
w
Let p(i) be the second derivative of -1/3*i**3 - 1/2*i**2 - 3*i + 1/6*i**4 + 0. Let m be p(-1). Which is bigger: m or 0?
m
Let g = 8 + 6. Let x be (-14)/(-49) - (-52)/g. Suppose 0 = 5*r - x*r. Is 3/4 bigger than r?
True
Suppose -3*x + 20 = 2*x - 5*l, -l - 1 = 2*x. Let d = -220/3 - -75. Is d < x?
False
Let p = -5.8 - -6. Let b = 2.8 + p. Let u = 2/9 + 1/9. Is u != b?
True
Let i = -14 + 13. Is i less than or equal to -0.2?
True
Let m = 95698/5 - 19242. Let x = -102 - m. Is x > 2/5?
False
Let b(i) = i**3 - 1. Let z be b(2). Let v = z + -4. Suppose 2*q = 3*o + v, 0*q + q - o - 1 = 0. Is 0 > q?
False
Let s = -16 + 16. Is -2 less than or equal to s?
True
Let c = -259/3 + 87. Is c bigger than 7?
False
Let m(f) = f**2 - 10*f + 17. Let b be m(9). Let t be 237/12 + (-6)/b. Is t != 18?
True
Let p = 16 - 15.65. Is 1 > p?
True
Let c = 12 - 8. Let a be c/(-18)*(-21)/(-70). Is a equal to -1?
False
Suppose 2*x - 20 = -2*x. Let o(n) = 2*n**2 + 2*n - 3. Let v be o(x). Let f = 283/5 - v. Does f = 1/3?
False
Let y = -92/99 + 9/11. Let j = -4 + 3. Is j >= y?
False
Suppose -4*w - 2*q = 0, -q - q = -w + 10. Let k(x) = 3*x**2 - 1. Let o be k(3). Suppose 4*g - o = -3*t, -7*t + w*t - 10 = -4*g. Is t less than or equal to -2?
False
Let n be -3*(1 - 1 - -1). Let c(w) = w**2 + 8*w + 3. Let d be c(n). Is d > -12?
False
Let r = 16 + -16.5. Let l = 0.4 + r. Which is bigger: l or 0.7?
0.7
Let m be 3/4 + (-4)/(-16). Let s = m - -3. Suppose -s*b = b. Are b and 1/3 nonequal?
True
Let j = 0 + 0. Suppose 0 = l - j*l. Is 1 at most l?
False
Let x = -42 - -40. Let a = 0.1 + -0.11. Which is greater: x or a?
a
Suppose k = -k - 12. Let i be (-1)/(-1)*(k + 0). Let c be i/9 - 30/9. Is c >= -5?
True
Suppose 7*h = 2*b + 3*h - 6, -3*h - 7 = b. Which is smaller: b or -3/20?
b
Let s be 1/(-3) + 102/(-18). Let f be 1/3 + (-10)/s. Suppose 3 - 1 = f*t. Is 0 at most as big as t?
True
Let v = -0.06 - -2.06. Is v > 2/7?
True
Let y be (-621)/(-6) + 10/5. Let u = y + -2113/20. Which is greater: u or 1?
1
Suppose 0 = -14*p + 15*p - 3. Which is smaller: p or 0?
0
Suppose -3*c + 22 = c - 2*g, 0 = -2*c + 5*g + 23. Suppose 2*o + 3*r = -15, c*o + r = 5*r + 20. Suppose 8 = -o*u + u. Do 7 and u have the same value?
False
Let k = 11 - 11.09. Let f = k + -0.31. Are -0.1 and f equal?
False
Let h = 7 - 3. Let q = -44 + 44.2. Which is greater: h or q?
h
Let d(q) = -5*q - 2. Let r be d(0). Is 1.7 < r?
False
Let m = 4 - 2. Suppose 0 = -3*n - 5*u + 6 - 2, m*u - 10 = 3*n. Is -2 greater than n?
False
Suppose -2*q + 3*i + 6 = 0, -5*i + 13 = 2*q - 9. Let x be 0 - 4/2 - (11 + -9). Let a be (-3)/q*(x + 3). Which is bigger: -0.1 or a?
a
Let u = 0.9 + -1. Let p = -3.54 + 0.64. Let q = -0.9 - p. Is u at most as big as q?
True
Suppose 88 = 9*n + 43. Is 1 at most n?
True
Let g = 798 - 27936/35. Let k = -151/140 + g. Is k <