 34 less than or equal to b?
False
Suppose -6*u + 23 = -5*j - 3*u, 0 = 4*j - 2*u + 18. Is j <= 2/47?
True
Let v(n) be the first derivative of 1/3*n**3 - 30 - 9*n**2 + 32*n. Let m be v(13). Are -35 and m non-equal?
True
Let h = 110 - 118. Let d(z) = -83*z + 8. Let p be d(h). Let i = -4680/7 + p. Is i less than 3?
False
Let g = -45.505 + 46.005. Let o = 18/19 - 87/152. Is g bigger than o?
True
Let s(g) = -448*g**2 + 4*g - 4. Let b be s(1). Is b smaller than -448?
False
Suppose 3*x = 8*x - 30. Suppose -2*q + 4*c = 92, -3*q + 158 = -x*q - 4*c. Which is smaller: q or 1/2?
q
Let z = -23372.46 + 23375. Are z and -2 unequal?
True
Suppose 0 = -r - 2*n - 38, 5*r + 130 = -0*r + 5*n. Let v be 432/r - 2/(-5). Is -9 less than v?
False
Let g = -0.8117 + -373.1883. Is g < 2/3?
True
Let u(y) = -y**2 - 12*y - 22. Let t be u(-10). Let a be (14295/36 + -2)*t. Let s = -792 - a. Are -3 and s nonequal?
True
Suppose -416*v - 415*v = -835*v - 7912. Is v less than -1978?
False
Let i(n) = n**2 + 74*n + 503. Let l be i(-10). Is l less than or equal to -415/3?
False
Let a be (21 - 14)*40/14. Let g be (-1 - -3*a)*(-13 + 14). Which is greater: 0 or g?
g
Let p = -100 + 123. Let r = p - 3. Is r smaller than -1?
False
Let m be (-34)/28 - (65/26)/((-35)/(-4)). Let n = -0.719 + 0.089. Is m > n?
False
Suppose -16*d + 54 + 74 = 0. Suppose -h - 2*j = -21, -h + d + 10 = j. Does h = 16?
False
Let b be 1 + -165 + -4 - 3. Let r be 2/(-7) + -4*b/(-252). Let s be 308/(-21) - ((-4)/r - 2). Which is greater: -13 or s?
-13
Let f = -35 - -99. Let p be (-6 - (-284)/f)/((-1)/12). Is p at least -2/3?
True
Let s = 9 + -18. Let w be 501/s - 4/(-6). Let x be 25/10*4/w. Which is bigger: 0 or x?
0
Suppose -5021 = 29*o - 5717. Let l = 719 - 1389/2. Which is greater: o or l?
l
Let g = -1061/160 - -61/10. Which is bigger: -1 or g?
g
Let k(b) = 5*b**2 - 12*b + 15. Let c be k(2). Suppose c*r - 296 = 353. Which is smaller: r or 58?
58
Let g = 190 + -185. Suppose 4*f = -g*s + 16, 0 = -0*f + 3*f + s - 12. Which is smaller: 3 or f?
3
Suppose -f = -0*f + 5*w - 525, -2084 = -4*f - 4*w. Suppose -23*z + f = 3*z. Is 61/3 at most as big as z?
False
Let v = -2 + 4. Suppose -2*u - p = 45, -2*u + 7*u = -v*p - 115. Let i = 52 + u. Is i < 27?
False
Let m = -18662 - -18958. Are m and 1783/6 unequal?
True
Let z(y) = -y**3 - 2*y**2 - 18*y - 61. Let u be z(-4). Which is bigger: 78 or u?
78
Let s = -63/1273 - -119085/2251937. Is s != 1?
True
Let z(k) = 2*k**3 + 9*k**2 - 17*k - 3. Let a be z(-5). Let b = 25 - a. Is -34 > b?
False
Let x(q) = 7*q - 118. Let y be x(16). Let k be ((-2)/(-426))/(6/(-108)*y). Which is greater: 0 or k?
k
Let m = 3/238 + 4983/1190. Suppose 2*r - 2 = -3*s + 4*s, 0 = -3*s + r + 9. Is m greater than s?
True
Let h be (-38)/8 + (-96)/(-128). Let t = -55 + 45. Which is bigger: t or h?
h
Suppose 0 = 4*i - s + 482, 0 - 8 = -4*s. Let d be 3/(-15) + (-1449)/i + -1. Is d > 11?
False
Let q = -51.58 - -52. Suppose -68*d = 58*d + 61*d + 95*d + 282. Are q and d equal?
False
Let d be 5 - (12278/(-39) + (-8)/(-52)). Let t = d - 317. Is 3 greater than t?
True
Let h(k) = k**2 - 77*k + 1189. Let j be h(40). Is -292 equal to j?
False
Let m(x) = -2*x**2 + 4*x - 1. Let b(p) = -p**2 + p - 1. Let o(y) = -3*b(y) + m(y). Let n be o(-1). Suppose -5*r = n*r. Is r less than 3/20?
True
Let i = -14865.51 - -29487.2. Let f = i + -14561. Let x = f - 61. Is x at least as big as -2/7?
False
Let d = -6789 + 6818.01. Let o = -28.8 + d. Is o smaller than 1?
True
Let b(y) = -17*y + 3202. Let j be b(37). Do 2576 and j have the same value?
False
Suppose -38 = -4*y - c, -3*c - 2*c - 17 = -3*y. Let t = y - -2. Suppose -5*b + 19 = 3*a, 3*b + 3*a - t = a. Is 14 != b?
True
Let x be (10468/(-56) + (-3)/(-7))*-10. Let u = x - 3641/2. Is 46 equal to u?
False
Let z be (11 - 4)*-2*(-9)/378. Which is smaller: z or -1885?
-1885
Suppose 5 = 2*m - f, 5*m - 5*f + 0*f - 20 = 0. Let a be (-3)/17*(-3 - 290/(-100)). Is m at least as big as a?
True
Let n = -58 + 57.984. Let h = -0.484 + n. Is -0.1 less than or equal to h?
False
Let v be ((-1302)/(-1304) + -1)/((-493)/174998). Let n = -33/58 + v. Is 0 equal to n?
False
Suppose 13*o = 8*o - 135. Let x(u) = -4*u - 101. Let m be x(o). Let f = -10 + 15. Which is smaller: f or m?
f
Let m be ((-73)/73)/((-1)/(-2)*2). Does m = 6/2393?
False
Suppose d - 10 = -5*s, -4*s + 41 = 5*d + 12. Let y = 81617/77 + -1060. Do y and s have the same value?
False
Let k be 438/(-2)*((-24)/(-8))/(-1). Let u = -364 + k. Is u bigger than 293?
False
Let k = -2 + -0.6. Let v = -10.24 + 5.24. Let n = v - k. Which is smaller: 1/4 or n?
n
Let f(v) = 4*v + 13. Let s(w) = -4*w + 18. Let o be s(4). Let p(l) = l + 1. Let m(c) = o*f(c) - 2*p(c). Let n be m(-4). Which is bigger: 2/7 or n?
2/7
Let l = 0.233 + -0.29. Let u = 7.057 + l. Let x be (-1 - (-1 + 0))/1. Which is bigger: u or x?
u
Let v be (-28)/21*(-7)/((-70)/75). Let w be 792/220 - 4/v. Let b(o) = o + 1. Let c be b(3). Is w < c?
False
Let y = -4345 + 2104. Let a = 15660/7 + y. Are -4 and a nonequal?
True
Let u = -29783547/92722 - -4497/14. Is u not equal to 0?
True
Let h(r) = 7*r - 1576. Let k be h(-22). Which is smaller: k or -1728?
k
Let i = -2131821 + 44750429/21. Let b(d) = -105*d**3 - 2*d**2 - d + 2. Let v be b(2). Let h = i - v. Which is greater: h or 1/3?
1/3
Let i(a) = 3*a + 34. Let y be i(-14). Let b be (-1)/(20/y)*20. Is b equal to 1?
False
Let q(h) = -h**3 + h**2 + 6*h. Let p be q(-3). Suppose -2*b - g + 15 = -0*g, -2*g + p = 2*b. Suppose 11*l - 115 = b*l. Are l and -1/4 nonequal?
True
Suppose -2*n + 8 = 0, 2*p + 7*n - 4*n = 390. Let q = p + -186. Suppose 5*s - 2 = 2*m + 8, 0 = -3*s - 5*m - 25. Which is greater: q or s?
q
Let w be -32 + 39 + -3 + 1 + -1. Suppose -200 = 2*y - 2*o, -2*o = -w*y - o - 394. Let c = y + 74. Is c smaller than -24?
False
Let h be (1 - 2)*(4 - 5 - 65). Let y = h + -69. Let b be -12*(-4)/36*y/(-14). Which is smaller: b or -3.2?
-3.2
Let g = 1.9182 + -1.9543. Is -1 > g?
False
Let w = 164599/25 + -6583. Let d = 218/175 - w. Do d and -82/15 have the same value?
False
Let i be 44/8 - ((-14)/4 + 3). Let d(b) = -b**2 + 2*b + 20. Let l be d(i). Let y be -44*((-6)/l - 2). Is 21 smaller than y?
True
Let f be 1 + 5 - (-5 + -74 + 0/5). Suppose a + 86 = 2*a. Which is smaller: f or a?
f
Let f(n) = -n**2 - 18*n - 19. Let u be f(-25). Which is smaller: 5 or u?
u
Let b = -1.94 + -0.06. Let o = 46 + -31. Suppose a - o = -20. Does b = a?
False
Let q = -6.3 - -5.938. Let n = 10.638 - q. Do n and -14 have different values?
True
Let f(v) = 7*v**2 - 147*v - 22. Let q be f(7). Is q greater than or equal to -2123/3?
False
Let h be (4 - (-66)/18)/(5/(-15)). Let i = 44 + h. Is i equal to 22?
False
Let m(x) = -10*x - x**2 - 11*x - 9*x - 278*x**3 + 279*x**3 - 16. Let a be m(6). Which is smaller: a or -19?
-19
Let q = 0.2763 - -0.7237. Which is smaller: q or -6.134?
-6.134
Let v be ((-30303)/54)/(-37) + 2/(-12). Suppose -31*g - v*g = 0. Which is smaller: g or -5/39?
-5/39
Let w be 66/(-363) - (1281/11)/3. Is 6 less than w?
False
Let x = 2.2 - 18.9. Let i = 18.7 + x. Is -24 at least as big as i?
False
Let y = -355 - -350. Let s be (y + (-189)/(-35))*-40. Suppose 35 = -3*k - 7. Is s <= k?
True
Let n(r) = -19*r + 1. Let y be n(0). Let w(l) = -2*l. Let t be w(y). Is t equal to -2/5?
False
Let k be (-2 + (-75708)/21)/4. Let x = -896 - k. Which is greater: x or 5?
x
Let q = 3.96 - -0.04. Let x = 757.8 - 803. Let k = x - -44.9. Which is greater: k or q?
q
Let w be -50*(-3 + 3 + 1). Let f be (5728/(-240) - -24)/(1/(-378)). Is f not equal to w?
True
Let d = 1028 - 1502. Let o be ((-4748)/d)/2 - (0 - -5). Which is bigger: o or 0?
o
Let q = -19 + 12. Let c be 3705/(-684) - 2/6. Which is smaller: q or c?
q
Let s be (200/16)/(5/4). Let d be (6/s)/(188/(-20)). Suppose -2*h - x = 3 + 4, 3 = 2*h - x. Which is smaller: d or h?
h
Suppose 126 + 69 = 3*a. Suppose 0 = -5*y + 4*q - a, -2*y = q + 29 + 10. Let j = y + -10. Is j >= -27?
True
Let a be (-72)/162*(-1791)/6. Let c = -132 + a. Suppose m - 8 = -3*m. Are m and c unequal?
True
Let g(h) = 9*h**2 - 8*h - 31. Let n be g(-5). Suppose -85*d + n = -76*d. Is 31 greater than d?
True
Let l = -195.8 + 209. Let f = l - 10.2. Are f and -55 equal?
False
Suppose 13429 + 58255 = 63*z - 76870. Is z smaller than 2356?
False
Suppose -5*q + 2673 = -2*a, -q = 6*a 