t?
True
Let r be (-2)/(-10) - 6/(-270). Which is greater: -4 or r?
r
Let k be -1 + 3/((-48)/(-28)). Which is greater: k or 0?
k
Let f = -67/126 + 2/63. Let j = 0.1 - -3.9. Let g = j + -3. Is f at most as big as g?
True
Let z be 35/25 - 2/5. Which is smaller: z or -2/13?
-2/13
Suppose 3*z - 4 - 38 = 0. Which is smaller: z or 13?
13
Let n(d) = d**2 + 1. Let f be n(-2). Suppose 0*s + s = f*k - 12, -5*s - 20 = -5*k. Suppose -2*r - k*r = -2*t - 14, t + 9 = 3*r. Is -3 equal to t?
True
Let c be 1/3*(-34)/(-4). Is c smaller than 3?
True
Let y = -0.1 - 0. Let m = 245.07 + -244. Let f = -0.07 + m. Is y > f?
False
Let s = 32 - 24. Is -2 at most as big as s?
True
Let l = -423/2 + 216. Let k be 1/3 + 38/(-12). Let u = k + l. Is 1 > u?
False
Let j = -7163 + 50257/7. Let g = -16 + j. Which is smaller: g or 0?
0
Let p = -7/513 - -1775/54891. Is p less than 1?
True
Let f = 14 + -3. Let z(y) = y**2 - 12*y + 9. Let q be z(f). Is -2 less than q?
False
Let s(g) = g**2 - 18*g - 3. Let m be s(18). Which is greater: -1 or m?
-1
Let c be (-3)/(-2) + 2 + -3. Suppose -45 = -5*j - 5*p, j + 0 = -4*p + 6. Let h = 11 - j. Is h at most c?
False
Suppose -10 = 5*j - 10*j. Let t be -2*(2 + -3)/j. Do 1 and t have the same value?
True
Let g = -0.112 - -2.012. Which is smaller: 1 or g?
1
Let z = -1 - -2. Let x = 0.1 + -0.02. Let i = 0.08 - x. Which is smaller: z or i?
i
Let z(d) = 13*d**3. Let w be z(1). Is 14 greater than w?
True
Let g = -16 + 11. Let a be (2 + g/2)*-2. Which is smaller: a or -1?
-1
Let y be (1/3*-3)/(-1). Which is smaller: -2 or y?
-2
Let y(g) = -g**2 + 20*g - 18. Let b be y(19). Which is greater: b or -27?
b
Let f = 0.2 + -0.2. Suppose -5*j + 5*g = 35, -4*g = -7*g + 15. Let m be 2/1 + j/1. Is f <= m?
True
Let i(g) = g + 1. Let j(v) = 11*v + 8. Let t(w) = -21*i(w) + 3*j(w). Let c be t(-2). Let f = c - -397/19. Which is greater: f or -1?
f
Suppose -2*y + 4 = -0. Let i = -2 + 4. Suppose -i*v = v. Is y < v?
False
Let c be 14/(-3) + 2/(-6). Let a be (-9)/c*-1 - -2. Let x(j) = j**2 - 6*j + 1. Let h be x(6). Is h equal to a?
False
Let q be ((-2)/5)/(1/5). Suppose -5*r = 2 - 32. Suppose -5*o = 4*h - r + 3, -12 = 5*h + o. Is h <= q?
True
Let i = -9 - -12. Is i not equal to 3?
False
Let u(i) = -i**2 + 10*i - 3. Let y be u(9). Is y >= -0.2?
True
Let j = -2 + 5. Suppose o = -0*o - 3*n - 3, 4*n = -j*o + 1. Which is greater: o or 9/5?
o
Let b be -4 + (2 + -2 - 3). Is -8 bigger than b?
False
Let m be (2/(-11))/(-1) + 31/11. Let n be (-7)/(-3) - 2/6. Which is smaller: n or m?
n
Let x = 1056 - 20578. Let w = -98127/5 - x. Let q = -103 - w. Is q > -0.3?
True
Let z = 0 + 4. Suppose z*y - h + 3 = 0, 5*y - 20 = 5*h - 5. Let i = y - -3. Which is smaller: i or -2/21?
-2/21
Suppose -4*c = -3*c - 12. Let w be 4*(1 - 39/c). Is -9 >= w?
True
Suppose 0 = 4*z - z + 3. Which is smaller: z or 5/11?
z
Let s(h) = -h - 1. Let q be s(-3). Suppose -q*n - 4*u = -4*n + 2, 3*u - 15 = -4*n. Suppose 5*t = t - 4*y, 0 = n*t - 3*y + 18. Which is bigger: -2 or t?
-2
Suppose 0 = 5*y + 20, 3*y + 3 + 7 = 2*f. Which is smaller: 1/13 or f?
f
Let c = -1 + -2. Let i be -3 + 1*(-302)/(-4). Let t = 71 - i. Which is bigger: t or c?
t
Suppose -5*d + n + 2 = -2, -4 = 3*d + n. Is -2/59 not equal to d?
True
Let v(k) = -k + 9. Let c be v(-13). Does 21 = c?
False
Suppose -d - 25 = -5*i, 5*d - 6*i + 3*i = -37. Is 3 bigger than d?
True
Let f(h) = -h**2 + 7*h - 9. Let w be f(5). Do w and -5/11 have the same value?
False
Suppose x - 4*x + 6 = 0. Let b be -1 - (x + 0 + 0). Is b at least -3?
True
Let k = -24 - -46. Which is smaller: k or 23?
k
Let w = 222/5 + -44. Which is smaller: w or 1.1?
w
Let n(v) = v**3 + 6*v**2 + 3*v + 11. Let r be n(-6). Let x = 6 + r. Which is smaller: x or 13?
x
Suppose 0 = -3*g + q, q - 4*q = 2*g. Which is bigger: g or 5/6?
5/6
Let s = 2.9 - -0.1. Let t = s + 0. Do 2/3 and t have the same value?
False
Let b = 1 + 1. Let n(m) = -1 + 0 - m**2 - 3 + b*m - 7*m. Let x be n(-4). Which is greater: 1/3 or x?
1/3
Let u = 18 + -20. Do u and -5/7 have the same value?
False
Suppose 3*v = -0 - 12. Let h be v/14 + 80/525. Which is bigger: 1 or h?
1
Let u(z) = -5 + 12 + 3*z**2 - z**2 + 6*z - 3*z**2. Let d be (-21)/(-2)*(-2)/(-3). Let q be u(d). Is q < 1?
True
Let s be (-1)/(14/8 - 2). Suppose s*i + 14 = -14. Let p be (-1)/i*(-4)/(-4). Is p equal to 0?
False
Let i(y) = 4*y**3 - 2*y**2 - y. Let o be ((-1)/(-1))/(3/(-3)). Let x be i(o). Does -5 = x?
True
Let n(d) = -d**3 - 12*d**2 + 12*d - 13. Let j be n(-13). Which is bigger: j or 3/13?
3/13
Suppose -3*d + 4 = -5. Suppose 9*x = -x + 50. Which is smaller: x or d?
d
Let k = -12 + 11. Let z be ((-5)/(-2))/(2/4). Let g be 3/(-20) + 2/z. Which is greater: k or g?
g
Let q be (-3 - 63/6)*-2. Let o be 6/q + (-10)/126. Which is bigger: 1 or o?
1
Let r = 135 - 948/7. Let c(v) = v**2 - 6*v - 1. Let p be (-3)/((-2)/4 - 0). Let a be c(p). Which is smaller: a or r?
a
Let h(t) = t**3 - 1. Let v be h(-1). Let q be (-6 - -2)/(-2 + 0). Let r = q + v. Is r > -3/5?
True
Let u be (-1)/3 - 176912/21. Let s = -8444 - u. Let g = 19 + s. Are g and 1 equal?
False
Suppose 2*g + g - 9 = 0. Suppose 2*x = g*x. Let i be ((-108)/15 - -7)/((-4)/30). Is x <= i?
True
Let c be ((-48)/(-30))/((-4)/(-10)). Let y be 10/2 - (-8)/4. Suppose 0 = -5*j + 3*x + 20, 3*j + 24 = y*j - c*x. Are 1 and j equal?
True
Let g = -10 - -9. Let z be (3 + 0)*g + 0. Which is greater: -4 or z?
z
Let a be ((-2)/3)/(18/(-405)). Let o = a - 8. Is 6 > o?
False
Suppose -f + 2 = -3*j, -4 = f + j + 2. Let x be 2/f + (-1)/2. Let s = 2 + -1. Is s at least as big as x?
True
Let d(k) be the second derivative of -k**5/10 + k**4/12 - k**3/6 + 3*k. Let t be (2/(-6))/((-2)/6). Let q be d(t). Is q < -2?
False
Let o be 1*(-2)/3*-3. Suppose -z - o*z = 15. Suppose -i + 2*b = -0*i + 7, -4*i - 2*b - 18 = 0. Is z at most i?
True
Let a(n) = -n - 8. Let y(c) = -3*c. Let t be y(2). Let o be a(t). Let b(p) = p + 5. Let s be b(-6). Is s less than o?
False
Let y(g) = -g**3 + 8*g**2 + 8*g + 11. Let w be y(9). Let z be (-1)/(-3) - (-39)/18. Which is greater: z or w?
z
Let a = 12 - 12. Let t = -2 + 7. Suppose -t*x - 20 = -y + 5*y, 0 = y + 5. Is x > a?
False
Let a be (0 + -5 + 1)/(-10). Which is bigger: -6/7 or a?
a
Let a be (-24)/60 + (-26)/10. Which is smaller: -7/2 or a?
-7/2
Let w(d) = -d - 2. Let c(m) = 1. Let b(o) = -c(o) - w(o). Let t = 2 - 1. Let p be b(t). Is 2 at most p?
True
Let f(d) = 21*d + 6. Let h be f(-2). Does -37 = h?
False
Let h be -7 - (1 + -2 - 1). Let o(m) = 3*m + 1. Let f be o(h). Let b be 18/f + 4/14. Does 2/21 = b?
False
Suppose -2*l - 51 = 15. Let o be ((-1)/2)/((-1)/(-4)). Let h be o + (-84)/l + 0. Which is greater: h or 0?
h
Let n = 0.2 + -0.3. Suppose 0 = 6*h - h. Let f = h + 1. Is f at most n?
False
Let p = -4 - -6. Suppose -13 = p*b + 5*h, 3*b - 4*h = -3*h - 11. Let l be 64/(-36) + b/18. Which is greater: 0 or l?
0
Let f be ((-24)/(-14))/((-10)/(-35)). Is f >= 5?
True
Let u = 154/5 + -1396/45. Which is smaller: u or -2?
-2
Suppose l - 2 = 0, 0*l = 4*z - l + 18. Suppose 0 = -n - 1 - 3. Is n equal to z?
True
Let r be (2 - (-3)/(-2))*(-4)/5. Suppose -5*y - 20 = 5. Let j(g) = -g**3 - 4*g**2 + 5*g - 2. Let f be j(y). Which is smaller: f or r?
f
Let b = -175 - -5774/33. Which is bigger: 1 or b?
1
Suppose -2*s - j - 4 = 2*s, -16 = -2*s + 4*j. Let d = 4 + -5. Let y = d - 1. Which is smaller: y or s?
y
Let c(g) = g**2 + 9*g - 39. Let j be c(-12). Let t = 1.2 + -1. Which is smaller: j or t?
j
Let w = -3/17 - -29/357. Which is bigger: w or 1?
1
Let s = 2 - 0. Let h be s*(-4)/(-20)*-5. Which is bigger: h or -5?
h
Suppose 8*a = -5*z + 6*a + 32, -z + 5*a = -1. Suppose 2 = 2*l + l + 2*o, -4*o + 4 = -4*l. Which is bigger: z or l?
z
Let r = -423 - -659. Let n = r - 4721/20. Are -1 and n equal?
False
Let c = -3673/15609 - -1/363. Which is bigger: 1 or c?
1
Let n = -4 - -17/4. Which is smaller: n or 0.8?
n
Let k = 839 + -1463. Let l be 2/5 + k/(-65). Does l = 11?
False
Let k be -2*(-2 - 9/(-2)). Is -5 >= k?
True
Let x(d) = d**3 + 3*d**2 - 4*d. Let j be x(-4). Suppose -w + l = -6, 24 = 2*w - j*w + 4*l. Let v be (-1)/(-4) - 2/w. Is 1/2 smaller than v?
False
Let j be (-44)/(-16) + (-4)/(-16). Which is smaller: j or 2?
2
Let f be (2*2/(-8))/1. Let u(v) = -v**2 + 2*v - 2. Let z = 4 - 2. Let y be u(z). Which is greater: y or f?
f
Let o(x) = x - 5