*b + 10*b + 3*p - 19. Suppose 5 = -5*k - b*d, -k + 5*d + 1 = 4*d. Is 1/462 bigger than k?
True
Let g(f) = -9*f**2 - f + 2. Let w be g(2). Let o be ((-10)/(-15))/((-8)/w). Suppose -o = 2*r + r. Which is bigger: r or -6/11?
-6/11
Let v be (1 - (-3)/(-3)) + 14. Suppose v*j = 9*j + 235. Let a = j + -46. Which is bigger: -14 or a?
a
Let x(s) = -s**3 - 2*s**2 - s. Let y be x(-1). Suppose -5*z + 0*z = t + 219, -3*z + 2*t - 134 = y. Let r = z - -84. Do r and 40 have the same value?
True
Suppose -4*a - 22 = -2*h, 1413*h = 1416*h - 2*a - 9. Which is smaller: 4/2819 or h?
h
Let y(t) = t**3 + t**2 - 7*t + 1. Let j be y(-3). Suppose j*m - 5*m = 4*q + 94, 227 = -2*m + 5*q. Which is smaller: -107 or m?
-107
Let r be (67 - 1)/(-9 + 10). Let z = r - 64. Suppose -z*d = -4*v, 4*v + 2*d = 15 + 1. Which is smaller: v or -2?
-2
Let s = -11.26472 + 0.01472. Let m = -0.25 - 0. Let t = m - s. Which is smaller: 0.2 or t?
0.2
Let a = 1 + 13. Let l be 0 + -3 + (10 - 0) + -3. Suppose -28 - 32 = -l*t. Which is smaller: a or t?
a
Let a be (-930)/90*(-2 - (0 - 5)). Which is smaller: -51 or a?
-51
Let o = 0.1 + -0.1. Suppose -3*m + m = m. Let w be (-21)/(-9) + m - 9/(-54). Is w < o?
False
Suppose 0 = -11*v + 31 + 24. Suppose -w = 3*b - 5, 4*b - 3*b + v*w - 11 = 0. Is 12/35 at most as big as b?
True
Let d be ((-1)/(-2))/(2/(-60)). Suppose 5*o + p - 17 = 6*o, 5*p = -2*o - 13. Is o < d?
False
Suppose -2*g = -4*w - 0*g - 192, 4*w = 3*g - 194. Let b = w + 53. Let z be 3*((-32)/b - (1 + -1)). Is z at least as big as -16?
True
Let i = -10808 + 10809. Which is smaller: -30/1061 or i?
-30/1061
Let w = 37 + -74. Let y = -2798 - -2773. Let v = w - y. Is v less than or equal to 0?
True
Let c(t) = 258*t**2 - 3613*t + 28. Let o be c(14). Suppose -6*i = -2*i. Suppose v = -4*r + 59, -r - v + 2 + 15 = i. Are r and o unequal?
False
Suppose 789 + 107 = 64*v. Let g be 10/v + -1 - 154/(-308). Which is smaller: g or 1?
g
Let v = 1/32 - -7/32. Let z be -1 + -5 + -1 - (-40 + 249). Which is greater: v or z?
v
Let d = 7532.4705 - -0.5295. Is d greater than 0.1?
True
Let j be 450/1820*-2 - (-2)/(-26). Let d = -0.6 + 0.5. Let p = d - -0.2. Is p at most j?
False
Let x = -843 + -1863. Is -2707 at most as big as x?
True
Let f = 45/67 - -1287/1675. Let q = -2137 + 2137. Which is greater: f or q?
f
Let w = 32.57 - 32. Let x = w + -30.57. Let q = -29.9 - x. Do -11 and q have the same value?
False
Let c(n) = -7*n + 193. Let i be c(27). Let s be 3/i + (-15 + 5)/20. Let v = -0.3 - -0.1. Which is greater: s or v?
s
Let g(v) = -3*v**3 - 76*v**2 - 23*v + 34. Let t be g(-25). Let p(x) = -2*x**2 - 13*x + 11. Let y be p(-8). Which is smaller: y or t?
t
Suppose -2*p = -5*f - 9, 123*f + 9 = 124*f + 5*p. Which is bigger: -28/1119 or f?
-28/1119
Suppose 45*x + 1677 = -3*w + 41*x, -2*w - 2*x - 1120 = 0. Let p = w - -565. Does p = -6/13?
False
Suppose 4*x - 45 = -g, 3*x + 2*g - 3*g = 39. Which is bigger: x or 352/29?
352/29
Suppose 0 = 12*m + 13 - 13. Is m equal to 2/463?
False
Let x be (-17056492)/1107*((-3)/82 + 2). Let j = -30252 - x. Is 0 bigger than j?
False
Let j = -57 - -227/4. Suppose -201 = -n - 88. Which is greater: j or n?
n
Let u(j) = j**3 + 19*j**2 - 64*j + 41. Let p be u(-22). Let w be -1*(-3 - (-1 - (p - -4))). Is w less than -1/230?
False
Let x(z) = -11*z + 2. Let f be x(-2). Suppose -25*b - 866 = 2334. Let o = b - -151. Which is greater: f or o?
f
Suppose 245 = 35*h - 105. Let k be (-3)/(-2)*340/h. Let p(o) = -9*o + 6. Let c be p(-5). Is k less than c?
False
Let n be (-2 + 174/(-9))*(-28251)/(-172). Which is smaller: n or -3503?
n
Let h = -133.34 + 137.44. Which is smaller: h or 37?
h
Let r = 240.7 - 46.7. Let u = r - 64. Let h = -120.5 + u. Which is smaller: 0.1 or h?
0.1
Let v = 26/5 - 22/5. Suppose 5*b + 2*s = 10, -4*b + s + 18 = 10. Suppose -x + 2*u + 8 = 2*x, b*x + 5*u = -1. Do v and x have different values?
True
Let h = -4587.1 + 4362. Which is smaller: -0.1 or h?
h
Let h(x) = 5 + 0*x - 26*x - 2*x**2 + 5*x - 9 - 23. Let u be h(-8). Which is smaller: u or 1?
1
Let h be (-13523)/5414*(-11 - -9) + -5. Do 0 and h have different values?
True
Suppose -5*y + 2*n + 40 = 0, 2*n = 5*n - 15. Let v be -26*(1 - 5/y). Let m = -1 + -11. Which is smaller: v or m?
v
Let m be (((-738)/24)/41)/(-3*1). Which is greater: m or 0.3223?
0.3223
Let f(o) = -10*o**2 + o + 5. Let j be f(3). Let m be (2/5)/(-4 + 10 - 7). Is m <= j?
False
Let a = 65 - 40. Suppose 0 = 8*x + 1 - a. Which is greater: 4 or x?
4
Suppose 0 = r - 3*r. Let a = 3268/791 - -3832918/26103. Let u = a - 151. Is u equal to r?
False
Let o = -36035 - -1585825/44. Which is smaller: 6 or o?
6
Let y(x) = 196*x - 19. Let n be y(-1). Let j be -211 - (7 - 57)/(-10). Which is smaller: j or n?
j
Let n = -9.31 + 11.31. Which is greater: n or -2/481?
n
Let q = 12233/3 - 4008. Let s = 409/6 - q. Is s less than 21/5?
True
Let g be (-554)/6 + 4/(-6). Suppose -55*r + 32*r - 16074 = 148*r. Is r < g?
True
Let u = 69 - 492. Let b = u - -423. Which is greater: b or -2/291?
b
Let h = -145251.8 - -145252. Suppose -4*w + 140 = -24. Suppose 0 = -5*m - w - 14. Is h at least as big as m?
True
Let a(j) = -j**2 + 8*j - 4. Let u be a(6). Let m be 12/u - (-18)/12. Is 0 greater than m?
False
Suppose 88 = -5*p - 67. Let l = 33 + p. Suppose 0 = -l*r + 92 + 66. Is 79 greater than r?
False
Let b = -0.222 + 0.532. Let t = -1.01 + b. Is t not equal to 8?
True
Let j(t) = 248*t - 2053. Let o be j(13). Which is bigger: o or 1173?
1173
Let p be ((-460)/(-207))/(-10*(-2)/1530). Which is bigger: 17/11 or p?
p
Suppose 5*p - 18 = -3*a, -17*p = -12*p - 2*a + 12. Which is greater: -1/6 or p?
p
Let p = -1.1381 - 0.0619. Is -184 > p?
False
Let h be 6/(-27) + 284/(-99). Let p(m) = m**3 - 6*m**2 + 16*m - 53. Let b be p(5). Let l be b - 0 - (1 - (4 + -8)). Which is bigger: l or h?
l
Let j(d) be the second derivative of -3*d**5/20 + 7*d**4/12 + 3*d**3/2 - 17*d**2/2 - 11*d - 2. Let h be j(-4). Which is smaller: 250 or h?
250
Suppose 0 = -18830*q + 18814*q + 60768. Is 7597/2 smaller than q?
False
Let b be -2 + (-2)/(-2) - 1335/(-1513). Which is smaller: -14/55 or b?
-14/55
Suppose 2*m - 5*m + 3*r + 189 = 0, 197 = 3*m + r. Let n be 4/10 + ((-110864)/m)/(-16). Do 107 and n have the same value?
True
Suppose -1184*y + 21 = -1163*y. Let b = 1 - -8. Let l(z) = z**2 - 5*z - 3. Let t be l(b). Which is smaller: y or t?
y
Suppose 2*q = 10 + 6. Let p(n) = -n**2 + 8*n - 1. Let h be p(q). Suppose 704 - 704 = -25*b. Which is bigger: b or h?
b
Let h = -5149/865 - -10/519. Which is bigger: -6 or h?
h
Let u = 67 - -104. Let v = u + -239. Let n = v - -68. Which is smaller: n or -0.8?
-0.8
Let g be (2 + (4 - 10))*(-246)/(-28). Let l(v) = v**2 - 89*v + 888. Let b be l(12). Which is bigger: b or g?
g
Suppose 7*n - 3*n - 5*c + 3166 = 0, -788 = n - 3*c. Let d = 783 + n. Which is smaller: -114/11 or d?
d
Suppose 0 = 2*f - 7 + 3. Let n be f/4*(1 - 7). Suppose -4*l + 5*c + 86 = 0, l + 4*c - 32 = 6*c. Which is smaller: l or n?
n
Let a = 34182 + -34182. Let b be -3 - -2 - (-533)/532. Is b greater than a?
True
Let m = -1221.277 + 1220.9. Are 0 and m nonequal?
True
Let z = 156494/7 - 22348. Suppose 2*f + 5*q = -1 + 10, -5*f - q = -34. Is f not equal to z?
True
Suppose -6*i + 5*c + 1092 = 10*c, -i + 182 = 2*c. Do 201 and i have different values?
True
Suppose 17*a = 37*a. Suppose a = -5*j + 4 + 1, 2*j - 962 = 5*q. Do q and -193 have the same value?
False
Suppose 0 = 3*f, -i - 2*f = 3*i - 8. Suppose 5*v = -p + 2 + i, 4*v = -2*p + 8. Suppose -4*n - 1 + 5 = v. Which is smaller: n or -2/397?
-2/397
Suppose -i = 5*r + 107, i - 69 = r + 2*r. Let c be r/(-10) + (-11)/55. Let d be 12/(-12)*c/(-44)*1. Which is smaller: -1 or d?
-1
Let a = -0.34 - -0.1. Let x = 46 + -37. Which is smaller: a or x?
a
Let d = 246005 - 500620162/2035. Is 0 at most d?
True
Let l be (-69)/(-138) - (526/172 - 2). Is 0 != l?
True
Let c be ((-56)/12)/(6/99). Let x be 14/(-4)*(-7 - 495/c). Which is smaller: -463 or x?
-463
Suppose 5*z + 5*t = -16 + 96, 3*t = -4*z + 66. Let j be (2/(-4))/((-4)/16). Suppose 3*p = -3*i + 60, -2*p - j*i + 19 = -7*i. Are z and p unequal?
True
Let r be (1 - -414)/((-140)/40 - -3) - 5. Is r less than -835?
False
Suppose 3*w = 5*w - 4*w + 1190. Are w and 597 equal?
False
Suppose 116028*k - 115988*k = 0. Let c be 36/190 - 2/5. Does c = k?
False
Suppose 