False
Let p(c) = c + 4. Let a be p(-5). Let q be (-828)/(-21) - (-20)/35. Let t be ((-6)/q)/((-8)/20). Do t and a have the same value?
False
Let f = -81/4 + 20. Are 0 and f unequal?
True
Let j = -0.006 + -2.894. Let n = 1 - 4. Let b = n - j. Which is smaller: 2/7 or b?
b
Let t(n) = 2*n**2 + 3*n**2 - n**2 - 5*n**2 - 5 + 5*n. Let q be t(4). Let p = -2 + 3. Is q smaller than p?
True
Suppose -3*q - 1 + 20 = 4*l, -2*q + 4*l - 14 = 0. Which is greater: 2/107 or q?
q
Let g(s) = -s + 13. Let h be g(14). Which is smaller: h or 23?
h
Suppose -4 = f + 3. Suppose -6 = -3*m + 2*m. Let a be m*(1 - (-1 - -3)). Is f >= a?
False
Suppose 0 = -2*z + 2. Suppose 2*r - v = -4, -4 - z = 3*r - v. Is -1 at least as big as r?
True
Let b = 0.05 - 0.05. Let z = -10 + 7. Let o = z + b. Which is smaller: o or -1/3?
o
Let g(u) = -u**2 - 2*u + 3. Let o be g(-3). Which is greater: -1/14 or o?
o
Suppose -2*g = -3*r + 22, 0*r + 3*g = r - 12. Suppose -5*h + 15 = 0, 3*m + 3*h - r = -0*m. Let y be (-8)/14 + 8/14. Are m and y equal?
False
Let o = 8 - 7. Which is smaller: o or 1/44?
1/44
Suppose -j = v - 4, 0 = 5*j + 3*v - 34 + 6. Let c = j + -4. Suppose 4*b + c = 6*b. Which is greater: 1 or b?
b
Suppose 0*b - 5 = 5*b, -122 = -5*y - 3*b. Let f = -26 + y. Which is smaller: f or -8/5?
-8/5
Let k = -2 + 4. Let u = 2 + -0.9. Let c = u + -0.1. Which is smaller: k or c?
c
Let o = -55 + 163/3. Let d = -0.03 + 0.23. Are d and o unequal?
True
Let o(w) be the second derivative of w - 1/6*w**3 - w**2 + 0. Let v be o(6). Is v less than -9?
False
Let c = -9 - -22. Suppose -2*f + 15 = c. Which is smaller: f or 1/2?
1/2
Suppose 4*k - 11 - 5 = -4*m, -40 = -5*k + 5*m. Suppose -3*t = 5*y + 2, y - k*t = -t + 22. Let p be (y/(-18))/(1/(-2)). Is p < -1?
False
Let f = -57 + 58. Which is smaller: f or 4/15?
4/15
Suppose -4 = -3*q - 7. Is q bigger than 3?
False
Suppose 0*f = 3*z + 2*f + 7, 5*z - 5*f = 5. Let b be (-2)/(-7) + 34/(-21). Is b greater than or equal to z?
False
Suppose 0 = -5*g - 7*t + 2*t - 20, -g - 3*t - 10 = 0. Which is smaller: g or 5?
g
Let f = 7.94 - 8. Let p = 0.16 + f. Let m = -0.1 - -0.1. Which is smaller: p or m?
m
Let y(p) = 13*p - 1. Let f be y(0). Does 28 = f?
False
Suppose 2*n - 6*n + 4 = 0. Let x be (6/4 - n) + -1. Which is smaller: x or 0?
x
Let w(f) = f**2 - 5*f + 4. Let v be w(4). Let x = v + 0. Let i be x + 2*(-3)/(-30). Which is smaller: 0 or i?
0
Let o be 3 + 168/(-18) - 2/(-6). Is -3 smaller than o?
False
Let i = 135/7 + -1264/63. Which is smaller: i or 1/4?
i
Let a(z) = -z**2 + 4*z - 2. Let l be a(3). Suppose 3*d - 3 = 3*y, -3*d + 2 = -y - l. Which is smaller: -2/15 or y?
-2/15
Let o = 2 + 0. Suppose 21 = y + o*y. Suppose -3*t + 2*t + y = -5*c, 3*t = -3*c - 15. Is -3 at least c?
False
Let s = -0.9 - 1. Let z = 0.05 + -2.05. Let h = s - z. Which is greater: h or 1/2?
1/2
Let y(h) = 2*h - 5. Let w be y(6). Let m be 8 + -3 + (-3)/(-3). Does w = m?
False
Let u = 3 - -1. Suppose b = -3*s - s + 12, -12 = -5*b + u*s. Let j be 1/b - 0/(-1). Which is bigger: j or -0.1?
j
Let z = 31 + -31. Is z at most as big as -2?
False
Suppose 0 = 5*j - 3 + 48. Let a(q) = q**2 + 10*q + 8. Let w be a(j). Let y be 2/(1*(1 - 3)). Is y >= w?
True
Let s = 5632/35 - 161. Which is bigger: s or 1?
1
Let g = -43 - -44. Which is bigger: g or 7/15?
g
Let d be ((-2)/(-9))/(1/15060). Let j = 3317 - d. Let h = -30 - j. Is 1 less than h?
False
Suppose -l + 3 = -0. Let h be -2 + l + (2 - 2). Suppose 3*w + 1 = o, -3*w - 2*o + 4 = 2*o. Is w at most as big as h?
True
Let z = 1.91 + -1.12. Let o = z + -0.09. Let w = o - 0.7. Which is smaller: 0.4 or w?
w
Let k = 2.9 + -2.8. Let h = -0.3 - -12.3. Is h greater than k?
True
Let v = 0.5 + 10.5. Let z = v - 10.7. Which is bigger: z or 1?
1
Let y be (-10)/(-44) + (-4)/8. Let a = -37/55 - y. Let s = 1/15 + a. Is s smaller than -0.3?
True
Let j = 12 + -9. Which is greater: 0.4 or j?
j
Let y(j) = -j**2 + 2*j + 5. Let c be y(4). Let r be 0/c - 1*-3. Suppose d = -r*d. Are -2 and d non-equal?
True
Let i = 4 + -1. Let g = i + -5. Let p = g - -1. Which is bigger: 1/4 or p?
1/4
Let w = -35 - -35. Let s = 4 - 3.95. Which is smaller: w or s?
w
Let d = 26.56 - 0.56. Let a = d + -30. Which is bigger: a or 1/3?
1/3
Let q = 38355/34 + -1128. Is -1 bigger than q?
False
Suppose 0*m - 1 = -m. Let p be 21/(-36) - m/(-4). Which is smaller: -2/3 or p?
-2/3
Suppose -5*n = 5*s - 20, 8 = 4*s + 5*n - 11. Suppose 4*o + s = -3. Let g = -61/4 - -923/60. Is o smaller than g?
True
Let m = -5 - -7. Let o(s) = -s - 9. Let i be o(-7). Let h = -1 - i. Is m at most as big as h?
False
Let f = 437/15 - 89/5. Let u = f + -11. Which is greater: -1 or u?
u
Let o = -2 + 3. Let l = o - 1. Is -17 at least as big as l?
False
Let d = 22/3 + -248/33. Let r(y) = y**3 + 6*y**2 + 3*y - 9. Let a be r(-5). Is d less than or equal to a?
True
Suppose -4*i = -4, -2*r - 5*i - 6 = -i. Which is smaller: -3/4 or r?
r
Let j(y) = 0 + 5*y**2 - 4*y**2 - 2*y**2 - 3 - 6*y. Let b be j(-4). Is -2 bigger than b?
False
Let y(s) = -s**2 - 8*s - 13. Let q be y(-4). Which is bigger: q or 24/11?
q
Let r(u) = u**3 - u**2 + u + 9. Let h be r(0). Suppose -3*a = 5*s + 9, 2*s = 3 - h. Suppose 5*o + 12 - a = 0. Is o greater than or equal to -2?
True
Let j be (-46)/(-10) - 10/(-25). Suppose 2*t - 6 = 2*l, 2*t - 4*t + 3*l = -j. Let k be t/18 + (-2)/9. Which is greater: 2 or k?
2
Let m = -8 - -8. Suppose 0 = -m*i + 5*i. Let x be i/(-1) + -1 - 0. Which is greater: 1/5 or x?
1/5
Let q = 0 - -0.2. Let b = 3.6 - 1.6. Is q bigger than b?
False
Let y = 0.02 - 1.42. Let m = y - -0.4. Let r = 1.1 + m. Which is greater: -1/3 or r?
r
Suppose -4*s - 13 = 5*c + 8, -3*c = s + 14. Which is smaller: 5/12 or s?
5/12
Let r = -0.2 - -0.7. Is r at most as big as 5?
True
Suppose -b - 18 = 3*p - p, -4*p = 8. Do -13 and b have different values?
True
Let u(b) = b - 15. Let s be u(16). Let a = 1 + -1. Which is smaller: s or a?
a
Suppose -3*w - 34 = 20. Is -18 > w?
False
Let h = 41.2 - 41. Is h greater than or equal to 19?
False
Let v = 0 - -1. Let w be 3 - (35/3)/5. Which is greater: v or w?
v
Let c = -2 + 5. Suppose -c*i = x - 1, -i + 4*x - 21 = -x. Do -3/4 and i have the same value?
False
Let k be -63 + -1 - (0 + 2). Let z = k - -334/5. Let v = 13 - 13. Which is smaller: z or v?
v
Let w be 33102/93 + (1 - -1). Let o = w + -358. Which is smaller: o or 1?
o
Let j = 0 + 2. Let t = 1 - j. Let m = -31 + 28. Which is smaller: m or t?
m
Let p = 4 - 3. Let y = 607/3 + -199. Which is bigger: y or p?
y
Suppose -3*l = l + 4. Which is greater: l or 2/13?
2/13
Let k be 2/4*0/(-1). Let b = -19109107/295 + 64776. Let c = b - -2/59. Is k > c?
True
Let a = -21 + 24. Which is bigger: 2 or a?
a
Let k = -298/5 + 60. Is k at least 0.7?
False
Suppose n + 1 + 5 = 2*u, 3*u - 8 = 2*n. Suppose 4*j + 10 = -4*m - n, 5*m + 15 = -4*j. Which is smaller: j or 2/7?
j
Let z(x) = x**2 + x + 8. Let f be z(0). Let j = -6 + f. Suppose p - j*p - 5 = 0. Do p and -4 have different values?
True
Let k be 2*8014/(-56) - -2. Let u = -284 - k. Which is smaller: 0 or u?
0
Let a = 9 - -2. Let h be (-13)/a + (-2)/(-11). Let u be (-27)/(-24)*2/(-3). Which is smaller: u or h?
h
Let x be (1 + 324/(-328))*-4. Do -1 and x have the same value?
False
Suppose 0 = -3*g - 5 - 7. Let q(d) be the second derivative of -d**3/6 - 3*d**2/2 + 10*d. Let c be q(g). Does c = 1?
True
Let n be -5 + 66/12*2. Which is bigger: 1 or n?
n
Suppose -4 = 3*v - 43. Which is smaller: 14 or v?
v
Let q = -2.2 - -2. Let y = -86 - -83.97. Let u = y - -0.03. Which is smaller: u or q?
u
Suppose 5*x - 3*u - 54 = 0, 21 + 18 = 5*x + 2*u. Let s = 4 - 0. Suppose s*v + w - x = 0, -2*w = -v + 2*v - 11. Is -2/7 greater than or equal to v?
False
Let s = -2.4 + 0.4. Let w = s + 1. Let m = w + 0.8. Which is smaller: -1 or m?
-1
Suppose -j = j - 2. Let l be (-4 - -5)/((-2)/(-12)). Suppose t = -2*t + l. Is t != j?
True
Let c = 2 + -1. Suppose -c = 2*p - 3*p. Let g be ((-2)/3)/((-4)/18). Which is smaller: p or g?
p
Let x = -862/11 + 78. Which is smaller: 0.2 or x?
x
Let j = -79/156 - -7/12. Let b(s) = -s**2 - s. Let n be b(0). Which is bigger: j or n?
j
Let q = -30/19 + 36/95. Suppose 6*y - 7*y - 1 = 0. Is y less than q?
False
Let x be (-34)/51*3/2. Which is smaller: x or 2/23?
x
Suppose -j + 6*j - 40 = n, j + 5*n = -18. Suppose 0 = -3*a + j*a. Let t be 12 + -14 - 8