d or t?
t
Let q be ((-3)/(-2))/(3/8). Let a be ((-2)/(-1))/((-4)/2). Which is bigger: a or q?
q
Let j = 0.0257 + 89.9743. Is j < 0?
False
Suppose 6*f = -4*n + 2*f + 16, 5*n = -f + 20. Suppose 2*y = -5*b - 4 + 6, -n*y - 26 = -5*b. Is b smaller than 2?
False
Let w be (8 - 12) + -2 - -4. Which is bigger: w or -38?
w
Let j = -27 - -11. Let d = j + 13. Let v = -13 + 12. Does d = v?
False
Let c(n) = n**2 - 10*n - 3. Let q be c(10). Let r be q - (5*-2 + 2). Let j be (-10 - -2)/(-3 + r). Is -4 > j?
False
Suppose -g - 3*g = -24. Let f be 180/24*g/5. Let m be -3*((-6)/f)/2. Is 1/21 at least as big as m?
False
Suppose -7*l + 1 + 20 = 0. Let s be -22 + (-20)/(-15)*l. Let i be (-28)/s*(-1)/2. Is 0 at least as big as i?
True
Let n(y) = -y - 9. Let s be n(-10). Let u be s/(-2)*0 + 46. Let h be (-2)/4*u/(-299). Which is bigger: 0 or h?
h
Let u = 14102 - 1678239/119. Let q = 12/17 + u. Let z = -0.46 + 0.51. Is z less than q?
False
Suppose -2*c - 20 = 5*i - i, -i = -3*c + 19. Let b be (-254443)/32335 - 2/(-29). Do i and b have the same value?
False
Suppose 3*v + 2*o + 525 = 0, 0 = 4*v + 4*o + 388 + 316. Let r = 101 + v. Do r and -72 have the same value?
True
Let d be 494/14 + (-6)/21. Suppose 0*o + d = -5*o. Which is smaller: -3 or o?
o
Suppose 22*l = x + 20*l - 6, -4*l = 5*x - 58. Is 14 >= x?
True
Let k be (4/(-10))/(5/200). Let x = k + 30. Suppose -4*y + 2*y + x = -4*u, -3*y + 4*u + 15 = 0. Is y > -1?
True
Suppose 2*d = 12 - 2, 2*n + 5*d = 109. Suppose 41*o - 35*o = -n. Does -7 = o?
True
Let q(z) = 2*z**3 + 9*z**2 - 7*z - 9. Let k = -70 + 65. Let r be q(k). Let s = 1 - 0.96. Are s and r equal?
False
Let s be (1 - 2)*(-2)/(-2). Let f = 519 - 190. Let u = -4609/14 + f. Which is smaller: s or u?
s
Let j = -957 + 958. Which is bigger: 11/10 or j?
11/10
Let i = -2845 - -145103/51. Let p = -3/17 - i. Let w = -1 + 2. Is w at least p?
True
Let j = -5.653 - 0.007. Is -1 != j?
True
Let q = 0.009 + 1.161. Let b = 0.47 - q. Which is greater: -0.3 or b?
-0.3
Let t = -101 + 101.204. Let n = -0.004 + t. Which is smaller: 0.04 or n?
0.04
Let x = -23.425 - -37.144. Let z = 0.181 + x. Let h = -14 + z. Which is bigger: 0.3 or h?
0.3
Let o = 8.985 + -0.085. Let b = -9 + o. Which is smaller: b or -1/8?
-1/8
Let s = 1128 - 826. Which is greater: -1 or s?
s
Let j = 6.14 - 0.14. Let v = 4.4 - j. Let i = -1.7 - v. Which is greater: -3 or i?
i
Let u be (3/(-3))/(-1) + 0. Are u and 3/247 unequal?
True
Suppose -69*p - 4*l - 16 = -65*p, -2*p + 5*l = -20. Let x = -496 - -14381/29. Is p <= x?
False
Let n = 3.688 - -0.012. Let t = -2.7 + n. Is t greater than 12?
False
Let k = 583 - 594. Suppose -16 = 2*l + 4. Which is bigger: k or l?
l
Let a = -1.08 + -0.12. Suppose 3*u + 4*m - 20 + 1 = 0, -2*u + 8*m - 30 = 0. Is u <= a?
False
Let c be 17/126 + 1/(-2). Let j = -2/9 - c. Suppose -25*w + 29 - 29 = 0. Is j greater than or equal to w?
True
Let x = -193 - -274. Let y(q) = -q**3 + q**2 + 15*q + 5. Let c be y(-5). Which is smaller: x or c?
c
Let l = -195.5 - -195.51. Which is smaller: l or -2/9?
-2/9
Suppose 121*l - 124*l = -6. Let w = -9 + 15. Is l greater than w?
False
Let z = -199/400 + -1/400. Which is bigger: -55.4 or z?
z
Let d(u) = -u**2 + 18*u + 86. Let z be d(-4). Is -5 less than or equal to z?
True
Let c(o) = 7*o**3 + o**2 - 2*o + 1. Let f be c(1). Suppose -4*s + 29 = -3*x, -5*s = 74*x - 77*x - 34. Which is smaller: s or f?
s
Let v be ((-1)/(-6))/(-6 + 135/24). Is v <= -1?
False
Suppose -2*z = -0*z + 12. Let p be (z/30)/((-4)/(-10)). Let i = -10.89 - -9.59. Which is smaller: p or i?
i
Suppose 2 = 160*h - 161*h. Let n(t) = -t + 2. Suppose 0 = 3*q + 4 - 22. Let m be n(q). Which is bigger: h or m?
h
Let d = -606.1 - -606. Is d > -7/5?
True
Suppose 0 = 5*x - d + 79, 4*d + 0*d = 5*x + 91. Let n = -19 - x. Which is smaller: n or 0.1?
n
Suppose -i = -2*i + 4*t + 4, 3*i - 3*t - 12 = 0. Let r be (-6)/i*1*2. Let f = -7 + 4. Is f >= r?
True
Let v(d) = d**2 + 8*d - 19. Let g be v(-10). Let t be g*((-212)/52 - -4). Which is bigger: t or 1?
1
Suppose a + 0*a = 2*p - 6, -5*p + 29 = a. Let h be ((-295)/25)/(a/(-30)). Let o = h - 87. Which is greater: o or 3?
3
Let u be (4/(-10))/(9/(-15)). Let r = 499 - 444.9. Let j = r + -54. Is j at least u?
False
Let t be (-12)/(-9) - (-4)/6 - 1. Let a be 4/2 - 3 - t*2. Which is bigger: a or -4?
a
Let o = -20 - -22. Let r be (-3 - (-1 + 1)) + o. Let a be (-1)/(-10*(0 - -1)). Which is greater: a or r?
a
Let i(a) = -a - 22. Let q be i(-24). Which is smaller: q or 1/7?
1/7
Suppose 0 = 20*j - 85*j. Let n be 2/(-8) + -2 + 2. Which is smaller: n or j?
n
Let q(s) = -s**3 + 2*s**2 - 3*s + 5. Let v be q(2). Let z be -3*3/9*v. Suppose -z = f - 3. Is 9 less than or equal to f?
False
Let v = -1.04 - -0.98. Let b(l) = -l**2 - 3*l + 1. Let q be b(-3). Which is smaller: q or v?
v
Let x be (-122)/14 + (-4)/14. Let h = 3347.2 - 3347. Is x less than or equal to h?
True
Let n be -103 - 3/(-6)*(0 - 2). Which is smaller: n or -102?
n
Let y be (-72)/30 + 2/5. Let c be 1 - (-28)/(-8) - y. Which is smaller: c or 0.13?
c
Suppose 25*c - 21*c - 4*h = 24, 0 = -3*h - 6. Is 33/7 greater than c?
True
Let c(d) = d**3 - 3*d**2 - 20*d + 2. Let g be c(6). Are -11 and g equal?
False
Suppose -845 - 758 = 7*f. Is -685/3 != f?
True
Suppose -3*s + 26*d = 28*d - 5, -s + 2*d = -15. Is s >= 18?
False
Suppose -13*l + 114 - 62 = 0. Is l greater than -0.38?
True
Suppose -5*c - 193 = -4*h, 0 = 4*c - h - 15 + 165. Is -19 equal to c?
False
Suppose 0 = m - 2*s - 12, 5*m + 5*s - 3 = 2*m. Let r = 13 + 5. Suppose 5*d - r = 17. Which is smaller: m or d?
m
Let y(c) = 1 - 1 + 1 + 12*c - 2. Let h be y(-1). Suppose -3*v - d - 36 = 0, -d + 53 = -5*v - 5*d. Is v > h?
False
Suppose -2*k = j + 24, j = -3*k - j - 34. Let n be (-1 + 1)/(k - -13). Suppose n = -2*u - 0*u + c + 22, 3*c = -12. Is u less than 3?
False
Let q = -3 - -5. Let p = 2 - -2. Suppose -24 = -4*m - z - 3*z, -p*m - 2*z = -14. Is q >= m?
True
Suppose -177 = -2*v + 135. Let s be (1/41)/(26/v). Do s and 1 have different values?
True
Let v = 1926.9 + -2219. Let k = v - -280. Let q = k - -12. Is 2 smaller than q?
False
Let m be ((-18)/126)/((-4)/14). Let s = 3 - 3. Is s not equal to m?
True
Suppose -3*y - z - 4 = 0, 8 = -4*y + 5*z - 29. Let b be y/2*(0 + -2). Let d(r) = 2*r**2 + 5*r - 16. Let u be d(2). Are u and b unequal?
True
Let r = -3 + -14. Let n = -17.18 - r. Let z = -0.25 - n. Which is bigger: z or 1?
1
Suppose -3*j = 2*y + 82, 2*j + 59 = y + 2*y. Let f be ((-2)/(-14))/((-24)/j). Let d = -219.8 + 220. Which is bigger: d or f?
d
Let j = 25/98 - 2/49. Let g = 1 - -6. Let a = -6 + g. Is a > j?
True
Let h(p) = -596*p - 3. Let i be h(8). Let w = i + 166997/35. Let a = w + -1/7. Do -1 and a have different values?
True
Let n = 17 - 18.6. Let v = n - -2.6. Is v at most as big as -1/4?
False
Let k = -4 - 4. Let b be 2 + 2 + (-34)/k. Let r = -289/36 + b. Which is smaller: 2 or r?
r
Let s(c) be the third derivative of c**6/120 + 7*c**5/30 + 7*c**4/12 + 13*c**3/6 + 5*c**2. Let y be s(-13). Suppose -k = -y*k. Is k at least as big as -1?
True
Let n(i) = i**2 - 2*i + 4. Let r be n(0). Let b = 5 - r. Is 4 > b?
True
Let k = -30.2 + 30.1. Suppose y - 43 = 31. Let c be y/(-60) - 4/(-10). Which is bigger: k or c?
k
Let t be -46*(-4 + 14/4). Suppose 2*c = 5*k - 15, 4*k - 17 = -4*c + t. Suppose 0 = -10*f + k*f. Is f less than -3/11?
False
Let c(u) = u - 2. Let p be c(6). Suppose -x - j + 8 = 0, 2*x - 5 = x + 2*j. Suppose 0 = -x*f + 21. Is p equal to f?
False
Suppose x = -z - 42, -5*x + 55 = 9*z + 249. Suppose 4*v = 3*v - 45. Is v not equal to x?
True
Let b(j) = 2*j + 11. Let o be b(-5). Suppose 5*i - 4*i = o. Which is greater: -2 or i?
i
Let b(v) = -v**3 - 8*v**2 + 10*v + 8. Let m be b(-9). Let u = 0.081 - 0.211. Is m at least as big as u?
False
Let l(g) = -g**3 + 19*g**2 + 26*g + 50. Let q be l(21). Which is smaller: -285 or q?
q
Let q be (-2)/(-3 + (-52)/(-20)). Suppose q*x = -l + 7*x - 1, l = -x - 1. Let t be 29/(-246) - (-2)/12. Does l = t?
False
Let r be ((-3 - -6) + -1)*-5. Let b be (r/(2 - 1))/(-2). Let s be (-6)/30 + 26/b. Is 6 at most as big as s?
False
Let l = 58.6 - 59.6. Suppose 3*d - 2 = 4*d. Is l greater than d?
True
Let b be 7/2*36/63. Suppose -4*u + b*y = -216, 268 = 5*u - 2*y - y. Let n = u - 671/12. Is n less than 1?
True
Let d(q) = q - 12*q**3 + q**2 + 2 - 2