34
Let g be 1 + -2 + (-63)/14. Which is bigger: g or 0.1?
0.1
Suppose 12 = -4*w + 4*c, 2*w + 26 = -2*c - 0*c. Are -7 and w equal?
False
Let f = 4 - 3. Let z be -1*2*f/2. Let p = 1/56 + -67/616. Is z greater than p?
False
Suppose 33 = 77*l - 66*l. Suppose 3*n = 3 + 6. Is l smaller than n?
False
Suppose 38*h = 26*h. Let y be 1/2 + 54/(-124). Is y at least h?
True
Let d(a) = -a**3 - a**2 - a + 3. Let f be d(0). Suppose -w + o = -6, -o - 1 = f*w - 3. Suppose w = -q + 3*q. Which is greater: q or 2/5?
q
Let a = -18 + 17. Is 2/11 bigger than a?
True
Let u = -4 - -7. Suppose u*t - 4 = -1. Let h be 2/2*1/3. Which is smaller: t or h?
h
Let k(r) be the second derivative of r**5/20 - r**4/4 - r**3/6 + r**2 + 3*r. Let a be k(2). Are -3 and a unequal?
True
Let r(a) = 3*a + 58. Let y be r(-19). Let p = 0 - 1. Let h be -2*p/(-6)*-6. Is h < y?
False
Let m = -9.7 - 25.3. Is m at least -2/7?
False
Let a = 0.7 + -0.6. Which is bigger: a or -1?
a
Let u be (-8)/(-44) + 32/(-297). Is u < 0.1?
True
Suppose -2*w + 12 = -3*q - 5, 4*w - 14 = 2*q. Suppose 2*l - 5 = w. Are 12/5 and l nonequal?
True
Suppose 0*t - t = 5*j + 1, -t = j - 7. Let s be (-2)/t*(-3)/1. Is 0 <= s?
True
Suppose -x = -k + 4, -k + 5*k - 9 = -3*x. Suppose -t + k*q - 4 + 1 = 0, -q = 2*t + 6. Which is smaller: t or 3?
t
Let r = -0.2 + 1.2. Is 1 bigger than r?
False
Let a = -188159/83 - -2267. Does a = -1?
False
Let n = 4 - 4. Let y be n - -3*4/(-6). Which is bigger: y or -3?
y
Let y be -1 - 1/(3/9). Let i = -8 + 5. Let a = i - y. Which is smaller: 1/8 or a?
1/8
Let x be (-4)/14 - (-48)/42. Which is smaller: 2 or x?
x
Suppose 4*d = -13 - 3, -3*d = -t + 16. Let n be (8/10)/(4/(-20))*-1. Is n at least t?
True
Suppose -3*g - 3*g = 174. Which is greater: -28 or g?
-28
Suppose -3*l - 4*c = -17, -3*l + 6*l - 2*c = 23. Let b be (-10)/(-35) + (-2)/l. Is b <= 0?
True
Suppose -6*j = -j. Let o be 11/9 + 4/(-18). Is j equal to o?
False
Let h be 3 + -3 + 2 + 32. Let o = h + -103/3. Let r = 1.01 - 1. Which is smaller: o or r?
o
Let o(x) be the first derivative of 5*x**3/3 + x + 3. Let i be o(-2). Let b be ((-2)/3)/((-14)/i). Is b at least as big as 2?
False
Let k(r) = -2*r. Let c be k(5). Is -11 bigger than c?
False
Let z = 7 + 7. Suppose -3*b + 4*r + 21 + 29 = 0, 0 = 3*b - 5*r - 52. Is b <= z?
True
Let d be (-39)/(-27) - 3/(-3 + 6). Let u(y) = y - 2. Let z be u(3). Which is bigger: d or z?
z
Let y be 0*(-2)/(-6 + 4). Suppose y = -4*a + 3*a - 20. Is -19 not equal to a?
True
Let w = 120.3 - 120. Which is greater: 3 or w?
3
Let o(s) = s**3 - 4*s**2 - 6*s + 3. Let i be o(5). Let h be ((-4)/i)/(-12 + 34). Suppose 0*f = -5*f + a - 3, -5*f + 5*a = 15. Which is smaller: f or h?
f
Let q(x) = 10*x**2 + 2*x + 1. Let f be q(-1). Let t = f - 6. Which is smaller: t or 5?
t
Let c = -5579/244 + 68/61. Let b = c + 22. Which is greater: b or 2?
2
Suppose -3*p + 53 + 10 = 0. Does p = -1?
False
Let c(n) = 2*n - 1 - 5*n + 4*n. Let b be c(1). Which is smaller: -1 or b?
-1
Suppose j = 2*j - g - 3, -4*j + 5*g + 17 = 0. Let o be 1/j - (0 + -1). Is 0 > o?
False
Let l be ((-2)/(-6))/((-3)/27). Which is bigger: -1 or l?
-1
Let n be ((-12)/(-10))/((-18)/(-45)). Let w be (6/n)/((-28)/6). Is 1 bigger than w?
True
Let j be (-2 - (2 - 2)) + -14. Let c = j - -69/4. Suppose -2*n - n - 18 = -3*y, -3*n - 6 = 3*y. Is y greater than or equal to c?
True
Let u = -109 - -34. Let o be u/(-10)*(-2)/3. Suppose -h + 1 = 5. Are h and o non-equal?
True
Suppose 4*n - 8*n = 44. Let t be (2 - 1) + 8 + n. Is t > -1?
False
Suppose -2*a + 3 = 2*a - 3*c, -3*a = -2*c - 1. Let p be a*(8/(-21))/4. Is 3/2 at most as big as p?
False
Suppose -5*b - 1 + 6 = 0. Is b at most 2/3?
False
Let i be (135/40 - 3)*2/(-9). Which is bigger: 1 or i?
1
Suppose -3*i + 3 = -6. Let r be (2/(-6))/((-2)/i). Let z(f) = -f**3 - 6*f**2 - 4*f + 7. Let j be z(-5). Is j at least r?
True
Let o be 33/15 - (-6)/(-9)*3. Let g be -2 - 2*(-9)/6. Is o less than g?
True
Let o = -2 - -2. Which is greater: -13 or o?
o
Let g(c) = c**3 + 9*c**2 + 2*c + 11. Let j be g(-9). Which is greater: -13/2 or j?
-13/2
Let o = 0.2 + -1.2. Let k = 10 - 4. Let y = 4 - k. Which is smaller: y or o?
y
Let r = -4 + 7. Let k = 2 - r. Let p = -27 - -82/3. Is p > k?
True
Let g be 10/12 + 3 - 3. Let h = -324 + 9721/30. Let r = h - g. Do r and 0.1 have the same value?
False
Suppose -2*x = -4*m - 6*x - 8, -5 = 3*m + 2*x. Which is smaller: m or 0.7?
m
Suppose -5*d + 16 = -4. Let o = 7 - d. Suppose o*j = -1 + 7. Is 4 < j?
False
Suppose 3*d = -2 + 11. Is d < -1?
False
Let l = 18 - 20.1. Let h = l - -2. Let s(o) = o + 5. Let i be s(-4). Which is smaller: i or h?
h
Suppose n = 4*t + 9, 8*n + 4*t + 3 = 3*n. Let q = 6/11 + -25/66. Do q and n have different values?
True
Let m be (-4 + 4)/(-1 - -2). Is m at most as big as -1?
False
Let m = -6/17 + 86/51. Are m and 2 equal?
False
Let x be 7 + -2 - 1/1. Let d(h) = 5*h**2 + 2*h + 5. Let u(y) = -4*y**2 - 3*y - 4. Let z(a) = x*u(a) + 3*d(a). Let m be z(-6). Is m at most as big as 0?
True
Let k(i) = -i**2 - 7*i + 13. Let g be k(-9). Let q = -9 + 3. Which is smaller: q or g?
q
Suppose -2*q = 2 - 6. Suppose b + 3*b = 2*y + 6, -5*y = q*b + 3. Let c be 2*b/(-10)*-2. Does c = -1?
False
Let t = -1 + 2. Is t greater than -2/119?
True
Let v = 3/4 - 23/28. Is v at most -1?
False
Let z = 195 - 3703/19. Which is smaller: z or 9?
z
Suppose 0 = 3*b + b, -3 = 3*d - 5*b. Suppose 5*m = -6 - 4. Do m and d have the same value?
False
Let v = 0.02 - -0.28. Let g = 0.43 + -0.03. Let a = g - v. Is a at least -2/7?
True
Let p be 3 - -1*3/(-1). Let i(m) = -m**2 + 3*m - 3. Suppose -2 = -2*s + 2. Let k be i(s). Are k and p equal?
False
Let n(x) = 3 - 3 + x. Let w be n(2). Suppose -m + w*f - 2 = -0, 2*f = 0. Which is bigger: -3 or m?
m
Suppose 22 = -d + 4*y, 0 = -4*d + 3*y - 17 - 6. Let b = d - -4. Let p be -6*2/(-4) - 2. Which is greater: b or p?
b
Suppose 5 = 5*p - 0*p, 0 = -5*r - 3*p - 107. Which is smaller: r or -20?
r
Let u be 4/(-10)*10/8*-20. Do u and 2 have the same value?
False
Let x = 1 + -1. Let m = x - -1. Is m < 3/8?
False
Let f = -3.1 - -3. Let m = -0.01 + 5.01. Let w = 7 - m. Does w = f?
False
Let q be 3/2 - 1/2. Suppose -q = -m - 0. Which is greater: m or 1/8?
m
Let h be (-3 + (-166)/(-52))*426. Let f = 82 - h. Is f not equal to 1?
True
Suppose 0 = 3*z + 5*t, 3*z = 8*z - 3*t. Which is smaller: -1/2 or z?
-1/2
Let b = 1.1 - 0.1. Let u = 199 + -196.01. Let k = u + 0.01. Which is smaller: k or b?
b
Suppose 0*a - a = 3*a. Which is bigger: 8/7 or a?
8/7
Let o = -19 + 11. Let g be (-2)/(-6) + o/6. Is g < -2/45?
True
Let g be 226/14 + (-3)/21. Suppose -4*s = 16 + g. Let c = 3 + s. Which is greater: -3 or c?
-3
Let x be 2 + 0 - (-20)/(-11). Suppose 4*s = -4*j - 0*s - 4, 3*s - 6 = 0. Let g(o) = o + 2. Let b be g(j). Which is smaller: x or b?
b
Let f = 1 - 3. Which is greater: f or 3?
3
Let s(m) = m**3 + 2*m**2 - 3*m + 2. Let r be s(-3). Suppose r*k = 2*c, 3*k + c + 2 = 2*k. Is 1/7 greater than or equal to k?
True
Let s = 19/46 - -2/23. Let q = -0.4 + 0.39. Let g = -3.01 - q. Do s and g have the same value?
False
Let d(b) = b**2 + 3*b - 5. Let x be d(-4). Let m = -10 - -14. Is x != m?
True
Let t(y) = -y - 1. Suppose -25 = -3*k - 2*u, 4*u - 20 = -0*u. Suppose -2 = k*n + 3. Let p be t(n). Which is smaller: 6/5 or p?
p
Let u be 2 + -5 - 2435/(-815). Let y = u - 646/489. Which is bigger: -2 or y?
y
Let t(k) = 2*k**3 - 2*k**2 + 2*k - 1. Let s be t(1). Which is greater: -2 or s?
s
Let x(b) = b**2 - 4*b + 2. Let r be x(6). Let f = r - 10. Let g(i) = i. Let c be g(4). Is c less than or equal to f?
True
Suppose 0*b - 52 = -3*h - 4*b, -2*h = -4*b - 8. Is h less than or equal to 11?
False
Let l be (8/130)/(2/5). Let h = -25 - -24. Which is greater: l or h?
l
Suppose 9 = 2*l - 5*z, 4*l + 32 = 2*z + 10. Let a = l - -13. Suppose 0*j = -a*j + 25. Which is greater: 4 or j?
j
Let n = 172 + -263. Let z be 28/n*2/4. Does 1 = z?
False
Let h = -632601/1081094 - 6/2491. Let c = 1/62 + h. Is c smaller than -1?
False
Let f be (3 + 156/(-54))/((-2)/(-12)). Which is greater: f or -3/2?
f
Let o be 6*-1*(-25)/10. Which is smaller: 14 or o?
14
Let c = 65 - 651/10. Do 1 and c have the same value?
False
Let p be (-4)/(-12) - 8/6. Let x = -1 - p. Let c be (-10)/(-5) + 10/(-4). Which is greater: c or x?
x
Let w = 165 - 657/4. Is 2 at most w?
False
Le