ppose j = -3*q + 4*q - 15, -c*q - 37 = 2*j. Let z = 15 + j. Is 2/71 at least as big as z?
True
Suppose 2*d = 10, 59*d - 64*d + 10 = 5*v. Is v != -10?
True
Let m = 0.07 + -0.31. Let d = m - -0.14. Which is smaller: -3/8 or d?
-3/8
Suppose 2*q + 5*a = q - 1, -4 = 4*q - 3*a. Let x = -297677/107 - -2782. Let i = x + -151/2247. Which is smaller: q or i?
q
Let k = -20 - -22.3. Let m = k + -8.8. Let o = 7 + m. Which is bigger: 2/7 or o?
o
Let c = -0.39 - -0.79. Is 0.49 smaller than c?
False
Let t be 46/(-84) - (-4)/(-24). Suppose -g = h + 4*h - 14, 0 = 2*g - h + 5. Let z = g + -1. Which is greater: z or t?
t
Let y = -363 - -245. Let v = y + 128.1. Let z = 10 - v. Is 5 greater than or equal to z?
True
Let w be (0/(-11 + 15))/8. Is 3/67 equal to w?
False
Suppose 5*z + 44 = -56. Is z less than or equal to -19?
True
Let a(l) = 5*l + 16. Let k be a(-9). Let i be 1*(30/k + -2 + 3). Which is smaller: i or 1?
i
Let b(m) = -3*m - 1. Let s be b(-6). Let k = s - 13. Suppose -12 = -5*v - p, 4*v - p - k*p = 27. Is v > 4?
False
Let v be 8/3*777/15836. Which is smaller: v or 0?
0
Suppose 4*b = 3*b + 5. Suppose 2*z - 6 = -3*i + 5*z, -b*i = -z - 2. Let d(s) = s**3 + 7*s**2 + s + 8. Let a be d(-7). Do i and a have the same value?
False
Let j = 27 + -22. Suppose -j*o + 3*w - 17 = 0, -4*o - 7 = -w + 1. Let s be (-40)/138 - o/3. Which is greater: 0 or s?
s
Suppose -2*a + 8 = 2*f - 4, 0 = -f + a. Suppose c - 15 = -3*w + 4*c, 25 = -5*w - 5*c. Suppose -f*s = -w*s. Is 2/7 less than s?
False
Let v = 1827 - 1707. Is 114 <= v?
True
Let w(f) = -f**3 + 3*f**2 + 4*f + 24. Let q be w(4). Which is greater: -1 or q?
q
Let v = -59 + -13. Let t be (-4)/10 + v/(-30). Suppose 0 = 2*i + t. Is i not equal to -2/19?
True
Let x(r) = -r**3 - 16*r**2 + 25*r - 58. Let m be x(-17). Is -194 at least m?
True
Let c = -241.62 - 4.48. Let l = c + 217. Let p = l + 29. Which is greater: p or 0.1?
0.1
Suppose -3*t - 40 = 5*l, -5*l + 2*t = -2*t + 40. Let w be (l/12)/((-14)/4*2). Let b(m) = m**3 - 3*m**2 + 3*m - 2. Let k be b(2). Is k equal to w?
False
Let d = 34 - 52. Let v be 102/4*6/d. Let n = v - -123/14. Is n < -1?
False
Let p(c) = 2*c - 19. Let b be p(8). Let m be b - (16/(-28) + -2). Let g = -2 + 3. Which is bigger: m or g?
g
Let y(r) = 1 + 7*r**2 - 4*r**2 + 0 - 5*r - 4*r**2. Let v be y(-5). Let c be 8/(-4) + (2 - -3). Is v equal to c?
False
Let v(q) = 2*q - 2. Suppose 8*o = 3*o + 10. Let h be v(o). Suppose 3 = -3*c + h*c. Which is greater: -2 or c?
-2
Let h = -26 + -22. Let n be 2/3 + h/99. Let x be (-3)/36*4*3. Which is smaller: n or x?
x
Let i(m) = -5*m**2 + 2*m - 1. Let k be i(1). Suppose -32 = 2*d - 6*d. Let w be (-27)/18*d/3. Are k and w equal?
True
Let i = 61 + -46. Let n be 34/3 + (-2)/(-3). Let m = n - i. Is 4 > m?
True
Let k(a) = -a**2 + 15*a - 17. Let u be k(13). Suppose u = -4*m - 7. Is -2 not equal to m?
True
Let c(x) = -15*x - 35. Let t be c(1). Do t and 14 have different values?
True
Let z(b) = -b**3 - 5*b**2 - 5*b - 4. Let j be z(-3). Let m = 3 + j. Let n(l) = -l - 9. Let q be n(m). Is -3 greater than q?
True
Let h(t) = t**2 + 5*t - 11. Let o be h(-9). Suppose 45 = 4*v + o. Which is greater: v or 9/2?
v
Let v(z) = -z**3 - 3*z**2 + 3*z + 3. Suppose -5*o = -o + 16. Let c be v(o). Let i be (1/(-2))/(1/(-2)). Which is smaller: i or c?
i
Let s be (-8)/(-480)*3/(-9). Is s < 0?
True
Let u be 0 + 18/45 + 3/15. Which is smaller: u or 78/7?
u
Suppose 2*z = -6, 5*z - 2358 - 1647 = -5*p. Is 804 smaller than p?
False
Suppose -34 + 7 = -3*c. Suppose 5 - c = -2*i. Suppose -5*s = o - 0*s - 11, i*o = 3*s - 4. Do -0.2 and o have the same value?
False
Let l = 138 + -131. Suppose -5*x = -4*g - l - 0, x = -4*g + 11. Is g equal to 4?
False
Let h = 36 - 38.2. Let i = h - -2.2. Let z(g) = g + 4. Let f be z(-3). Which is smaller: i or f?
i
Let h be (-1 + 0)/(2/(-6)). Let j(s) = -s**2 + 6*s - 5. Let w be j(h). Let o be 3/(-3) + -1 + w. Which is bigger: o or -3?
o
Let b(h) = h**3 - 8*h**2 + 4*h + 18. Let r be b(7). Is r >= 36?
False
Let a = 48 - 93. Let p = -38 - a. Is p less than -2/3?
False
Suppose -2*t - 3*a = -1, 0 = a - 6*a + 5. Suppose 0*h = -5*h + 30. Is t != h?
True
Let k(z) = 7*z**3 - 17*z**2 + 11*z + 43. Let s(u) = 4*u**3 - 8*u**2 + 5*u + 22. Let t(y) = -3*k(y) + 5*s(y). Let r be t(10). Which is smaller: 3/4 or r?
3/4
Let l = -5224/9 - -581. Let w be 3/((-36)/(-24) + (-3)/(-2)). Which is greater: w or l?
w
Let k be 2 - ((-108)/22)/(-3). Suppose 0*x = -2*v + x + 5, -3*v + 5*x + 18 = 0. Are k and v unequal?
True
Let s(u) be the first derivative of -16*u**2 - 31*u - 20. Let d be s(-2). Is d greater than or equal to 36?
False
Suppose 77 = 4*c - 79. Suppose c = -4*n + 23. Let o be (-12 + 3)/(33/n). Which is smaller: 1 or o?
1
Let c = 11/6 - -179/12. Which is smaller: c or 16?
16
Let p = 42 + -42.92. Let l = -0.08 + p. Let u = -169/296 - 2/37. Which is smaller: u or l?
l
Let w be (-68)/(-190) + (-1)/((-60)/(-12)). Is w <= 1/11?
False
Let b(z) = z**3 - 5*z**2 + 7*z - 1. Let p be b(3). Suppose -a - 11 = 3*u, p = -3*u - 13. Which is greater: a or 7/2?
a
Suppose -4*f + z = -14, -5*f + 6*z + 11 = 8*z. Suppose -o = -4*n - 1, 3*o - f = 2*n - 0*o. Is n != -2/25?
True
Let b = 618 + -618. Is -1/4 != b?
True
Let i = -85.9 - -94. Let r = i + -8. Let x = -0.5 + r. Which is smaller: 3 or x?
x
Let w = -89 - -64. Let k = -40 - w. Let v = 14.9 + k. Are 1/4 and v nonequal?
True
Let g(a) be the third derivative of -a**5/60 - 5*a**4/12 + 11*a**3/6 - 10*a**2. Let k be g(-11). Let v be ((-2)/51)/((-1)/9). Which is greater: k or v?
v
Let j be ((-6)/(-16))/(-3)*2. Suppose -3*d + 50 = -2*d. Let h = -49 + d. Which is greater: j or h?
h
Let p(y) = y**2 - 5*y + 6. Let r be p(4). Suppose 7 - 2 = -5*b, r*s = -2*b + 8. Suppose -3 = 3*n - 12. Is s less than n?
False
Suppose 0*k + 5*k - 395 = 5*t, -4*k - 422 = 5*t. Is -82 bigger than t?
False
Let a(u) = u**3 + 8*u**2 + 6*u. Let b be a(-5). Let v be (50/b)/5*-3. Are v and 0.07 nonequal?
True
Let u(c) = -c**3 - 16*c**2 + c + 18. Let o be u(-16). Suppose 0 = o*a - 32 + 34. Which is smaller: a or 3/7?
a
Let d = -9 + 29. Let b = -22 - -21. Is b >= d?
False
Let t = -1171 - -1169. Which is smaller: t or -53?
-53
Let m = 219 - 197. Which is smaller: m or 28?
m
Let h = -6 - -15. Let t = h - 22. Let c = -10 - t. Which is smaller: c or 2/7?
2/7
Let i(j) = 5*j**2 + 13*j - 5. Let t(x) = 6*x**2 + 14*x - 4. Let f(h) = 5*i(h) - 4*t(h). Suppose -7*p = -2*p + 50. Let k be f(p). Which is greater: k or 2/31?
k
Let x = 443 + -444. Which is smaller: -1/785 or x?
x
Suppose 3*k + k + 5*i - 31 = 0, 2*k = -2*i + 16. Let q(c) = 0*c**2 + 1 - c**2 - k + 13*c - 4. Let x be q(12). Which is smaller: x or -2/81?
-2/81
Let n = 758 + -741. Which is greater: 2/31 or n?
n
Let g = 137 + -77. Suppose 6*n + g = n - b, 5*n = -5*b - 40. Let m be (-15)/2*(-36)/(-225)*10. Which is bigger: n or m?
m
Let r(a) = 7*a**2 + 15*a + 15. Let w(k) = -6*k**2 - 14*k - 15. Let x(i) = 5*r(i) + 6*w(i). Let c be x(-6). Suppose y - c + 1 = 0. Which is bigger: y or 1/2?
y
Let y(i) = 25*i + 53. Let t be y(-3). Which is smaller: -8 or t?
t
Let d = -1.46 + 0.06. Let o = d + 1.5. Suppose -w - 2*f + 2 + 10 = 0, -5*f - 12 = -w. Which is smaller: o or w?
o
Let j = 55 + -55. Let n be (1/2)/((-27)/(-18)) + j. Is 1.8 greater than n?
True
Let s(c) = -11*c - 39. Let g(i) = 6*i + 20. Let q(y) = 5*g(y) + 3*s(y). Let z be q(-8). Which is bigger: z or 8?
8
Suppose -31*h = -27*h - 12. Suppose 3*b - h*u = 3 + 3, 0 = -3*b + u. Is -4/87 at least as big as b?
True
Let p be 1 - (-1 + (-180)/(-93)). Let i = 2072 + -2072.1. Is i >= p?
False
Let w(b) be the first derivative of b**3/3 + 4*b**2 + 7*b - 16. Let y be w(-9). Is y > 14?
True
Let b be (-80)/6312*30/(-350). Which is smaller: b or -1?
-1
Suppose -5*o - 12 = 3. Let t(h) = -h**2 - 5*h + 3. Let y be t(o). Let i be 5/y - 7/21. Which is bigger: i or -1?
i
Let n(v) = 2*v**2 - 10*v + 2. Let q be n(5). Suppose -293 + 115 = -q*u. Which is smaller: 90 or u?
u
Let l(i) = -15*i. Let m be l(1). Let a = 68 - 56. Let k = m + a. Does -11/3 = k?
False
Let y be 2 + ((-16)/2 - -14). Which is greater: y or 5?
y
Suppose -28*h = 7*h. Which is smaller: h or 9/16?
h
Suppose -6*y + 2*y = 20. Let c be ((-3)/3)/(1/(-311)). Let b = -1267/4 + c. Is y != b?
True
Suppose 0 = 131*k - 135*k + 20. Which is bigger: k or 60/17?
k
Let u(h) = h**3