3*x - 17. Let j be w(7). Suppose 0 = 3*m + m + 16, -b - j*m - 57 = 0. Does b = v?
True
Let p = -129159/7 - -18450. Which is bigger: 1 or p?
1
Let y = -4899/8 - -26699/40. Is 55 >= y?
False
Let r be (-2)/1 - (-21)/((-84)/4). Suppose -5*y + y + 12 = 0. Let f be y*(-1)/(-3) + -5. Which is greater: r or f?
r
Suppose -3*m + 156 = 2*q, 0 = 2*m + 7*q - 3*q - 88. Which is bigger: m or 75?
75
Let x = -108311/360 - -1805/6. Is 1 > x?
True
Suppose -11*b = -10*b + 9. Let t be (15/b)/(2 + 21/(-9)). Let p = 1.96 - -0.04. Is t equal to p?
False
Let u(g) = g**2 + 32*g - 17. Let c be u(-32). Let y be 41/(-6)*(357/(-70))/c. Does y = -2?
False
Let u = 979561289/1181566737 + -1085/177173. Let h = 22/27 - u. Which is smaller: 0 or h?
h
Let s be (-96)/(-80)*26215/(-14). Is s < -2247?
False
Let g = 44 + -19. Let s = 199 - 176. Which is greater: g or s?
g
Let s(q) = 8192*q**2 - 2*q - 2. Let b be s(3). Let f be (-4)/38 + 9280/b. Is f at least as big as -1/3?
True
Let a(h) = -h**3 - 6. Let v be a(0). Let u = 1632 - 3691. Let y = u + 2058.9. Which is smaller: y or v?
v
Suppose 11*i + 1458 = -37*i + 21*i. Is -13 less than or equal to i?
False
Let j = 228 - 38. Suppose -p + 282 = 4*a + 79, 0 = -p - 2*a + 197. Which is greater: p or j?
p
Let s be 43 + -1 + 26/13. Let x = 45 - s. Let u be (-15)/30 - x/2. Which is smaller: u or -1/60?
u
Let z = 1511 - 1511. Which is greater: z or 90?
90
Let q = -2304 - -713. Which is smaller: q or -1589?
q
Let r be (3/40)/((-15282)/(-270) - 41). Let a be (((-4)/2)/(-6))/(-1). Which is greater: a or r?
r
Let g = -54 - -58. Let z = g - 4. Suppose -6*u + z = -6. Are u and -5/13 unequal?
True
Let z(g) = 4*g**3 + 2*g**2 + 2*g. Let n be z(-2). Let b = 16 + n. Let i = 143063/2 - 71542. Which is smaller: i or b?
b
Let f = 441412 + -435673940/987. Let n be ((-2054)/(-182) - 11)/((-282)/(-14)). Let i = n + f. Which is bigger: i or 20?
20
Suppose 18745 = -3*f + 18676. Which is bigger: f or -96?
f
Suppose 408 - 261 = 197*s - 444. Which is smaller: s or 166/61?
166/61
Let o be (-23 - 14)*(13/(-12))/(-13). Which is bigger: o or 0?
0
Let z(c) = -63*c**2 + 17*c - 5. Let h(p) = -31*p**2 + 8*p - 3. Let t(v) = -7*h(v) + 3*z(v). Let x be t(2). Is x greater than 107?
True
Suppose 21 = 8*l - 67. Let k(u) = 5*u - u - l - 2*u. Let w be k(5). Which is smaller: -3 or w?
-3
Let s = 6108 - 6084. Suppose -l = 2*l - 9. Let c be (s/(-630))/4*(-1 + l). Which is smaller: c or 0?
c
Let a = -3511/5 - -705. Let k = a - 109/30. Suppose -4*j = 5*x + 10, j - 4*x - 12 + 4 = 0. Which is greater: k or j?
j
Suppose -5*h = 15, -3*h + 7 - 16 = b. Let n be -2*(-2)/(-594) + b. Which is smaller: 0 or n?
n
Let c = -251 + 253. Let s(p) = p**3 - 9*p**2 + 5*p - 8. Let v be s(10). Suppose c*y + 49 + 9 = t, 0 = -5*y + t - v. Do 1 and y have the same value?
False
Let m = -115 - -103. Let l be (-11)/m*(-16)/(-10). Which is smaller: l or 1?
1
Let w be (8/6)/(20/75). Let z(d) = -264*d - 12. Let o be z(-4). Let c be o/(-20) + (-4)/w. Which is bigger: -52 or c?
-52
Let p(d) be the third derivative of -d**6/120 + 7*d**5/60 + d**4/24 + 5*d**3/3 - 18*d**2. Let w be p(8). Let i = w - -47. Which is greater: 2/33 or i?
i
Let d = -66467/570 + -113/114. Which is greater: d or 0.8?
0.8
Let z(c) = -2*c**2 + 22*c - 18. Let m be z(10). Suppose -1 + 11 = -m*p. Let q be (1/(-3))/(p*12/(-9)). Is q less than -3?
False
Suppose 436 = -38*x - 5986. Do -164 and x have the same value?
False
Let n be (10/(-8))/((-350)/840). Suppose 4*x + 4*p = -0*p - 1328, 0 = -n*x + 2*p - 1021. Which is smaller: x or -338?
-338
Let j be (-1 - 0)/((-47)/1175). Suppose 9*y = -7 + j. Suppose -3*f + 10 = -2*f. Which is smaller: y or f?
y
Let n = -0.375 - 31.825. Let m = 34 + n. Which is smaller: m or 5?
m
Let s = 63 - 48. Let l = -17 - s. Is -32 <= l?
True
Let j be (-6 + (-170)/(-35))*171/(-12). Let w = 15 - j. Let g be ((1 + -1)/(-2))/(-1). Is g at most w?
False
Let t be (1 - -3)/(2/((-2)/2)). Let l be 26271/28*t/6. Let h = 310 + l. Is -4 smaller than h?
True
Let a be (-4)/16 - (8955/20 - 6). Let r = a + 409. Which is smaller: -30 or r?
r
Let h = -2.5954 + -1.3046. Which is bigger: 149 or h?
149
Let i = -151/12 + 37/3. Let p = -7147601236/2121 - -3369920. Let z = 1/303 + p. Is z <= i?
True
Let k(j) = -j**2 - 2*j - 10. Let t(p) = -p**3 + 20*p**2 + 45*p - 28. Let v be t(22). Let b be k(v). Let m be -3 - (0 - 1)*1. Are m and b unequal?
True
Let s be 6/(-30)*10/(-8). Are -3598 and s equal?
False
Let p(w) = w - 1. Let m(g) = -g**3 - 25*g**2 + 33*g - 58. Let a(d) = -m(d) - 6*p(d). Let u be a(-27). Is u less than -342?
False
Let x(d) = 17480*d**3 + 3*d**2 + 2. Let w be x(-1). Which is smaller: w or -17476?
-17476
Suppose -14130*l + 14074*l - 6496 = 0. Suppose -3*u - 225 = -u + k, 3*k - 237 = 2*u. Which is bigger: u or l?
u
Let v(g) = 336*g - 19. Let x(p) = -172*p + 10. Let z(q) = -3*v(q) - 5*x(q). Let b be z(-4). Which is bigger: 598 or b?
b
Let v(h) = -2*h**2 + 13*h + 22. Let o(a) = -5*a**2 + 39*a + 66. Let n(i) = 3*o(i) - 8*v(i). Let q be (22/4)/((-9)/18). Let l be n(q). Is l at least as big as 3?
False
Let n = 1 - -3. Suppose -3*u + 8*i - 6*i = -33, -54 = -5*u + 3*i. Suppose 12*c - 39 = u. Is n > c?
False
Let z = 333/2 - 171. Let u = -6 - -18. Suppose 0 = 2*o, -3*a = -o - 3*o + u. Is a at most z?
False
Suppose -8*d - 22 = 106. Suppose 5*t = t + 96. Suppose -76 = 2*w + 4*m - t, -39 = 4*w - 5*m. Does d = w?
True
Let t be (82/12 - 3) + (-1)/(-6). Suppose -1 = t*l - 17. Is 4 at least as big as l?
True
Suppose -2*z = 5*m + 406 - 15, -m = 4*z + 755. Let c = z + 189. Which is greater: 1/28 or c?
c
Let r be (-102)/4*(-12 - (-40)/((-60)/(-15))). Let g = 4.6 + -0.6. Which is bigger: g or r?
r
Let m(p) = -3*p**3 - 8*p**2 - 4*p - 11. Let h be m(-6). Suppose -3*t = -i + h, t + 2*i = i - 127. Is t bigger than -124?
False
Let m be ((-2)/(-12)*-2)/(7/(-42)). Suppose 0*h + 742 = -m*h. Let p = -1103/3 - h. Which is smaller: p or 2?
2
Let s(w) = -w**3 - 8*w**2 + 25*w - 17. Let a be s(3). Suppose l + 33 = -10. Which is greater: a or l?
a
Let y(g) = 6*g**2 + g. Let a be y(-1). Suppose a*v + 60 = 2*v. Let u = 2488 + -2507. Which is bigger: u or v?
u
Suppose -4*d = c - 32, -4*c - 4*d = -5*c + 32. Let z = -321 + c. Do z and -289 have the same value?
True
Let c(i) = -28*i - 2 - 14*i**2 + 2*i**3 - 5 - i**3. Let d be c(16). Let k = 62 - d. Are k and 9/2 equal?
False
Let v = 12/9877 - 63113/11299288. Is -1 > v?
False
Let r be 1278/(-104) + -1 + -1. Let c = -59/13 - r. Let b be (-12 + 37)/((-300)/(-120)). Which is bigger: c or b?
b
Let h(m) = m**2 + 4*m - 5. Let f be h(-5). Let p = 14193 - 5648813/398. Does p = f?
False
Suppose 4*a = -2*p - 54, 5*a - 5*p = -8*p - 70. Let n = -53 - -60. Is a greater than n?
False
Let m = -115.98 + 1.98. Let b = m + 106.7. Let x = 3.4 + b. Is 0 less than x?
False
Suppose 0*i = 9*i - 171. Suppose 9*a - 4*a + 2*f - i = 0, 0 = 4*a + f - 14. Let y be a/18 + 92/(-264). Which is smaller: -2/3 or y?
-2/3
Let y = 344 + -310. Suppose 4*q = 57 + 75. Is y not equal to q?
True
Let y = -66 + 478. Let g = y + -2052/5. Let w = 136 + -135. Is g <= w?
False
Suppose 6*z + 85 = 7. Let t(m) = -m**3 - 12*m**2 + 15*m + 16. Let j be t(z). Which is smaller: j or -12?
-12
Let j(x) = -x**2 + 11*x - 2. Let m be j(11). Let z be (8/(-16))/(m/(-428)). Is z at most as big as -108?
False
Let p = 74635/282 - 23/141. Let o(b) = -b**3 + 11*b**2 + 14*b - 23. Let n be o(9). Is p at most n?
True
Suppose -32*y + 34*y + 5 = -i, 25 = y - 5*i. Which is smaller: y or -2/1171?
-2/1171
Let i(t) = t**3 - 19*t**2 + 72*t - 383. Let c be i(16). Is c at least as big as -29/383?
True
Let u = -10433.8649 - -10429. Let z = 0.1351 - u. Let n be (-1 - -3)*2/14. Which is greater: n or z?
z
Suppose 11 = 5*o + 3*n - 18, 5*n - 35 = -5*o. Suppose 3*k - o - 16 = 4*m, -2*k - 2 = 5*m. Is 6 at most m?
False
Let c be (-391 - -388)*(-2)/18*-5. Is c <= -2?
False
Let v(t) = 51*t - 20. Let y be v(3). Let b = 140 - y. Which is smaller: 11 or b?
b
Let q be ((-30)/(-36))/(1/6). Suppose 1 = -q*v + 16. Suppose 0*m - v*a = 5*m + 9, a + 3 = m. Which is greater: -3/14 or m?
m
Let w be (-5 - -5 - -5) + 29. Let h = w + -33. Is h at least as big as -1/41?
True
Suppose 0 = -9*h + 5*h - 36. Let v = h + 10. Let g(k) = -4*k**2 + 6*k - 2. Let u be g(v). Which is smaller: 2/7 or u?
u
Let n(j) = -8*j + 103. Let y be n(14)