). Is y at most 18?
True
Let x(m) = 3*m + 30. Let n be x(0). Let f be (2/n)/(6/18). Let c = 0 - -1. Is c != f?
True
Suppose 4*k = 8*k - 20. Suppose -2 = -2*u - 3*w, 5*u + 9*w - 4*w = k. Is 5/11 greater than u?
False
Suppose 4*g = -4*j + 8, -5*j - g - 3*g = -13. Suppose 3*a + j = -1. Let k be 3/(a*(-2)/(-8)). Is -5 greater than or equal to k?
True
Let q = 1/635 + 1121/94615. Let v = 161/894 - q. Are v and 6 equal?
False
Suppose 8 = a - 5*g - 20, -2*a = -5*g - 31. Suppose -t = 4*p - 0*t + 23, a*p = 5*t. Let o be (-8)/(-8)*p/(-4). Is o > 1?
True
Let x be -4*(2 + 0 + -4). Let g be 0 + 1*x*-1. Is -8 equal to g?
True
Let b(s) be the third derivative of 2*s**5/15 + s**4/8 - 14*s**2. Let m be b(-1). Is m >= 5?
True
Let o be 694/6 - 2/(-6). Let l = 82 - o. Is l less than or equal to -34?
True
Let m = -13.44 + -1.46. Let i = -15 - m. Is i bigger than -11?
True
Let r = 21.9 + 7.5. Let z = r + -24. Let a = -5 + z. Does 0 = a?
False
Let n = 346/891 - 2/81. Suppose -3*d = d + 12. Let j = -2 - d. Which is bigger: j or n?
j
Let x(t) be the first derivative of -t**2/2 - 5*t + 1. Let n be x(-3). Which is smaller: 0 or n?
n
Let j = -1558 + 1505.5. Which is smaller: -2 or j?
j
Let t = 1149 + -1148. Let m = -189 + 5860/31. Is t at least as big as m?
True
Suppose 4*g = 3*u + 5 + 16, 4*u + 27 = 5*g. Let d(p) = -3*p**3 + 2*p**2 - 9*p + 5. Let m be d(g). Which is smaller: -84 or m?
m
Let v = 2229 + -1650. Is 578 bigger than v?
False
Suppose -7*x - 30 = -2*x. Let f = x - -5. Let g be (0/1 - -1)*(-8)/92. Which is smaller: g or f?
f
Let m(h) be the second derivative of h**5/20 - h**4/2 + h**3/3 - 11*h**2/2 + 7*h. Let z be m(6). Are 6 and z non-equal?
True
Let k = 725 + -792. Which is bigger: -66 or k?
-66
Let q = -453.027 - -453. Is q less than or equal to -1/3?
False
Let y = -47/60 + 11/12. Let s be (-5)/(-10) + 1/2. Suppose 0 = d - 0*d - s. Which is smaller: d or y?
y
Suppose 13*f + 520 = 5*f. Is f < -65?
False
Suppose -19*s + 65*s = -19688. Is 1 at most s?
False
Suppose 215*a - 126 = 102*a + 100. Let d be (-2)/(-6) + (-76)/12. Which is greater: a or d?
a
Suppose -23*u + 104*u = 0. Which is smaller: u or 1/273?
u
Let y = -183/5 + 37. Let b = -55 - -55. Which is smaller: b or y?
b
Let s be (-1 - (-834)/(-9)) + 7. Which is greater: s or -88?
s
Let v(k) = k**2 - 8*k + 6. Let w be v(6). Let b be (129/(-15))/((-90)/(-75)). Which is smaller: w or b?
b
Suppose -26*x + 3 = -25*x. Suppose x*q = -j - 36, -q - q = j + 32. Which is greater: j or 2?
2
Let i be (-48)/96*10/(-274). Is -1 at most i?
True
Let w = 121.33 + -124. Which is bigger: -0.1 or w?
-0.1
Let b = -3 + -5.6. Let h = b - -9. Let x = -5 + 4.9. Which is smaller: x or h?
x
Let h(l) = -2*l**2 - 10*l + 1. Let q be h(-5). Is 2/93 >= q?
False
Let o = -9.58 - -9.4. Which is smaller: o or 3.8?
o
Let x be (-280)/112*(6/10)/(-3). Do 1.14 and x have the same value?
False
Suppose -4*v - 48 = -2*s + 108, 5*s - 370 = 5*v. Let k be (88/14 - 6) + (-76)/s. Let h = 2 + -2. Is k < h?
True
Suppose 36*c = 40*c - 48. Suppose -5 = -2*x + 21. Is c bigger than x?
False
Let s = -846 + 718252/849. Is s >= 1?
False
Let c = 13.9 - 13.9. Let m = -5.02 + 5. Let b = 0.98 - m. Which is smaller: c or b?
c
Let q be (-35)/25 - ((-13080)/(-175) + -4). Which is smaller: q or -71?
q
Let h be (-6)/10 + 10759/15515. Which is smaller: -1 or h?
-1
Let v = -24 - -33. Suppose 11*d - v*d + 18 = 0. Which is smaller: d or -11?
-11
Let o be 13 - (4 + 6) - (-3 - -800). Which is smaller: -792 or o?
o
Let r be (8/1 - 2) + -1. Suppose -298 = -56*s + 262. Which is smaller: r or s?
r
Let f be 242*(-3)/(-10) - 6/(-15). Let x = f - 82. Is x at most as big as 3?
True
Let y be 4 - (-1 + ((-16344)/(-548))/6). Do 0 and y have different values?
True
Let q be (-2)/(-3) - 10/(-30). Let r(d) = d**3 - 7*d**2 + 1. Let u be r(7). Is u less than q?
False
Let v be (3 + -2 + 0)*2. Suppose -p = -1, -15 = v*d - 2*p - 7. Suppose -10*g = 22 + 18. Is g smaller than d?
True
Suppose -6*l = 242 - 1556. Which is smaller: l or 215?
215
Let o = -4/581 + 3485/421806. Is -1 at most as big as o?
True
Let v = 6 + -7. Let t = 2 + -0.5. Let b = t + -11.5. Which is smaller: b or v?
b
Let l(i) = -2*i**2 + 39*i + 44. Let d be l(18). Is 97 not equal to d?
True
Let k be ((-55)/(-20) + -2)*(-16)/(-28). Which is smaller: -1 or k?
-1
Let s = -38 + 89. Let p = -50.8 + s. Do p and 0.11 have the same value?
False
Let z = -44.5 - -48. Let l = 4 - z. Is l less than 5?
True
Let r = -365239/17 - -14017374601/652460. Let t = r + -33/505. Let z = -3/38 - t. Is 1 > z?
True
Suppose 50 = -3*y - 5*u + 79, -2*y - 2*u + 18 = 0. Is 74/11 greater than y?
False
Let i(g) = -g**3 - 5*g**2 + 7*g + 8. Suppose r - 3 = -d, 0 = -3*r - 5*d + 4 - 1. Suppose -j = -0*j + r. Let v be i(j). Which is smaller: v or -3?
-3
Let d(z) = z**2 - z - 4. Let l be d(-2). Suppose -3*v = -l*v - 1. Is 2/51 greater than or equal to v?
False
Let m(b) be the second derivative of b**5/20 + b**4/2 - 3*b**3/2 - 3*b**2 - 5*b. Let r be m(-7). Suppose 2*u + 3*u = 2*x + 1, -2*u = -5*x + r. Is 2/5 > u?
False
Let a = -464 + 32017/69. Let q be 3/12*20/(-5). Is q > a?
False
Suppose 10*j - 17*j = -231. Which is greater: j or -7?
j
Let g(b) = -b**3 - 24*b**2 - 27*b + 115. Let f be g(-23). Are f and 207 non-equal?
False
Let j(v) = -v - 177. Let f be j(0). Do f and -177 have the same value?
True
Let u(w) = 2*w**3 + 5*w**2 + 3*w - 2. Let d be u(-3). Suppose -19*s + 16*s = -12. Let c be (d/25)/(s/(-10)). Which is smaller: 3/4 or c?
3/4
Let j be ((-1135)/(-4680))/(2/(-6)). Let u = -10/13 - j. Which is bigger: u or -1?
u
Let l = 1.2 - 1.2. Let b = 7.5 - 8.7. Is b <= l?
True
Suppose 0*r = r - 25. Let t be 10/4*30/r. Let i be ((-12)/t*-1)/26. Which is smaller: 1 or i?
i
Suppose -3*b = h - 5, -5*b - 3*h + 4 + 7 = 0. Which is bigger: b or 21?
21
Suppose -3 = -3*g, 3*r - r - 3*g = 5. Suppose -7 - 9 = r*d. Let o be (-1)/((-3)/d) + 1. Is -0.1 greater than o?
True
Let o(h) = -h**3 + 3*h**2 + 12*h + 8. Let l be o(-4). Is l greater than 143/2?
True
Let q(s) = -s**2 + 19*s - 15. Let o be q(18). Let z(j) = -j + 1. Let w be z(1). Suppose 2*d - 17 + o = w. Is 3 greater than d?
False
Let s(i) = 2*i**3 + 29*i**2 - 13*i + 35. Let o be s(-15). Suppose o*v - 3 = 12. Is 12 at most v?
False
Let v(k) = -k - 5. Let t be v(-4). Let m = -16039/115 - -698/5. Is t > m?
False
Suppose -16 = -9*u + 8*u. Let s = -23 + u. Do -7 and s have the same value?
True
Let j = -11.08 + 10.78. Which is smaller: -75 or j?
-75
Let g be (7/161)/((-2)/10). Which is smaller: g or 1?
g
Suppose -81 = -38*n - 43. Is n greater than 3/116?
True
Let i(z) = 9*z**2 - 3*z. Let n be i(2). Let w be 5/n + 0 + -1 + 1. Which is smaller: -15/2 or w?
-15/2
Let y be 19 + 212 - (3 + 4). Is y equal to 228?
False
Suppose -6 = -8*d + 10. Let p = -137/10 - -29/2. Which is greater: p or d?
d
Let v be 4/(-6) + 2/((-32688)/(-10932)). Is -1 at most v?
True
Suppose -3*h - 85 = -1. Let n = h + 20. Which is smaller: -9 or n?
-9
Let j be (20/210)/(11/3). Is j at least as big as -1?
True
Let p = 611/2200 - 1/200. Is p != 2/7?
True
Let h be 7 - ((10 - 4) + 87/89). Is h at least as big as -1?
True
Suppose 0 = -m - 4*w + 21, 0 = -3*m - 0*w + w + 11. Suppose -m*s + 12*s = 0. Are s and -1/3 unequal?
True
Let z = 2.52 + -1.52. Does -103 = z?
False
Suppose -5*m + 4*m - 14 = 5*y, y - 3*m + 6 = 0. Suppose 4*s + q - 10 = 0, -5*s - 1 = -q - 9. Suppose 0 = s*b + 4. Are b and y unequal?
True
Let o = 98 + -93. Suppose -33 = 3*v - 3*g, -o*g = 5*v - 3*g + 48. Is -10 at least as big as v?
True
Let v(n) = 2*n**3 - 10*n**2 - 9*n + 12. Let s be v(5). Which is smaller: s or -32?
s
Let l be -3 - (5 - 1)/(-2). Let f(u) = 12*u**2 + u + 1. Let a be f(l). Let y = a + -12. Is 4/9 at least as big as y?
True
Let i = -550123/225 + 2445. Which is smaller: i or 1?
i
Let s(m) = -m + 1. Let d be s(-3). Let t(x) = x**3 - 23*x**2 - 25*x - 15. Let n be t(24). Let z = n + 42. Are z and d nonequal?
True
Let n(w) = -w**3 + 11*w**2 - 12*w + 14. Let s be n(10). Let h be (-6)/30*15/s. Suppose -3*l + 3 + 3 = 2*v, 0 = -5*v - 2*l + 4. Which is smaller: h or v?
v
Suppose -3*j + 2*i + 2*i + 298 = 0, 0 = 5*j + 2*i - 462. Is j bigger than 94?
False
Let n be -4*21/56*(-10 + 0). Let r = n + -13. Is r bigger than 7/8?
True
Let n be ((-1823)/260 - 42/(-6))/(-9). Which is bigger: -1 or n?
n
Let t be (-3