 5*d + 8. Let p be r(6). Let s(t) = -5*t - 1. Let w be s(p). Suppose 39 = -3*o - 3*i, 5*i = -17 + 2. Is o bigger than w?
True
Let i be (-5137)/(-6) + 2/(-12). Suppose -397 = -3*v + 5*p + 219, 0 = 4*v + 2*p - i. Let q = v - 1488/7. Which is greater: -2 or q?
q
Suppose 2*k - 1 = a, 7*k - 2*k = 5*a + 5. Which is smaller: 56 or k?
k
Suppose -3*c = 3 - 9. Suppose 4*g + c*l = 7*l + 16, 0 = -5*g + l - 1. Let k be 3/6*g*-1. Is 0.4 greater than k?
False
Let v(m) = m**3 - 21*m**2 + m - 16. Let y be v(21). Suppose -2*o - y*b + 4*b - 88 = 0, -2*o - 5*b = 104. Do o and -43 have the same value?
False
Let i be 8/20 - (-34572)/20. Let y = i + -143509/83. Let k be 2*(2 + (-6)/4). Are k and y equal?
False
Suppose -28*d = -15*d + 10881. Is -837 >= d?
True
Suppose 9 - 244 = -5*v. Let z = 43 - v. Do z and -4 have the same value?
True
Let n = -30.95 + 31. Which is smaller: n or 0.3?
n
Let y = -1510 - -1445. Which is greater: 3 or y?
3
Let r be (0 + -2 - -104) + -2. Suppose 3*p - 7*p = r. Which is smaller: p or -24?
p
Let n = -163 - -147. Let k be 2/(-8) + 4/n*-61. Are 79/5 and k non-equal?
True
Let v be (2/6 + 1)*57/76. Is v greater than 72?
False
Suppose 17*m - 52 = 21*m. Is -10 equal to m?
False
Let m = 2/59 - 67/236. Let y = -13 + 17. Suppose j - 3*a = 7, -y*a - 1 - 1 = -5*j. Is j at least m?
False
Let t = 0.895 + 0.205. Which is greater: t or 1?
t
Let j = -870 + 1316. Which is smaller: j or 444?
444
Suppose -2*u + 62 = -5*w, 4*w = -3*u + 2*u + 57. Suppose 8*f = 2*f + 246. Is u greater than f?
False
Let h(s) = 2*s**2 + 2*s + 7. Let a(g) = -g**2 - g - 3. Let c(i) = 5*a(i) + 2*h(i). Let o be c(0). Let d(n) = n**3 + 2*n**2 + n. Let b be d(o). Is b >= 2/5?
False
Let u = -339 + 338.85. Let c = -1.9 - -2. Let r = u + c. Which is smaller: -2 or r?
-2
Let t = 147 - 147.1. Which is smaller: t or 0.061?
t
Let k be (0 + (-3)/6)*(3 + 5). Do -36/11 and k have the same value?
False
Let s = 1 - -1. Let c = -83 - -88. Suppose 7 + c = 6*w. Is s at most w?
True
Let h = 520 - 618. Which is smaller: h or -96?
h
Suppose -n = -n - n. Does 2/23 = n?
False
Let d be 2/(-215)*1/(-42)*-30. Does -1 = d?
False
Let c = 3.23 + 0.07. Let z = c - 2.9. Let u = 4 + -3. Is u != z?
True
Let k(l) = -l**2 - 10*l + 11. Let y be ((3 + -4)*6)/(-2). Suppose 18 = -y*u + 4*a - 11, 3*u = 2*a - 31. Let i be k(u). Is i at most as big as -9/8?
False
Let s = -11 - -11. Let b be (2 - (-3948)/(-1976))*-12. Let w = 1/19 - b. Are w and s equal?
False
Let m = 1156 + -803. Is m less than 353?
False
Let g(l) be the third derivative of l**4/12 + 3*l**3/2 + 36*l**2. Let m(i) = -i**2 - 7*i - 5. Let b be m(-7). Let z be g(b). Is -1 > z?
False
Let s = 21/11 + -127/55. Let h(i) = -5*i**2 + 376*i + 232. Let v be h(76). Which is smaller: v or s?
v
Suppose -13*u + u = -0*u. Is u <= -1/149?
False
Let c(g) = g**3 - 7*g**2 + 9*g - 10. Suppose -3*y - 18 = -3*i - 4*y, i - 6 = -2*y. Let f be c(i). Are f and 8 equal?
True
Let z be (-5 + 29)/(-6) - -70 - 4. Are 243/4 and z equal?
False
Let n(o) = o**2 + 5*o + 3. Let s = -7 - -3. Let v be n(s). Are -2 and v unequal?
True
Suppose -25 = 5*d - 3*y, 5*d - 7*y + 25 = -9*y. Which is smaller: -53 or d?
-53
Let t = 43 + -20. Let k = t - 24. Which is smaller: -1/22 or k?
k
Let w = 23 - 211. Let m = -1318/7 - w. Which is bigger: m or -1.4?
m
Suppose -5*k - 5 = 0, 4*c + 5*k - k = -12. Let w = -6 + 6.08. Let m = -0.92 - w. Is m >= c?
True
Let p be 22/(-3) + 15/15. Suppose -3*f - 3 = 18. Are f and p equal?
False
Let x be 0 + ((-18)/14 - -1). Let g be 1/3 + -1 - (286/(-60) - -4). Do x and g have the same value?
False
Let b = 366 + -363. Which is smaller: -37 or b?
-37
Suppose 1668 + 117 = 5*j. Let z = j - 98. Let i = 2847/11 - z. Which is greater: -2 or i?
i
Let h = 2388889/116 - 20594. Which is smaller: 1 or h?
h
Let k(x) = x**2 - 2*x + 1. Suppose 3 = 2*d + 25. Let a = 12 + d. Let f be k(a). Which is bigger: -5 or f?
f
Let t be (-1)/(-2)*2 + 48. Suppose -6 = -3*b + 3*i, t = 5*b + 5*i + 9. Let s(g) = g**3 - 5*g**2 - 2*g + 7. Let h be s(b). Do h and -5/3 have the same value?
False
Let b be (-6 - 2)/40*-5. Do b and -7/136 have the same value?
False
Let j be 4*((-3)/(-2))/(-3). Let v be (2 - -1) + (-140)/25. Is j bigger than v?
True
Let k = -63/95 - -24/19. Let u be 4 + 25/(3 - -2). Suppose -5 = 2*i - u. Is k at least as big as i?
False
Let p be 54/(-4) + 6/12. Let v(x) = -4*x - 60. Let u be v(p). Are -11 and u equal?
False
Suppose -3*a + 10 = 5*s, 0*a = 5*s + 2*a - 10. Suppose -5*p + 0*j = -s*j - 6, -j - 3 = 5*p. Is p < -2/53?
False
Let c be 4*(-13)/52 + 1860/1858. Is -1 <= c?
True
Let y = 5363 + -2118387/395. Does y = 1?
False
Let b = -2.342 + 3.042. Which is bigger: -44 or b?
b
Let b = 1025 - 1024.53. Are b and 3 unequal?
True
Let u(n) = n**2 + 2*n - 44. Let t be u(0). Let p be (-1)/(-3) + t/(-66). Is p at least as big as 1/39?
True
Let v be (-2 + 1)/(57 - 54). Is v greater than 214?
False
Let u = 1.143 - -0.017. Let s = u + -0.68. Which is greater: 0.2 or s?
s
Let k be -42*(-12 - 420/(-36)). Which is smaller: k or 107/8?
107/8
Let k be (3/(-6)*0)/(-2). Is 18 at least as big as k?
True
Let l be ((-5)/((-50)/12))/((-1110)/100). Is l less than or equal to 1?
True
Let l(h) = -6*h**2 - 27*h + 52. Let f be l(-6). Suppose v + 6 = 4*o, 2 = v - 0*v + 4*o. Let a be -13*(22/10 + v). Which is smaller: a or f?
a
Let n = 1 + 7. Let k = n + -15. Let s = k + 17. Which is smaller: s or 0.1?
0.1
Let k = -331 + 328. Is k smaller than -4?
False
Let p be ((-30)/(-135))/((-5)/9). Which is bigger: p or 3?
3
Let q(w) = -3*w**2 - 90*w + 26. Let i be q(-30). Is i smaller than 31?
True
Let b(m) = m**3 - 18*m**2 - 21*m + 41. Let a be b(19). Let c(j) = j**3 - 2*j**2 - 2*j - 6 + 6 + 0*j**2. Let r be c(a). Is r greater than 12/7?
True
Let i be 22/(-121) + 64/(-11). Let k be (-22)/i - 4 - 23/3. Is k not equal to -2?
True
Let t(u) = -5*u + 4. Let q be t(-5). Suppose 2*a = 5*x + 23, -6*a + a + q = -3*x. Let r = -4 + a. Is r equal to -1/2?
False
Let f = 20 - 22. Let d = 2.16 + f. Let r = d - 0.06. Which is smaller: 3 or r?
r
Let g = -1.85 + 2.15. Are g and -4 non-equal?
True
Let m = 17 + -8. Let f = -17 - -21. Suppose f*v + 8 = 2*p - 6, 20 = 5*p - 5*v. Is m >= p?
True
Let p be (-2)/(-6)*32190/(-116). Which is smaller: -94 or p?
-94
Let u(z) = -z**3 + 16*z**2 + 16*z + 15. Let f be u(17). Let j be f/(-18*3)*6. Which is greater: j or 5/11?
5/11
Let u = 16928/7 + -2423. Which is greater: 1/5 or u?
1/5
Let w(g) = g**2 + 7*g - 39. Let o be w(-11). Let v be (-4 - 6)/o - -3. Is v at least as big as 4/7?
True
Let r = -0.22 + 0.28. Which is smaller: -1/9 or r?
-1/9
Let h(m) = 11 - 14*m**2 + 2*m - 13 - 22 - 4*m**2 + m**3. Let o be h(18). Let k be (2/(-6))/(4/o). Which is smaller: k or 2/55?
k
Let w(a) be the first derivative of 23*a**2/2 - 10*a - 5. Let s(m) = 8*m - 3. Let k(c) = 17*s(c) - 6*w(c). Let r be k(7). Which is greater: -2 or r?
-2
Suppose -20*w + 436 - 456 = 0. Which is bigger: 4/1417 or w?
4/1417
Let g = -9736/266685 - -4/2319. Do g and 0 have different values?
True
Let t(n) = -3*n**3 + 7*n**2 - 9*n + 1. Let l be t(2). Let z = -2/111 + 232/555. Is l smaller than z?
True
Let y be (0 + -3)*2/(-6). Let p(s) = 3*s**3 - 2*s + 1. Let g be p(1). Let c be 234/(-540) - g/(-6). Is y < c?
False
Suppose -d - 2*r + 91 = 0, -2*d + 7*d + 5*r = 445. Suppose -5*x - 4*y = -d, -3*x + 4*y + y = -67. Let k = 19 - x. Is 0 bigger than k?
False
Let n be 69/(12/(-4)) - 2. Let p be ((-20)/n)/(2/5). Let l be 5/4*p/(-10). Which is smaller: -1 or l?
-1
Let x = -1.6 - -7.6. Let g = -5.954 + 0.054. Let q = g + x. Does -5 = q?
False
Let k = -539 + 395. Which is bigger: k or -146?
k
Let t = 3568/21 - 170. Let v be (-5)/7 - 4/14. Is t bigger than v?
True
Let s = 4 - 6. Suppose 5*y - 59 = m, -2*m - y - 150 = -3*y. Let b = 74 + m. Is b at most as big as s?
True
Let z be ((-5052)/99 - 0)*-6. Let v = 306 - z. Which is bigger: v or -0.3?
v
Suppose 0 = -4*m + 64. Let y(u) = -3*u + 1. Let v be y(5). Let q = m + v. Are q and 0 non-equal?
True
Suppose i - 5*a = 8, 6*i - 2*a + 4 = 2*i. Let o be 7/28*(-2 + i). Is o bigger than -26?
True
Let c be (-7 - 27633/(-2763)) + -3. Which is smaller: c or -1?
-1
Let q be 363/150 - 4/(-50). Is q bigger than 3?
False
Let r(b) = b**2 + 1. Let z be r(0). Let l be (8/(-10) + z)/((-8)/(-16)). Let d = 2 - 1.92. Which is smaller: d or l?
d