et q = -1.8 - h. Which is bigger: -1/4 or q?
q
Let q = 0.37 + -0.379. Let n = q - -5.609. Let h = 5.6 - n. Is -20 at most h?
True
Suppose 39*q + 4*v - 8 = 43*q, 2*q - 4*v = -6. Is q less than 2/11247?
True
Suppose 5*r - 2078 = -686 + 488. Is 376 not equal to r?
False
Suppose -57 = -20*i + 39*i. Let y = 6/505 + -22298/6565. Is y at least i?
False
Suppose 0 = 5*l + 3*l - 72. Suppose 4*d - l*d + 15 = 0. Suppose 5*m + 18 = d. Is -2 at most as big as m?
False
Let z(i) = i**2 + 18*i + 20. Suppose -85 = 6*g - g. Let n be z(g). Suppose n*a - 15 = 2*a. Is a less than or equal to 15?
True
Let t(r) = 4*r**3 - 16*r**2 - 4*r + 15. Let m be t(4). Is -20/571 at most as big as m?
False
Let h = -262 - -239. Let r be -7 + 1 + (-18 - h). Which is greater: r or 1?
1
Let r = 85.37 - 0.37. Let u = -104 + r. Are u and 1 nonequal?
True
Let q(f) = -9*f**2 + 38*f - 6. Let h be q(4). Let j be 20*h*1/(-8). Which is bigger: j or -3?
-3
Suppose 63 - 18 = 4*q + 5*r, -r = q - 10. Suppose 173 = -3*u + 4*h, -q*h - 216 + 7 = 3*u. Is u at least as big as -62?
False
Let u be 4 - 9 - (0/(-4) + -3). Let y be 2 - (-3436)/(-1914) - u/(-11). Is y less than 1?
True
Let b be 6/4 + (-4520)/(-16). Let f = -387 + b. Which is greater: f or -102?
-102
Let n be ((-524)/786)/(4/(-6)). Which is bigger: -1/3616 or n?
n
Let y = -2113 + 2793. Which is greater: 683 or y?
683
Let q = 3 - 3.1. Let m = 219 - 255. Let b be 31/(-99) - (0 + 8/m). Is b smaller than q?
False
Let a(o) = o - 2. Let i(n) = 10*n - 14. Let m be i(2). Let j be a(m). Let x(q) = q**3 - 7*q**2 + 12*q - 2. Let c be x(j). Which is greater: 4 or c?
4
Let k be 35/14*(-2 - (-80)/25). Suppose -n - 2*n - 354 = k*t, -437 = 4*t - 3*n. Which is greater: -115 or t?
t
Let l be (3 - -69)/6 - 13. Is l < -17/456?
True
Let x be (-2 + 5 + -1)/(4/356). Suppose -3*p = 2*y + 341 + 42, -y + 3*p = x. Which is smaller: -189 or y?
-189
Let j = 368469/50 + -7369. Which is smaller: 1 or j?
j
Let n(p) = p**3 + 6*p**2 - 8*p - 48. Let a be n(-6). Let w be ((-224)/(-20))/(-2 + a). Which is smaller: w or -5?
w
Suppose -4*c = 4*n + 4, -c - 3*n = 4*c - 3. Suppose -2*p + c*g = 12, 7*p - 2*g = 4*p - 8. Is -5/64 > p?
False
Let r be 7 - 5 - 1 - -274. Let y = r - 276. Suppose -4*c = 4*f - 84, -c + 2*c + 4*f = 21. Is c >= y?
True
Let j = -40282 - -40315. Suppose 0 = 2*i - 5*i - 15. Let c be (-2 - i)/((-3)/(-32)). Are c and j nonequal?
True
Let w(h) = 180*h**3 + 3*h**2 + 4*h + 1. Let l be w(-1). Let c = 3429/19 + l. Which is bigger: -1 or c?
c
Let m be (15/9 + -3 - -2)*-1119. Is -746 at most as big as m?
True
Suppose g - 31*k + 32*k = -267, 2*g = k - 519. Let d = g + 270. Is -15 > d?
False
Let g = 129 + -127. Suppose 0 = -3*z + 3*y - 6, 5*z + 12 + 5 = -g*y. Which is greater: z or -38?
z
Let s be (-1 - (-78640)/78652)/(20/18535538). Let i = 5/5618 - s. Let t = 141 - i. Which is bigger: 33 or t?
33
Suppose 0 = 10*m - 13*m + 5*b - 326, 5*b + 376 = -3*m. Which is smaller: -100 or m?
m
Suppose 9*l = 17*l + 184. Let w be l/(-14) - 42/28. Is w > -16/7?
True
Suppose -5*m = 30, -4*k + 2*m = -3887 - 721. Is 1143 equal to k?
False
Let o be (2/(-6))/(13/(-21996)*-12). Let z(j) = j**3 + 10*j**2 + 2*j - 13. Let u be z(-9). Let v = o + u. Which is bigger: 1 or v?
v
Let p(q) = 3*q**3 + q**2 - 10*q + 75. Let l(k) = -5*k**3 - k**2 + 19*k - 150. Let y(h) = -4*l(h) - 7*p(h). Let a be y(0). Which is bigger: a or 72?
a
Let v = -151 + 8021. Let l = v + -1093942/139. Which is smaller: l or 1?
l
Suppose -6*y = -2*y + 1104. Let b = -3213 + 2938. Is b at least as big as y?
True
Let v = -89 + 186. Is v > 97?
False
Let g(p) = -p**3 - 4*p**2 + 3*p - 7. Let m(y) = -y - 10. Let h be m(-5). Let n be g(h). Is n greater than or equal to 4?
False
Let d be 2*-5 - (53 + 9790). Do -9853 and d have the same value?
True
Suppose -5*r - t + 279 = t, -3*t = 9. Let i = r - 54. Let d be ((-12)/i - -5) + 10/(-2). Which is bigger: 2 or d?
2
Let q = 20 + -17.4. Let j = q + -2. Let t = -2.575 - -2.775. Which is greater: j or t?
j
Let o(q) = -4*q - 1. Let s be o(-1). Suppose -618 = -4*y - 3*n, s*y - 614 = -y - 5*n. Let z be 33/y + 2/8. Is 0 at least as big as z?
False
Let k = -1735/34 - -51. Let s(u) = -u**3 + 3*u. Let g be s(0). Is k at most g?
True
Let q(m) = m + 1 - 8*m + 14*m - 8*m. Let w(h) = -2*h + 12. Let v(s) = q(s) - w(s). Let u be v(11). Which is smaller: u or 1/106?
u
Let x = 24544 + -24545. Which is bigger: x or 10287?
10287
Let a(k) = k**2 + 54*k + 415. Let b be a(-33). Which is bigger: -281 or b?
b
Let d be 2*(26/4 + (-66)/11). Let x = -7897/5 - -896093/570. Let f = 22/3 + x. Are d and f non-equal?
True
Let g(x) = 2*x + 30. Let s be g(-15). Which is bigger: 2/307 or s?
2/307
Let f = -13389 - -7779011/581. Which is greater: -10 or f?
f
Let m(g) = g**2 - 2*g. Let z be m(2). Suppose z = -10*q + 13*q. Let y be 9/36 - ((-64)/(-20) - 3). Are y and q nonequal?
True
Let w = 831 - -54. Let q = w - 876.98. Let o = -0.02 + q. Is o greater than 1/2?
True
Let l(o) = -o**3 - 4*o**2 - 5*o - 2. Let p be -4 - ((-4)/(-20) - (-22)/(-10)). Let u be l(p). Which is bigger: -2/117 or u?
u
Let o be (-3)/(-2)*(-1 + -1)*97. Let w = o - -293. Is w at most 54?
True
Let r = -18742/5 + 3748. Which is smaller: r or 1655?
r
Let i = -0.37 - -0.4. Let u = i - 0.13. Let t = 0.0029 - -0.6271. Do t and u have different values?
True
Suppose -2*g = 2*q - 78, -3*q + 49 + 60 = -g. Suppose -q*p = -38*p + 245. Is p > 245?
False
Let a(f) = -f**3 - 22*f**2 + 23*f + 4. Let o be a(-23). Let k be (-33)/(-6) - o/(-8). Suppose -k*d - 67 = 155. Are -36 and d unequal?
True
Let w be 1/(14250/341982) + -24. Which is smaller: 0.1 or w?
w
Let y(m) = -4*m**2 + 25*m - 2. Let n = -309 + 318. Let g be y(n). Is g less than or equal to 0.2?
True
Let z be (-123)/(-15) - 8 - (-3495)/25. Which is smaller: 143 or z?
z
Let g = 507 - 341. Let d = -12066 + 12233. Is g less than or equal to d?
True
Let c be (-6)/11 + (-954304)/(-1741168). Let v = 2 - 3. Is v greater than c?
False
Let f(m) = -m**2 + 20*m + 1. Let w be f(20). Let n be (-2)/w + ((-212)/100 - -4). Let s(l) = -l**2 + 2*l + 3. Let j be s(3). Is j at most n?
False
Suppose 125 = -17*g + 12*g. Let x = 39 + g. Suppose -5*s + s + 64 = 4*f, 5*s - 77 = -4*f. Which is smaller: x or s?
s
Let l = -19170 + 19165. Is -86 at least l?
False
Suppose 0 = -5*i - 166 + 181. Let c be ((-4)/i - -1)*-12 + -3. Which is smaller: 6.3 or c?
c
Let n = 415 + -435. Let u(q) = -2*q**3 - 3*q**2 + 2*q + 4. Let h be u(2). Is n less than h?
False
Let k be (24 + -13)/(-11)*-7073. Is k > 14145/2?
True
Let k be (15/2)/((-2439)/54 + 45). Is k equal to -594/13?
False
Suppose 2*c - 2*b = -94, 77*b - 589 = 3*c + 42*b. Let z(x) = 6*x - 1. Let w be z(1). Suppose -32 = -w*q - 202. Is q != c?
True
Let p be -5*2 - 961002/(-96327). Are p and 1 equal?
False
Let u = 108659 + -721169785/6637. Is u at most -1?
False
Let k = 189031/44 + -4296. Which is smaller: k or -1?
-1
Let u be (-45)/(-19020)*(-30412)/(-12) - 6. Is u <= 0?
True
Let x be (588/(-6370))/((-12)/80). Is x bigger than 52?
False
Let z(g) = -g**2 - 13*g - 14. Let c be z(-11). Let t be -3 - 4*((-149)/4 - 3). Let i be 10/(-55) + t/22. Is i equal to c?
False
Suppose -2336*b + 23 = -4709*b + 2350*b. Is 3/4775 <= b?
False
Let u = -0.52 + 0.487. Let h = 4.067 - u. Let a = 5.1 - h. Are a and -1 equal?
False
Let y be (-12)/(-2) - 200014/33659. Which is greater: -1 or y?
y
Let j(h) = -4*h**2 - 27*h - 10. Let i be j(-5). Let t be (-1 + 2)*(i + -26). Is 2/233 greater than or equal to t?
True
Let w be -3*(-2)/4 - 9438/6396. Is w bigger than 0?
True
Let z = -2641 - -2629. Let y be (-2 + 5)*(-4)/3. Let j be (-6)/z + -1 - 2/y. Which is bigger: j or 2/33?
2/33
Let j = 1499 - 127417/85. Let n = -8549 - -8548. Which is smaller: n or j?
n
Let h be -5 - (-1069)/(-4) - (27/(-3) - -3). Which is smaller: h or -265?
h
Let q = -112 - -112. Let l = -20 + 29. Suppose -l + 15 = -6*o. Which is smaller: o or q?
o
Let m = -0.11523 + -2.05077. Which is bigger: m or -1/3?
-1/3
Let c = 43 + -41. Suppose -c*k + 30 = 4. Which is smaller: 0.2 or k?
0.2
Suppose -20 = 6*q - 14. Let h be (q*9)/(-9 + 2 + 6). Which is bigger: h or 168/17?
168/17
Let k(x) = -26*x - 296. Let j be k(-12). Let y be 0/(j/40 + (-9)/(-15)). Is y greater than -2/381?
True
Let x = -22.2 + 3.2. Let o = x + 18. Let i = -9113/4 + 2279. Is i at most as big as o?
False