. Let d = r + 745/6. Which is smaller: d or c?
d
Let h = 284/13 - 5422/247. Let w(i) = -i**2 + 3*i - 2. Let s be w(2). Let p = 1 + s. Which is smaller: p or h?
h
Let b be (-22519)/(-14) - 0 - (-9)/6. Is 1610 less than b?
False
Let n = 5 + -1. Let j be 1/n - 14/88. Which is bigger: -1 or j?
j
Let n be ((-135)/10 + 9)*1/(-6). Which is smaller: 1/82 or n?
1/82
Suppose -9 = -4*t - 5*g, 2*t = 6*t + 4*g - 8. Let h = 8027/4 - 2007. Is t != h?
True
Let n(j) = -j**3 - 2*j**2 + 3*j + 4. Let v(q) = -q**2 - 8*q - 3. Let p be v(-8). Let z be n(p). Suppose 0 = u + z*u. Do u and 1 have the same value?
False
Let m(l) = -7*l**3 - 43*l**2 - 8*l - 9. Let s be m(-6). Is s less than 40/9?
True
Let p = -6.3 - -5.7. Let u(s) = s**3 - 2*s**2 - 2*s - 1. Let o be u(3). Suppose 3*a - 15 = -o*a. Which is bigger: p or a?
a
Let c = -30.055 - -0.055. Let s = 31 + c. Which is smaller: s or -23?
-23
Let v = -11 - -9. Let r be v + -1 + 12/4. Let y be (-11)/(-9) - 2/9. Do y and r have different values?
True
Let p = 763.3 - 773. Is p at least -0.1?
False
Let s(d) = -d**3 - 3*d**2 - 2*d - 4. Let p be s(-3). Suppose 3*f - 65 = -4*q, -3*q + 39 = p*f - 3*f. Let j = -12 + q. Which is bigger: 1/7 or j?
j
Let g(f) = 11*f - 141. Let u be g(21). Is u less than or equal to -1/2?
False
Let a be 1/(-10)*4/3. Let l be ((-5)/(-35) + 33/14)*2. Suppose -l*z = -3*m + 8, -m = -2*m - 2*z - 1. Which is smaller: m or a?
a
Suppose -65*r + 64*r - 1 = 0. Which is bigger: 4/147 or r?
4/147
Let p(l) = -2*l**2 - 88*l - 261. Let n be p(-41). Which is bigger: 28 or n?
28
Suppose -8*z = 68 - 12. Let g = -71 + 147/2. Let o = z + g. Is o greater than -6?
True
Let g = -143/1312 + 39452639/1312. Let m = 89533/3 - g. Let l = 227 + m. Which is greater: l or -0.1?
l
Let y(q) = -q**3 - q**2 + q + 3. Let n be y(0). Suppose -5*r - 2*s - 6 = 0, r = -s - n*s + 6. Is r > -4?
True
Let u = -5394/11 - -490. Suppose -k - 2 = -3*k, 2*f - 4*k = 4. Suppose -l - 4*j - 11 = 0, -2*l = -4*j - 10 - f. Is l at most as big as u?
False
Let h be 55/(-286) - 5/(-10). Is -1 != h?
True
Let g(a) be the third derivative of a**4/3 - 7*a**3/6 - 4*a**2. Let w be g(4). Let q = -35 + w. Is 0 at most as big as q?
False
Suppose 54*s = 48*s. Which is greater: -6/239 or s?
s
Let p = -79/2 + 38. Let z be 1*-12*9/(-30)*-20. Let u = z + 362/5. Which is smaller: p or u?
p
Let z = -8 + 6. Let t(n) = -n**3 - n**2 + 2. Let u be t(z). Let x = u + -9. Is -1 at most x?
False
Suppose 0 = -3*b + 2*b + 4. Suppose -b*i + 0*i = 0. Let o be i + 2 + (-8)/12. Does 2 = o?
False
Let i = -539/4 + 148217/1100. Which is bigger: 0 or i?
0
Let f be (-1)/6 - 32045/234. Let z = 137 + f. Which is smaller: z or -1?
-1
Let s = 2/7123 + 1189529/42738. Let u be 6 - (12 - 4) - 206/(-6). Let z = s - u. Which is smaller: z or -5?
-5
Let s = -213/10 - -149/5. Let t(j) = j**2 + 3*j + 5. Let i be t(-4). Are i and s non-equal?
True
Let s be (-60)/651 + (-4)/(-14). Suppose -9 + 34 + 23 = -48*y. Is y >= s?
False
Let w = -10 - -8. Let x be (18/(-6))/(3/w). Which is greater: x or 4?
4
Suppose -h - 2*h = -6. Suppose u = 2*u + h. Let w = 3 + -8. Do w and u have different values?
True
Let i = 578 + -577.8. Which is smaller: i or 0.03?
0.03
Let q = 18.8 - 26.8. Is 5/8 < q?
False
Let w = -19 - -18.82. Let n = w - -19.18. Let i = 17.2 - n. Which is smaller: 0 or i?
i
Let l = -86.1 - -80. Let a = 6 + l. Let i = 0.5 + a. Is i != 1?
True
Let k = 898/13 + -69. Let j(b) = -b**3 + b + 1. Let u(r) = r**2 + 6*r - 8. Let x be u(-7). Let g be j(x). Is g less than or equal to k?
False
Suppose -4*q + 2*c + 17 = -3*c, -4*c + 8 = 4*q. Suppose -5*b + q = -2*b. Let r be (-7)/(-14) + b/(-2). Are 0 and r nonequal?
False
Let r = -7741/96096 + 17/224. Are r and 0 nonequal?
True
Suppose -3*h - 10 = 3*u + 23, 4*u = 20. Let l be 243/12*h/310. Let v = 11/31 - l. Do 2 and v have different values?
True
Let b = 39.7 + -39.77. Suppose 3*m - 22 = -5*o + 7*m, -5*o + m + 13 = 0. Which is smaller: o or b?
b
Let w = 9.92 + -10. Let l = 1.16 + -1.3. Let f = l - w. Are -1 and f nonequal?
True
Suppose -732 = i - 738. Which is bigger: 14 or i?
14
Suppose 3*j + 3*y - 6 = -0*j, -5*y = -4*j + 44. Suppose -j*s - 36 = -4*s. Which is smaller: -2/7 or s?
s
Suppose -5*u = 5*g + 530, 4*u - 3*g - 420 = 8*u. Let s be ((-6)/5)/(u/(-30)). Do -1 and s have the same value?
False
Let x be -5*(-10)/125*(-5)/13. Is 0.182 greater than or equal to x?
True
Let r = -41 - -38. Is 53 bigger than r?
True
Let h = 13702594/9 - 1524130. Suppose 0 = 2*s + 1407 + 1829. Let a = h - s. Is -3 less than or equal to a?
True
Suppose 3*c - 3*g + 3 = -0, -5*c = 4*g - 4. Suppose c = -3*r + 6*r. Is 2/11 less than r?
False
Suppose 5*x - 24 - 36 = 0. Let z = -10 - -14. Suppose -z*n + 12*n = 88. Which is bigger: n or x?
x
Let m = 51 + -29. Let o = m + -15. Does o = 5?
False
Suppose -w + 1255 = 2*k, 0 = -2*k + 5*w + 912 + 313. Which is smaller: k or 626?
k
Let a = 23.636 + 0.264. Let k = a - 24. Which is bigger: k or -0.29?
k
Let y be (9 - 18)*(-1)/3. Suppose 0 = -0*x + 5*x, -y*i = -3*x. Do 9/7 and i have the same value?
False
Suppose -3*m + 30 = -5*m. Let l be ((-3)/12)/(m/20). Let o = -113 + 1245/11. Which is bigger: l or o?
l
Suppose 3*c - 5*c = -2*b + 20, 50 = 3*b + c. Which is greater: 23 or b?
23
Let b = 35608/7 - 5041. Does b = 47?
False
Suppose 4*v - 151 = -31. Suppose 3*f + 9 = 0, -f - 24 + 108 = 3*a. Is v smaller than a?
False
Let a(x) = -x**3 - 2*x**2 - 12*x - 7. Let h be a(-4). Is h not equal to 221/3?
True
Let v = -6 + 11. Suppose -2*j + 2 = c + 1, -5*c = 3*j - v. Let z = 402 - 402. Is z at least as big as j?
True
Let t be (-1)/1119*((-266)/28 - -11). Is t at least 1?
False
Let a = 0.7193 - 1.7193. Let k = 5.92 - -0.08. Let w = k + -4.2. Is a >= w?
False
Let a = 34/141 + -877/3572. Is -1 smaller than a?
True
Suppose -2*n + 2*d + 2 = -4*n, -12 = 4*d. Suppose 2*c = 2*v + 10, 4*c = -v + n*v + 32. Let k be 2 - (10/(-2) + 0). Is k at most c?
True
Suppose -50*z = -45*z - 135. Suppose -2*h - z = -5*h. Which is bigger: 10 or h?
10
Let m = -83/20 - -619/60. Let x = 1312/3 + -445. Let z = m + x. Which is bigger: 1 or z?
1
Let q = -7.9 - -7.8. Which is bigger: q or 0.103?
0.103
Let r(a) = a**2 + 1. Let g be r(-1). Let n = 3 - g. Let z = -415 + 7057/17. Are n and z non-equal?
True
Let k(p) = -11*p + 18. Let r(m) = 2*m - 1. Let g(l) = -k(l) - 4*r(l). Let a be g(5). Which is smaller: a or 5?
a
Let k(m) = -2*m**3 - 3*m**2 + 4*m + 57. Let s be k(-6). Is 357 > s?
False
Let m = -773 - -706.6. Let x = m + 73. Let q = x - -1.4. Is -1 at least q?
False
Let z be 80/10905*(-354)/(-4). Let u = z + 396286/45801. Let w = 62/7 - u. Which is smaller: -1 or w?
-1
Let s be (-1)/3*1*-6. Suppose -s*a - 59 = -5*v - a, 5*a = 5. Let k be (v/104 + 0)*-2. Which is smaller: 1 or k?
k
Suppose 9*n = 71 + 649. Which is smaller: 76 or n?
76
Let k = -110 - -134. Let s = 3 + -3. Is k not equal to s?
True
Let h be 5*(10/65 - (-93)/(-13)). Let z be h/7*5/15. Which is bigger: -1 or z?
-1
Let u be (4/18726)/((-42)/18 - -2). Let y = u - -25010/65541. Does -1 = y?
False
Let o = -2431 + 2430. Do o and -1/271 have the same value?
False
Let h = 356 - 354. Let m = 31.8 + 0.2. Which is smaller: m or h?
h
Let i = -143 - -140. Do i and -22/13 have the same value?
False
Let g = 3.07 + -0.07. Let q = g + -3. Let f = -0.05 - q. Which is bigger: -1 or f?
f
Let g(v) = 2*v**2 - 8. Let d be g(-3). Let i be 14 - 25/d*12/15. Is 0 > i?
False
Suppose 6*o = 3*o. Let h = 174 - 873/5. Is h bigger than o?
False
Let z = 49 - -3. Suppose -4*x + 0*x = 4*v - z, -3*v + 2*x = -64. Suppose -4*m = 3*t - 2*t, 4*t = 2*m + v. Is m less than 4?
True
Let n = -6 - -20. Let f be 4/n + (-20)/21. Let w = 1036 + -1036. Which is smaller: w or f?
f
Let o = 55.4 - 28.6. Let j = -28 + o. Let n = j + 1.3. Is 0.2 greater than or equal to n?
True
Let d = -1 - -1.1. Let j = -4.25 - 0.05. Let w = 4.25 + j. Is w >= d?
False
Let i be 7*(5 - (10 - (-18)/(-3))). Is -7.6 greater than or equal to i?
False
Let u = 80 - 154. Let y = -36 - u. Let s = -36 + y. Is s <= -1?
False
Suppose 0*k + 2*k + 3*j = -7, 5*k - j - 25 = 0. Let s = 1521/4 - 380. Is k at most as big as s?
False
Let c be 1/(-3)*(3 - 1). Let f(j) = 15*j + 27 - 10*j + 2*j - 8. Let w be f(-3). Which is greater: c or w?
c
Let w = -1 - 3. Let f be 2/5 + 24/15 + 1. Let l = w + f. Which is smaller: l or -4/1