. Are y and -234 unequal?
True
Let n be -1 - (6/3 + 1). Let s(y) = y**3 + 5*y**2 + 4*y + 2. Let f be s(n). Suppose 3*m = 2*j + 17, m - 1 = f*j + 6. Which is bigger: j or -12/7?
j
Suppose -5*b + 0*b + 4*k = -308, -5*k = 10. Let w be ((-56)/b)/(12/(-10)). Which is bigger: w or 2?
2
Let p be 2 + 5 + -6 + (-1185)/1187. Which is smaller: p or 0?
0
Let t(z) = 8*z + 1. Let x be t(-7). Let f = 53 + x. Is f != -4?
True
Suppose -4*w + 21 = -3*i, -i - 3*w = -11 + 18. Is i less than or equal to -10?
False
Let u = -501 - -22043/44. Which is smaller: u or -1?
-1
Let a = 25 - -102. Suppose 2*w = 5*n + a, -w - 2 = 2. Is -26 not equal to n?
True
Let l(p) = p**2 + 14*p - 1. Let i be l(-11). Let k = i + 48. Let j be 14/3*(-1 - -4). Is k greater than or equal to j?
True
Let p = 544 + -1059. Which is smaller: p or -514?
p
Let w = -5.1 - -5. Let r = 0.2 - 3.2. Which is smaller: w or r?
r
Let k(h) = -5*h + 129. Let t be k(12). Is 65 bigger than t?
False
Let a be (-54)/459 - (-423)/3162. Which is smaller: 1 or a?
a
Let x(f) be the third derivative of -f**4/8 + 3*f**3 - 2*f**2. Let o be x(16). Let z be 4/o - (-3)/(-15). Is z greater than or equal to 2/3?
False
Let z(d) = 2*d + 1. Let o(n) = 7*n + 13. Let v(g) = -o(g) + 3*z(g). Let h be v(-14). Let x(s) = s**3 + s**2 - 1. Let p be x(0). Which is smaller: p or h?
p
Suppose 165 = -7*c + 2*c. Let t(n) = -2*n**2 - 39*n - 86. Let a be t(-18). Is c bigger than a?
False
Let l = 2.67 + -3.37. Is 0.5 > l?
True
Let y = 27823553/1369 + -20324. Do 0 and y have the same value?
False
Suppose -5*q = 3*y - 22, 3*q - 4*y + 8 = -2. Let i be 1 + (-185)/50 + q. Suppose 0 = 13*h - 9*h + 8. Which is smaller: h or i?
h
Let o = 36 + -37. Which is smaller: o or 105?
o
Let v = -12.8 - 11.2. Let r = -26 - v. Do r and 1/3 have different values?
True
Let d = 103 + -199. Which is greater: -94 or d?
-94
Let z = -2089/31395 + 4/345. Is z less than or equal to 1?
True
Suppose 0 = 16*s - 223 + 47. Let x(f) = -f**2 - 13*f - 31. Let t be x(-6). Is t < s?
False
Let o be 1 - (1/(1/3) + -1). Which is bigger: 2/141 or o?
2/141
Suppose -5*d - 20 = 5*s, -30 = -5*s + 5*d - 0. Let j = s + -10. Let k = j + 8. Is k at most as big as 1/4?
True
Let l be 4/14 - 12/(-7). Suppose 5*b = t - 0*b - 20, 2*t - 8 = l*b. Let q be 4/5*15/(-2). Which is bigger: t or q?
t
Let v = 0.12 - 0.32. Let r = -1.4 - v. Let k = r + 1.3. Which is greater: k or -2?
k
Let x be (-6)/(-9)*(-137 + -1). Let d = x + 92. Do -5 and d have different values?
True
Let i be ((-520)/6)/(-4)*(-84)/(-105). Is i <= 18?
True
Let c = 184 + -185. Which is smaller: 1 or c?
c
Let c = 54/119 - 457/595. Let o = 5/7 + c. Is 0 > o?
False
Suppose -2*c - 379 = 4*w - 3*c, -4*c - 4 = 0. Let s = 51 + w. Is s greater than or equal to -1/2?
False
Suppose -4*o = -15 + 3. Let l(b) = -17*b**2 - 4*b - 3 + o*b + 24*b**2 + b**3. Let t be l(-7). Which is bigger: t or 0?
t
Let s = -263.1 - -264. Which is smaller: s or 19?
s
Let i = -52.983 + 53. Let n = -8.017 + i. Which is bigger: n or 0.04?
0.04
Let q = -488 - 13. Let w = q + 9521/19. Let o = 56/171 - w. Is o equal to 0?
False
Let b be (-1)/2*-2*-1. Let i(h) = -2*h**2 + 26*h + 8. Let m be i(14). Let l = -22 - m. Which is greater: l or b?
b
Let c be (12/(-24))/((-3)/1*-4). Which is greater: 0 or c?
0
Suppose -4542 = -26*g - 21806. Which is bigger: g or -666?
g
Suppose 2*t = t + 5, -2*q - t = -15. Let a(d) = 4*d - 2. Let r be a(-1). Let h be -18*2/r*1. Which is smaller: q or h?
q
Suppose 15*o - 3 = 14*o. Suppose o*n - t - 37 = 0, 9 = 4*n - 3*t - 42. Let c(x) = 13*x**2. Let r be c(-1). Which is bigger: n or r?
r
Let y = -0.205 + 0.295. Is y not equal to -1?
True
Suppose 9*j - 35 = -530. Let y be ((-30)/(-8))/(-5) + j/(-20). Which is bigger: y or 5?
5
Let k = -575/3 + 192. Which is greater: 3.2 or k?
3.2
Let d be 20/50 - (-21)/(-35). Which is smaller: d or 2/73?
d
Suppose 5*s + 4 = 3*s, 4*v = -2*s + 564. Suppose 0 = -9*m - 47 - v. Are m and -19 non-equal?
True
Let l = 43 - 37. Suppose -t = l*t - 63. Is t greater than or equal to 9?
True
Let i = 0 + -1. Let t = -2 - i. Let d = 7967/241038 + -5/3826. Is t less than d?
True
Suppose -21 = 2*v - 19. Let f = -463 + 7869/17. Which is smaller: f or v?
v
Suppose -4*b + 140 = 11*q - 13*q, 2*q = -b - 155. Which is greater: -0.1 or q?
-0.1
Let p = 14 + -10. Suppose 43 + 9 = p*k. Let v = k - 14. Which is greater: v or 3?
3
Suppose -2*k - 3*k = -5. Let u = -86 - -857/10. Which is smaller: u or k?
u
Let t = -1187/24430 + 2/349. Let g = -6875 - -6876. Is t at most as big as g?
True
Let s = 25 + -26. Let n = -67 + 40. Let v = n + 27. Which is smaller: v or s?
s
Suppose 0 = 6*n - 4*n + 6. Is -11/6 not equal to n?
True
Let o = 6 - 3. Let z = o + 4. Is 4 smaller than z?
True
Let u = 66 - 95. Let w = 32 + u. Are w and 2 equal?
False
Suppose -2*i = b + 2*b - 13, -3*i + 15 = 3*b. Suppose -7*q = -5*q - i. Let s = 9 - 6. Which is bigger: s or q?
s
Let m be ((-247)/(-143) - 2) + 7354/27126. Is m <= 0?
True
Let r = -356288/4305 - -29/615. Let f = -7443/91 - r. Which is greater: 1 or f?
1
Let y = -2922678034/85725207 + -4/4511853. Let f = y + 304/9. Let i = 2700 - 2699. Is f < i?
True
Suppose 4*x = 5*f - f + 12, 4*f + 6 = -2*x. Is x at least -4/11?
True
Suppose 5*j + 2 = 7*j. Suppose -4*f - 5 = -j. Is 2/5 at least as big as f?
True
Suppose 4*x + 1 = -r, -4*x - 1 = 4*r + 3. Let u be ((-3)/6)/r*-4. Let k be u/9 - 4/(-18). Which is smaller: k or 1?
k
Let r = 948.4 + -948. Let f = -8 + 3. Let s = f - -4.9. Which is smaller: r or s?
s
Let z = -0.78 - 0.12. Let a = -180 - -181. Let u = z + a. Which is bigger: u or -14?
u
Suppose 2*i - 7*i = 15. Let s be 2/(i + 3 + (-1)/10). Let a(f) = -f**2 + 2*f + 4. Let d be a(6). Are s and d nonequal?
False
Let j = -10.02 - -12.02. Suppose 2*x + 16 - 4 = v, 0 = 3*v - 2*x - 20. Let d be v - -2*(-2)/4. Do j and d have different values?
True
Let p be (-578)/(-572) - (-8)/(-8). Let t = p - 617/4290. Let c = 11/30 - t. Is c at most -2/11?
False
Let r(j) = j**2 + 8*j - 1. Let y be r(-9). Let w be ((-50)/35)/(y/(-14)). Let q = -7/4 - -41/28. Are w and q non-equal?
True
Suppose -4*p + 2*p = 4*b - 132, -5*p - 78 = -2*b. Which is smaller: b or 3?
3
Suppose 3*o + 1 = -x - 3*x, -2*x = 2*o. Let b = -1/10 - -73/30. Does o = b?
False
Suppose -36*s + 11*s = 0. Is -1/1894 smaller than s?
True
Let g(s) be the third derivative of s**5/60 - s**4 - s**3 + 20*s**2. Let r be g(23). Are r and -30 equal?
False
Let q(g) = g + 5. Suppose 0*r + 8*r = -24. Let b be q(r). Which is greater: b or 1/2?
b
Suppose 10 = -3*f - 20. Let y = -2 - f. Is 11 at least as big as y?
True
Suppose 0 = -29*m + 26*m + 42. Suppose -18*y = -m*y + 4. Which is smaller: -16 or y?
-16
Suppose 0*g - 2 = g. Let r be -9 - (-5 - (-2)/1). Let k be (1 + r - -3)/3. Which is smaller: k or g?
g
Suppose -2*b + 3*u = 2*u - 9, 2*b - 3*u - 19 = 0. Let w be (-66)/363 + (-471)/22*b. Is -43 at most as big as w?
True
Let a be (-2379)/351 + (-1 - -8). Is -3 at most a?
True
Let w = 67 - 11. Let o = -57 + w. Do o and -2/37 have the same value?
False
Let j = -1352 + 74362/55. Let d be -2*2 - -1 - -2. Which is smaller: d or j?
d
Let b(d) = 2*d + 15. Let x be b(-7). Which is greater: x or 3/41?
x
Let b = -49277/205 - -1207/5. Which is bigger: 2 or b?
2
Let c(n) = -n**2 + 6*n - 6. Let h be c(5). Let k = -127 - -1401/11. Does h = k?
False
Let s = -8 + 4. Suppose -4*w = 5*f - 36, 2*w - w - 4 = 0. Let v(n) = -n**2 + 4*n - 3. Let k be v(f). Is k <= s?
False
Let o be (8/(-3 - -7))/(-14 + 13). Let q(w) = 478*w + 4. Let s be q(-3). Let u = s - -12854/9. Which is greater: o or u?
u
Suppose -475 - 434 = 9*n. Which is smaller: -103 or n?
-103
Let g be 0/(4/16 - (-7)/4). Which is smaller: g or -7/29?
-7/29
Suppose 2*w - 7 = -3. Suppose 0 = -f + 4*d + 11, 0 + 10 = 4*f + d. Is w at least f?
False
Let j = -217 - -222. Let h(d) = d**2 - 3*d + 4. Let o = -2 - -5. Let i be h(o). Which is smaller: i or j?
i
Let s(i) = -i**3 + 7*i**2 - 5*i - 1. Let k be s(5). Let l = k + 5. Let r(g) = g**2 + g + 16. Let q be r(-4). Is l not equal to q?
True
Let h(x) = x**3 - 9*x**2 + 10*x - 7. Let v be h(8). Suppose 0 = -3*k + v. Let j be k - (-4 - 192/(-28)). Which is bigger: j or -1/6?
j
Let n = 8/3 - 101/48. Is n >= 2?
False
Suppose -3*x + 75 = 4*p - 0*p, 2*x - 4*p - 70 = 0. Is -4 less than x?
True
Let c(b) = b - 5. Let a = -19 + 13.