
Let p be 1*(-2)/(-5 - -7). Let b = -5/53 + 601/5247. Which is smaller: b or p?
p
Let t be 10 - (-789)/(-18) - (2 + -3). Which is smaller: -34 or t?
-34
Let h(o) = -2*o - 15. Let z be h(-9). Let q be (-25)/(-15) + (-2)/z. Let r = 9/10 + -23/20. Which is smaller: r or q?
r
Let m(s) = s**2 + 27*s - 29. Let b be m(-28). Which is smaller: b or -5/12?
b
Suppose -43 = -5*j + 2*z + 42, 0 = 2*z. Let n be -2 - (j/1 + 2). Let b be (2/n)/((-1)/(-3)). Which is smaller: b or 0?
b
Let y be (-24)/(-35) + ((-510)/75)/17. Is y at most as big as -1001?
False
Let x(w) = 2*w + 32. Let y be x(-13). Let p be y/9*9/165. Suppose -2*l + 3*l = 0. Which is smaller: p or l?
l
Let h = -1305.1 + 1277. Which is smaller: 2/3 or h?
h
Suppose 2*h = -5*l + 12, 0 = -5*l + 3*h + 2 + 5. Which is bigger: l or 17?
17
Let a(p) = p**3 - 4*p**2 + 7*p + 2. Let i(k) = k**2. Let l(w) = -a(w) + 5*i(w). Let z be l(8). Suppose 0 = 5*v - 8*v - z. Which is smaller: v or -4?
-4
Let c(d) = -d - 6. Let g be c(0). Let l(m) = m**2 + 9*m - 5. Let h be l(-10). Suppose a = h*y + 5, 2*a = -3*a + 5*y - 15. Which is greater: a or g?
a
Let a(x) = x**3 - 8*x**2 + 2*x + 2. Let w be a(7). Let v be (2/12)/((-88)/w). Let o = -7 + 7. Which is bigger: o or v?
v
Let f(c) = -5*c - 18. Let p be f(-10). Suppose 14 = -3*d + p. Do d and 5 have different values?
True
Let n = 0.0545 + -0.0545. Does -0.45 = n?
False
Let i be 15/(-40) + (-26)/16. Let d be (-3)/(-335 - i)*-3. Which is bigger: 1 or d?
1
Let a(h) = -87*h - 1563. Let q be a(-18). Let b = -0.16 - -1.36. Which is smaller: q or b?
b
Suppose -3*t + 1 = -z, 11*z - 12*z = 2*t + 1. Which is smaller: z or -5/88?
z
Suppose -f = -3*f + k + 52, -3*k = f - 12. Suppose -12*p + 1147 = 895. Which is smaller: f or p?
p
Let c = -1/1549 - -1782/360917. Which is bigger: c or -1?
c
Suppose -3*w = -2*u + 12, 5*u + 44 = 4*w + 60. Let n = 2 - 5. Let g = n + 5. Which is smaller: g or u?
u
Suppose 13*h + 5*u - 14 = 12*h, u - 3 = 0. Is h greater than -2/429?
False
Suppose 5*c + 0*w - 3*w = -26, w - 11 = 2*c. Which is bigger: c or -8/3?
-8/3
Let z be (-12)/8 - -3*(-6)/(-9). Is 2/7 > z?
False
Let t = 33934/29 + -1170. Which is smaller: -1 or t?
-1
Suppose -15*f + 238 = -62. Is f at least as big as 14?
True
Let k be 18/45*(4 + 1). Let x be (0 - k) + (312/33)/4. Is 1 > x?
True
Let d = 1768/2649 + -2/2649. Which is greater: -96.9 or d?
d
Let u = 116.4 + -471.3. Let y = 384 + u. Let c = y - 29. Which is greater: -1.7 or c?
c
Let o(d) = -2 - d**2 + d**3 + 4*d**2 - 2 + d + 7. Let h be 4/(-16) - 33/12. Let s be o(h). Which is smaller: s or 12/11?
s
Let x = -0.0307 - -12.1307. Which is greater: 2 or x?
x
Let l(u) = -2*u - 7. Let d be l(-3). Let a be ((0 - 0)/2)/d. Suppose 0 = 3*t + 3*g + 33, 4*t + g + 10 + 46 = a. Is -15 greater than or equal to t?
True
Suppose j - 220 = -4*j. Let u be 6/33 + 3/j. Let a be -3 - ((-26)/10 + 0). Which is greater: u or a?
u
Let x = 97 + -96.55. Let w = 0.8 + 0.2. Do x and w have different values?
True
Let q(s) = -s**3 - 4*s**2 + s + 11. Let k be q(-3). Is k <= 0?
True
Let p = 9 + -5. Let r = -8 + 14. Suppose 2*i = r - p. Which is greater: 3/10 or i?
i
Let b = 4 - 2. Suppose 14*s - 9*s + 584 = -4*o, -5*s - 576 = -4*o. Let l = s + 124. Which is smaller: b or l?
b
Let r(u) = 4*u. Let z(l) = 4*l + 1. Let q(a) = 4*r(a) - 5*z(a). Let m be q(-3). Suppose 3 - m = j. Which is smaller: -3 or j?
j
Let o = 0.1 + 0.1. Let z = -5800 - -5747.01. Let n = z + 53. Which is smaller: o or n?
n
Let i = 0.0689 - 2.0689. Is i bigger than 9.2?
False
Let s = -86 - -54. Let a be (s/(-20))/(1/(-25)). Which is smaller: a or -41?
-41
Let a = 525 + -527.34. Let g = -18.66 - -19. Let r = g + a. Which is bigger: 0 or r?
0
Suppose -f + 2*u = -33, -5*f = -0*f - 4*u - 141. Suppose 0 = -3*i + 3, 5*i = -2*k + 62 - 1. Which is greater: k or f?
k
Let q be 6894/(-72) + -3*15/36. Which is greater: q or -486/5?
q
Let a(c) = -c**3 + 10*c**2 - 17*c + 7. Let o be a(8). Let j = 1/1399 + -2947/208451. Which is smaller: o or j?
o
Suppose -8*a = 9*a - 15028. Are 883 and a equal?
False
Let h = -7.3 + 7.251. Let w = h + -0.651. Which is smaller: -1 or w?
-1
Let d be -1 - (21 - (-5 - -4)). Suppose 3*w + 110 = -2*w. Which is bigger: d or w?
w
Let u = 63 + -63. Suppose -29 = 3*p + 2*q - u*q, p + 4*q = -23. Which is bigger: -15/2 or p?
p
Let u(l) = -2*l**3 - l**2 + 1. Let c be u(-1). Suppose 3*y - 4 = c*y. Which is smaller: y or 3?
3
Suppose -5*t + 90 = 5*l, 34 = 2*l - 0*l + 3*t. Let u be (27/2 + -4)*2. Let k = l - u. Which is greater: k or 3?
3
Let x be (1 - -1*38)*(-5)/(-9). Let n = -25 + x. Is -2 smaller than n?
False
Let i = 3.4 + -3.16. Let u = i - -0.16. Is u < 2/5?
False
Let g = 32964197/76165 + 3/15233. Let d = -430 + g. Which is greater: 3 or d?
3
Let q be (-56)/(-52) - 1 - (-2449)/(-403). Suppose t + 0 = 2. Suppose 0 = t*b - 3*b - 7. Is q greater than b?
True
Let f = 20.26 + -0.26. Let y = f - 13. Let j = y - 5. Which is greater: -2/9 or j?
j
Suppose x = -0*x. Let a be ((564/(-195))/(-1))/(14/175). Let n = -36 + a. Is x at least as big as n?
False
Let c = 1.6 - 1.28. Let y = c - 0.68. Let d = y + 6.36. Is -2 equal to d?
False
Let o = 1969 + -3457. Are -1487 and o equal?
False
Let m be (11/(-2) - -4) + (-1403)/(-934). Which is greater: m or 1?
1
Let i = 159571/9 + -17863. Which is smaller: i or -134?
-134
Let c(b) = b**3 - 6*b**2. Suppose -2*v + 5*r - 12 = -34, -5*v = 3*r - 24. Let n be c(v). Which is greater: n or -2/103?
n
Let k = -651/1016 - -2/127. Is k not equal to -2?
True
Let r = -2.83 - -3.03. Is r <= 17?
True
Let n be 6*((-3)/(-36) - 3/(-12)). Let x be (-54 - -1)/((n/(-2))/1). Which is greater: 54 or x?
54
Let m(l) = -l - 3. Let d be m(-6). Suppose 3*v = 4*s - s - d, -4*s + 8 = -3*v. Suppose -2*f + v = -12. Is -0.1 != f?
True
Let o = -35 + 37. Let l be (-8)/(-3)*o/28. Which is smaller: l or -1?
-1
Let y = 20 + -13. Suppose y*x = 4*x + 6. Let a be x/(-8) + 25/20. Which is smaller: -6/17 or a?
-6/17
Suppose -7*g + 5*u + 8 = -3*g, -5*g = -u - 10. Suppose -7*j = -g*j. Let d = -853/493 + 30/17. Which is bigger: d or j?
d
Let k = 104 - 106. Suppose -5*n + 16 = -n. Let v = n - 5. Are k and v equal?
False
Let a = -1018/279 - -34/9. Let t be 2/(-4)*(12 + -12). Is a < t?
False
Let x = 12095/3087 + -10/343. Is x at least as big as 4?
False
Let b be 30/135 + (-46)/261. Let p = b + 6691/174. Is p smaller than 40?
True
Let b = -74 + 73. Let o = -177 + 8141/46. Which is greater: b or o?
o
Let z be 2/9 - (-34)/(-18). Let t be 2*((-25)/10 + 2). Which is greater: t or z?
t
Let c(g) = -g**3 + 8*g**2 + 9*g + 1. Let m be c(9). Is -26 less than or equal to m?
True
Let n(o) = o**3 + 7*o**2 - 9*o - 3. Let q be n(-8). Suppose 64 = q*a - a + 5*j, j - 37 = -3*a. Is a equal to 10?
False
Let k = 7 + -10. Let i = k + 39. Let y be (-6)/4 - i/(-6). Is y >= 4?
True
Let a be (1*-2 + 4)*(-100)/(-300). Which is bigger: a or -2/163?
a
Let r = -654 - -485. Do -168 and r have the same value?
False
Let h be 8/28 - (-51)/42. Is h < -1/12?
False
Let q(c) = -11*c**3 + 3*c**2 - 3*c - 6. Let g(i) = -32*i**3 + 9*i**2 - 8*i - 17. Let w(l) = 6*g(l) - 17*q(l). Let b be w(2). Which is smaller: b or -21?
b
Suppose 5*x = x - 12. Let b be ((-2 - x) + 2)*1. Suppose 0*a = 4*a - c - 35, 0 = -2*a + b*c + 25. Is a greater than 9?
False
Let y = 68 - 67. Is y bigger than -11?
True
Suppose 0 = 3*n - 16 - 11. Let x(k) = -k**2 + k. Let q(f) = -2*f**2 - 13*f - 1. Let c(o) = q(o) - 4*x(o). Let a be c(9). Is a at most n?
True
Let r = 4.19 - 7.99. Is -1 <= r?
False
Let s = 1 + -1.3. Is -129 bigger than s?
False
Let w = -0.65 + -0.45. Which is smaller: 2.7 or w?
w
Suppose 5*i - 2*n - 43 = 49, 0 = -i + 5*n. Does i = 1?
False
Let c = 0 - -1. Let y = 20 - -15. Let x be -3 + (-42)/y*(-290)/117. Which is smaller: x or c?
x
Let a be ((-2170)/(-175))/(2/30). Is 187 > a?
True
Let t(v) = 3*v + 2. Let l be t(2). Let s be 45/25 + 10/50. Let u be (s*(-4)/l)/1. Are u and -1 non-equal?
False
Let b = 400 + -332. Is 1 less than or equal to b?
True
Let b = -4315 - -4319.286. Let p = 4.3 - b. Are 1 and p nonequal?
True
Let y be -43 - -6 - (2 + -1). Suppose -r + 12 = 3*r. Let c be y/78 - r/(-9). Which is smaller: -1 or c?
-1
Suppose -6 = -2*p + 4. Let r = -2.513 - 0.487. Is p > r?
True
Let d = 0.23 - 0.19. Let t = -7.74 - -8. Let l = d + t. Which is bigger: l or 1?
1
Suppose -15*j