be (-744)/18*(2 - -4). Let k = u - -138. Is k at most -111?
False
Suppose -4*x + 4*k + 1860 = 0, 5*x + k - 999 = 1344. Suppose -10*g - 98 + x = 0. Which is smaller: g or 1?
1
Let j be (-126218)/(-15778) + -1 + -24 + 42 + -25. Which is smaller: j or -1?
-1
Let b(q) = -6*q**2 + 247*q + 84. Let h be b(41). Is 156 at most as big as h?
False
Let f be 3*(-3)/(126/4). Let v be 2*2 - (-5 + 0). Suppose 17*k - v = 8. Is f at least as big as k?
False
Suppose 63693 = 5*o + 88388. Which is greater: o or -4935?
-4935
Let d = 468938808/55 + -164495070083/19305. Let r = 5307 - d. Let o = r + 955/17199. Which is greater: o or 1?
1
Let r(n) = -36*n + 31. Let k be r(-3). Suppose -k = -y - 134, 0 = -5*c - y + 30. Let p = 1 - -3. Is p >= c?
False
Let w be (-6 - -15) + -2 + -8. Let l be (-7 + (-44)/(-6))/(w/(-12)). Is l greater than 96/25?
True
Let l(b) = -b**3 + b**2 + 24*b - 3. Let a(o) = -o**3 + 25*o - 4. Let d(n) = -6*a(n) + 7*l(n). Let p be d(9). Let r be (-15)/16*-4*16/p. Is 22 != r?
True
Let m = -82.508 - -56.53. Let y = 26 + m. Let s = y + -17.022. Do s and 1/3 have the same value?
False
Let r = 95 + -27. Let d be ((-175)/(-1680)*-104)/((-2)/12). Which is smaller: r or d?
d
Let u = -1055.239 - 1.661. Let s = 1101 + u. Let z = s + -43. Are -3/5 and z equal?
False
Let s = -255.9527 + -0.0473. Let h = s + 259. Which is bigger: 24 or h?
24
Suppose 27*n = -l + 32*n + 37, n + 38 = 2*l. Suppose -5*y + 170 = -2*b, l*y - 3*b - 102 = 14*y. Are 236/7 and y equal?
False
Let q(j) = 2*j**3 + 25*j**2 - 14*j - 11. Let w be q(-13). Let k be (-3)/w*208/780. Which is greater: k or 320?
320
Suppose -226 + 31 = -b. Let u be 5 + (-9 - (-1 + -198)). Is b at least u?
True
Let t = -342 + 342.143. Let l = t + -0.143. Let p be (-5)/((-50)/(-6)) + 0. Which is smaller: l or p?
p
Let h = 685 + -472. Let f = h + -212. Is f at least as big as 3/28?
True
Let n = 3845/3 + -319201/249. Which is bigger: 0 or n?
0
Let y = 31839 + -35873. Do y and -20177/5 have different values?
True
Suppose 4*y - 55 = -691. Let b = y - -92. Let j be b/3 + 4/12. Which is smaller: j or -24?
-24
Let z(y) = 8*y**2 + 449*y + 20. Let p be z(-56). Is p less than or equal to -59?
False
Let c(o) = 15*o - 145. Let k be c(10). Is 132/29 <= k?
True
Suppose -3*g - 3*f = -3, -5*f = -3*f - 2. Let r = -1249/1840 + 11/16. Do g and r have the same value?
False
Let j be (-2)/(-3) + (-40)/114. Let d be (-80)/12*(-32)/2280. Let z = j - d. Which is smaller: 5/2 or z?
z
Suppose 3*w + 41 - 50 = 0. Suppose 0*b = 3*b - 3, 3*r + 213 = -w*b. Is -74 at least as big as r?
False
Let i = -20048 + 60146/3. Is 166.3 not equal to i?
True
Suppose -5*o = -3*o - 198. Let p = -5664 - -5764. Do o and p have the same value?
False
Let k = -346.6 + 346.729. Which is bigger: k or 0.6?
0.6
Let f = 10 + 0. Suppose 5*x + 5*w - 25 = 0, -x + f = x - 4*w. Let m = -70.1 + 70. Which is smaller: x or m?
m
Let k(l) = 5*l**2 + 154*l - 431. Let o be k(-54). Which is bigger: o or 5832?
o
Let f be 1630/((-10)/100*-5). Suppose -31*y = -41*y - f. Is -325 greater than or equal to y?
True
Let q be (-96)/42 + 2 + 154017/84 - -3. Which is greater: q or 1836?
q
Let v be (-275)/(-15)*1*6/2. Suppose -3*o + 177 = 5*c, 2*c - 38 = 5*o - 302. Suppose 51*f = o*f - 168. Is v less than f?
True
Let d = 2.2603 - 1.2603. Which is smaller: d or -7838?
-7838
Let d = -305550.735 - -306300. Let p = d - 750. Which is smaller: -1 or p?
-1
Let w be (11/(-22))/(47/(-4)). Let t(h) = -h + 1. Let z be t(-4). Suppose 2*s = 0, 9*s = -5*f + 4*s - z. Which is greater: w or f?
w
Suppose 3*i + 6*i = -27. Let m = 3 - i. Suppose 11 + 1 = -m*n. Is n != 8?
True
Let a be (2 + (22 - 19))/((-10)/(-64)). Is a < 271?
True
Let p = -110 + 103. Let y = p + 6. Let w be ((-18)/28)/3 + 0. Is w > y?
True
Let y be -149*13/(26/14). Is -1041 greater than y?
True
Let v(x) = 93171*x - 69. Let t be v(14). Let s be 0 - (2/(-10) + (-244110)/t). Let i = 37/93 - s. Is i at most as big as 0?
False
Let q be 2/(-2)*147/3. Let x = -809 + 421. Let h = 387 + x. Is q > h?
False
Let l(o) = -35*o - 105. Let x(d) = d. Let z(y) = l(y) + 25*x(y). Let b be z(-9). Is b greater than -22?
True
Suppose -16*q + 3*c = -11*q + 49199, 4*q + 39372 = -4*c. Is -9841 less than or equal to q?
True
Let y = 0.66 + -0.07. Let l = 32 - 162/5. Does y = l?
False
Let o = -143.676 - -143.66. Let s = -71/99 + 7/9. Which is smaller: o or s?
o
Let l be 3 + -5 + 11 + -24. Suppose 0 = 3*t + 3*p + 27, t + p = 3*t + 33. Is t greater than or equal to l?
True
Let n be (45/18)/(3 - 5/2). Let b be (-69486)/(-36) - (-9)/3. Let f = b - 1929. Is f != n?
True
Let s(x) be the second derivative of x**4/3 + 7*x**3/6 + 7*x**2 - 59*x. Let j be s(-5). Which is greater: 78 or j?
j
Suppose -6 = h + k, 0*h + 4*h + 2*k = -18. Let r be (6/80)/h*16/12. Which is smaller: r or 1?
r
Suppose -7*p + 123 = -2*l - 2*p, -2*p + 62 = -l. Let c = 63 + l. Which is smaller: c or -110?
-110
Let b = -33 - -40. Let d(f) = -2*f - 3*f + b + 4 + f. Let h be d(-6). Which is greater: 36 or h?
36
Suppose 3*q + 22 = 5*u, -14*u + 25 = -9*u. Which is smaller: q or -32/67?
-32/67
Suppose -d + 4 = -2. Let a(z) = -z**3 + 4*z**2 + 8*z + 6. Let m be a(5). Suppose 4*k - k - m = 0. Are k and d non-equal?
True
Suppose -60*v = 69*v - 111*v - 4698. Which is bigger: 262 or v?
262
Let l = 4519962721017/6538 - 691337215. Let f = l - 1/934. Let t = -0.5 + 0.4. Which is smaller: t or f?
t
Let x be (39/9 - 3)*(18/(-4) + 3). Let p be 10*(9/(-6) + 2). Let a be p/(-3) + 9/3. Which is bigger: a or x?
a
Suppose 4*o + 37 = -3*i, o + 86 = -4*i + 3*o. Let y = i - -19. Let x be (-8)/28 - (y + 60/(-14)). Which is smaller: x or 7?
x
Let n = -10 - -4. Let r = -188 + 218. Suppose -r + 2 = 2*a - 5*u, -2*u + 40 = -4*a. Does a = n?
False
Let c = -204.7 + 205. Let t = c + 180.7. Which is bigger: t or -0.2?
t
Let z = -98710/59189 - -256/157. Does -0.1 = z?
False
Let r = 431755825/824411 - 1/117773. Let q = 524 - r. Let l = -1 + 0.92. Which is smaller: q or l?
l
Let b = 7 + -8. Let f = 1022 + -7178/7. Is f greater than or equal to b?
False
Let z(f) = -f**3 - 5*f**2 - 6*f - 2. Let i be z(-4). Suppose -i*y = y + 84. Suppose 16 + 24 = -4*v. Which is smaller: v or y?
y
Suppose 23 = a + 39. Let c be 24/a + (-78)/4. Which is bigger: c or -19?
-19
Let k = 192572969/64438 + -3/32219. Which is greater: 2990 or k?
2990
Let t = 0.04 - 0.14. Let k be 3/9 + (-16)/12. Let z be (((-33)/18)/11)/(k/2). Which is smaller: z or t?
t
Suppose 0 = 7*p + 6*p - 143. Let b = 69 + p. Is b less than or equal to 78?
False
Suppose 28*d + 15927 + 9945 = 0. Is -2773/3 at least as big as d?
False
Suppose 14*o - 5*o + 972 = 0. Let k be -12*((-2)/(-12) - 90/o). Let h be ((-2)/(-4) + (-18)/k)/298. Which is greater: -1 or h?
h
Suppose s + 5*z = 8, -4*s = -0*s + 3*z - 15. Let k be 9*s*3/27. Suppose 5*p - l = 15, -2*p = k*p + 5*l + 15. Is p at least 1?
True
Let j = 0.369 - -114.631. Let r = -115.5 + j. Which is smaller: -1 or r?
-1
Suppose -t + 39 = 5*o, -t - 6 - 27 = -4*o. Let m be ((-10)/(-4))/((-10)/(-8)). Let s be 10 + 3 + (m - 3). Is s < o?
False
Let m = 274917 - 1369528/5. Suppose 0 = -5*o - 2320 - 2755. Let h = m + o. Are h and -0.2 equal?
False
Let r be (-32484)/48780 - 4/(-6). Let m be -2 + 7 + (2 - (10 + -4)). Is r <= m?
True
Let q(d) = 6*d**2 - 22*d - 2. Let m be q(4). Suppose -y + m*y = w - 1, 0 = -2*w - 4*y - 12. Which is greater: w or -46/9?
w
Suppose -5*x - 16*j - 204 + 815 = 0, -4*x = 2*j - 424. Suppose -510 = -7*h + 2*h. Is x at most as big as h?
False
Let a be (-6)/(-4) - 275/175. Let c = 2 + 4. Suppose -c*d - 12 = -5*j - 3*d, 0 = j - d - 2. Is a at most j?
True
Suppose -56*g = -60*g - t + 923, 4*g = 5*t + 929. Which is smaller: g or 233?
g
Let d = -2.9 + 3.004. Let g = 61.896 + d. Let n = g - 68. Which is greater: 1/2 or n?
1/2
Let y be -6 + (-126)/(-24) - 51/(-4). Suppose -37*o = -41*o + y. Let w be 1146/(-300) + 2/4 + o. Is w smaller than 1?
True
Let f be (-63)/(-26) + (-182)/52. Does -0.5 = f?
False
Let n = -1/928 + 37585/928. Let y = n + -591/14. Let h = 93 - 94. Are y and h nonequal?
True
Let c(k) = k**3 - 7*k**2 + 6*k - 3. Let f be c(6). Suppose 4*j = 6*b + 14, -1 = -3*j - 5*b + 38. Which is smaller: j or f?
f
Let n(l) = -l**3 - l**2 - l + 29. Let m be n(0). Let v be (-7)/21*(524/(-5) + 1). Let s = -35 + v. Is m > s?
True
Let i be (21 + 0)*(-6)/(-21 + 3).