ost as big as 1/3?
True
Let q = 24 + -33. Which is bigger: -8 or q?
-8
Let x = 14 + 1. Is 0 bigger than x?
False
Let d be -4 - ((-1004)/308 + 0). Let m = d - -5/11. Is -1 greater than or equal to m?
False
Suppose s + 4 = 3*s. Suppose 0 = -2*z - 5*d - s, d - 3 = -3*z - 6. Is 0.7 bigger than z?
True
Let v = 3 + -3. Suppose s - 6 = -4*k, -3*k = s - 5 - v. Suppose 0*u - s = -u. Which is smaller: 3 or u?
u
Suppose -2 = -i - 2*l - 9, 2*l = -8. Which is smaller: -1/7 or i?
-1/7
Suppose -2 - 4 = t + 3*l, -3*t - 4*l = 8. Suppose -5*n - 31 = 3*c - t*n, -4*c = -3*n - 7. Do c and -3 have the same value?
False
Suppose 3*t - 233 = -r + 6*r, -3*r + 5*t - 143 = 0. Is -47 < r?
True
Let y = -12 - -15. Suppose 3*j + 0*j + y = 0. Which is greater: -2/33 or j?
-2/33
Let p be 8/(-12) + 14/(-6). Let o(r) = -r - 16. Let h be o(-14). Which is smaller: h or p?
p
Let a = 265727/3756 + 5/1878. Let j = -70 + a. Which is smaller: j or 1?
j
Let q = 5 - 0. Suppose -1 = -2*d - q. Let i be d - (7/(-9) + -1). Is 1 greater than i?
True
Let g = 442 + -445. Suppose 0 = 5*m - 3*u + 42, 1 = -4*u + 17. Are m and g non-equal?
True
Let l(h) = -6*h + 1. Let v be l(-1). Suppose -j = -3*r - 1, 5*r = 4*j - v - 4. Let a be 5/35*(2 - 0). Is r greater than a?
True
Suppose 0 = s - 3*s - 6. Let d be ((-3)/2)/1*2. Let l be ((-2)/d - 2)/2. Is s less than or equal to l?
True
Let c(k) = k**3 - 5*k**2 - k + 5. Let b be c(5). Suppose 0 = -2*r + 3*q + 13, 2*r + 0*q - 5 = -5*q. Suppose b*z - 5*z = r. Is z at least 0?
False
Let z = 1310/189 + -48/7. Is z less than 0?
False
Let f(w) = w**3 - 2*w**2 - 4*w + 1. Let o be f(3). Which is greater: o or -4?
o
Let v = 0.84 + 0. Let w = 0.16 + v. Which is greater: -5 or w?
w
Let k be ((-5)/2)/(8/(-48)). Are k and 16 non-equal?
True
Let r be (1 - 5)*1/4. Do -15/8 and r have different values?
True
Suppose 0 = -4*s - 5*n - 12 - 1, 4*s - 27 = 3*n. Suppose 0 = 4*t - 19 + s. Which is smaller: t or 0.1?
0.1
Suppose -5*n - 3 = -18. Let m be 4/(8/14) - n. Is m less than or equal to 3?
False
Let d = -25 - -22. Let i be (-2)/d - (-42)/(-70). Is i at most as big as -1?
False
Let s be 3/4*(-12)/(-270). Is s less than 1?
True
Let j = 123 + -124. Do j and 4/15 have different values?
True
Let d be (-466)/6 - (-1)/(-3). Let q = 550/7 + d. Is q > 2?
False
Let z = -9 - -7. Let j = -7 - z. Is j <= -4?
True
Let d be 2 + 12/(-16)*3. Which is smaller: -1 or d?
-1
Suppose 0 = 7*r - 6*r. Let v be (r - -4 - -5) + -2. Which is bigger: v or 8?
8
Suppose u + 12 = 5*u. Suppose -2*y = -5*v - 0*v - 5, 0 = 3*v - 2*y + u. Which is bigger: 1/14 or v?
1/14
Suppose 0*j + 4*j + 4 = 0. Let u = 5 + 1. Let c = u - 6. Is j >= c?
False
Let m(i) be the first derivative of -i**3/3 - 5*i**2/2 + i - 2. Let j be m(-4). Suppose 2*u = -3*u - j. Is u > 3/7?
False
Let t be (-1)/(-36)*6/(-4). Is t <= 0?
True
Let g(f) be the first derivative of 9*f - 1/2*f**2 - 8/3*f**3 + 1/4*f**4 - 1. Let o be g(8). Is o greater than or equal to -2/5?
True
Let o = 0 - -1. Suppose -3*p - o = 3*d - 13, -4*d = 3*p - 17. Are -2/3 and p non-equal?
True
Let b = 619/7 - 89. Which is smaller: 2 or b?
b
Let m = -18 - -10. Let o = -590.1 - -590. Which is bigger: m or o?
o
Let p be (1 - 0) + (-5 - 62). Let a = 38975 + -272361/7. Let z = a + p. Is 0 not equal to z?
True
Suppose 25 = 5*m + 15. Let j = 1.6 - 1.8. Is j < m?
True
Let g(b) = -b**2 + 8*b - 10. Let p be g(-7). Let d be p/(-300) + 2/(-8). Is d bigger than 1?
False
Let f be (1*(-3)/2)/(81/(-135)). Suppose 0*j + 3*j - 12 = 0. Is f equal to j?
False
Suppose 4*v - 4 = -12. Let r be -3 + v + 76/14. Which is bigger: r or 0?
r
Suppose -5*b = -15 + 5. Suppose 4*f = b*v + 12, -v + 6*v = 5*f - 15. Is -2/19 != v?
True
Let r = 5/19 - 63/95. Is -2.3 <= r?
True
Let b(t) = -t**3 + 5*t**2 + 1. Let m be b(5). Which is smaller: m or 4/7?
4/7
Let p(t) = -t**2 + 7*t + 11. Let l be p(8). Let b(j) = -7 + 8*j**2 + 10*j + 3 + 2*j**3 - 3*j**l. Let z be b(9). Is 6 equal to z?
False
Let z be 2/6*1/(2/(-4)). Let b(j) = j**2 + 4*j - 7. Let r be b(-5). Is z smaller than r?
False
Let k = 58882/105339 + -70/111. Let t = 6/73 - k. Which is bigger: 0 or t?
t
Suppose 4 + 4 = -4*b. Let c(q) = q + 2. Let h be c(b). Let y be (-2)/(-12)*9/(-6). Which is bigger: h or y?
h
Let i = 21/50 + 2/25. Let z = -2 + 1. Let w = 0 + z. Do i and w have the same value?
False
Let d = -0.6 + 1. Let f = d - 0.5. Let i = 0 - -0.2. Which is bigger: f or i?
i
Suppose 8 = -10*s - 2. Let t be (6/10)/((-6)/4). Which is bigger: s or t?
t
Let i = -0.87 - -0.17. Let v = i + 0.6. Is -0.3 at least as big as v?
False
Let i be 12*(22/6 + -1). Let l = -158/5 + i. Let w be 28/13 - 2 - 31/(-52). Which is bigger: l or w?
w
Let s = -4 + 3.6. Let o = -0.4 - -0.3. Let r = s - o. Which is greater: r or 0?
0
Let n(t) = 0*t**3 + 2*t**3 - 11*t**2 - 11 - t + 1 - 3*t**3. Let c be n(-11). Which is greater: c or 0.2?
c
Let y = 74 - 75. Let n = -280/1179 + 2/131. Is y bigger than n?
False
Let j be (-40)/36 - (0 + -2). Suppose 10*t = 6*t + 8. Is t at most as big as j?
False
Let q = 0.01 - 0.41. Let c = q + 0.4. Is 0 at most as big as c?
True
Let f = 3.1 - 3. Let h = -3.8 - -3.4. Let c = h + f. Is 0 at least c?
True
Suppose 3*j = j + 5*t - 33, -3*t = 4*j + 1. Is j at least as big as -4?
True
Let x be (-6)/10 - (-39)/15. Suppose -x*i = 2*i - 8. Are i and 3 unequal?
True
Let t = -75 + 218/3. Which is smaller: t or -2?
t
Let u = -1 - -1.1. Let x(q) = -q**3 + 6*q**2 - q + 5. Let f be x(6). Let c be 0/(1 + (-1)/f). Which is bigger: c or u?
u
Suppose -1 = -r - 0. Suppose -10 = -k + 4. Let j be 4/(-7) + k/49. Is j bigger than r?
False
Let k = -191 + 205. Which is smaller: 6 or k?
6
Let s = 18 + -19. Suppose 5*t = -0 - 5. Let x be 4*s/t - 1. Which is smaller: x or 5?
x
Let d be ((-9)/(-2))/(2*3). Let s = -12 - -15. Suppose s*x + 6 = 9. Is d at most as big as x?
True
Let m(t) = -t**3 - 4*t**2 - 4*t - 3. Suppose -6 = 2*r - c, -4*r - 6 = -2*r - 2*c. Let y be m(r). Let p = -97/8 + 12. Is p at least y?
False
Suppose -13 + 9 = 4*n. Which is greater: -2/161 or n?
-2/161
Let t(y) = -y - 2. Let b be t(6). Which is smaller: -7 or b?
b
Suppose -2*n - 3*n + 2*h - 6 = 0, -5*n - h + 3 = 0. Let b(o) = -2*o + 4. Let l be b(4). Let u be l/(-6)*(-3)/(-2). Is u equal to n?
False
Let q be (-1)/(3 + 20/(-6)). Suppose 0 = -4*r - 3*d + 7 + 8, 2*r - q*d + 15 = 0. Which is greater: 2/13 or r?
2/13
Let t(z) = 2*z**2 - 3*z. Let b be t(4). Suppose 5*h = -0*h + b. Suppose -4*n - 4 = -4*m, 4*n - 3*m + m - 6 = 0. Are h and n equal?
True
Suppose -9 = -g - 2*g. Suppose 3 = g*m - 9. Suppose m = 5*z - 6. Is 2 at most as big as z?
True
Let d be 19*(-1)/(2 + 3). Let n = d - -219/55. Let q(h) = h**2 + h - 1. Let u be q(0). Is n < u?
False
Suppose 8*z - 3*z + 5 = 0. Is z < -26?
False
Let g = -2 - 0. Let c be g - (-3)/(-6)*-2. Let m be (-2 + 5 + -2)*c. Which is smaller: 0 or m?
m
Let f be (1*-3)/((-6)/8). Let g = f + -5. Which is smaller: g or 1?
g
Suppose 0 = -3*m + 2*m + 4. Suppose g + 2*g - x = -4, 3*g - 1 = -m*x. Are g and -2/9 non-equal?
True
Let a be (-3)/9*9/(-3). Suppose 5*k - 1 = 44. Let m be 6/k*6*a. Is 4 smaller than m?
False
Let i(w) = -3*w**2 + 2*w + 7. Let s(d) = d**2 - d - 3. Let z(n) = 3*i(n) + 7*s(n). Let x be z(1). Let y = -3 + 4. Which is greater: x or y?
y
Let g = -3 + 2. Let k = -8 + 9.1. Let b = g + k. Is 0 not equal to b?
True
Let q(r) = -r**3 + 3*r**2 + 2*r - 2. Let b be q(3). Suppose b*a - f - 8 = 0, 4*f = -a - 3*a - 12. Is a < 7/5?
True
Let h(a) = a + 1. Let u be h(6). Are u and 7 equal?
True
Suppose 0 = -2*m - 4*z - 35 + 7, -21 = m - 5*z. Are -16 and m equal?
True
Let u be 1 + 0 - 2 - -3. Suppose f - u*f = 0. Let g = 1.7 - 2. Which is bigger: f or g?
f
Let q be (-54)/72*(-2)/3. Is 49 bigger than q?
True
Let k(d) = -2*d**3 - 10*d**2 + d**3 + 0*d - 8*d + 0*d**3. Let o be k(-9). Let y be (-4)/(-12)*o/21. Which is smaller: -1 or y?
-1
Suppose 9*i - 15 = 12*i. Is -4 not equal to i?
True
Let q be (48/10)/(-4)*-15. Is q greater than 15?
True
Suppose -2*y + 194 - 194 = 0. Is 1/4 greater than y?
True
Let t(j) = j**2 + 2*j - 3. Let d be t(-4). Suppose 2*u + 9 = 3*m, 0 = 3*u - d*m + 8 + 8. Is u at most 2?
False
Let a(x) = -x**3 - 4*x**2 - 3*x - 1. Let o be a(-2). Let l = o - -12. Are 9 and l nonequal?
False
Let g(o) = o**3 - 5*o**2 + 6*o - 3. Let u be g(4). Suppose u*w + 18 = -12. Is -1 greater th