(r/3910)/(1 - 6/8). Which is bigger: u or 1?
1
Let j = 559 - 566. Is -7 greater than j?
False
Let s = -1.01 - -10.01. Let w = 2.4 - -8.6. Let m = w - s. Are -1/10 and m unequal?
True
Suppose 17*y - 850 = 13*y + 5*a, a - 208 = -y. Is y != 211?
True
Let r be (-13)/1*(1 + (-87)/57). Which is smaller: r or 6?
6
Let t(a) = 2*a - 18. Suppose 10*y = 14*y - 68. Let h be t(y). Which is smaller: h or 0.1?
0.1
Suppose 2*r = 3*r + 2. Let x = 525/286 + 241141/2002. Let b = 122 - x. Is b < r?
False
Let v = -8/989 + -6176/214613. Which is greater: v or 0?
0
Let j = 60 + -59. Let f be 3*(0 - j) - 494/(-143). Is f bigger than 0?
True
Let h be (34/(-8) - (-3)/12) + 3. Let o = 17.03 + -17. Does o = h?
False
Let v be ((-432)/10 - 0) + 0. Let j = v - -43. Suppose 5*u + 2*x - 3 = 0, 6 = 5*u - 4*x - 3. Is u at most as big as j?
False
Let o = 0.18 + -11.18. Let l = o - -12. Let t = l - 1.1. Is 5 smaller than t?
False
Let h(q) = q**3 + 35*q**2 - 15. Let j be h(-35). Which is smaller: -6 or j?
j
Suppose -6*m - 42 = 8*m. Let i be m/(9/2 - 0). Which is smaller: i or 6/19?
i
Let y = -2682 - -2683. Is y greater than or equal to -5/524?
True
Suppose 2 = -2*v - 0. Let f = 3 + v. Suppose 12 = 4*u + 4*h - f*h, 0 = -3*u + h + 9. Is 2 at least u?
False
Let n(b) = -b**3 - 7*b**2 - 2*b - 12. Suppose -4*d = -19 + 3. Let c be -6 - d/2 - -1. Let o be n(c). Is o greater than 5?
False
Suppose -33*r = -52*r. Is r <= -43?
False
Let j = -0.1 + 0.3. Let k = 92.5 + -93. Let r = k - -0.1. Is r at least as big as j?
False
Let r(i) = -i**2 + 5*i + 5. Suppose -2*a - 2*p = -0 - 2, 1 = -4*a - 5*p. Let j be r(a). Let w = 86 - 605/7. Which is greater: j or w?
w
Let s = 471/4 - 517/4. Suppose -3*c - 2*c = 55. Which is greater: s or c?
c
Let b(l) = 10*l**2 - 8*l. Let t be b(1). Which is smaller: t or 42/17?
t
Suppose 798 = 11*p + 600. Which is greater: 8 or p?
p
Let v = 21 + -55. Let d = -38.3 - v. Which is greater: d or -2?
-2
Let g = -46 - -18. Let d = g + 15. Which is smaller: d or -2/5?
d
Let c = -24.776 - 0.024. Let g = -25 - c. Which is smaller: g or 0.06?
g
Let a = 67 - 65. Suppose d + 1 = a*d. Are -2/123 and d equal?
False
Let k(a) = -20*a + 101. Let d be k(5). Which is smaller: d or 11?
d
Suppose -5*j + 863 + 427 = 0. Let n = -3/4145084 + 48132715543/186528780. Let r = n - j. Is 0 bigger than r?
False
Let p = -13 - -14. Let h be -8 - -9 - (1 - p). Which is smaller: 3/10 or h?
3/10
Let m be (4/10)/((-5)/(-150)). Suppose -s - 3*z = m, -2*s = -5*s + 2*z + 19. Let n(k) = k**2 - 15*k - 14. Let j be n(16). Do s and j have the same value?
False
Suppose 4*l = 4*k - 52, -2*k + 0*l - 4*l = -38. Let v be (2/(-15))/(40/k + 0). Is v smaller than -1?
False
Let r be (-2)/3 - 352/(-24). Which is smaller: r or -5?
-5
Let s = -106/3 - -35. Suppose -5*a = -1 + 1. Let d be ((-2)/(-7))/(a - 3/(-14)). Do d and s have the same value?
False
Suppose 0 = -0*h + 3*h + 3. Let x be (15/(-6))/(h/2). Let z be (-1 + x)/2 + -2. Is 2/3 greater than z?
True
Let j(w) = 4*w + 3. Let z be j(0). Suppose 0 = -n + z*n + 160. Let m be (-2)/(-5)*1050/n. Are -5 and m nonequal?
True
Let t = -5 + -1. Let v = 0.7092 + 0.3908. Are v and t non-equal?
True
Let j = 34 - 37.8. Let s = -3.5 - j. Is s < -1/11?
False
Let c = 49 - 41. Let s be 9/(-3 - 132/c). Which is greater: -0.1 or s?
-0.1
Let w be (3/68)/(225/(-40)). Is -1 > w?
False
Let i = 17 + -8. Let j = 8.2 - i. Let v = j - -2.8. Which is smaller: v or 0.2?
0.2
Let w = 57/5 + -343/30. Is w > 1?
False
Let h = 0.02 + -1.02. Let s = h - -0.1. Let g(q) = q**2 + q - 1. Let x be g(-2). Which is greater: s or x?
x
Suppose 0 = -0*k + 4*k + m, 3*k + 17 = -5*m. Let q be 2/6 + (-11)/(-21). Are q and k non-equal?
True
Let o = -66/2639 + 28144/203. Let n = o - 277/2. Which is bigger: n or 1?
1
Let j = 3/7 + -41/63. Let r be (-4)/10 - 265/25. Let k = -10 - r. Is j < k?
True
Let r be (-96)/(-54) + (-8)/(-36). Let y be (-1)/r - (10/4)/1. Is 19 equal to y?
False
Let i(c) = c**3 - c. Let r(k) = -4*k**3 + 5*k**2 - 5. Let y(l) = -3*i(l) - r(l). Let g be y(4). Let p be g/(-3)*(-39)/(-130). Is p > 0?
False
Suppose -5*j + 160 = g, 2*j + j - 96 = 5*g. Suppose 0 = 7*l - 20 - 204. Is l greater than j?
False
Let z = 5627 - 73197/13. Let f = -136/39 - z. Which is smaller: f or 1?
f
Suppose -5*a + 3*l = 292, -148 = 2*a + 5*l - 56. Is a greater than -60?
True
Let k = -36 + 42. Let l be (-1107)/18*4/k. Which is greater: l or -40?
-40
Let k = 235282/755 - 4369493/142695. Let c = 281 - k. Is -1 greater than c?
False
Let s(v) = -v**3 + 12*v**2 + v - 10. Let x be s(12). Suppose -2*d = -3*n + d - 21, 0 = -x*n + d - 12. Suppose o + 15 = -2*o. Do n and o have the same value?
True
Let q = -11.7 + 13.82. Let r = q + 3.03. Let x = 0.15 - r. Which is smaller: -0.1 or x?
x
Suppose 10 = r + r. Let d be (-2)/(-6)*(-2)/r. Suppose 5*c + 9 - 14 = 0. Which is smaller: d or c?
d
Suppose 116*y = 106*y - 10. Is y bigger than 6/49?
False
Let n be (-3)/6*(1 - -1). Let s be n - 2/(-6)*-3. Let o be s - 1/((-23)/44). Is 0 != o?
True
Let x(q) = -28*q**2 - 100*q + 2. Let k be x(-5). Are k and 0.2 equal?
False
Let j = -261 - -236. Is -17 less than or equal to j?
False
Let h be (-176)/(-108900)*(-3)/2. Which is smaller: h or 0?
h
Let z be (-3)/(-7) + 754/364. Is 2 >= z?
False
Let v be 50/(-300) + 1978/(-12). Is -165 less than v?
False
Let t(p) be the third derivative of p**6/30 + p**5/20 + p**4/8 - 2*p**3/3 + 39*p**2. Let v be t(-2). Which is greater: v or -29?
-29
Let a = 43061431/190 + -226640. Let g = a - -15/19. Let z be 4/(-10) + (-6)/10. Does g = z?
False
Let z be 475 + 2/5*(-45)/24. Let w = -481 + z. Which is smaller: -7 or w?
-7
Let i(l) = -2*l**2 - 10*l + 1. Let y be i(-5). Which is bigger: -2/207 or y?
y
Let f = -17 - -8. Let h = 25 + f. Suppose -5*d + h + 24 = 0. Which is smaller: 7 or d?
7
Suppose -3*x = -3*a - 0*a + 36, -3*a - x = -28. Which is smaller: a or 17/2?
17/2
Suppose -4*n + 132 = 7*n. Let d(a) = a**3 - 7*a**2 + a + 7. Let r be d(7). Which is greater: r or n?
r
Let f = -55 - -55. Is -3/10 greater than f?
False
Let u be (23/(-5290))/((1 - 0)/(-28)). Which is bigger: 1 or u?
1
Let z = 43/888 - 1/148. Let c(l) = -l**3 + 3*l**2 + 44*l - 91. Let p be c(2). Is p smaller than z?
False
Let g(y) = -30*y - 21*y - 7 + 50*y. Let t be g(-7). Is 1/5 less than t?
False
Let q(z) = z**2 - 1. Let i be q(-2). Let g = -11134/105 - -2266/21. Which is smaller: i or g?
g
Let j = 3 - -6. Let l be (-42)/(-9) - 6/j. Let b be 3/12*l*-12. Is -12 at least as big as b?
True
Suppose -4*h = 16, 1682 = 2*f - 5*f + 4*h. Let r be ((-63368)/(-224))/(12/(-8) - -2). Let k = f + r. Are -1 and k non-equal?
True
Suppose 23 = 3*o + 2*a, 4*a - 15 = -2*o + 11. Suppose -i + o = -0. Is 3 at most i?
True
Suppose -4*v + 170 = -5*i, -3*i + 4*i = -2*v + 78. Suppose -5*f - v = -0*f. Let u(d) = -d**2 - 10*d - 23. Let k be u(-2). Which is bigger: f or k?
k
Let n be -3 - (2040/145)/(-4). Is 0 greater than n?
False
Let y(a) = 8*a**2 + 48*a - 1. Let o be y(-6). Which is greater: o or 1/66?
1/66
Let o(v) = -20*v - 246. Let p be o(-16). Is 39 greater than or equal to p?
False
Let r be (22 + (9 - 11))/(-2). Is -180/19 less than r?
False
Suppose 11*j = j + 240. Let o(v) = 8*v + 1. Let m be o(-2). Let g be 2*-1 - j/m. Which is greater: 2/21 or g?
2/21
Let j be 1218/378 + (-2)/9. Let m be ((-26)/136)/(4/(-24)). Let g = m - -6/17. Are g and j nonequal?
True
Let h be (2/(-3)*-4)/((-6)/(-9)). Suppose h*v + 23 = -29. Do -12 and v have different values?
True
Let d(h) = -4*h**3 - 37*h**2 + 14*h - 1. Let p be d(-7). Is p greater than or equal to -0.1?
False
Suppose 3*m - 5*h = 1, -3*h = -2*m + h. Suppose 3*w + 4*l + m + 15 = 0, -w = -5*l - 7. Suppose z + 10 - 3 = -3*p, -z = 4*p + 9. Is z != w?
True
Suppose -3*a = 3*x + 207, 5*x - 236*a = -231*a - 315. Which is smaller: -65 or x?
x
Let t = -0.14 + 0.06. Suppose q = 3*p + 6 + 2, -4*q = 4*p. Are t and p equal?
False
Let h(y) = -y**3 + y**2 - 2*y + 3. Let z be h(0). Let v be (-2)/6 + (-10)/z. Let x = 19 + -23. Which is greater: x or v?
v
Let o = -13 + 15. Let z(s) = -3*s - 43. Let w(p) = -p - 14. Let k(c) = o*z(c) - 7*w(c). Let t be k(-11). Which is bigger: t or 2/31?
t
Let f be 2/(-11) + (-33228)/18348 - -2. Which is greater: -1 or f?
f
Let l be (-68)/(-22) - 1 - 2. Let p(r) = 4*r**2 - 3*r - 4. Let s be p(-2). Let j be 14/(-18) + (-4)/s. Whi