 p. Is q at most -2/5?
False
Let g = 5 - 0. Suppose 0 = -g*n - 3*d + 46, 2*n + n = 5*d + 14. Is 8 equal to n?
True
Let x be 5*(34/(-10))/(-1). Is 0.1 < x?
True
Let m = 22 + -19. Is m at most 0?
False
Let c be (0*(-2)/6)/1. Which is smaller: c or 2/17?
c
Suppose -4*d = -4*y - 4, 0 = 5*d + 3*y + y - 41. Suppose -5*w - p + 10 = 0, w + 3*w - d*p = -21. Let k = 136/11 - 1790/143. Is w <= k?
False
Let o = -0.46 + 0.5. Let y = o + -2.04. Which is bigger: y or 0.1?
0.1
Let z = 2.96 - 3. Is z <= 1/5?
True
Let u(i) = i**2 - 1. Let b be u(4). Which is greater: b or 76/5?
76/5
Let f = 2242/63 - 346/9. Does f = -4?
False
Let h = 0.2 + 0.1. Let p = 0.97 - 1. Let t = p + -0.97. Which is smaller: h or t?
t
Suppose -2*y + 63 = y. Let n = -13 + y. Which is greater: n or 2/3?
n
Suppose 5*r + 291 = 4*z, z = -2*r - 0*r + 89. Is z <= 80?
True
Let h be (2/12)/(-3*(-3)/15). Which is greater: h or 0?
h
Suppose -3*s = s + 24. Let f = -20 + 15. Is f <= s?
False
Let v(q) = q - 9. Let z be v(7). Let j = -7759/12 + 646. Let u = j + -1/6. Which is bigger: z or u?
u
Let p = 4/749 - -2123/23219. Is p smaller than 0?
False
Let t be 1 - 7/(196/2832). Suppose 3*r + 85 = 2*r - 3*b, 2*r + 185 = -3*b. Let n = t - r. Is n not equal to 0?
True
Let u = 1 + 2. Let m be (-14 + -2)/((-6)/u). Suppose 2*g + 25 = 5*p, 5*p - 4*g - m = p. Which is smaller: 0.1 or p?
0.1
Let w be (-168)/27 + ((-10)/(-9))/5. Which is bigger: w or -0.1?
-0.1
Let y = -4 - -7. Let s = y - 3. Which is smaller: -3 or s?
-3
Suppose 10 = -5*c + k, k - 24 = 4*c - 3*k. Let w = 0.07 + 0.13. Is c < w?
True
Let r = -4 - -3. Let f(b) = -9*b**2 - b. Let m be f(-1). Let c(z) = z + 7. Let l be c(m). Is l != r?
False
Let k = 6 - 136/23. Let l = k - 152/161. Suppose -2*z - 15 = -5*s, -z - 4*z + 2*s = 6. Is z >= l?
True
Suppose 0 = 5*f + 20, 7 = 5*d - 2*f - 1. Suppose d = -0*g - 3*g + 3. Is g greater than or equal to 8/5?
False
Let r = -11.2 + 11. Let l = r + 0.1. Let s(h) = -h**2 - 6*h + 5. Let y be s(-6). Is y at least l?
True
Let j = -0.2 - -0.1. Let l = 0.0564 - 3.2664. Let x = l + 0.21. Does j = x?
False
Let f(m) = m**3 - m**2 + 2*m - 1. Let a be f(1). Let w(n) = -n**2 + 6*n. Let b be w(5). Let i be (-1)/b + 12/10. Is a equal to i?
True
Let v be -1*2*3/(-6). Let w be v + ((-4)/(-6))/(-1). Is w at most -2?
False
Suppose -r = -3 - 0. Suppose 4*z - l = -z - 40, 0 = 5*l. Let b(w) = -w - 6. Let a be b(z). Does r = a?
False
Let w be (-52)/(-16) + 3/4. Suppose -5*r = 5*p - 0*r + 15, -w*p - 8 = 2*r. Is p at least as big as 5?
False
Let s = 1065/14 - 151/2. Is -0.1 > s?
False
Suppose -7*g + 180 = -2*g. Let f be ((-8)/(-12))/((-1)/g). Let p be 4/12 + 2/f. Is -3 less than p?
True
Suppose 2*f + 9 - 34 = 5*o, -3*o - 15 = 0. Let j be 17/20 + 2/5. Is j < f?
False
Let n be 76/(-57) - 620/(-474). Is n less than 0?
True
Let k be -2 - -1 - (-4137)/(-308). Let u = -57/4 - k. Is 1 < u?
False
Let f = 9 + -10. Which is smaller: 0 or f?
f
Let p(v) be the second derivative of 7*v**3/6 - 5*v**2/2 + 2*v. Let h(y) = -15*y + 11. Let w(u) = 6*h(u) + 13*p(u). Let t be w(-2). Is -2 > t?
False
Let k be (1 + -4*2)/(-5). Let s be (-2)/(-3) - (-12)/9. Let o be ((-10)/(-20))/(s/4). Is o at most k?
True
Let p be 19/5 - (-2)/10. Suppose n + p = 2*n. Suppose -i = n - 1. Is i greater than or equal to -3?
True
Let l = -1726/9 - -192. Is -1 <= l?
True
Let o = 3 - -1. Suppose o*b - 1 = 15. Are b and 5 nonequal?
True
Let j(v) = -v**2 + 5*v - 4. Let s be j(4). Let g be (-3 - -1) + s + 0. Are -3/5 and g equal?
False
Let k = 1022/5 + -205. Let f = k + 1/5. Let u(r) = -r**2 - 4*r. Let h be u(-4). Is f at most as big as h?
True
Suppose 3*r = -84 + 12. Let t be (-1)/6 + (-10)/r. Which is smaller: -7 or t?
-7
Suppose 3*a + a = 12. Let w(j) = j**2 - 2*j. Let h be w(a). Is 3 at least as big as h?
True
Let j = 686/5 + -1637/10. Let o = 26 + j. Is o at most as big as 0.2?
True
Let n = -7 + 11. Suppose 2*u - 5 = k, -4*u - n*k + 6 = u. Let i = 2 + u. Is i at least as big as 3?
True
Suppose -4*x = -3*x + 4. Let g be (-1)/x - (-4)/(-16). Which is smaller: 5/6 or g?
g
Suppose 2*j - 2 = 0, 4*j - 18 + 7 = l. Is l less than -2?
True
Let l = -27 - -40. Suppose -4*h = -3*g - l - 4, g = -4*h + 5. Which is bigger: g or -0.1?
-0.1
Let p = 0 - -12. Let z be p/(-18) - 8/(-3). Suppose 3*x + z = 2*x. Is x at least as big as 1?
False
Suppose -2*r = 3*r - 45. Is 9 <= r?
True
Let b = 55 - 57. Is b bigger than 16?
False
Let v = -2 + 6. Let y = -118 - -120. Is v smaller than y?
False
Let q = -88 - -80.2. Let g = q - -8. Let c = g - 0. Is c less than -0.2?
False
Let z = -1.8 - -0.75. Let x = z - -0.05. Let r = -0.1 - -0.2. Is x bigger than r?
False
Let l = 1153/1548 + 2/387. Let i be -8*(-1 + (-1)/(-2)). Suppose 0 = i*y + 1 - 9. Which is bigger: y or l?
y
Suppose -4*n + 10 = -3*n. Let k be (-14)/n - 4/(-10). Suppose 0*t + 4*t - 3*m = 16, -t + m + 5 = 0. Which is smaller: t or k?
k
Let w be ((-1)/(-6)*-1)/(-1). Which is bigger: 0 or w?
w
Suppose g - 6*g - f - 19 = 0, 2*f - 14 = 3*g. Suppose -3*s = -58 + 10. Let n be (-4)/s*(g + 2). Is 0.09 < n?
True
Let l(m) = 10*m. Let o be l(1). Let b be (4/o)/(3/15). Do 2/3 and b have the same value?
False
Suppose 4*i + g = 2, 4 - 9 = -3*i + g. Is 7/9 at most as big as i?
True
Let w = 1 - 1.2. Let z = -0.4 - w. Let n be 0 + 1 + 0 - 1. Is z greater than n?
False
Let x = 13 - 4. Suppose 13 + x = 2*u. Is u at most as big as 11?
True
Let k = 0 - -3. Let d = k + -3. Which is smaller: -3/5 or d?
-3/5
Let y = -27 + 48. Suppose -y = -w - 0*w. Suppose 2*x + 7 = 2*t + w, -4*x = -2*t - 24. Which is smaller: -1/2 or t?
t
Suppose -5*z + 116 = 2*i, -2*i + 7*i = 3*z - 51. Is 23 less than or equal to z?
False
Let v = -0.2 - -0.1. Let m = -2.5 + 0.5. Which is bigger: m or v?
v
Let w(h) = h**3 - 5*h**2 + 3*h + 4. Let a be w(4). Let c be (1 - a) + 54/(-6). Which is bigger: -7 or c?
-7
Let r(g) = -g**2 + 6*g - 3. Let a be r(4). Suppose n - 22 = 2*n + a*f, -4*n - 4*f - 8 = 0. Is n <= 3/2?
False
Let n(a) = a**2 + 4*a. Let q be n(-2). Does q = 2?
False
Let s = 390 - 5073/13. Which is greater: 0 or s?
0
Let b be 51*(-1 - 8/(-6)). Let l = 22 - b. Is l less than 3?
False
Let r be (-24)/(-378) - 4/(-18). Is r at most -1?
False
Suppose 44 = -2*d - l, -3*d + 0*l = -4*l + 66. Let z = -21 - d. Which is bigger: z or 0?
z
Let b be ((-2)/4)/((-6)/(-188)). Let x be 10/(-35) - 634/42. Let n = x - b. Which is greater: n or 1?
1
Let z be -2*1 + (-2 - -2). Let v = z + 2. Suppose -2 + v = u. Which is smaller: -3 or u?
-3
Let s = -123.1 - -135. Let a = -12 + s. Which is smaller: 0.1 or a?
a
Suppose 0 = i + 2, -3*d - 1 = -0*i - i. Let l be (-1 + 1 + -2)/d. Is l >= 6/7?
True
Suppose 4*a = -s + 5, -2*s + 5 = -2*a + 15. Let n = -14 - 2. Let l = -17 - n. Which is smaller: l or s?
s
Let f(s) = -16*s + 58. Let i be f(5). Do i and -22 have different values?
False
Let q = 6 + -12. Let z = q - -4. Let d = z - -3. Is d >= 2?
False
Suppose 0 = -o + 2*h - 6, -4*o - 7 = -5*h + 2. Let b = 12 - 7. Suppose 2*i = 5*v - 25, 2*v - i - 5 = b. Is v greater than o?
True
Let w = 230/9 + -76/3. Let o be 0/11 + (-1)/(-1). Which is bigger: w or o?
o
Let u = -71 - -76. Which is greater: u or 3?
u
Let x = -6 - -6.1. Let d = 2.3 - 0.3. Which is smaller: d or x?
x
Let h = -12.1 - -12. Is h at least -0.03?
False
Let w be (-1)/6 - (-763)/42. Let v be (-1)/3 - (-15)/w. Does v = -0.2?
False
Let r be 14/44 + -1 + (-16)/(-88). Which is smaller: r or 7?
r
Let w = 5/53 + -1335/106. Do -13 and w have the same value?
False
Let x = 2 - 2. Let t = 81/2024 - -1/184. Which is smaller: x or t?
x
Let b = 49 - 64. Do b and 1 have the same value?
False
Let h = 7.9 + -7.1. Do h and 1/4 have different values?
True
Let p(g) be the second derivative of g**3/3 + g**2/2 - 9*g. Let o be p(-1). Which is bigger: -1/34 or o?
-1/34
Suppose 4 + 6 = 5*p. Which is smaller: -0.2 or p?
-0.2
Let v = 58 + -72. Is v > -100/7?
True
Let n be 12*((-300)/(-16))/(-5). Let q = n - -30. Is -16 <= q?
True
Let t be ((-6)/(-16)*10)/(42/224). Is t bigger than 19?
True
Let k = -5 - -5. Which is bigger: 3/25 or k?
3/25
Let h = -6879/23 + 299. Does 0 = h?
False
Suppose k = 4*z - 17 - 9, -5*k - 130 = -2*z. Which is smaller: -25 or k?
k
Suppose 6 = 2*v - v - y, 4*y = 3*v - 22. Let j be v/(8/12) + -3. Is -2 != j?
True
Let u(c) = 3*c**2 + 10*c - 13. Let y(f) = -13*f**2 - 40*f + 53. Let 