 be g(-7). Let o = -12 + d. Which is smaller: o or 3?
3
Let d = 0.2 + -2.2. Let k = -3 - d. Let q = k - -0.8. Which is greater: q or -1/4?
q
Let n be 10/10*(-3 + 0). Is n > -4?
True
Let q be ((-5)/10)/(2/(-4)). Suppose -d + 1 = -3*d + 3*o, -d + 2*o - q = 0. Let w = -1 - -4/3. Is w greater than or equal to d?
False
Suppose -5*r - 3*h = -2*r - 45, 66 = 4*r + 2*h. Suppose -4*g - r = 3*z - 7, -3*z + 9 = 0. Is -5 at least as big as g?
True
Suppose -2*k + 746 = -2*i - 2*i, 5*k + 214 = -i. Let s be 3/((i/(-6))/(-3)). Which is smaller: s or 2?
s
Let p = 0.09 - -0.01. Let b = -0.1 + p. Let j = 5 + -3. Which is smaller: b or j?
b
Suppose -r + 4*r + k - 36 = 0, 4*r + 5*k - 37 = 0. Is r bigger than -1/3?
True
Suppose -3*s + 4 - 10 = 0. Suppose l + 3*j - j = 4, 3*l - 4*j + 18 = 0. Is l > s?
False
Let u(s) = s**2 + 5*s + 1 + 0*s**2 + 5. Let v be u(-4). Do 1 and v have different values?
True
Let t be (-2)/(-8) - 355/140. Which is bigger: -2 or t?
-2
Let v be (1 - (0 - 0))*0. Suppose v = 14*t - 9*t. Are 0 and t equal?
True
Suppose -17 = -0*x + 2*x - 5*d, -17 = 5*x - 4*d. Suppose 0 = 4*f + 2*w - 23 + 7, 4*w + 8 = 0. Let i be -1 + ((-5)/(-4))/f. Which is greater: x or i?
i
Suppose 0 = -6*u + 4*u + 18. Which is smaller: u or -1?
-1
Suppose r - 3*r - 39 = -3*h, 5*h - 60 = 5*r. Do 15 and h have different values?
False
Let b = -4 + 4. Suppose -2*u + 2 + 10 = b. Is 6 > u?
False
Let p = 5 - 7. Let o be 1 + (9 - 0) + p. Let u be o/(-6)*3/(-10). Which is greater: -1 or u?
u
Let r = 0 + 0. Suppose 3*d - 5 - 13 = r. Suppose -2*g = 3*p - 5*g - d, 5*g + 12 = 3*p. Is -2 bigger than p?
False
Let m(b) = b**3 - 8*b**2 - 9*b - 5. Let k be m(9). Is 0 less than k?
False
Let y = 1 - 1/2. Suppose 2*z + 3*z = -30. Let i = -6 - z. Are y and i non-equal?
True
Suppose -2*u = 5*a - 168, -u - 29 + 129 = 3*a. Suppose 3*j = -2*f + 4, f + 2*f = 5*j - a. Suppose -12 = -j*y, 0*y - 5 = 2*t - 3*y. Which is greater: t or 1?
t
Let o be ((-5)/15)/(1/(-18)). Let x = -6 + o. Let j = 20402/407 + -552/11. Are x and j equal?
False
Let a(c) = c**2 + 13*c + 7. Let b be a(-13). Suppose 1 = -i - 0, 0 = -r - 3*i - 5. Let d = r + b. Is 6 greater than or equal to d?
True
Let v be 270/80 + -2 + -1. Let s be -1 + (-3)/(3/(-2)). Which is greater: s or v?
s
Suppose 0 = 2*u - 5*k + k - 32, -2*u + 2*k + 38 = 0. Let i be (-39)/(-10) + 11/u. Which is smaller: 3 or i?
3
Let d = 0 + -0.2. Let u = -11 + 12. Suppose -4*n - 7 = -3*k, 7*n + u = -2*k + 4*n. Is k at most as big as d?
False
Suppose -3*x + 38 = -10. Is 15 greater than x?
False
Let p(b) = -2*b + 25. Let v(j) = -j + 13. Let x(s) = -4*p(s) + 9*v(s). Let i be x(12). Suppose -i*l + 40 = -l. Is l < 11?
True
Let q = -9641/903 + 3/301. Is -12 bigger than q?
False
Suppose -5*b + 2*r = 3*r - 32, 3*b + 2*r - 15 = 0. Let x be (b + -7)*(-1)/(-2). Suppose s + 3*s = x. Which is smaller: s or -2/21?
-2/21
Let m = 7 - 7. Suppose m = h - 2*h - 6. Do -4 and h have the same value?
False
Let u(n) = -n + 2. Let b be u(-5). Suppose -10 = -b*p + 2*p. Which is bigger: -2/5 or p?
p
Let v = 37.9 - 54.6. Let f = -17 - v. Which is greater: -1 or f?
f
Let h be 636/(-22) + 20/5. Let y = h - -25. Is y greater than or equal to 0?
True
Suppose 4*j - 1 = x, 5*j + 2*x - 3 - 8 = 0. Let w be (-3)/(6/(-4)) + 10. Suppose -w + 2 = 5*g. Which is smaller: j or g?
g
Let j = -219 + 4159/19. Which is smaller: j or 1?
j
Let d = -5 - -2. Which is bigger: -7/4 or d?
-7/4
Suppose 6*y = y + 3*x - 779, -2*x = 5*y + 789. Let j = y + 1725/11. Let w be 2/(-10) + (-5)/(-25). Does j = w?
False
Suppose 0 = h + 5*h - 78. Are 12 and h equal?
False
Let j = -7 - -2. Which is smaller: j or -4?
j
Suppose -3*n - 204 = -3*d, -n + 3*d = 6*d + 52. Do -64 and n have the same value?
True
Let g = -171 + 170. Which is bigger: g or -29/5?
g
Let o = 66 - 39. Is o less than or equal to -1?
False
Let a(w) be the third derivative of w**4/24 + 3*w**3/2 - 5*w**2. Let j be a(-10). Is j smaller than -4/11?
True
Suppose 4*i = 4*d + 8, 8*d - 4*d + 6 = 2*i. Let q = -3 - -8. Suppose -4*k + q = 17. Is d less than k?
False
Suppose 0*b = b. Suppose j = -b*j - 2. Let h be j/4 - (-3)/(-6). Is h smaller than -0.1?
True
Let w = 0.83 + -0.53. Is w > -3/7?
True
Let i = 45276/13 - 3486. Is i less than or equal to -4?
False
Let y = -26 - -38. Is 13 > y?
True
Let x = 5/174 + -5839/348. Are -16 and x nonequal?
True
Let n be 38/((-114)/74 - 3). Let t = n - -58/7. Let o be 2/5 - (-2)/(-5). Are t and o equal?
False
Let k(c) = -c**3 - 7*c**2 - 6*c - 2. Let p be 1 - (10 - (0 - -3)). Let a be k(p). Which is bigger: a or 1?
1
Let z be (1/(-6))/(3/(-2)). Let c = z - 16/63. Which is greater: -1 or c?
c
Let x be 7 - (6 + (-1 - 2)). Let g be -2 + (-15)/(2 + -5). Which is bigger: x or g?
x
Let k = 1249/25 + -50. Which is smaller: -1 or k?
-1
Suppose 5*s = -b - 2, 13 = 2*b + b - 4*s. Suppose -h - 10 = -b*h. Is 5 != h?
False
Let m = 2523 - 3909. Let x be (116/m)/((-4)/(-10)). Let w = -1/77 + x. Which is smaller: w or 3?
w
Let k be (-2)/(-4) + (-375)/(-10). Let c = -264/7 + k. Which is smaller: 1/25 or c?
1/25
Let z(v) = v**3 + 8*v**2 - 8*v + 8. Let x be z(-9). Let g be 4/(-6) + 42/90. Which is smaller: g or x?
x
Let t be (6/4)/((-12)/(-16)). Suppose 0 = -3*c + 12, -t*y - 12 = -5*c + 10. Let i be ((-20)/(-70))/((-18)/(-28)). Which is smaller: y or i?
y
Let x be 1*(9 - (2 - 5)). Let v be (12/8)/((-2)/x). Let w be v/(-27) + (-2)/6. Is 0.2 at least as big as w?
True
Let b be (-2 - -12*1) + -2. Let n be (b/12)/((-2)/(-15)). Let i = n - 4. Is i greater than or equal to 1?
True
Let g = -3 + 2. Let r = g + 1. Let b = 35.2 + -36.2. Is r greater than or equal to b?
True
Let q = -2111/2911 - -28/41. Which is smaller: q or 1?
q
Let c(o) = o**2 - 5*o - 5. Let i be -1 + -2 + 2 + 7. Let w be c(i). Is w <= 1?
True
Suppose 0 = -10*o + 3*o + 21. Suppose -2*v = v - 2*c - 14, -3*v - 4*c = -8. Suppose -5*m + 45 = -0*m - 5*a, -v*m = 2*a - 6. Is m < o?
False
Let c(d) = d**3 - 6*d**2 + 7. Let m be c(6). Let o(j) = j**3 + 6*j**2 - 6*j - 4. Let v be o(-7). Let r = v + m. Is r equal to -4?
True
Suppose -4*u + 10 = 2*i, -5*i - 35 = -3*u - 2*u. Let m be 15/21*u/10. Which is smaller: 0 or m?
0
Let t(b) = b**3 - 17*b**2 + 15*b + 17. Let p be t(16). Is p smaller than 6?
True
Suppose 3*t = -0*t. Which is smaller: t or 1/13?
t
Let h(b) = -b**2 - 12*b + 5. Let i be h(-13). Let f be (-6)/i*(-8)/9. Suppose 0 = -a - 2*a - 6. Is a smaller than f?
True
Let a = 10.6 - 12. Let d = a - -1.4. Which is smaller: d or 0.4?
d
Let a be 0 + 1 + (-33)/24. Let r(q) = -q**3 - 6*q**2 + 6*q - 6. Let v be r(-7). Is a != v?
True
Suppose -2*p + 190 = -12*p. Do -58/3 and p have the same value?
False
Let s = -23 - -23. Is s > -0.13?
True
Let z be ((-3)/(-2))/((-3)/6). Let x = z - -1. Suppose b = 3*b + 2. Do b and x have different values?
True
Let i = -5.1 - -5. Let q = i + 0.3. Which is greater: q or -4?
q
Suppose -7*y - 8 = -3*y. Let q = -3 - y. Let v = 61 + -245/4. Which is smaller: v or q?
q
Let z = -1 + 1. Let c be (z/(-1 + 0))/(-3). Let s = 0 - -2. Is s smaller than c?
False
Suppose -3*a + 22 = 5*d, -4 = 4*d - 0*a - 3*a. Let v = 21.2 - 21. Does d = v?
False
Let l(g) = g**3 + 5*g**2 - 5*g + 5. Let d be l(-6). Let o be 0/(-1) - (d - 2). Let p be (((-36)/33)/o)/2. Is 1 bigger than p?
True
Let n = 1664/2185 - 18/23. Which is greater: n or -1?
n
Suppose -4*y + 9*y - 30 = 0. Let m = y + -7. Let s = 0.05 + 1.95. Which is smaller: s or m?
m
Let g be 12/(-2) + (-1 - -1). Let t be -2*(0 - 9/g). Let b = -1 - t. Is 2 bigger than b?
False
Let r be 1*3/(-6)*-10. Let b be 4/12 + (-14)/(-3). Is r > b?
False
Let l(s) = 20*s**2 - 4*s - 16. Let q(m) = -7*m**2 + m + 5. Let c(i) = -6*l(i) - 17*q(i). Let x be c(8). Suppose -x*d = -4*d. Is 0 smaller than d?
False
Let t = -5 - -2. Let c be 3*t/(-36)*6. Do c and 1 have the same value?
False
Let w be (3 - 10/6)/(7/6). Are 0 and w equal?
False
Let z = -21 + 17. Is z at least as big as -3?
False
Suppose 3*q - 4 = -3*d + 2*q, 0 = -4*d - 5*q + 9. Which is smaller: 7 or d?
d
Let u = -0.18 - -0.38. Let z = 0.5 - 1. Which is greater: u or z?
u
Suppose -4*a - 2*r - 72 = 0, -4*r - r - 61 = 3*a. Which is smaller: -16 or a?
a
Suppose 0 = -3*x + 6*x - 24. Let c be x*(1 + (-12)/(-16)). Which is greater: c or 13?
c
Suppose -5*g = -4*i - 17, 7 + 15 = i + 4*g. Let j be (-6)/45 + 0/i. Is j bigger than 0?
False
