8/42). Let l = 34 + -35. Which is bigger: b or l?
b
Let n = -83.35 - -318.35. Is n bigger than 56?
True
Let o = -206 + 200. Let g = -849/172 + 8/43. Which is smaller: g or o?
o
Let f be (-4*12/(-48))/(2/2098). Are 1047 and f equal?
False
Let o be 1 + -1 + 0/(-2). Let a(s) = 3*s + 75. Let j(c) = -c - 21. Let d(h) = 5*a(h) + 18*j(h). Let i be d(o). Which is smaller: -4 or i?
-4
Let j = -6055 - -6034.7. Which is bigger: j or -0.1?
-0.1
Let u(p) = -4*p - 28. Let d be u(-7). Suppose 4*c + d*s = 3*s - 111, -c = 4*s + 42. Let q = c - -113. Which is smaller: 82 or q?
82
Suppose 141*k - 114492 = 344*k. Is -573 at most as big as k?
True
Let v = 37615.784 + -42140.87. Let l = -4529 - v. Let p = 0.086 - l. Is p greater than or equal to 4?
True
Let f(j) = -j + 23. Let h(k) = -k + 12. Let g be h(15). Let b = 16 - g. Let t be f(b). Is t equal to 4?
True
Let i(p) = 13*p - 6 - 12*p - 13*p - 2*p. Let c be i(1). Let w = -11 - c. Is w greater than 10?
False
Let q = 588 + -543.3. Let t = 0.7 - q. Let s = 3/46 + -113/322. Which is bigger: s or t?
s
Suppose 0 = -14*i - 5*i - 19. Let x = -27046/2667 + 208/21. Which is smaller: x or i?
i
Let j = 4146 - 4145. Are 1568/3 and j non-equal?
True
Let t(w) = 4*w**2 + 100*w + 1. Let f be t(-25). Let i be f/(-5)*16/(-40). Is i bigger than 1?
False
Let x be 2/4*((-9)/(-45) - (-39615)/(-825)). Which is bigger: x or -24?
x
Let y = -40 + 45. Suppose -2*g + 7 = y. Which is smaller: g or -30?
-30
Let f be 2*2*(-5 + 420/80). Which is smaller: -1/3456 or f?
-1/3456
Suppose 0 = 70*j - 78*j + 21992. Suppose 469 - j = 30*y. Are -75 and y nonequal?
True
Suppose -5*s - n + 33 = 0, 4*n = -3*s - 2*s + 42. Let r be (s/387)/((-10)/(-323805)). Let p = 502 - r. Which is smaller: p or 1?
p
Let j = -9/1432 + -58217/78760. Is j > 0?
False
Let t = 128453309/35150 + -4039/1406. Let g = t - 3651. Is g at most 1?
True
Suppose -5*f - 3*d = -92493, 0 = 4*f - 2*d - 59636 - 14376. Let y = f + -15300325/827. Is y equal to 1?
False
Suppose -19*x = -10*x + 198. Let f be 3/(-6)*x + 6. Are f and 23 nonequal?
True
Suppose 12*c - 27 = -123. Let i be c/30*(-95)/399. Which is greater: -1 or i?
i
Let n(u) = -u**3 + 6*u**2 + 5*u - 6. Suppose -5*c - 1 + 31 = 0. Let v be n(c). Suppose 58*m = -5*d + 61*m + 109, 19 = d - 2*m. Which is smaller: v or d?
d
Let u(t) be the third derivative of -t**4/8 + 49*t**3/6 - 25*t**2. Let r be u(16). Suppose -4*c + 29 = r. Is c bigger than 1?
True
Let u = -0.423 - -0.423. Which is bigger: u or 6.77?
6.77
Suppose -1 + 33 = a + g, 0 = -3*g - 6. Let k = -29 + a. Suppose x - 5*l = 26 - 3, -k*l = -3*x + 19. Is x less than or equal to -5/7?
True
Let x = -10779 + -317. Does -22189/2 = x?
False
Let c = 31.3 - -127.7. Let q = c + -188. Which is greater: -3 or q?
-3
Suppose 14 = -5*a + 29. Let y be -1*4 + a/3. Let o be (21/y)/(18/(-4)). Is o > 1?
True
Let t(l) = l - 8. Let k be t(7). Let z be 24 + (8 - 32) - 1*9/(-525). Which is greater: k or z?
z
Let v be 16*(-6)/(-20)*2925/26. Suppose 13*d + v - 436 = 0. Let c = -1/165 - 1352/165. Are d and c nonequal?
True
Let w be 2770/(-78) - (-24)/(-156). Let y = -42 - w. Are -5 and y equal?
False
Let y be ((-936)/455)/(1/(20/88)). Which is smaller: y or 1?
y
Suppose -2*f = 3*l - 18, -3*l + 21 = f + 2*f. Suppose 0 = -3*w + 2*m + 4, w + l*m = 3*w - 8. Which is smaller: w or 125?
w
Let s be 77/3 - 8/12. Let c = 41 - s. Let h = c - -11. Is 27 smaller than h?
False
Let t(v) = v**3 - 2*v**2 - 2*v + 3. Let o be t(2). Let r = 219 - 218. Let z be (-26)/78*(r + -2). Is o equal to z?
False
Let n(o) = -o**2 - 14*o - 13. Let k be n(-10). Suppose k*h - 19 = 26*h. Let s = h + -20. Are -6 and s non-equal?
True
Let f = 181 + -161. Suppose 5*s + 4*h = 3*s + f, -s + h = -25. Is s not equal to 1/6?
True
Let s be -2 + 0 + (407/185)/((-6)/(-45)). Which is smaller: 14 or s?
14
Let k = 67 - 31. Let j be (-1)/3 + k/27. Let g be 1/(210/215 - j). Do -0.1 and g have the same value?
False
Let v be ((-20)/(-15))/(483/(-207)). Let g = 3/5 + -7/20. Is v >= g?
False
Let s = 1/1519 - 2248/5722073. Is s < 1?
True
Let d be (5/(15/(-18)))/((-14)/21). Suppose -214 = -d*j - 205. Which is smaller: j or -9/109?
-9/109
Let f(d) = 3*d + 49. Let g be f(-15). Suppose i + 17 = -3*u, -g*i - 87 = u + 25. Let z = -89/3 - i. Which is smaller: z or -35?
-35
Let r = 24 + -10. Let a = 168631/2 + -505817/6. Which is smaller: r or a?
a
Let g = -7789/3 - -2636. Suppose 287 = 18*q + 216 - 631. Is g at least q?
True
Let u be 2192794/(-944) + (-1)/8. Is u at least -2323?
True
Let a be (-1)/(-3)*(9 - 12). Let b(h) = -h**2 - 126*h + 5284. Let c be b(33). Is a at least as big as c?
False
Let b(z) = -16*z + 48. Suppose 3*i + 10*a - 20 = 11*a, -2*a = i - 2. Let c be b(i). Is -48 at most as big as c?
True
Let d = 15 + 15. Suppose -5*m - d = -7*m. Let l be (m/6)/(26/4). Are -1 and l non-equal?
True
Let r(n) = 6. Let w(l) = -l - 7. Let p(a) = -6*r(a) - 5*w(a). Let z be p(-10). Let d = -229 + 177. Is d at least z?
False
Let k(j) = j**3 + 33*j**2 + 75*j + 223. Let a be k(-31). Is -180 not equal to a?
False
Let c be (-46)/(-6) + (-2)/3. Let z = -647 + 656. Let r be (2/3)/(2*(-1)/z). Is r less than or equal to c?
True
Let s = 151 + -150.444. Let b = s + -0.956. Do b and -6.5 have the same value?
False
Let f = 6020 + -18041/3. Which is greater: -163 or f?
f
Suppose -14*r + 0*r - 9*r = -7*r. Is 2/27865 at least r?
True
Let w be (1188/(-264))/((-20745)/24*2). Is 0 smaller than w?
True
Let c = 3234 + -45275/14. Is 274 > c?
True
Let s = -47 + -41. Suppose -11*d - 1177 = -220. Which is smaller: s or d?
s
Let z = -1178 + 1176. Is 935 > z?
True
Let i be (29 + 6)/((-1)/(-4)). Let l be 2*(-1)/4*(-4)/i. Let q = l + -139/4830. Is -1 bigger than q?
False
Suppose -16*x = -10*x + 4060 - 202. Is -657 at most x?
True
Suppose -69*x - 54128 = -52*x. Let v = -47827/15 - x. Is v != -3?
True
Let x = 141 - 734. Let k = x - -33799/57. Is k greater than 6?
False
Let c be (6/(-10))/((-7)/15) + -1. Let q = -219 - -219.84. Is q equal to c?
False
Let y = -5/22 - 9/22. Let o be ((-4)/5)/((-8)/60). Suppose o*q - q = 4*q. Are y and q unequal?
True
Suppose 0 = -4*v + 18 + 14. Let s be v/(-6) + (-3)/(-9)*916. Is s less than 303?
False
Suppose -5*a = 5*h - 240, -5*a + h = -108 - 120. Suppose -3*n = 0, a*y - 2*n + 17 = 47*y. Which is smaller: y or 9?
9
Let k = 27455 - 27446. Do k and -10 have different values?
True
Let u = 295520430 - 72382114440438/244931. Let w = u - -8613004771/13961067. Let n = w + -617. Which is smaller: n or 0?
n
Let c = 416.172 - -0.828. Let u = -417.1 + c. Are -380 and u nonequal?
True
Let z(n) = 171*n - 694. Let u be z(4). Let p be (-1 + 3 - -1)*-9. Let y be (2/(-2))/((-3)/p). Which is smaller: u or y?
u
Let z = 2 - 3. Let a = 718.32 + -778.32. Is a smaller than z?
True
Let m = 12282 + -12816. Is -536 equal to m?
False
Let r = 86 + -451. Let l = r + 364. Is -1/155 at least as big as l?
True
Let v = -19.7048 + -0.0352. Let i = v - -1.74. Which is greater: -8 or i?
-8
Let t = -325.622 - -325.7. Let c = 738.922 + -738. Let s = c + t. Is s not equal to 1/23?
True
Let u be 1750/(-8)*(-210)/(-49) - -6. Which is smaller: u or 2?
u
Let l be 6/1*(1 - (-32)/12). Suppose -2*i + l = -4. Is 4 bigger than i?
False
Let h be (1*(-32)/120)/((-132)/1610). Is 3 smaller than h?
True
Let z = 17299 + -17299.06903. Which is smaller: z or 1/3?
z
Suppose m - t = -301, -5*m = t + 1530 - 25. Which is smaller: -1 or m?
m
Let f be (-1418)/(-22) + 318/583. Let c = -247985/9 - -27489. Let h = c + f. Which is greater: h or 0?
h
Let j = 13583/302 + -45. Do 1 and j have the same value?
False
Suppose s = -2*u - 3577, 15*u = -8*s + 16*u - 28633. Is s bigger than -3577?
False
Let x(h) = -16*h - 65. Let v be x(-5). Suppose 2*l - 4*n - 141 = n, -2*l = -2*n - 138. Suppose 3*k + 6 = 5*u - l, -10 = -5*k. Which is smaller: v or u?
v
Let u = -22/419 + 5966/81705. Let s be (8/(-20)*-5)/2. Which is smaller: u or s?
u
Let j be (-3*277/(-6))/((-63)/378). Which is smaller: -2495/3 or j?
-2495/3
Suppose 15*w + 2431 = 2*w. Let j = -185 - w. Is j at most as big as 5/7?
False
Let z = -11867 - -11087. Which is greater: 2 or z?
2
Let b = 8806/26391 + -3/8797. Which is smaller: -19/104 or b?
-19/104
Let u be 0 - ((-1 - 0) + 14). Let x = -1259 + 1262. Let p = x + u. Is p <= -46/5?
True
Let t = 15876/11 + -13362/11. Are t and 229 non-equ