 9*w - 76. Which is bigger: w or 0.289?
w
Let w(b) = -7 + 4 + 6*b**2 - 7*b + 8*b**3 - 9*b**3. Let o be w(7). Is -203/2 at most as big as o?
True
Suppose -15*d + 2796 - 27601 = 40*d. Is -2248/5 less than d?
False
Suppose 1577 - 83 = -2*u + 2*p, 4*u + 2*p = -2964. Let l = 5225/7 + u. Is 3 at least as big as l?
False
Let k be 7235/(-12075) - (-3)/5. Let r = -65161/53130 - k. Is r > -1?
False
Suppose -9*w = 9*w - 2214. Let f = w + -123. Which is smaller: -3/110 or f?
-3/110
Let c = 899/12 - 13367/156. Is -12 smaller than c?
True
Let j(p) = 65*p + 242. Let a be j(-4). Let t be (a/(-54))/(1/(-3))*-111. Is t != 112?
True
Suppose -3*m + 30 = 3*m. Suppose 0 = -m*n + 17 - 2. Suppose u = -0*x - 2*x - 1, -3 = n*u - 4*x. Is u at least as big as 2/255?
False
Suppose -148*z = 148122 - 31202. Which is bigger: -781 or z?
-781
Let x be 2*(2 + (-5)/2). Suppose 45*k + 8 = 49*k. Let q be (k + 471/(-237))*-2. Which is smaller: x or q?
x
Let t = -151.49 + 153.89. Let d = 8.3 - 8. Is d less than t?
True
Suppose -m + 70 = 2*j, -5*m - 174 = 5*j - 354. Which is bigger: j or 605/18?
j
Let y(h) be the third derivative of h**4/12 - 7*h**3/2 + 68*h**2. Let q be y(11). Is 2/1105 less than q?
True
Let l = 76596/1085 - 353/5. Let g(r) = -r**3 + 8*r**2 - 7*r. Let w be g(7). Which is bigger: l or w?
w
Let j(c) = -20*c**2 - 77*c + 649. Let g be j(7). Do -1/2 and g have the same value?
False
Let a = 17651 + -17227. Which is smaller: 432 or a?
a
Let p be (-83955483)/8194 - 1/34. Which is smaller: -10245 or p?
p
Suppose 3 = 4*l + 5*x, -5*l = -l + 4*x - 4. Suppose -5*k = -l*a - 37, -14 = k - 5*a - 3. Which is bigger: 43/5 or k?
k
Let o = 912 - 163. Which is smaller: o or 745?
745
Let t = -39 - -25. Let z = 14 + t. Let q be 44/(-33) - (-32)/30. Is q less than z?
True
Suppose -2*c = -5*h - 26, 2*c + 4*h - 6 = -h. Suppose -s = 3, k - 2*s + 1 = c. Let i be (-6)/10 - (-142)/170. Is k <= i?
False
Suppose 681 = 3*o - 4*d, -4*d + 613 + 458 = 5*o. Is 195 greater than o?
False
Let q be ((-3)/(-29))/(-3 + 2). Let k(f) be the second derivative of -f**5/20 + 5*f**3/6 - f**2/2 + 9*f - 1. Let a be k(2). Which is smaller: q or a?
q
Let c = 1219 - 3659/3. Which is smaller: 3309 or c?
c
Let s(v) = -v**3 + 5*v**2 + 6*v - 1. Let j be s(6). Let w be 0*-5*(-1)/(-10). Which is smaller: j or w?
j
Let t be (2 - 1) + 12/6 + -50. Let a = t - -51. Let z be (-5 - 1)*a/32. Which is smaller: 1 or z?
z
Let v = 0.2 - 1.2. Let r = 0.94 + v. Let a = -767 - -8435/11. Which is smaller: r or a?
a
Let j(g) = -g**3 + 6*g**2 + 13*g + 13. Let z be j(-3). Let w be (10/z - 65/55) + 0. Is w not equal to 0.01?
True
Suppose 0 = 2*d + 5 - 599. Let a be ((-1779)/d + 6)*3. Let z(x) = x**2 + 3*x + 3. Let q be z(-2). Are a and q nonequal?
True
Let w(x) = 4*x - 1 - 2*x - 9 + 0. Let r be w(6). Let g be (5 + 172/(-32))/((-3)/r). Are 14 and g unequal?
True
Let a(d) = d**3 + 9*d**2 + 7*d - 9. Let m be a(-8). Let v be -2414*((-2)/(-14))/((-4)/(-10)). Let h = v + 860. Is m at least h?
True
Suppose -2 = -7*i + 5*i, 2*c - 5*i = 39. Let s(v) = v**2 - 27*v + 140. Let d be s(c). Which is smaller: 0 or d?
0
Let x be (200/120)/((1/(-591))/1). Which is smaller: x or 0?
x
Let f be ((-3)/332)/(11 - 513/76). Which is greater: f or -1?
f
Let n be 1/(-3) - (-63)/(-3). Let j = n + 22. Let u = -380 - -381. Do u and j have the same value?
False
Let d = -0.051 - -0.118. Let h = -0.033 - d. Let k be 101/70 + ((-900)/(-24))/(-25). Is h at most k?
True
Let g = -1567/114 + 258/19. Do g and -25 have the same value?
False
Let s = -0.0494 + 2.9494. Let f = 2.066 - 0.396. Let o = f + 0.33. Which is bigger: o or s?
s
Let y = -12574 - -12573. Are y and -759 equal?
False
Suppose -93*p + 111*p - 18 = 0. Which is bigger: p or -1/1504?
p
Let y(i) = -6*i**2 + i. Let c be y(2). Let o = c - 0. Let b be -2 - -4 - 1 - 24. Do o and b have different values?
True
Let q = 4043 - 4062. Is q smaller than 33?
True
Let s = 151 - 149.74. Let u = 16.877 + -17. Let n = u + 0.123. Which is greater: s or n?
s
Let g(v) = v**3 - 19*v**2 - 20*v + 189. Let m be g(22). Do m and 1200 have the same value?
False
Let r = 64 - 14. Let t = r + -28. Suppose 3*a - 1 = -t. Which is smaller: -10 or a?
-10
Suppose 4*a = 58*h - 60*h - 12, 2*a - 106 = 6*h. Is -320/19 less than h?
True
Let g = -140.7 + 140.6. Is 7190 <= g?
False
Let s be (-30)/14 + 2 - (-26)/(19110/595). Are s and 4/147 equal?
False
Let c = -2.082 - -3.099. Let a = c + -0.017. Let r = -5 + 10. Which is greater: a or r?
r
Let g(n) = n**3 + 37*n**2 - 43*n + 1365. Let z be g(-39). Which is greater: z or -2/37709?
z
Let u = -2.6 + 3. Let g = -172 - -291. Let r = 120 - g. Do u and r have the same value?
False
Suppose -2*g + 507 = g + 3*h, 4*g - 646 = 2*h. Let v be (955/10)/(3 - (-29)/(-12)). Let s = v - g. Which is smaller: -1 or s?
-1
Let s = 122188 + -122188. Let l be (2/(-3))/((-2571)/9). Which is bigger: l or s?
l
Suppose 9*w - 99 = -0*w. Suppose -w*c + 12*c = 7. Suppose 0 = 11*o - 4*o - c. Which is bigger: o or 49?
49
Let d(a) = -1282*a**3 - 4*a + 5. Let x be d(1). Is -1283 less than or equal to x?
True
Let p = -576541/18 + 32037. Is p smaller than -2/13?
False
Let y = -5441 + 27313/5. Is y not equal to 22?
True
Let i = -5/47 - -102/517. Let y be (-3405)/680 + (-3)/(-24) + 5. Which is smaller: y or i?
i
Let z be (-9301)/9305*4/8 - 87/(-174). Which is smaller: z or 1?
z
Suppose -3*y + p - 13 = 5, -25 = 4*y - p. Let w(n) = -12 + n + 16 + 0*n. Let o be w(y). Is -2 greater than or equal to o?
True
Suppose 2*p + 4*n - 5 = n, -3*n = -15. Suppose -s - 2 - 1 = -4*b, 6 = 3*b + 3*s. Let v be -4*b/(-8) - (-5)/(-2). Which is greater: v or p?
v
Let s(n) = -6*n**2 + n - 3. Let k be s(-2). Let y(g) = -9*g**2 + 3*g + 4. Let f be y(2). Is k less than f?
True
Let v = 1499/12 - 125. Suppose 0 = 5*p - g + 2*g - 18, 4*p = 2*g + 6. Suppose i - 4*b = -4, -2*b + 4 = -p*i + 2*b. Which is smaller: i or v?
v
Let r be -18 - (3 - (-2 + 3)). Let y be (4 + r/4)*3. Let b be (-1 - 4)/(-55)*(y + 2). Which is greater: -1 or b?
b
Suppose -x - 4*x = 20. Let c be (10/x + 3)/(4/16). Suppose -f = 2*f + 2*g - 56, 2*g + 34 = c*f. Which is bigger: f or 17?
f
Let q = -226.51 + -15.89. Which is greater: q or 0?
0
Suppose 28*v - 1960 = -7*v. Suppose 768 = 4*p - 5*y, -5*p + 5*y + v + 904 = 0. Is p >= 192?
True
Let s = 8 + -3. Suppose -s*u + 33 = -r, 2*u - 209 - 71 = 5*r. Let g = -97 - r. Which is smaller: g or -38?
g
Suppose -5*n - 4*p + 32 = 0, -4*n - p - 8 = -2*p. Is 4/9087 not equal to n?
True
Let z be (-8)/36 + 112/180. Let p = -4.31 - -4.12. Which is bigger: z or p?
z
Suppose 15*c + 144 = -1086. Is -81 less than or equal to c?
False
Suppose -43*y = 138931 - 138888. Let f be (-1404)/701 + (-2 - -4). Is y greater than or equal to f?
False
Let v be 11/(73304/99976) - 15. Suppose 4 - 3 = z. Is z >= v?
True
Let w = -223 + 170. Let q = -167 - w. Is q at most -113?
True
Let f = 2/23097 + -1732379/1201044. Which is smaller: f or -1?
f
Let w be ((-6)/(-20))/(6/(-3836)). Is -193 less than or equal to w?
True
Let b = 76.9 - 158.2. Let z = 74.1 + b. Is z at least as big as 0.1?
False
Suppose -119*o - 16569 = -5502. Is o <= -93?
True
Let l be ((-6)/4)/(63/(-5124)). Suppose 0 = 117*u - l*u + 5. Let q = -57/584 + -2/73. Is q bigger than u?
False
Let o = 226.7 + -226.3. Which is smaller: 76 or o?
o
Let z = 0.0283 + -345.0283. Let s = z + 348. Which is smaller: -7 or s?
-7
Let s be ((-6)/18)/(-6*1/(-207))*-194. Which is smaller: s or 2227?
2227
Let z be (2/4 - 16805387/9062) + 4. Let b = z + 1850. Is b <= 0.1?
True
Let p = 15819 + -15772. Is p > 4?
True
Let f be (0 + 1710 + 4)/((-6129)/(-4)). Let g = f + 116/227. Let k = g + -1838/1161. Which is smaller: k or -1?
-1
Let j(f) = -2*f**3 - 72*f**2 - 105*f + 105. Let g be j(-28). Do g and -9499 have the same value?
True
Let i = -2734 + 2730. Suppose z = -0*z + 7. Suppose -2*w = -z*w. Are i and w equal?
False
Let n = 24047 - 24047. Let j = 23 + -22.74. Which is bigger: j or n?
j
Let b = 6459 - 6437. Which is smaller: b or 24?
b
Let p be (-291248)/(-36404) - (-40)/25*-5. Is -1 <= p?
True
Suppose -98 + 38 = 2*l - 4*x, -x - 18 = l. Are -1/20 and l non-equal?
True
Suppose -66*f - 16115 = -11*f. Is -293 at most f?
True
Suppose -5*d + 4*m - 32 = 2*m, -5*m - 20 = 0. Let g be (46 - 75)*((-2)/d)/1. Do -6 and g have different values?
True
Suppose 6 = 2*g, 28*