 a?
a
Suppose 0 = 5*w + 4*q + 139, -5*w + 5*q = 112 + 63. Do -1 and w have the same value?
False
Let w = 7 + 4. Let c be 2/4 - w/44. Which is smaller: -1 or c?
-1
Let w = -32 + 23. Suppose 0 = -b - 4*b - 50. Which is bigger: b or w?
w
Let p = 16 - 16. Which is greater: -8/7 or p?
p
Suppose 35 - 95 = -4*b. Suppose b = 4*t + t. Suppose -4 = -2*v + 2. Do t and v have different values?
False
Let p = -4 + 4. Let t = 7 + -7.5. Let h = t - -0.4. Are h and p unequal?
True
Let w = -5/6 - -1/2. Is 3 >= w?
True
Suppose 0 = -3*l - 105 + 51. Is l equal to -18?
True
Let r = 0.27 + -0.17. Which is greater: -2/19 or r?
r
Let u(v) = -2*v - 25. Let s be u(-12). Suppose 4*f - 2*g - 22 = 0, 2*f + 2*f = -2*g + 2. Let p(x) = -x**2 + 3*x - 2. Let r be p(f). Is r > s?
False
Suppose 10 = -7*m + 2*m. Let w be 3 + m*(2 + -3). Is w at least as big as 5?
True
Suppose -2*b = -w + 14 - 8, -5*w - 6 = 2*b. Let k be (-1)/2*(-8)/9. Is w > k?
False
Let f = -1 + -1. Let h(m) = -m**3 + 12*m**2 + m - 8. Let b be h(12). Let n be 1/f*b/(-6). Is n >= -0.1?
True
Let w = -50017007/136021 - 154/7159. Let m = w - -1103/3. Let n = -14/19 - m. Is n > -3/2?
True
Let a(p) = p + 4. Let r be a(-6). Suppose 3 - 4 = d. Which is smaller: d or r?
r
Let l(s) = -s**3 + 2*s**2 + 3*s. Let d be l(3). Let m be 1*((-10)/(-14))/(-5). Which is greater: d or m?
d
Let z be 2/(-6) + 551/1914. Which is smaller: -1 or z?
-1
Let v = -1 - 0. Let k(u) = u + 2. Let m be k(v). Which is smaller: -1/3 or m?
-1/3
Let a = 1.21 + -1.2. Let f = a + -2.01. Does -1 = f?
False
Suppose o = -0*o - 9. Is -9 at most as big as o?
True
Let t = -195.94 - -198. Let p = -0.06 + t. Is p bigger than 2?
False
Let t = 5.9 + -6. Let w = 8.6 + -8. Which is greater: w or t?
w
Let a(b) = b**2 + 4*b - 7. Suppose -2*p - 8*g - 5 = -3*g, -3*p - 4*g - 11 = 0. Let r be a(p). Is 0 <= r?
False
Let w be 0 + 0 + 2/(-4). Suppose 3*j = -3*q - 3, -3*j = q + 3*q + 3. Let i = 0 + q. Is i at least as big as w?
True
Suppose -p = -3*p + 6. Suppose -4*r = -p*r + 11. Are r and -12 unequal?
True
Suppose -13 = -4*z + q, -4*q = 4*z - 2*q + 2. Suppose -z*r = -7*r. Is r less than -1/4?
False
Let b = 0.9 + -1. Let r = -3 - -4. Which is greater: r or b?
r
Suppose m + 2*m - 18 = 0. Let q = -5 + m. Is q >= 1/6?
True
Let w(m) = m**3 + 11*m**2 + m + 15. Let n = -5 - 6. Let q be w(n). Which is smaller: q or 3?
3
Suppose o + 0*o = 1. Let q = -1 + -1. Let g be q/(-4) - 15/42. Which is smaller: g or o?
g
Let r be 14*(-1)/24 - (-6)/8. Is 0 not equal to r?
True
Suppose 0 = -3*n + 8*n + 90. Let w be (-4)/n - (-38)/(-9). Is -3 at least w?
True
Let c(h) = -6*h**2 - h. Let n be c(1). Let r = -8 - n. Let j be -1 + 0 + (-2)/2. Is r less than or equal to j?
False
Let s = -71 + 124. Which is bigger: 2/5 or s?
s
Let b = -1379/22479 + 4/381. Which is smaller: b or 0?
b
Suppose 0 = 5*f - 2*c - 18 - 3, -5*f = 2*c - 9. Which is bigger: 20/13 or f?
f
Let a be ((-2)/(-30))/((-9)/(-30)). Is 3/7 at least as big as a?
True
Let x = 12 - 6. Suppose 3*w - 1 = 2*w. Which is greater: x or w?
x
Let w = -9 + 1. Let c be (-4)/9*3/w. Suppose -5*r + 2*r - 3 = 0. Which is bigger: c or r?
c
Let a = -0.25 - -0.35. Let t(g) = g**2 - 7*g + 7. Let n be t(6). Do n and a have the same value?
False
Suppose 7*z = 2*z. Let o be (3/21)/(138/(-161)). Which is bigger: z or o?
z
Let s = 19 + -29. Which is greater: -37/4 or s?
-37/4
Let y be (-2)/(3 - (6 + -2)). Suppose 0 = -0*b + 2*b - y. Which is greater: b or -4?
b
Let i(q) = 3*q - 2. Let r be i(-3). Let z = r + 5. Is z at least -5?
False
Let i = -30733/7 + 4287. Let n = 104 + i. Let r = 22 - 22. Is n at least r?
True
Let x be (-168)/(-30)*(-5)/(-2). Which is bigger: x or 1?
x
Let b = -41 + 79/2. Which is smaller: b or -3?
-3
Let b(v) be the first derivative of v**3/3 + 5*v**2/2 + 5*v + 7. Let r be b(-4). Let j be 5/52 - 4/16. Which is smaller: r or j?
j
Let z = 0.15 - 0.28. Let m = z - -0.2. Let c = m + 0.03. Is c > 0.1?
False
Let u = -3 - -6. Let z = u - 4. Is 1 at most as big as z?
False
Let i(t) be the third derivative of -t**6/120 - t**5/12 - t**4/8 - 5*t**3/6 - t**2. Let j be i(-5). Let c = -14 + j. Does c = -0.1?
False
Suppose 4*f + 40 = -4*j, 2*f - f + 20 = -3*j. Let y be (0 - -19)*1 + -1. Suppose -2*z - y = z. Is j bigger than z?
True
Let l(z) = 4*z - 12. Let p(q) = -21*q + 59. Let v(m) = -11*l(m) - 2*p(m). Let y be v(6). Are y and 3/5 unequal?
True
Suppose -3*x = -0*x - 3. Let p = 57 + -37. Let d be p/24*(-6)/(-20). Which is smaller: x or d?
d
Let k be (-26)/(-143) - (-123)/(-11). Which is bigger: k or -47/4?
k
Suppose 2*o - 6 = 2. Suppose o*p = -8 + 24. Suppose 2 = -4*b - i + 1, 4*b + 16 = -p*i. Is 2 greater than b?
True
Suppose -3*o + 2 = 5*x, -70 = 2*o - 7*o + 5*x. Let c = -13 + o. Let z be 1/c + 15/12. Do z and 2/7 have different values?
True
Let z = 233 - 2560/11. Which is smaller: 1 or z?
z
Let l = -33 + 18. Is -14 smaller than l?
False
Let k be (1/60)/((-49)/(-56)). Which is smaller: k or 1/2?
k
Let z = 46 + -76. Is z less than -30?
False
Let c be 0 + -4 + 0 + 2. Which is smaller: -6/5 or c?
c
Suppose s = -2*s - 39. Suppose 4*o + 4 = -0. Which is greater: o or s?
o
Let t = -1045/27 - -116/3. Which is bigger: 0 or t?
0
Suppose -5*t + a - 178 = 0, -80 = -2*t + 4*t + 4*a. Is -36 less than or equal to t?
True
Let p be (-36)/12 + (-24)/(-7). Which is bigger: 1/2 or p?
1/2
Let b(m) = -m**3 - 16*m**2 - 16*m - 7. Let q be b(-15). Is q not equal to -1?
True
Let q be ((-57)/29 - -2)*(-3 - 3). Which is greater: q or -1?
q
Let b be -1 - (-146)/210 - (-6)/15. Which is bigger: b or 0?
b
Let h be 10*1/(-2 - -1). Let x = h + 9. Which is smaller: x or -1/13?
x
Let l = -28 + 28.2. Let k be (-2 - 4/(-3)) + 1. Which is smaller: l or k?
l
Suppose -2*t = -3*s - 99, -5*s = 2*t + 3*t + 190. Let c be 4/(-7) - (-260)/s. Is -8 greater than or equal to c?
True
Suppose -7*r + 2*q = -10*r + 38, 4*r - 2*q - 60 = 0. Is r less than 17?
True
Suppose 23 = 3*y - 4*g, y - 3*y = g + 3. Let i be (3 + -2)/(3/y). Is i bigger than 1?
False
Let h = 843395887/111435 - 143804/19. Let p = 1/391 - h. Let q be 0 + (1 + -1)/1. Which is bigger: q or p?
p
Let p = 0 + 2. Suppose -7 = -5*m - p. Is -1/3 smaller than m?
True
Let l(b) be the third derivative of b**4/24 - b**3/6 - b**2. Let r be l(-1). Which is smaller: r or -2/3?
r
Let k = -2 + 1. Suppose -30 = 5*w + 4*m, -4*m - 12 = -5*w - 2. Let o be w - -2*(-2)/(-4). Is k >= o?
True
Let p(h) = -8*h**2 + 10*h**2 - h**2 - h + 16. Let j be p(0). Let l be 2 - 6*j/42. Which is smaller: -2/3 or l?
-2/3
Let d = 5 - 9. Let w = -3.4 - -1.4. Let p = w - d. Which is smaller: p or 1/3?
1/3
Let m = -2 + 7. Suppose -w - 11 = k - 4, 2*w - 7 = m*k. Which is smaller: k or -2?
k
Suppose -o - 4*c = 41, -67 = 2*o + 5*c - 0*c. Let i = o + 21. Which is bigger: i or -11?
i
Let v(x) be the third derivative of -x**4/12 - 2*x**2. Let n be v(0). Do -1/14 and n have the same value?
False
Suppose -u + 2 = -2. Is u less than or equal to 6?
True
Let a be (-13)/(-20) - (-11)/(-44). Which is bigger: 1/9 or a?
a
Let k = 166 - 1499/9. Is k less than -1?
False
Let z = 26 + -594/23. Let m be 26/(-115) + (2 - 2). Let c = m - z. Which is smaller: c or 0.1?
c
Let g = -4.198 + -0.102. Let m = 3 + g. Let v = 0.3 + m. Which is bigger: v or 0?
0
Let p = 0 + 4. Is p at most -3?
False
Let c be (15/(-3) - -1 - 0)*-4. Which is greater: 14 or c?
c
Let z be (-18)/(-12)*(-1 + -29 + 4). Which is smaller: z or -40?
-40
Let z = 1.75 - 187.75. Let n = z + 183.04. Let a = 0.04 - n. Which is greater: a or 1?
a
Let q = -16 + -12. Is q less than -26?
True
Let h = 7 + -2. Suppose 0 = i + 5*q + 6, 13 + h = 2*i - 5*q. Is 4 at most as big as i?
True
Let d(y) = -y**2 - 13*y - 16. Let z be d(-11). Suppose 5*b - 3*u = -2 + 3, 0 = 4*b + u + z. Which is greater: b or -4/5?
-4/5
Let b = 66 + -144. Let m = b - -73.9. Let j = 4 + m. Which is greater: j or -1/4?
j
Let n(s) = -s**2 - 15*s + 2. Let h be n(-16). Which is smaller: h or -12?
h
Let w(k) = 3 + k**3 + 7*k**2 + 5 + 4 - 2 + k. Let m be w(-7). Let h be -3*(-3)/((-9)/(-4)). Which is smaller: m or h?
m
Let c = -36 + 19. Let t be (-1)/4 + c/(-4). Suppose -t*s + 1 - 5 = 0. Is s at most -3/8?
True
Suppose 3*y + 4*j = -27 + 6, 3*y - 3*j = 0. Is -16/7 < y?
False
Suppose 3*a + 5*f + 0*f = 1, 0 = 4*a + 2*f + 8. Which is bigger: -1 or a?
-1
Let n = 1181/55 + -839/11. Let v 