is smaller: 0.1 or j?
j
Let b = 404 - 404. Is b greater than or equal to -161?
True
Suppose -4*p + 16 = -2*y, 0 = 2*y - 3*p - 0 + 12. Suppose 0*v + 4*v - 4*g + 56 = y, -4*g = v + 19. Let c be (-2 + 5)*v/72. Which is bigger: 0 or c?
0
Let o be -10 - -18 - (162/(-7))/(-3). Which is bigger: o or 3/155?
o
Let b = -232 + 5337/23. Which is smaller: b or 1?
b
Let r(a) = a**2 + 3*a + 1. Suppose 8*n - 2 = 9*n. Let v be r(n). Is -5/3 bigger than v?
False
Suppose 1 + 13 = -14*s. Is s at most as big as -2/11?
True
Let h(v) = -2*v**2 + 7*v + 12. Let i be h(6). Let x be -2 - (0 - i/(-10)). Let r(z) = z**2 - 19*z - 1. Let a be r(19). Which is smaller: x or a?
a
Suppose -2*y + 47 = -7. Let k(b) = b + 38. Let p be k(-10). Is p at most y?
False
Let b = 74 + -24. Suppose -3*v + b + 64 = 0. Which is smaller: 155/4 or v?
v
Let h be 0 + (11 + 3 - -2 - -3). Suppose -4*c = -3 + h. Which is bigger: c or -5?
c
Suppose -3*t + 4 = -113. Suppose 2*c + 4*m = -28, 3*c + 2*m + t = 5. Is c smaller than 0.1?
True
Let q = 1170 - 1173. Is 217 smaller than q?
False
Suppose 5*g - 22 = 4*k - 2, -4 = -3*k - g. Let q be k/(0 - (-3 - -4)). Suppose -4*j = r + 10, q*j + 4*j = 4*r. Which is smaller: -10 or r?
-10
Let i(f) = f**3 + 36*f**2 - 111*f - 83. Let t be i(-39). Which is bigger: -315 or t?
-315
Let d = 83/216 + -79/3672. Let v = d - 1/34. Is v at least as big as -1/3?
True
Let x be -5 + 11/2 - (-1)/2. Let j = -8.3 + 8. Which is smaller: j or x?
j
Let x = 4 - -1. Suppose 0*d - x*d = -15. Suppose 9*y - d*y = -96. Are y and -14 equal?
False
Let f = -127/2 - -66. Let z(q) = -6*q - 14. Let i be z(-3). Which is greater: f or i?
i
Let c(t) = -16*t - 16. Suppose -4*l = r + 10, -5*l + l - 22 = -5*r. Let h be c(l). Which is smaller: 31 or h?
31
Suppose -3*g + 4*w - 55 = 0, -6*g + 10*g - 4*w = -68. Which is smaller: -0.12 or g?
g
Let z = 162.2 - 160.2. Which is smaller: z or 2/7?
2/7
Let z = -0.29 + 0.7. Let i = z + 15.59. Let u = i + -16. Which is smaller: 3/2 or u?
u
Let b be (-2 - -3)/(-26*(-2)/(-8260)). Let x = b + 159. Is -1 at most x?
True
Let b be 24/16*4/3093. Which is smaller: b or 1?
b
Let r = 0.0667 - -0.2483. Are r and -1/3 unequal?
True
Let z = 16 + -10. Let b be 3*8/z - -2. Suppose -n = -2, -4*r + b = -r + 3*n. Is 2 less than r?
False
Let a be -3 - 2/(-2) - (0 - 3). Suppose 3*h + a = 4*h. Which is smaller: -1 or h?
-1
Let x(i) = 2*i**3 + 22*i**2 + 16*i - 18. Let c be x(-10). Does 22 = c?
True
Let p(w) = w**2 + 4*w - 8. Let m be p(2). Suppose -g + 14 = 4*j, -m*j - 10 = -5*j + 3*g. Is 4 less than or equal to j?
True
Let z = -8099/22 + 368. Let h = 4/11 - z. Let v(a) = a**3 - 5*a**2 + 4*a + 1. Let f be v(4). Is f greater than h?
True
Let u(y) = -9*y**2 + 16*y + 38. Let n(f) = -5*f**2 + 7*f + 21. Let z(q) = -5*n(q) + 3*u(q). Let m = -6 + 12. Let k be z(m). Which is smaller: 14 or k?
14
Suppose 5*m = -4*a - 8, 0*m - 10 = -m + 5*a. Suppose -4 + 6 = u. Let o be 1 + u/((-44)/14). Are o and m unequal?
True
Let h(f) = 6*f - 136. Let r be h(23). Which is bigger: r or -8?
r
Let m(h) = -9*h - 62. Let l be m(-6). Let d(j) = -j**3 - 7*j**2 + 8*j + 1. Let t be d(l). Which is smaller: t or 3/2?
t
Suppose r + i = 2, 5*r - 2*r = -2*i + 4. Suppose -2*g - 26 + r = 0. Which is greater: g or -15?
g
Let z be ((-17)/34)/((-1)/276*-3). Which is bigger: 0.3 or z?
0.3
Suppose 3*v = -v - 96. Let w = -26 - v. Which is bigger: w or 0?
0
Let a = -542/207 + 22/9. Let n = -225 - -225. Is n at least as big as a?
True
Let z be (-61)/(-4) + 39/52. Suppose 3*n - 2*n = -15. Let t = z + n. Which is greater: t or 1.4?
1.4
Let k(q) = q**3 + 6*q**2 + 4*q - 2. Let c be k(-5). Suppose -c*f + 5*r = -88, 5*f + 4*r = -r + 200. Is 36 at least f?
True
Suppose 2*u + 2*u - 3*d - 47 = 0, -2*u - 2*d = -20. Suppose 0 = -5*a + 5*z - 40, -2*a - 2*z + 8 = 2*z. Let k be a/7 - 33*24/(-63). Which is bigger: k or u?
k
Let y(w) = -10*w - 64. Let f be y(-6). Do f and 12 have the same value?
False
Let d = -81.5 - -81. Is d at most as big as -7?
False
Suppose j - 5 = 0, -s + 2*j - 1 - 8 = 0. Which is smaller: -14/325 or s?
-14/325
Let m(b) = -b**3 - 16*b**2 - 14*b + 102. Let v be m(-15). Does 85 = v?
False
Let m = -139 - -71. Let q be m/(-102) - 460/681. Is 0 <= q?
False
Let w = 406 - 63. Are 1 and w nonequal?
True
Let z be -2*4*(1 - -1). Let h = z - -30. Which is bigger: h or -2/5?
h
Let m be (60/9)/(-10)*-9*50. Which is smaller: m or 298?
298
Let j = -28 + 13. Let o = j - -17. Let k be ((-66)/(-3) + 0)/o. Which is smaller: 12 or k?
k
Suppose 1546 = 5*w - 2*p + 4*p, -p + 1548 = 5*w. Suppose -9*z = 13 - w. Is z <= 32?
False
Let x(c) = 88*c - 616. Let n be x(7). Is n > -4/39?
True
Let c = 376 - 49253/131. Which is greater: 1 or c?
1
Let d = -277 + 277.1. Is -0.04 smaller than d?
True
Let d = 72/7 + -11369/1106. Is 1 less than d?
False
Let d = 2 + 7. Let s(t) = -t + 8. Let g be s(d). Let h be (2/8)/1*g. Is h at most 0.2?
True
Let b(i) = -6*i - 104. Let n be b(-16). Is n greater than or equal to -18?
True
Let i be (44/24)/(12/(-9)). Let l be -1 - (-1 - 0/(-1)). Is l greater than i?
True
Suppose -2*p = -5*b - 1, -11 = -2*p - 3*b - 2*b. Suppose 2*f - p*f - 28 = 0. Let j be (0 - f/(-40))*2. Is -2 > j?
False
Let c = -7.01 + 0.01. Let j = c + 11. Let l = -0.1 + 0.1. Is l at least as big as j?
False
Let n(j) = -2*j**3 - 40*j**2 + j + 33. Let b be n(-20). Which is greater: b or 12?
b
Let a(n) = -14*n**3 - 2*n - 8. Let f = 65 + -67. Let v be a(f). Which is smaller: v or 109?
v
Suppose 9*o + 464 - 1409 = 0. Is o equal to 0.1?
False
Let g be (-9)/24*7 - -2. Let j be (-4)/(-14) - 113/(-168). Let l = g + j. Is -1/4 bigger than l?
False
Let r be (88/(-24) + -2)/(2/24). Let m be 1 - (1 - 4) - 73. Is r >= m?
True
Suppose 0 = -2*j + 7*j - 20. Suppose n + 3 = 0, 0*x - x - 4*n = j. Is 3 smaller than x?
True
Let j(s) = 62*s + 2. Let f be j(-4). Let a = 5168/21 + f. Do a and -0.1 have the same value?
False
Let k(r) = r**2 + 12*r + 11. Suppose 4*p - 8*g + 9*g + 49 = 0, 5*g + 14 = p. Let m be k(p). Let o be (-4)/(-6) + 0/(-2). Is m greater than o?
False
Suppose -4*t + 47 = -25. Suppose -3*w + 1 = -4*l + 2, 3*w - 6 = -3*l. Which is bigger: w or t?
t
Let g be 3*1*(-2 - -3). Let v(f) = -f**3 - f**2. Let r(c) = c**3 + 4*c**2 + 3*c + 1. Let q(o) = r(o) + 2*v(o). Let d be q(g). Which is bigger: d or -11?
d
Let y = 35507/22 - 1614. Suppose 0 = -5*j + 1 + 9. Suppose 0*b = j*b. Is y at most as big as b?
True
Let h = -78/35 - -9524/4305. Which is bigger: 1 or h?
1
Let p = -12127/9 + 1343. Suppose 0 = -4*d - 4*n - 1 + 5, -7 = 5*d + 2*n. Which is greater: p or d?
d
Suppose x - 5*u = -3*u + 4, 3*x - u = 27. Let v be (-1)/x + 8/32. Is -1 < v?
True
Suppose -2*n + 0*j - 8 = 4*j, 10 = -2*n - 5*j. Which is greater: n or 66/25?
66/25
Suppose 35*u - 28*u = 0. Is u <= -3/170?
False
Suppose 168*s = 155*s - 3588. Which is smaller: -3 or s?
s
Let p = 361 + -97. Suppose -362 = 5*c - 3*j, 4*j + p = -c - 3*c. Is c != -70?
False
Let v = 16 + -16.02. Let q = 0.18 - v. Which is greater: -17 or q?
q
Let d = -1.7 + 1.754. Let f = -14.946 - d. Is f < -2?
True
Let y(b) = 11*b**2 - 34*b + 4. Let h be y(3). Is 9/19 at least h?
False
Let m = -3676 - -143354/39. Let v = -1/13 + m. Which is smaller: 0 or v?
v
Let y be -2*1 + 7 + -8. Let a(m) = -m**3 - 7*m**2 + 3. Let l be a(-7). Let h be (l/y - -1)/(-2). Which is bigger: -2/51 or h?
h
Suppose 2*u + 2 = -4, -5*u - 1395 = 4*d. Is d > -345?
False
Let z be (-9)/(-1 + 2)*(-2)/(-6). Let i be (2/z)/((-18)/(-24)). Is -1 equal to i?
False
Let x(y) = 14*y + 52. Let w be x(-6). Which is smaller: w or -33?
-33
Let z = -1/524 - -643/62356. Is z at least 1?
False
Let x = -2115553/290 - -7295. Which is bigger: x or 1?
1
Suppose 0*f + 2*f = 14. Let h(d) be the first derivative of -d**2 + 6*d - 4. Let r be h(0). Which is greater: f or r?
f
Let a(n) = -n**2 - 13*n + 10. Let f(w) = w**3 + 16*w**2 + 17*w + 13. Let q be f(-15). Let m be a(q). Is m greater than or equal to -59?
True
Let s = -25 + 44. Let u = s - 12. Let k = u + -8. Is k not equal to -1?
False
Let b(d) = -4*d + 21. Let s be b(6). Let x be -3 - 4/s - 3. Which is smaller: -6 or x?
-6
Let z = 24 + -5. Let s = -16.67 - -35.6. Let x = z - s. Do 0.2 and x have the same value?
False
Let g = -0.26 + 1.26. Let c = -0.04 + -0.21. Let s = 0.17 + c. Is s at least g?
False
Let j = 983 + -618. Are 364 and j non-equal?
T