Is d at least as big as 96?
False
Let t(p) = 5*p - 27. Let x be t(6). Suppose -x*o - 2*o = 4*s - 563, 2*s + 551 = 5*o. Is 112 != o?
True
Let u(k) = k**2 - k - 19. Let m be u(0). Let n = m + 12. Let l be -1 + (-2)/10*n. Is l > 1/12?
True
Suppose y - 2*x - 26 = 2*y, 3*x = 2*y + 38. Which is greater: y or -26?
y
Let m = 182.3 + -194. Let p = m - -5.75. Let x = -0.05 + p. Are 1/3 and x nonequal?
True
Let r = 151545/7 - 21730. Let m = r - -81. Is 1.3 smaller than m?
False
Suppose 18*x - 54 - 18 = 0. Let s(v) = -2*v**3 + 8*v**2 + v - 4. Let u be s(x). Is u at least as big as 1/121?
False
Let b be (-108)/135 + 4/5. Is b <= -1/1011?
False
Suppose -3*x + 36 = -879. Is x greater than 303?
True
Let u = 1847104/267 - 6918. Which is smaller: u or 2?
u
Let h = 32.005 + -32. Is h not equal to -2?
True
Let y = -48 - -33. Let v = 15.2 + y. Let b = -0.2 + -6.8. Which is smaller: v or b?
b
Let x(f) = f**3 + 8*f**2 + 9*f. Let o be x(-7). Suppose -4*a - 52 = 4. Is a smaller than o?
False
Let p = 23 + 22. Which is bigger: p or 137/3?
137/3
Let x be 3/(-189) - (12/28)/1. Is 1 >= x?
True
Let k(j) = -j**3 + 4*j**2 + 7*j - 10. Let o be k(4). Let p = o + -23. Let u be ((-5)/p)/(-1*2). Is u <= 3?
True
Suppose -2*l - 21 = -5*l. Suppose 9*d + 4 = 58. Which is bigger: l or d?
l
Suppose -3*p - f - 2 = 0, 3*p + 51*f = 46*f - 22. Which is smaller: 1/771 or p?
1/771
Let n = 177 - 161. Is n != 16?
False
Let q(i) = i**2 + i + 5. Let y be q(4). Let j be (4/5)/((-10)/y). Let h be -2 + 2 + (3 - 6). Is h equal to j?
False
Suppose -4*h + 2*h + 2 = 0. Is h at most as big as 17/27?
False
Let m = 2 - 11. Let y(v) = -v**2 - 7*v + 10. Let w be y(m). Let r be w/(-36) + 38/72. Is r not equal to 0?
True
Let p = 31 + -90. Let q = -1825 - -1825. Which is smaller: q or p?
p
Suppose -2*p - 88 = 3*c, -6 = 3*c - p + 67. Let u = 21 + c. Is -5 smaller than u?
False
Let q = 2.1392 + -0.0292. Which is greater: 1 or q?
q
Let y = 368 - 1471/4. Let c = 0.45 - 0.2. Is c not equal to y?
False
Let q(y) = -y**3 - 9*y**2 - 15*y + 17. Let f be q(-6). Let t = 30 - 30.42. Let m = -0.5 - t. Which is smaller: m or f?
f
Suppose 0 = 4*j - 2*y, 2*j + y - 20 = -3*y. Let n = -1 + -11. Let a be -3 + (n/(-1))/3. Does j = a?
False
Suppose 0 = g - 5*k + 17, 3*k - 4 = 8. Let f(y) be the first derivative of y**4/4 + 2*y**3/3 - y**2 - 2*y + 2. Let m be f(-2). Which is bigger: m or g?
g
Let k(s) = 7*s + 6. Let p(c) = 6*c + 6. Let v(m) = -5*k(m) + 6*p(m). Let q = 0 - 8. Let j be v(q). Which is smaller: j or -6/11?
j
Let o = -2717028347/772 + 3519465. Let z = -4/193 - o. Which is smaller: z or 1?
1
Suppose 4*y + 119 = 5*s + 110, 0 = 4*s - 2*y - 6. Let a be (-4)/(-14) - (-1490)/(-168). Let h = -25/3 - a. Is s less than or equal to h?
False
Let l = 4679/2112227 + -2/3457. Is l >= -1?
True
Let y = -113189/5057883 - -35/1523. Is y less than 1?
True
Let i = 460 - 168818/367. Is i at least 1?
False
Suppose -v - 2*v + g = -12, 0 = 2*v + 5*g + 9. Let t be (-244)/80 + 1*(6 - v). Which is smaller: -1 or t?
-1
Let m(q) = q**3 - 2*q**2 + 2*q - 1. Suppose -3*k - 1 = -4. Let r be m(k). Let b(u) = 2*u**3 - 13*u**2 + 12*u + 13. Let f be b(5). Is f at most as big as r?
True
Let x be 3472/(-744)*3/(-14). Let t be ((-2)/3)/((-64)/(-204)). Is x less than or equal to t?
False
Let j = -307/1552 - -1/97. Let h = 25/48 + j. Are h and -5 non-equal?
True
Let l = 106 - 115. Let b = -17 - -20. Which is greater: b or l?
b
Let o = 83 + -87. Let n be 12/(-29)*(-2 + (-6)/o). Is n greater than 0?
True
Let k(z) = z - 1. Let x be k(6). Suppose 4*b = -229 + 233. Which is smaller: x or b?
b
Let z = 909/2 + -427. Let j = 28 - z. Is -3 < j?
True
Let d(z) = -3*z**2 + 7*z - 11. Let h be d(3). Suppose 16 = -c - 0*c. Is h < c?
True
Let u(m) be the third derivative of -m**5/60 + 5*m**4/24 - 2*m**3/3 - 4*m**2. Let d be u(3). Are 22/9 and d unequal?
True
Let j = -2.2 + 2.31. Let o = 1.01 - j. Let x = o + 3.1. Is -1 greater than x?
False
Let p = 1 - 1. Let w(d) = 12 - 3*d + d + 0*d. Let k be w(p). Is k less than or equal to 13?
True
Suppose 3*o = 7 + 2. Suppose 4*j + 19 = o*j. Let u = -21 - j. Do -3/4 and u have the same value?
False
Let v = -112 - -119. Let f be ((5 - v)/(-1))/(-6 + 2). Is 17 smaller than f?
False
Let z(j) = j - 2. Suppose 2*i = 2 + 8. Let x = i + -6. Let y be z(x). Which is bigger: -7/4 or y?
-7/4
Let n(j) be the third derivative of j**6/120 + 17*j**5/60 + 2*j**4/3 + j**3/3 + 7*j**2. Let f be n(-16). Let o be (-1 - f)*8/12. Are -2 and o non-equal?
False
Let o = 0 + -1. Let w = 1476/5215 - -2/745. Are w and o nonequal?
True
Let k be (-4)/(-6) + (-1520)/(-93300)*-41. Which is smaller: k or 1?
k
Let t = 0.02 + -1.92. Let r = -9 + 12.9. Let z = r + t. Which is greater: 0.1 or z?
z
Let q be -1*1/(-4)*6. Let s = -25.2 + 27. Let o = s - 1.6. Is o at least q?
False
Suppose 3 + 1 = 2*l. Let x = -177/10 - -1319/70. Do l and x have the same value?
False
Let s = -0.022 + -32.978. Let b = 55 + s. Let o = b + -11. Is o > 1?
True
Let l(d) = -102*d + 452. Let r be l(4). Is r != 30?
True
Suppose 0 = 39*a - 36*a. Which is bigger: a or -6/247?
a
Let h be (4/(-5))/((-2)/(-25)). Let y(s) = s**2 + 11*s + 9. Let q be y(h). Let a = 327 - 8173/25. Which is smaller: a or q?
q
Let v(c) = 5*c**2 - 3*c + 3. Let h be v(2). Let s(l) = l**2 - 19*l + 29. Let t be s(h). Is 2 at least as big as t?
True
Suppose 4*q - 300 = -q. Let d be (3/(-4))/((-3)/q). Suppose 2*p + 5*i - 25 = 0, -p - i + 4*i = d. Which is smaller: -2 or p?
-2
Suppose 5*b - i - 20 = 0, 2*b = i - 1 + 9. Let z be b*-2*1/(-8). Let f be z/3 - 99/(-27). Does f = 5/2?
False
Suppose 4 = -6*z + 10. Are 1/521 and z nonequal?
True
Let d = -1.179 - -0.179. Which is smaller: d or 8/5?
d
Let o = -3.6 - -3.7. Let c = 0.1 - -0.1. Are o and c equal?
False
Let z be 65/(-297) - (-4)/22. Suppose -27*m + 26*m + 1 = 0. Is z less than m?
True
Let l = -44 + 30. Let t = -18 - l. Let f = 14 + -16. Which is smaller: t or f?
t
Let j be (0 + 1/(-1))*18. Let n(y) = -14*y - 270. Let h be n(-18). Does j = h?
True
Let p be 1 + (3 + 0 - 1). Suppose p*o = 4*q + 4, -1 = -4*o - 4*q + 23. Suppose 8*t - t - 21 = 0. Do t and o have the same value?
False
Suppose 41*a + 34 + 171 = 0. Let i(b) be the third derivative of b**4/24 - b**3/3 - b**2. Let o be i(-2). Are o and a non-equal?
True
Let w = 29 + -16. Let o = w + -12.9. Let q = 4 - 3.9. Is q greater than or equal to o?
True
Let i = -1.824 + 1.8. Let j = i - -1.924. Which is bigger: 2 or j?
2
Let z = 11 + 3. Let x = 21 - 30. Let s = z + x. Which is greater: 2/13 or s?
s
Let q be (-5)/(-6)*(-8)/(-10). Are q and 1/47 equal?
False
Suppose 4*y - 2*y - 100 = 0. Suppose 4*q = -50 - y. Which is smaller: -24 or q?
q
Let r = 1.77 - -1.23. Which is smaller: 1.3 or r?
1.3
Let f(y) = 13*y - 291. Let w be f(22). Let u be -2 + (-1)/2 - 2. Is u > w?
True
Suppose -2*g - 6 = a, 0*g + 6 = 2*g. Let n = -14 - a. Let v be 2 - ((-6)/n + -2). Which is greater: v or 1/3?
v
Let j = -35 - -71. Let k be (-42)/(-12)*j/21. Suppose 0*a = a + k. Which is smaller: a or -2?
a
Suppose -72 = 5*s - 1057. Which is greater: s or 198?
198
Let q(j) = -6*j + 115. Let u be q(6). Is 233/3 < u?
True
Let f be 260/325*(-1050)/44. Which is greater: f or -18?
-18
Let z = 157 + -155. Let c be z/9 + (-516)/(-108). Are 15 and c unequal?
True
Let g(s) = 3*s - 4. Let r be g(1). Let u be 3 + ((-26)/6 - r). Is 0 less than u?
False
Let t = -37798 - -56205624/1487. Does t = 1?
False
Suppose -4*t - 317 = -5*i, -189 = -27*i + 24*i + 3*t. Which is bigger: 63 or i?
i
Suppose -7*n = -2 - 19. Suppose -n*f - 3*l = -51, 2*f - l - 3*l - 40 = 0. Are 18 and f non-equal?
False
Let n = -185 + 108. Let k = -386/5 - n. Is 3 at least k?
True
Let b be 19 + (1 - 6)*(-2)/10. Let q = -29 + 48. Which is bigger: b or q?
b
Let v(p) = p + 2. Let x be v(-2). Suppose x = 5*r + 5 + 15. Let j(h) = h**2 + 5*h + 2. Let l be j(r). Which is smaller: -1/6 or l?
l
Suppose -3*r = j - 11, -48*j + 46*j = -3*r + 14. Which is greater: -5 or j?
j
Let u(r) = r**2 + 24*r + 158. Let p be u(-17). Is 39 >= p?
True
Let n = 1780 - 1780. Which is smaller: 30/61 or n?
n
Let p be ((-254)/(-4))/((-3)/2*-1). Let j = p - 42. Which is greater: j or 8?
8
Let a = -117 + 111. Let k = a + 5.6. Is k greater than or equal to 1/6?
False
Let w = -15 + 12. Let s = 247.1 - 237. Let y = 10 - s. Is w at least as big as y?
False