q = -3*i - 1, -q - 5*i - 6 = -3. Let h be q/(-6) - (139/(-57) + 2). Which is greater: h or 1?
1
Let n = 9.5 - 47.6. Let q = 38 + n. Is q greater than -0.1?
False
Let b be 3/(-4)*(-48)/(-3). Let f = b + 11. Let t be (-38)/20 - (-4)/10. Which is smaller: t or f?
t
Suppose 4*a + 30 = -38. Let n = a + 37/2. Let c = 16 + -14. Is n at least as big as c?
False
Suppose 2*j = -3*t + 6*j + 44, 4*t - 42 = 2*j. Suppose 15*m = 130 - 25. Which is bigger: t or m?
t
Suppose 0 = -0*h + 3*h + 3*s - 72, 0 = -4*h - 5*s + 99. Let d = 12 - h. Let v be -15*1/d*-3. Are v and -2 unequal?
True
Suppose -65 = -6*x + x. Let t = -14 + x. Let v = 19 - t. Is v bigger than 21?
False
Let x(o) be the first derivative of o**3/3 + 7*o**2 + 2*o - 2. Let h(t) = -t**2 + 13*t + 16. Let g be h(15). Let z be x(g). Is z <= 1?
False
Let k = 58 + -58.23. Let r = -17.7 - -23.47. Let o = r - k. Which is bigger: -3 or o?
o
Let a = -10 + 36. Let b = 229/4 + -57. Do a and b have the same value?
False
Let d = 0.17 - -7.83. Let v = -7 + d. Is -8/5 bigger than v?
False
Let w = -1 - -25. Let h = 0.02 - -8.98. Let u = h + -8.9. Which is greater: u or w?
w
Let t be ((-2)/(-4))/((-27)/5616). Let p = t - -108. Which is greater: -4 or p?
p
Let p = -1/2772 - -10397/5544. Is p equal to -1?
False
Let m = 0.011 - -0.049. Which is smaller: m or 7?
m
Let p be 20 - 23 - 359/1. Is -361 at most p?
False
Suppose -2*q + 2 + 2 = -2*v, 2*v = 3*q. Let l be (8/v)/(88/24792). Let c = 376 + l. Is 0 < c?
True
Let c(o) = -o**3 - 6*o**2 - 8*o - 1. Let i be c(-2). Which is smaller: i or -1/123?
i
Let q = -5/38 - 241/190. Which is bigger: -1 or q?
-1
Let o(v) be the third derivative of -v**5/60 - v**4/24 + 5*v**3/6 - 3*v**2. Let f be o(-4). Let g be 2/f + (-61)/7. Which is greater: -10 or g?
g
Let d = -0.114 - 0.286. Let n be 1/(-3) + 32/42. Which is bigger: d or n?
n
Let m = -1916 + 1894. Is m smaller than -1?
True
Let a = 1 - 1. Let s = 3 - a. Suppose 0 = -16*c + 21*c - 20. Which is bigger: s or c?
c
Let v be 0/(-1) + 10 + (-14 - -3). Is v <= -2/2481?
True
Let u be (1 - 1)/((-54)/(-18)). Let q(n) = -n**3 + n**2 - 3. Let k be q(4). Let s = 407/8 + k. Do s and u have the same value?
False
Let g = -119 + 129. Is g less than 7?
False
Let k be (-2)/10 - 71/(-5). Let r be (-384)/(-21) - 4/k. Are r and 19 nonequal?
True
Let z(p) = -p**2 - 15*p. Let o be z(-15). Suppose 5*l + 25 = o, -3*l = 2*w - w + 14. Let j = 657 - 19051/29. Is j smaller than w?
True
Suppose -2*t - t = -144. Suppose -6*o = -3*o + t. Let q = 17 + o. Is 2 > q?
True
Let m = -17/53 - 2/159. Let i = -0.18 - -0.08. Let t = -0.08 - i. Are t and m unequal?
True
Suppose -4*d + 3*c = -11, 4*d = 5*d - 3*c - 14. Which is greater: d or -1/305?
-1/305
Let n be (44710/34731)/(-10) - (-2)/18. Is n at least as big as 1/2?
False
Suppose 0 = -p - 3*p - 2*z + 116, 3*p + 2*z - 89 = 0. Let d = p + -32. Do -3 and d have the same value?
False
Let t = -50 - -52.05. Let b = t + -2. Let q = -41 - -43. Which is bigger: q or b?
q
Let j(q) = 2*q + 1. Let b be j(3). Let l = -8.04 - -8.44. Do l and b have the same value?
False
Suppose 0 = -9*f + 16 - 25. Which is smaller: -7/177 or f?
f
Suppose -4*q = -13 + 5. Let n be (-149)/(-3) - (-6 - -4). Let x = -757/15 + n. Which is smaller: x or q?
x
Let g(p) = p**3 - 4*p**2 - 2. Let i be g(4). Let l = -1791 + 1788. Which is greater: l or i?
i
Let t = 163/68 - 28/17. Let r be (-84)/210*10/(-4). Which is bigger: t or r?
r
Suppose 0 = -4*c, 5*c + 127 = -t + 121. Let l(u) = u**3 - 5*u**2 + 4*u - 5. Let q(p) = -p**3 + 5*p**2 - 3*p. Let n be q(4). Let z be l(n). Is t smaller than z?
True
Suppose 5*v + 5*o + 5 = 0, -3*v + 25 = -0*v - 4*o. Suppose h = 2*h + 5, -43 = v*g - h. Which is smaller: -17 or g?
-17
Let j be -10 + (343/7)/7. Is j at least as big as -2/7?
False
Let s = -26.8 - -29. Let r = -2.4 + s. Which is bigger: r or 13?
13
Let f be -2 + 2/((-18)/(-23)). Let i = -582 + 582. Is f >= i?
True
Let q = -31 - -31. Suppose q = -3*t + 8*t - 5. Do 2/53 and t have different values?
True
Let u be (-171)/(-2346)*1096/12. Let j = -108/17 + u. Is 1 less than j?
False
Suppose -275 = w - 274. Which is greater: -2/371 or w?
-2/371
Let l = -54 + 42. Let z be 21/(-4)*64/l. Which is bigger: 27 or z?
z
Let r = 0.5 + 4.5. Let p = -10 + r. Let q be 4/6*(-8)/(-16). Which is smaller: p or q?
p
Suppose 110 = -p - 10*p. Suppose 0*q + 4*q + 36 = 0. Which is smaller: q or p?
p
Let j = 500.9 + -501. Are 0.06 and j equal?
False
Suppose 28*v - 32 = 24*v. Suppose -y - 27 + v = -3*q, -16 = 4*y. Is q at most 4?
False
Let d = 121 - 80. Let y = d - 30. Is 0.1 greater than y?
False
Let u = 1.1 + -0.2. Let j = -59 - -61.9. Let a = u - j. Which is greater: 6 or a?
6
Let k = 1.02 + -0.02. Which is greater: -18/5 or k?
k
Let p be (-1)/(-7) + (-51)/63 + -4. Let s(g) = -4*g**2 - g + 1. Let f(z) = z**2 + 8*z - 8. Let c be f(-9). Let n be s(c). Is n at least as big as p?
True
Suppose 3*h + 3 = -2*v, h + 2 = -v - 2. Suppose -7*n + 4*n = 27. Is n less than or equal to v?
True
Let r = -36 - -52.1. Let i = r + -16. Let t = -0.02 - 2.98. Which is greater: t or i?
i
Let h = -37 + 28. Let g be h/6 + 18/(-4). Which is smaller: -7 or g?
-7
Let b = -0.09 + -0.05. Let w = -0.34 - b. Suppose 8 = -3*o - 1. Is w greater than o?
True
Let n be (42/49)/(4*(-2)/(-1288)). Which is bigger: 137 or n?
n
Suppose 0 = -d - 2*m + 8 + 13, d - m = 6. Suppose -2*g + 6*c - 3 = c, -2*g - d = 3*c. Suppose 16 = 4*o - 8*o. Is g < o?
False
Let v be 446/10 - (-4)/10. Suppose -v + 65 = -5*u. Let h be (-9)/12 - (-2)/(-8). Is h > u?
True
Let p be (24/(-27) + 1)/(-4 + 7). Which is smaller: 1 or p?
p
Let s = -1132 - -1130. Is -37/18 <= s?
True
Let f be 57 - (-7 - (0 + -13)). Is f not equal to 50?
True
Let f(l) = l**3 - 16*l**2 + 3*l - 38. Let o be f(16). Suppose -o = -3*d - 3*k + 2, 4*d = 3*k - 5. Suppose 3*b = -0*b. Which is bigger: b or d?
d
Let x = 0.7 + 0.1. Let j = -3/1219 - 2411/10971. Which is greater: x or j?
x
Suppose 5*u + 0 = 5. Let r be u/(1/(-1)) - -19. Let i be (r/45)/((-6)/(-10)). Is i less than or equal to 1/6?
False
Let h = 17 - 0. Let c = h - 34. Let p = c - -17.2. Which is greater: p or 4/7?
4/7
Suppose 15 = 3*b - 3. Let q = b + -11. Is q greater than 1?
False
Let a = -1681/88 - -30/11. Which is bigger: a or -17?
a
Let c = 388 + -518. Is -0.1 > c?
True
Let o = 73 + -72. Let n be (-100)/(-35)*o - 0. Is 4 >= n?
True
Let z be (-321)/(-12) - 1/(-4). Let u = 2095 + -2070. Does z = u?
False
Let r be (-1)/(-2)*8 - -84. Suppose r*m - 91*m - 27 = 0. Is m greater than or equal to -7?
False
Let q(p) = -p**3 + 14*p**2 - 24*p + 5. Let n be q(12). Let h = -233/4 - -58. Are n and h equal?
False
Let b(y) = y**3 + y**2 + y. Let n(o) = -o**3 - 2*o**2 - 2*o + 1. Let r(z) = 2*b(z) + n(z). Suppose -2*j = 0, 11*m - 5*j = 7*m - 4. Let c be r(m). Is c > -3/4?
True
Let a(x) = 5*x - 7*x - 14*x - 15 - x**2. Let c be a(-15). Suppose -f + c = -1. Is f less than -7/8?
False
Let k = -120 + 99. Let g = 6 - 5. Let l(r) = -21*r. Let c be l(g). Is k greater than or equal to c?
True
Let z = 237 + -1901/8. Suppose -s + 3 = 2*m, m = -4*s + 2*s + 6. Is m at most z?
False
Suppose 4*d - 2*m - 8 = 0, 3*m + 5 = d + 4*m. Suppose -2*q + j + 6 = 0, d*j + 9 = -q - 2*q. Which is smaller: q or 2?
q
Suppose -5*r = -5*o + 395, -5*o + 5 = -4*r - 388. Let q = o + -364/5. Is q smaller than 4?
False
Let t = -26 + -180. Is -206 bigger than t?
False
Let m = 3.9769 + 0.0231. Are 5 and m equal?
False
Let b(h) = -3*h - 71 + 0*h + 96. Let g be b(9). Let f = 74 + -961/13. Which is bigger: g or f?
f
Let b be 5/(-4)*62/155*0. Let y = -1255/24 - -158/3. Do y and b have the same value?
False
Suppose 2*f - 52 = 140. Suppose -95 = 4*l + 5*c, -l - 3*l - f = 4*c. Let i = 127/5 + l. Which is smaller: 3/4 or i?
i
Let j be 28/238 + (-6984)/(-170). Let k = j - 41. Let l = 0.3 - 0.4. Is l >= k?
False
Let s = 7 + -4. Suppose s*p + 2*w = 10, 3*p - 5*w = -2*w. Suppose 3*a = -2*d + 5*d - 15, 32 = 4*d + p*a. Are d and 7 nonequal?
False
Suppose g + 4 = 5*g. Let w be 1157/65 + g/5. Suppose 0*v - u = -3*v, -w = -3*v - 5*u. Which is smaller: v or 1/4?
1/4
Let q = 151.98 + -153. Let w = -0.02 - q. Is -0.18 != w?
True
Let z be (1/3)/((-4)/(-24)). Suppose 16 = 3*p - p. Suppose -4*a = -p*a. Is z bigger than a?
True
Suppose 30 - 78 = 3*r. Is -86/5 not equal to r?
True
Suppose -9*r + 6*r - 12 = 0.