2 + 19. Is c > -1/5?
False
Suppose 5*v + 21 = 2*v. Let j be 14/36 - v/14. Which is smaller: j or 0?
0
Suppose 3*p + 8*r = 5*r + 9, 3*p - 9 = -r. Let h = -13 - -24. Suppose -6*o - 20 = -h*o. Which is bigger: o or p?
o
Let g be 21/49 - 11/(-7). Let d = -6 - -4. Which is smaller: d or g?
d
Let c(f) = f + 7. Suppose -3*j = 5 + 10. Let p be c(j). Let l = 1 + 0. Which is greater: l or p?
p
Let r(p) = -p + 5. Let s be r(4). Let k be -8 + 6 + (-608)/(-234). Let w = 4/9 - k. Is s > w?
True
Let c = -6.6 - -7. Let p = c - 0.2. Let i = -1132/9 + 126. Which is greater: p or i?
i
Suppose 4*k + 20 = 2*k. Which is greater: -9 or k?
-9
Let f = -39/8 - -19/8. Let y be (-2)/(-9) + (-25)/(-9). Suppose -y = 5*k - 4*k. Which is smaller: k or f?
k
Let r be (-1 - 0) + (-2)/(-1). Let h be ((-1)/r)/(2/4). Let o = 0 + -1. Which is greater: o or h?
o
Let r = 2.04 - 0.04. Let t = -0.07 - -0.07. Do r and t have the same value?
False
Let k(w) = -w**3 - 6*w**2 + w + 8. Let c be k(-6). Suppose -c*u = u. Suppose 5*g = -2*n - 9, -12 = 2*g + 4*n + n. Is u equal to g?
False
Let v = -0.1 - 0.9. Let a = -0.9 - v. Let z = 0.03 - -2.97. Which is smaller: z or a?
a
Let c be 33/(-22)*(-10 - 0). Let b = c + -13. Let j = -96 - -293/3. Is b at most as big as j?
False
Suppose 4*g - 1 = -5*p - 10, 2*g = 2*p. Is -3/13 less than g?
False
Suppose -2 = -0*q + 2*q. Let a be (-16)/(-20)*(-60)/24. Which is bigger: q or a?
q
Suppose 2*g = 4*g + 2. Let b = 1 - -1. Let l = g + b. Which is smaller: 1/4 or l?
1/4
Let n be 7 - (0 - -2) - 12/(-6). Is 7 bigger than n?
False
Let m = 43 + -85. Let l be ((-1)/(-2))/(1/(-12)). Let y be ((-4)/m)/(2/l). Is y >= 1?
False
Let u be (-3)/(-6) + 4/(-8). Suppose -3 - 6 = 3*g, u = -2*z - 4*g - 34. Is -11 equal to z?
True
Let o = 2 - 7/4. Let b = -3/4 + o. Is 0.1 greater than b?
True
Suppose 2*s - 2*w - 16 = -6*w, -5*s + 3*w = -1. Suppose 3*v = -s*v - 5. Is 1/10 at most v?
False
Suppose -29*w - 140 = -34*w. Which is smaller: 27 or w?
27
Let d(j) = j**2 - 6*j + 6. Suppose 3*b + 26 + 1 = 0. Let o be -2 - b - (3 - 1). Let v be d(o). Which is smaller: 2/3 or v?
2/3
Suppose 25*m - 366 = 31*m. Is m equal to -62?
False
Let h = -15.2 - -14. Is h smaller than -1/2?
True
Let y be (-4)/54*-3*1. Let q be (5 - 5) + (-27)/(-3). Let m = 10 - q. Does m = y?
False
Let b(s) = -s**2 + 3*s + 3. Let x be b(4). Let a be ((-37)/(-8))/(6/8). Let r = 17/3 - a. Which is greater: x or r?
r
Let j = 65 + -93. Which is smaller: j or -29?
-29
Let u = 3.94 - 4. Let w = u - 0.04. Which is greater: w or 0.2?
0.2
Suppose 0 = 3*j - 3*a - 6, -44 - 6 = -5*j - 5*a. Suppose -t + 1 = p - j, 5*t - 5 = p. Let b be 0 - t - (1 + -2). Is -1 < b?
False
Let m(y) = -2*y**2 + 14*y - 8. Let w be m(6). Suppose -4*c - 12 = -w*n, 3*c - 2*n = -4 - 6. Is c greater than -4?
False
Let p = -47/35 + 8/7. Let n(a) = -3 + 5 - a - 4. Let z be n(-3). Which is bigger: z or p?
z
Let p = 3 + -3. Suppose p*m + 3*y = -m - 15, -2*m - 25 = 5*y. Suppose b + 2 + 0 = 0. Is m != b?
True
Let i(s) = 10*s**3 - 19*s**2 - 10. Let y(w) = -3*w**3 + 6*w**2 + 3. Let r(d) = 2*i(d) + 7*y(d). Let g be r(4). Let f = 3 + 0. Do g and f have the same value?
False
Let w(a) be the third derivative of a**5/12 + a**3/6 - a**2. Suppose -2*k + 7 = -z, 0 = 2*z - 6*z + 4*k - 12. Let g be w(z). Which is smaller: 7 or g?
g
Let t = -3426/13 - -264. Which is smaller: t or -2/7?
-2/7
Suppose 2*g - 3*g + 7 = 0. Suppose -4*o - 4*i = -12, o - 6*o - 2*i = -24. Which is smaller: o or g?
o
Let r = 3 + -2. Let x = -148/45 - -26/9. Which is smaller: r or x?
x
Let l(p) = 0 - 119*p + 36*p - 1. Let n be l(1). Let h = -585/7 - n. Is 1 <= h?
False
Suppose 4*w = 2*w - 4, 3*p + w = -47. Let i be -1 - ((-16)/p - 2). Let u = i + 19/60. Is -1 greater than or equal to u?
False
Suppose -10*t + 175 = -17*t. Is t equal to 0.2?
False
Suppose 3*r - 81 = -5*g, 0 = -g - g - 2*r + 34. Suppose -2*n = 3*n - g. Let o(i) = i + 2. Let x be o(0). Which is bigger: n or x?
n
Suppose 322 = 12*a + 34. Which is smaller: 23 or a?
23
Let y = 34 + -30. Which is bigger: y or 3?
y
Let a = 19 - 19.06. Let p = -0.08 - a. Which is greater: 1 or p?
1
Suppose 6 = -3*r + 18. Let t = 4 - r. Suppose 3*b = -t*b. Which is bigger: 2/3 or b?
2/3
Suppose -z + 1 = 5. Is -3 smaller than z?
False
Suppose 2*r + 11 = -9. Let k be (2/5)/((-1)/r). Suppose -n = -5*n - k. Is n at least 0?
False
Let u(h) = -h - 5. Let g be u(-5). Let z = 0 - g. Is z > 1?
False
Let z(o) = -2*o - 1. Suppose 6*r = -0*r. Let p be z(r). Let a(h) = -h + 4. Let w be a(5). Is w less than or equal to p?
True
Let g = -570/7 - -82. Which is smaller: 0 or g?
0
Let y(s) = 15*s + 24. Let h be y(-3). Are -18 and h equal?
False
Let f be 5/25 + 31/(-5). Let l = f - -5. Let v be -5*(1 + 97/(-95)). Is v < l?
False
Suppose 2*s + 16 = 6*s. Let x be 2/s - 25/(-10). Let u be (-6)/6 + 5/x. Is u < 2?
True
Let t be (12/20)/(2/20). Suppose -3*m - a = 0, a = 4*m - 2*m. Suppose -4*s + 0*s + 20 = m. Is s at least as big as t?
False
Let x(k) = k**2 + 2*k - 4. Let l be x(-3). Let u = -0.2 - -1.2. Which is greater: u or l?
u
Let l be (4/(-8)*0)/1. Is l smaller than -1?
False
Let y = -66 - -124. Let c be y/6 + (-2)/(-6). Suppose 2 - c = 4*g. Is g at least 2?
False
Let y(x) = -32*x + 1. Let d be y(-2). Let p be d/(-100) - (-2)/5. Is p bigger than -1?
True
Let g = -50 - -50. Is 1/19 at most as big as g?
False
Let w = 85 - 77. Which is greater: w or 39/5?
w
Let w = -35 + 61/2. Suppose -3*l - 45 = 5*s + 2*l, -s = -2*l. Does s = w?
False
Let n be (-1)/(-6) - 1/6. Suppose -2*t + 4 + 6 = -l, 3*t = -2*l + 15. Suppose 3*s + 3*b = -n + 3, 4*s - t*b - 40 = 0. Is 4 not equal to s?
True
Let q(d) = d**2 - 11*d + 7. Let i be q(10). Let z be 1/1*(-1)/i. Is 2/3 < z?
False
Suppose -4*u + 15 = u. Suppose -q - u*q - 12 = 0. Let l be q/(-5) - 64/40. Which is bigger: 1/7 or l?
1/7
Let h = -1 - -4. Let n be 14/2 + 8/(-4). Let d be h/n + 2/(-2). Do d and -2 have the same value?
False
Suppose -5*d - 3 = 2. Let i be (4 - 3)*2*2. Let o be 20/(-84)*i/10. Which is bigger: d or o?
o
Let q = -9 - -4. Suppose -5*x - 3*y - 19 = 10, y + 23 = -5*x. Which is smaller: q or x?
q
Let o be 65/(-300)*-2 + 2/12. Which is smaller: o or 2?
o
Let p be (-12)/(-18) + 22/(-42). Let m = p + -3/7. Does m = -1?
False
Let p(k) = -3*k + 54. Let t be p(17). Let v(l) = -l**3 + 4*l**2 - l - 4. Let u be v(3). Let w be 0 - (6/t - u). Which is smaller: 2/11 or w?
w
Suppose 0*w = -0*w - 2*w. Which is bigger: -7/11 or w?
w
Suppose 0 = -3*z - z - 4. Let q = -28605 - -315653/11. Let d = q + -91. Which is smaller: z or d?
z
Suppose -2*i - 6 = 0, -10 = d + i + 3. Let x be (-4)/d + 84/(-35). Is 1 > x?
True
Let q(i) = i - 4. Let m be q(5). Let y be (1/2)/(4/144). Let x = y - 52/3. Do x and m have different values?
True
Suppose 3*h + 10 = 4. Let l be 0/(h - 3/(-1)). Let j = -30 + 179/6. Which is greater: l or j?
l
Let j be (0/(-3))/(-1 + 2). Suppose -2*b + 3*b - 1 = j. Let r = 5 - 10. Do r and b have different values?
True
Let w = -106/3 - -36. Which is smaller: w or -12?
-12
Let f be 2/(-7) + 204/(-3136). Let o = 5/112 + f. Let a = o + 1/49. Is -0.04 >= a?
True
Let n = 353 + -4593/13. Which is smaller: n or 0?
n
Suppose o - 1 = -5*m, 4*m - 3*m - 4*o = -4. Let c = 7 + -3. Suppose c*x = x. Is m > x?
False
Let c = 4.5 - 5. Let n = c - 0. Let j = 0.5 + n. Is 3 less than j?
False
Let h = 358/5 - 71. Suppose 16 - 5 = 11*v. Which is smaller: h or v?
h
Let b = 1.06 - 24.86. Let o = b + 23. Are o and 0 equal?
False
Let v be -3 + 3 - 4/(-2). Suppose 36 = -v*s - 2*s. Are -9 and s equal?
True
Suppose 3*o - a = -6*a + 40, -40 = -4*o - 4*a. Suppose -6*x + 14 = -o*x. Which is smaller: 13 or x?
13
Let d = -139 + 697/5. Let z = -0.04 - 0.06. Is d at most as big as z?
False
Let p = 34/7 - 6. Let x(t) = -t**3 - 12*t**2 - t - 13. Let o be x(-12). Is o less than p?
False
Suppose h + 10 = k - 5, 5*k + 3*h = 43. Is k >= 10?
True
Let y be (2 + -2)/1*1. Let a = y - -5. Suppose -q + 0*c = -a*c + 18, c = -5*q + 14. Is 0 at most as big as q?
True
Let y = -15 + 8. Let j = 6 + y. Which is smaller: j or 1/10?
j
Let q be (2 - 0/3) + 34. Let w be (1/3)/(4/q). Let r(u) = -u**3 + 5*u**2 - 2*u - 5. Let x be r(4). Is w bigger than x?
False
Let y = -6.8 - -7. Let w = 0.2 - y. Which is bigger: w or 6?
6
Let s(n) = -n - 2. Let q be s(-5). Suppose -3*f = -5*v + 1 - 5, -q*v = 3*f + 36. I