/((-1)/(-2)). Which is smaller: 1/100 or w?
w
Let m = 456 - 456.861. Let z = 0.961 + m. Is 3.49 at most as big as z?
False
Let x = -12877486318269 - -6374347241468867/495. Let m = 17143544 + x. Let j = m - -202/5. Is 0 > j?
True
Let j(t) = -t**3 - 2*t**2 - 2*t - 1. Suppose -6 + 0 = 6*b. Let r be j(b). Is -8/85 <= r?
True
Let v be ((-135)/(-5) - 1)*(3 - 0). Let h(d) = -d**3 + 4*d**2 + 48*d + 4. Let f be h(-6). Which is smaller: v or f?
f
Suppose -9900 = -26*n - 7*n. Let b be -6*(-55)/n + 2/(-20). Is b greater than 4/81?
True
Suppose -3*z = -z. Let d = -144206/9 + 1533742/99. Let y = -530 - d. Which is greater: z or y?
y
Let w be 4 + 2 + 9/(585/(-305)). Which is bigger: 2/33 or w?
w
Let c(f) = 8*f - 134. Let j be c(17). Let n be j*(-24)/(-20)*(-20)/(-3). Are n and 17 nonequal?
True
Suppose 0*z + 26334 = -7*z. Let w be (z/(-567))/19 - 2/(-9). Are w and -2 nonequal?
True
Suppose 2*v - 355 = 5*t, 36*t = 2*v + 35*t - 351. Let j be (-10)/v*(-35)/(-49). Which is bigger: 0.3 or j?
0.3
Let x be 518*(-6 + (-44)/(-8)). Is x >= -266?
True
Suppose -9*h + 153 = -18. Suppose -27*y + 25 = -488. Are y and h nonequal?
False
Let x be 1473/12 - (-1 - (-15)/20). Let m be (2/x)/(4 + 99/(-27)). Is m less than 0.1?
True
Let q be (138/(-347346))/(2/6). Is 0 > q?
True
Suppose 0*p = -3*p - 2*p. Suppose p = -3*b + 516 + 18. Is b less than or equal to 179?
True
Suppose -6*m + 35 = -13. Suppose -119 = -h - m. Let d = -112 + h. Which is smaller: -8/25 or d?
d
Let h = -549.4 - -549. Let x = -2.976 + -0.024. Which is smaller: h or x?
x
Let f be 156/(-118)*(16/2 - 3003/364). Are 0 and f nonequal?
True
Suppose 106*y + 7200 = 189*y - 123*y. Which is greater: -178 or y?
-178
Let u(r) = -5 + 4 - 1 + r. Let b(d) = d**3 + 2*d**2 - 10*d + 15. Let c be b(-5). Let p be u(c). Is -12 equal to p?
True
Suppose 4*h + 9968 = -4*f, -7470 = -21*f + 24*f + 4*h. Is f at least -2498?
True
Let z(i) = -i + 2. Let q be z(-8). Is q at least 31/3?
False
Let v = 13775 - 537227/39. Is v less than 1?
True
Let q be ((-36)/9)/((-6)/6). Suppose 6*z - 3*k = 10*z + 111, 5*z + 131 = q*k. Which is greater: z or -16?
-16
Let x(b) be the first derivative of b**4/4 + 2*b**3 + 39. Let j be x(-6). Suppose -3*q - 25 = 2*q, -4*f + 5*q + 21 = j. Which is bigger: f or 28?
28
Suppose 3*d - 2 = 4*z - 31, -d = z - 9. Suppose 2*n - z = -q + 1, -2*q = -n - 8. Suppose -x - 16 = -q*x + v, -5*v = -3*x + 12. Is 9 != x?
True
Let x = -145 + 140. Suppose 4*h - 4*r = 8, -5*r + 11 = 3*h - 3*r. Suppose 2*n - h*n = 7. Is n != x?
True
Let i = -530 - -532. Suppose g = 2*g - 21. Is g at most as big as i?
False
Suppose 2785*q + 575 = 2670*q. Let l(f) = 10*f + 10 - 7 + 20 + f**2. Let j be l(q). Is -0.01 at most j?
False
Let w(y) = -2*y + 19. Let r be w(-11). Let h = r - 98. Let b = h - -63. Which is smaller: -8 or b?
-8
Suppose 22*i = 18*i + 108. Suppose 4*k = -i*k - 15283. Does k = -493?
True
Suppose -159 = -5*o + c, 4*c - 3 = -o + 12. Let p be (8 - (0 - -8)) + o*1. Let s(g) = -g**2 + 10*g + 7. Let m be s(5). Which is bigger: m or p?
m
Let b = 251.2 + -251.167. Let c = -3 - -3. Is c smaller than b?
True
Let z = -424 - -289. Let q be (-1458)/z*10/(-3). Let y(m) = m**3 + 6*m**2 + 7*m + 8. Let d be y(-6). Which is bigger: d or q?
d
Let g = 156.521 - 0.021. Let l = -156 + g. Let k be (21/(-6) + 4)*10. Is k greater than or equal to l?
True
Let n be (-73)/(-5) + (-18)/(-45). Let v = n + -20. Is v >= -21?
True
Let u(h) = 1037*h - 16656. Let l be u(16). Which is greater: l or 170?
170
Let y = -1904 - -2635. Which is bigger: 2189/3 or y?
y
Let j be -7 + (24/9 - (-6)/(-9)). Let d be (j/(-1) - 4)*3. Suppose 2*u - 2 = 3*v + 51, -d*v = u + 41. Is -15 not equal to v?
False
Let l = 1 + 28. Let b = -29.079 + l. Let s = 0.021 - b. Is 4 > s?
True
Let h = -1 + 0.8. Let i be 9*(1/3)/(-6 - -7). Suppose -5*j - 5*c + 40 = 0, -9 = i*c - 0. Which is bigger: j or h?
j
Suppose -151 = -9*r - 142. Which is bigger: -15/487 or r?
r
Suppose 275760 = -287*h + 550*h - 279*h. Is -17235 less than or equal to h?
True
Let z(a) = a**3 - 7*a**2 - 2*a + 11. Let y be z(7). Let p = -70 + 74. Let b be (-6)/p - y/2. Is 2/135 <= b?
False
Let t = -1.7245 - -1.1245. Let s(q) = -q**2 - q + 3. Let r be s(0). Suppose g - r*w = 2*g + 15, 4*w = -g - 19. Is t != g?
True
Suppose 8*t - 3*t + 5*j - 20 = 0, -3*t + 3*j - 12 = 0. Suppose t*u - 3*u = -4*u. Is -2/459 smaller than u?
True
Let h = 869.8 + -829. Let r = -43.8 + h. Is -24 < r?
True
Let z = -23/2800244 + -266269423/12636101050. Let j be (-2)/(-10) - (30008/(-14440))/(-11). Let x = j + z. Which is bigger: 1 or x?
1
Suppose 3*p = 3*m - 4 + 28, 0 = p + 5*m - 2. Let y be p/21*3/(-4). Let g(b) = b**2 + 6*b + 10. Let t be g(-3). Which is bigger: t or y?
t
Let p be 6 + 350/(-49) - (-195671)/(-245). Are -799 and p non-equal?
True
Suppose 0 = 6*v - 152 - 196. Suppose -2*x - 40 = 5*q - 8*q, 5*q + x = v. Which is smaller: q or 58/5?
58/5
Let t = 75348 + -75333. Suppose 0 = -2*u - 2*d + 4, -3*u + 14 = -0*u + d. Which is smaller: u or t?
u
Let z = -0.4466 - -0.5166. Are 122 and z equal?
False
Let o be -1*((-3 - -8) + 4660). Let d be (-12 + o/(-390))/((-8)/(-1)). Which is greater: 0 or d?
0
Let i = 16.2129 - 15.548. Which is bigger: i or -2/3?
i
Let d(p) = 272*p**2 - 17*p - 31. Let u be d(-7). Let l = u - 2374624/177. Are l and 1 equal?
False
Let t be 11330/5785 + (8/14 - 304/728). Is 2 greater than t?
False
Let l = -15833 - -15854. Let m = 42 - 20. Is m less than or equal to l?
False
Let l be (-2)/(-3)*15/2. Let i be (1355/260 - l)*4. Let q = -623/767 + i. Which is smaller: 0.2 or q?
q
Let n be (-6)/(-20)*82*3237/(-234). Let a = n + 340. Which is bigger: 25 or a?
25
Let p = -17 + -1. Let z be (5/(-3))/(p/(-27)). Suppose 0 = 4*a - 16, 0 = 2*v + 3*a - 13 + 5. Which is greater: z or v?
v
Let n = 7184/3769 + -44935176633/23574703024. Let b = 353482937711/394058448 + n. Let c = 897 - b. Which is smaller: 0 or c?
c
Let g be 195/2*(-44)/66. Let w be (1 - 0)/(g*(-8)/40). Is w not equal to 0?
True
Let j(m) be the third derivative of -9/2*m**3 + 11/12*m**4 + 12*m**2 + 0 + 0*m. Let n be j(7). Is n greater than 126?
True
Let y = -2.649 - -1.649. Which is bigger: y or 67?
67
Let h be ((-3)/((-15)/365))/(((-44)/(-128))/11). Are 3/7 and h nonequal?
True
Let c = -1/2654 - -103513/18578. Let i(t) = -9*t - 153. Let x be i(-17). Suppose -y + s + 3 = 0, 0 = -4*y - x*y + 3*s + 16. Which is smaller: c or y?
c
Let i = 10909/5 + -2183. Let o = -5 - -3. Which is greater: o or i?
i
Let q(o) = -o**3 + 45*o**2 + 50*o - 224. Let x be q(46). Let t be (-60)/72*172/x. Which is smaller: t or 4?
t
Let j be (29 - -3) + -1 - 6. Suppose -j*g - 45 = -20. Do g and -1/388 have the same value?
False
Suppose -15*p + 132 = 27. Suppose 3*n - 50 - p = 4*s, -4*n + 4*s + 76 = 0. Which is bigger: n or 21?
21
Let k = 254 + -249. Suppose 3*v + 141 = k*i, 15*i + 235 = -5*v + 13*i. Is v != -46?
True
Suppose 0 = -2*c - 2*m + 18, -9*c + 6*c - 5*m = -35. Suppose c*s = -51 - 89. Is s greater than or equal to -19?
False
Suppose -573*v + 457*v = -3480. Suppose 3*w + 28 = 3*t + 115, 5*w - t - 137 = 0. Is w at most v?
True
Let o = 28 + -18. Suppose 9 = -o*g - 1. Let y be 3/9 - (-9)/((-27)/(-8)). Which is greater: y or g?
y
Let a be -18 + 14/21*6. Let u be 51/1*(-1)/4. Is u less than or equal to a?
False
Let r be 15219/30 + 339/(-1130). Is r at most 0.2?
False
Let w = 15350 + -15349. Is 1/16615 > w?
False
Let b = -3/10754 - 1742133/53770. Is 2/39 > b?
True
Let n = -0.9 + 105.9. Let g = 66 - n. Let o = 45 + g. Which is smaller: o or -3?
-3
Let m = -1.295 + 1.295. Let n be 3/12 + (-17673)/(-60). Let t = -293 + n. Which is smaller: m or t?
m
Let g(p) = -9*p**3 - 5*p**2 + 4*p + 15. Let i be g(-7). Let z = 231981/82 - i. Which is greater: -1 or z?
z
Let n be 7053*4/(-3522) + 8. Is n at least 1?
False
Let r be 116/(-4)*(-2)/2. Let d = -57 - -53. Let u be (-198)/(-7) + 1*d/14. Which is greater: u or r?
r
Suppose 3*b = 4*i + 13, b - 12 = i - 9. Is 24.19 at least b?
True
Let r be (5 - -2)*(2 - 1). Let c(o) = -o**2 + 10*o - 22. Let k be c(r). Let t = -1/5 - k. Which is greater: t or -4/5?
t
Let s = 6655 - 4608. Is 2051 != s?
True
Suppose 0 = -24*r + 12*r + 36. Let u be 2*(r - ((-5)/(-165) - -3)). Is 0 at least u?
True
Suppose -4*w + 9*w - 2*p = 833, -4 = p. Let h(i) = 246*i - 1064. Let x be h(5). Is x not equal to w?