1). Suppose p - m*n + 2*n = -6, 5*n - 11 = p. Let a(c) = c**2 - 17*c + 42. Let o be a(p). Is 5/7 at least o?
True
Let j(w) = 2*w**2 - 65*w + 29. Let g be j(31). Is g equal to -45?
False
Let z = -5310 - -5578. Which is greater: z or 11?
z
Let u = 28.077 + -0.077. Is u != 22?
True
Let a = 17511242/2057 - 8513. Let k = a - 14426/55539. Which is greater: 0 or k?
0
Let j = -3020 + 3204. Is j smaller than 185?
True
Let b = 576 - 39. Is 537 less than b?
False
Suppose 78 - 46 = 32*r. Is -3/2770 not equal to r?
True
Suppose 0 = -m + 2*h + 2, -m + 14*h - 13*h = -2. Suppose 1 = -j, -m*v + 5 = 3*j + 20. Is v smaller than -53/10?
True
Let q = 159.88 + -159. Let x = -851/3 - -283. Which is smaller: x or q?
x
Let m be (-12)/21*(-2)/(-84). Let p(o) = o**3 + 3*o**2 - 3*o - 6. Let k be p(-3). Suppose 8 = 4*q, 5*q - 5 = k*a + 4*q. Which is smaller: m or a?
a
Suppose -6 + 16 = 2*g. Suppose 3*h = -g*l + 71, -h + 2 - 5 = 0. Suppose -q + l = 18. Is -2 at least as big as q?
True
Let s = -30690 + 31374. Which is bigger: s or 680?
s
Let u = 562 + -372. Let r = 320 - u. Which is greater: r or -3/7?
r
Let b be -1 + 11062/(-44) - 17/187. Let v = -240 - b. Is v at least 1?
True
Let c = -35 - -148. Suppose -6*x + 7 + c = 0. Let a be 15 - (1 - (0 + 6)). Is a bigger than x?
False
Let b = -3 + 49. Suppose -47605 = 16*y - 144021. Let h be (4/(-6) - -1) + y/138. Is b < h?
False
Suppose -16*s = -18*s + 18. Suppose o = -s*o - 10. Which is smaller: -20/21 or o?
o
Let p = 4793 + -4796. Do p and -182/75 have the same value?
False
Let h(a) = 5*a - 40. Let y be h(9). Suppose -2*c + y*q + 67 = 2*c, -2*q - 36 = -2*c. Let k = c - -14. Which is smaller: -1 or k?
-1
Let a(p) = 3*p**2 - 37*p + 15. Let w(y) = -6*y**2 + 75*y - 31. Let k(d) = 5*a(d) + 3*w(d). Let g be k(13). Which is bigger: g or -4?
-4
Suppose 0*q + 13 = 4*f - 3*q, -2 = -f + q. Let d be (102/595)/(68/f). Which is greater: d or 0?
d
Suppose -3*z = -2*z + 8. Suppose 21*r + 370 = 23*r. Let f = r + -186. Is z less than f?
True
Let l = 139 + 52. Let h be (-1)/(-12)*(35 - 2337). Let o = h + l. Is -2/7 greater than or equal to o?
True
Suppose 0 = -3*u - 899*j + 897*j - 15, 0 = -4*u - 5*j - 34. Which is greater: u or 1/41975?
1/41975
Let i = 73 - -161. Suppose 114 = 5*v + i. Let f be 39*((-7)/(-3) + -3). Is v at most as big as f?
False
Let k = 18249 - 18231. Do -456 and k have different values?
True
Let u(f) = -20*f + 5. Let r be u(14). Let w = 275 + r. Which is greater: 1/2 or w?
1/2
Let r(u) = u**3 - 11*u**2 + 17*u - 20. Suppose 3*i - 150 = -12*i. Let s be r(i). Suppose 2*l + 3*l = -s. Which is smaller: -3 or l?
l
Let u be 25/(-100) - 1747346/(-7304). Let t = u + -2628/11. Which is smaller: -1 or t?
-1
Suppose -4*n + 170 = -4*g - 410, 142 = -g + 4*n. Let i = -113 - g. Suppose -4*t - 83 = -3*w + 11, 6 = 3*t. Which is greater: w or i?
w
Let o = 156545 - 156546. Let x = 2234 - 370841/166. Is x at most o?
False
Suppose -20 = -v - 4*v. Let r be 47/440 + 3/(-66)*v. Let k = -23 + 22. Is k bigger than r?
False
Let j = -66/937 + 195622/10307. Suppose 0 = k + 2*k - y - 63, 3*k - 4*y - 72 = 0. Which is bigger: k or j?
k
Let u be (-1)/4*-2 + 34/(-748)*11. Which is bigger: -4/1307 or u?
u
Let u be (1184/(-200) - -6) + 93783/525. Does -1 = u?
False
Let q(k) = -k**2 - 30*k - 125. Let m be q(-23). Let j be 9/m + (-49)/(-2). Which is smaller: j or 26?
j
Let c(z) = 96*z + 1632. Let n be c(-17). Is 5/5936 bigger than n?
True
Let m = 19 - 11. Let w be 2/7 - 8534/(-952). Is m bigger than w?
False
Let s = 0.2 - -0.3. Let m be (1 - -6)/(-7) + (1 - 0). Suppose -33 + m = 4*v - 3*k, 0 = 4*v + k + 37. Which is smaller: v or s?
v
Let a = -134183538179/35985582 - 49/836874. Let i = a - -3729. Which is smaller: 1 or i?
i
Let x be (-728)/(-2912)*(1 + (517 - 0)). Which is greater: x or 1?
x
Let v be 47853/(-377) + 9 + 2/(-29). Which is greater: v or -99?
-99
Let l(k) = k**2 + 19*k + 75. Let d be l(-5). Which is bigger: 888 or d?
888
Let g = -13303 + 12960. Is -352 at least g?
False
Let g be ((-3)/(-2))/(1 - 231/234). Let t = g - 118. Which is greater: -29 or t?
t
Suppose -2*a = -144 + 128. Let w be ((-18)/(-6))/54*a. Is -0.4 greater than w?
False
Suppose 10*x + 20 = 15*x. Suppose -2*o = x*o - 1008. Let l be 192/o + (-2)/1*-1. Is l smaller than 2?
False
Let t(q) = -6*q - 18. Let l be t(-1). Let v be (-316)/6*l/(-8). Is v at least as big as -78?
False
Let y be (-36)/(-6)*-1 - -5. Let b = 16238/979815 + -2/3935. Do b and y have different values?
True
Suppose -3*g + 62 + 301 = 0. Let f = g - 124. Let c be (-11)/3 + (0 - -1). Is c at least as big as f?
True
Let u be 4/6*(-54)/48*(-60)/60. Which is greater: u or 106.4?
106.4
Let u(t) = 43*t + 689. Let k be u(-16). Is k > 6/3115?
True
Let n(i) = -i**2 - 7*i - 22. Let c be n(-8). Let z be ((-21)/(-10))/(42/(-588)). Which is bigger: c or z?
z
Let f = -590/11 - -12794/209. Does 8 = f?
False
Suppose -16*d + 16*d + 62854 = -22*d. Does -2857 = d?
True
Let r(k) = 56*k**2 + 25*k + 26. Let i be r(-1). Let d = -58 + i. Is d at least 2/19?
False
Let s(l) = 6*l - 142. Let j be s(24). Suppose -4*z = j*o + 22, -o - 11*z + 1 = -12*z. Suppose 3*c = m + 16, -m + 4*c - 34 = -13. Is o less than m?
True
Let b = 151 + -1659/11. Let f(k) = 7*k**2 - 30*k**2 + 44*k - 6*k**3 + 7*k**3 - 31 - 12. Let u be f(21). Which is greater: b or u?
b
Let s be (-29 - (-23892)/825) + 18/(-50). Does s = 5/348?
False
Let s = -1286.2 + 1392.2. Which is smaller: -3/10 or s?
-3/10
Let s = 2773.3 - 2652. Let v = -111 + s. Let x = -10 + v. Is x less than or equal to 5?
True
Suppose 0 = -5*s - 363 + 353, -2*r - 7*s = -190. Is 97 >= r?
False
Let b = 0.0938 + 0.0062. Which is bigger: -2189 or b?
b
Let y(q) = q**3 - 16*q**2 + 10*q + 12. Let t be y(15). Let z be 1/3 - (-22)/t. Is -1 greater than or equal to z?
False
Let u = -87.42 - -88. Let k = -0.42 - u. Do -6/17 and k have the same value?
False
Let t(f) = -f**2 + 8*f - 14. Suppose b - x = -0*b + 5, -5*b - x + 25 = 0. Let v be t(b). Let m = -19/16 + 85/112. Is m equal to v?
False
Let x be 5 + (-6)/3 + 856/(-285). Let i = x - 205/57. Which is bigger: -5 or i?
i
Suppose -4*g - 3*o = -4038, -96*o + 93*o = -3*g + 3018. Is g greater than 1008?
False
Let m(i) = -12*i - 36. Let b be m(-6). Suppose 500 + b = 4*d. Suppose 0 = -9*w - d - 109. Is -28 less than w?
True
Let t be (-1134)/(-28) - 21 - 19. Let n be -2*(-1)/(-2)*1. Let x = n - -2. Is x at least t?
True
Let l(h) = -5*h + 8. Let v be l(-7). Suppose 290 = 12*q - 262. Is v at most q?
True
Let h(g) = 36*g + 109. Let u be h(-3). Is 1/348 at least as big as u?
False
Suppose 5*x + 12 = -3*s + 2, 0 = -5*s. Let p = 254 + -346. Let f be x/(p/3 + 2). Is 0 bigger than f?
False
Suppose -4*z - 4*x + 2 = -2, 0 = 3*x. Suppose 419 = -f + 316. Let a = f + 2370/23. Which is bigger: z or a?
z
Let x = -2/542275 - -4342082/1052555775. Is 0 smaller than x?
True
Suppose -2*j + 14*j - 11148 = 0. Which is greater: j or 928?
j
Suppose 4*k - 94 = -r, 62 + 62 = r - 2*k. Suppose -4*t + 62 = 582. Let b = r + t. Which is greater: b or -14?
-14
Let y be 58/203 + 9826/(-12390) + (-49)/(-35). Which is greater: y or 0?
y
Let c = -67 - -69. Suppose -2*f - 34 = 2*z, 3*f = -2*f - c*z - 79. Let n be (f/(-10))/((-525)/(-20)). Is -0.06 at most n?
True
Let b = 69 - 69. Suppose -2*h + 3*o + 8 = b, -5*h + 3*o + 20 = -0*o. Suppose h*z = 17 - 13. Which is smaller: 5 or z?
z
Let g be 1 + 0 + 8/(-6). Let b = 1020.226 - 0.226. Let v = b + -1033. Which is greater: v or g?
g
Let r = -1818 + 34522/19. Let n be (-198)/90 + -1 + 18/15. Which is bigger: n or r?
r
Let h = -0.775 - -0.605. Let v = h - -1.17. Let f = -6/2629 - -110520/44693. Which is smaller: f or v?
v
Let t(a) = -2*a**2 - 14*a + 10. Let d be t(-8). Let w be (-3 - d) + 5 - -4. Is 12 at most as big as w?
True
Let q be 4906/(-110) + -2*(-2)/(-10). Let s be -3 + (-2620)/q + 6/(-27). Do s and 0.1 have different values?
True
Let l = -0.15 + 0.16. Let v = 0.056 - 0.266. Let t = v + l. Are t and 13 non-equal?
True
Let c = 74.803 - 74.9. Let t = 0.937 + c. Is t less than 1?
True
Suppose -2*i = 46 + 382. Let s = i - -200. Let x(y) = -14*y + 1. Let w be x(1). Are s and w equal?
False
Let o = 281 - 258. Which is greater: o or -33?
o
Let p = -3182 - -5568. Which is bigger: p or -0.1?
p
Let b be (-6)/(-6)*(2 - 1). Let s be (-5)/925*(-164825)/10*10. Let l = 891 - s. Does