 at least a?
False
Let s be 24/(-160)*(-1)/(-3). Which is greater: s or 1?
1
Let p be (6/(-7))/((-2)/(-14)). Let g be ((-15)/6)/((-3)/p). Is 0 > g?
True
Suppose 2 = 3*u - 4*u. Let t be (-144)/(-280) + u/(-7). Suppose -3 = -3*n - 0*f - 5*f, 2*f = 0. Are t and n equal?
False
Let j(p) = 3*p**3 + 2*p + 1. Let f be j(-1). Suppose y + 6*h - h + 3 = 0, 3*y + 2*h + 9 = 0. Is y less than or equal to f?
False
Let c(s) = s**3 - 11*s**2 + 17*s + 9. Let q be c(9). Let r = -723/25 + 29. Which is smaller: q or r?
q
Suppose 2*t + 41 = 5*n + 11, 5*n + 2*t = 10. Suppose 0 = 5*o - 2*x - 19, n*o = -0*o + x + 17. Suppose 0 = o*y + 10 - 0. Is -2 smaller than y?
False
Let v(d) = -d**3 + 15*d**2 - 13*d - 11. Let o be v(14). Let g be (21/12 - 1)/o. Is g greater than -1?
True
Let p = 2.6 - 0.6. Let x = -0.2 - 0.1. Let d = x - 0.7. Is p less than or equal to d?
False
Let x = 0.34 - 0.15. Let y = x + 16.81. Is y bigger than -0.1?
True
Let w be ((-4)/28)/(-2*(-4)/16). Which is smaller: -17/5 or w?
-17/5
Let i(c) = -7*c - 2. Let d be i(-6). Let j be (-1)/(-2)*d/(-45). Which is bigger: j or -1?
j
Suppose -4 = -2*i - w - 1, -2*i - 4*w + 18 = 0. Let f = 0.2 + 0. Which is greater: f or i?
f
Let i = -33 - -32. Do i and -2/189 have the same value?
False
Let q = 0.07 + 0.86. Let c = 0.07 + q. Is c <= -0.2?
False
Let x = -2 - -1. Let s(l) = 42*l. Let b be s(x). Let n = 81/2 + b. Is -2 greater than n?
False
Let h be 1260/(-2223) - 6/(-57). Which is smaller: h or -1?
-1
Let r = 2 - 4. Suppose -4*h + 5*h = 0. Let z = h + r. Is -1 less than z?
False
Let z = -1.57 - -0.27. Let m = z + 1.4. Let q = 3.3 - -0.7. Which is smaller: q or m?
m
Let m(u) = -11*u - 42. Let o be m(-6). Is 21 at most o?
True
Let k be ((-1)/(-2))/(-2*1). Suppose 4*y = 16, -5*m + 1 = 4*y + 5. Is m greater than k?
False
Let z = 2202 + -92495/42. Let i = z + -1/14. Let b = 0.08 + -0.08. Which is greater: b or i?
b
Suppose 4*n = -2*n - 24. Suppose 3*a = a - 4*s - 4, -2*s = -4*a + 42. Let r be (-2)/(-4) - (a - 4). Which is bigger: r or n?
r
Let p = 12 + -11. Is 9 < p?
False
Suppose 21 = -4*l + l. Is l bigger than -4?
False
Suppose q = 2*p - 9, 0*q + 4*q + 5*p - 3 = 0. Suppose d + 3*j = -0*j - 9, 5*d + 9 = 3*j. Is q <= d?
True
Let w(k) = 2*k**2 + 3*k - 4. Let s be w(-4). Suppose c + c = -s. Let h = 7 + c. Is h bigger than 0?
False
Suppose -4*b + 224 = -3*l - 115, -2*b - 3*l + 165 = 0. Let m be 3 + -3 - 22/b. Let h = m - 1/42. Which is smaller: 0 or h?
h
Let t(l) = -l**2 + 14*l + 12. Let a be t(15). Is -5 greater than a?
False
Let i = -5 + 8. Let o(n) = n**3 - 3*n**2 - 4*n + 4. Let k(s) = s**3 - 4*s**2 + 5*s - 2. Let j be k(3). Let u be o(j). Which is smaller: i or u?
i
Suppose 4*d + 77 = -5*a, -d + a = -3*a - 7. Let b(j) = j**2 + 12*j - 11. Let g be b(d). Is 1 equal to g?
False
Let g be 11 - 2/6*3/(-1). Is 10 less than or equal to g?
True
Suppose -2*r = 11 + 1. Suppose 0 = -8*x + 3*x - 25. Is x bigger than r?
True
Suppose 42 + 20 = -2*j. Is -30 smaller than j?
False
Suppose -2*a = -1 - 17. Let j = 6 - a. Suppose -5*z - 29 = 3*d, 14 = -2*z + 2*d - 4*d. Which is smaller: j or z?
z
Let i = -9.3 - -9.9. Let q = 1.2 - 1. Let d = q + -0.2. Which is smaller: d or i?
d
Let r = 1576/77 - 200/11. Which is smaller: r or 1?
1
Let p = 8 + -11. Let z be (9/(-1380))/(p/(-123)). Let x = z - -2/115. Do x and 1 have different values?
True
Let k be (10/(-6))/((-4)/12). Suppose k*g - 10*g = -75. Suppose 4*i + 6 = 2*a - 4*a, -3*i = -5*a - g. Is 1 at least i?
True
Let c = -22 + 10. Let g = -24 - c. Are 0 and g equal?
False
Let k be 1/(((-9)/(-15))/3). Suppose 5*b + 0*b + k = 0. Do b and -4/3 have the same value?
False
Suppose -63 = -5*k - 8. Suppose -5*x - k - 4 = 0. Which is smaller: -1 or x?
x
Let c(d) = d + 5. Let g be c(-5). Suppose -3*p + 57 = u, p = -p + u + 33. Let w be 1/(p/4) - g. Which is smaller: -1 or w?
-1
Let g be 22/(-18) + (-2 - -3). Let t = -9 + -1. Let k = t + 8. Which is bigger: k or g?
g
Let r = 2.97 - -0.03. Let f = r - 2. Let m = -7/15 + 4/15. Which is bigger: f or m?
f
Let f = 1214/155 + -39/5. Which is smaller: f or 0?
0
Let v = 0.2 + -2.2. Let q = -53 + 50. Is q > v?
False
Suppose -4*p - 16 = -0. Is -6 at most as big as p?
True
Let p = -3 - -4. Let t be (-5)/(-55) + (-7)/319. Which is bigger: p or t?
p
Suppose 4*o - 30 + 2 = 0. Suppose o*r - 2*r = 10. Let h be r - (1 - -1) - -2. Which is smaller: h or 3?
h
Let y = 1 - 4. Let d = y - 2. Let m be 3*(-1)/d*-1. Is m at most as big as -1?
False
Let k = 51 + -53. Is k at most as big as -8/5?
True
Suppose -2*r + 2*p = 3*r + 5, 0 = 3*r + p + 14. Let y be 42/24*(-12)/r. Is 6 bigger than y?
False
Let h = -8.8 + 8.31. Which is greater: 0 or h?
0
Let r be 42/28*8/(-6). Let f(h) = -h**3 + 6*h**2 + 8*h - 9. Let p be f(7). Is r less than p?
False
Let d be (1 - 0) + 19/(-1). Which is greater: -17 or d?
-17
Let g(f) = f**3 - 6*f**2 - 6*f - 2. Let c be g(7). Let h(w) = 3*w - 6. Let m = 0 + 4. Let d be h(m). Is d equal to c?
False
Let n be 1 + (-5)/10 + (-2)/(-8). Let h be (-2 - (2 - 4))/2. Which is smaller: n or h?
h
Let f be (1 + 2 + -3)*1. Suppose 3*a = 3*w - 15, 0*a - 16 = 4*a. Let d be 0/w + 4/(-10). Is f equal to d?
False
Let r be (251/(-3))/((-8)/6). Let z(d) = -32*d + 1. Let c be z(2). Let b = r + c. Which is bigger: -1 or b?
b
Suppose -2*a + 19 = -3*i, 2*a + i = -5 + 28. Let w = a + -7. Is 7/2 bigger than w?
False
Let z(p) = -22*p**2 - 5*p + 2. Let i(h) = 11*h**2 + 3*h - 1. Let c(w) = -5*i(w) - 3*z(w). Let y be c(-1). Suppose 3*b = y - 1. Which is smaller: b or 4?
b
Let q be 1*(6 + -7)/((-2)/4). Is 3/5 at most q?
True
Let h be 4 - (0 + -8 + 2). Suppose 4*b = 2*m - h, -2*b + 3*m - 17 = -6. Let z(d) = -d**3 - 3*d**2 - 3*d - 2. Let c be z(-2). Are c and b nonequal?
True
Let l be 128/16 - (-8)/2. Let f be (-8)/(-2) - (17 - l). Are f and 3/14 equal?
False
Let c = -728/5 - -48043/330. Is 1 >= c?
True
Let o(i) = i**3 + 6*i**2 - 6*i + 6. Let f be o(-7). Let s be -2 + 1 + (-1)/f. Is s greater than 0?
False
Let z be (-12)/(-54) - (5/36)/(-5). Which is greater: z or -0.09?
z
Let p be (-4)/((-1)/(-3) + -1). Let b be -3 + (-1)/2*-20. Which is smaller: b or p?
p
Let y = 8 + -3. Let p = y + -5.1. Let o = 0.06 - 0.46. Is o less than or equal to p?
True
Let n = -21.2 - -9.2. Is n > -0.1?
False
Let h = 1.5 - 0.3. Let s = -0.2 + h. Let f = 131/138 - 18/23. Which is greater: s or f?
s
Suppose -4*s - 3*u = -7*u, 9 = -2*s - u. Let t = s + 1. Which is greater: t or -1?
-1
Let b be 4 + (2 - (-1 + 0)). Is b at most 1?
False
Let i be (757/(-950))/(-4 + 11). Let k = i - -3/350. Which is greater: k or -1?
k
Let g(k) = -k**3 + 11*k**2 - 26*k + 18. Let f be g(8). Suppose 0 = s + 3*s + 8. Which is bigger: f or s?
f
Let k(q) = -q**2 - 7*q - 4. Let d be k(-7). Let w(a) = a**3 + 4*a**2 - 1. Let m be w(d). Is m bigger than -1?
False
Let u = 278 - 3060/11. Let w(s) = 2*s - 3. Let r(m) = m - 1. Let d(a) = 3*r(a) - w(a). Let l be d(1). Are l and u equal?
False
Suppose a + 4*i - 14 = 0, 0 = -4*a - 0*i - 3*i + 4. Let o(q) = 0*q**2 + q**3 + 0*q**2 + 7*q**2 + 4*q + 2 - 3*q**2. Let y be o(a). Which is greater: 4/5 or y?
y
Let o = 69 - 69.52. Which is smaller: o or -1?
-1
Let p be (3/(-10))/(12/(-16)). Are p and 0 non-equal?
True
Let t be (-66)/8*(-2)/4. Let n = t + -4. Is 1 smaller than n?
False
Let y(r) = r**3 - 5*r**2 - 6*r + 2. Let o be y(6). Suppose 3*g - 5*b = -31, 2*g = -g + o*b - 16. Which is greater: g or -4?
g
Suppose 0*h = -5*h - 25. Let x = h - -5. Is x greater than 1/3?
False
Let i = -160736 - -1127045/7. Let m = -270 + i. Let b be 0 + (-3 - (-2 + -1)). Is m less than b?
False
Let q be 1034/42 + 2/(-7). Let f = -25 + q. Which is smaller: -2/9 or f?
f
Let z = 8 + -3. Suppose -4*n + z = n. Let s be (1 + -1*2)/4. Does s = n?
False
Let q be (-2)/2*(0 - 0). Let b be 1 + q - (3 + -10). Suppose 8 - 2 = -3*p, -2*c - b = 2*p. Does -2 = c?
True
Let d = 1 + -1. Let j = 0.06 + 1.94. Which is smaller: d or j?
d
Let p = -8 + 7. Suppose u + u = 2. Let i be (3 + -2)/(p*u). Which is smaller: 1/4 or i?
i
Let g = 0.1 - 0.3. Let q = 0 + 0. Let u be ((q/(-2))/3)/(-1). Which is smaller: g or u?
g
Suppose -20 = 4*o, 2*t - 4 = o - 1. Let b = t - -2. Let r = 2 + b. Is r < 3?
False
Suppose 25 - 129 = 4*a. Is a > -26?
False
Let k = 16.1 + -15.69. Are -0.1 and k nonequal?
True
Let x = -416/9 - -46. Is x < -0.4?
False
Let z = -5 + 