and t nonequal?
True
Suppose -10 = -y - 4*y, 110 = -4*p + 3*y. Let q = 6 + p. Which is greater: q or -18?
-18
Let a be ((-2)/(-2))/(1/(-13)). Suppose -54 = -7*b - 68 - 84. Which is smaller: b or a?
b
Suppose 2*v + 6 = 2. Let o be 2*(-8)/(-6 - v). Suppose 2*s - 22 = -o*c, -2*s - c = c - 12. Which is smaller: s or 4?
s
Let i(s) = -18*s - 141. Let y be i(-6). Let g = -41 - -6. Which is smaller: y or g?
g
Let y = 56512/25 + -2260. Let f = y - 161/75. Let w = 0.92 + 0.08. Are f and w unequal?
True
Let r be -3*(-1 + 4/2)/1. Is r greater than or equal to -34/15?
False
Let n(o) = -o**2 - 5*o + 15. Let m be n(-7). Let c be (-33)/11 - (-151 + m). Let j be 10*(-3 + c/45). Is 3 at least as big as j?
True
Let r = -5/8 + 7/24. Let f = -2276/7 + 326. Which is smaller: f or r?
r
Suppose -2*v = -0*v - 8. Suppose 4 = 4*r + 4*m + 20, -2*r + 4 = -v*m. Which is greater: -5/3 or r?
-5/3
Let r = -501 + 492. Which is bigger: 13 or r?
13
Let q = -86 + 87. Which is smaller: q or -2?
-2
Suppose -4*n - 2*w = -w - 35, 4*n + 4*w = 20. Let m(p) = 14*p**2 - 208*p - 20. Let v be m(15). Are n and v non-equal?
False
Let s be (15/(-1415)*1)/(15/10). Which is greater: s or 1?
1
Let a(q) = q**3 + 6*q**2 + 4*q - 9. Let g be a(-3). Which is bigger: 11 or g?
11
Let s be 1/(9/(36/(-8)) - -3). Are 2/523 and s equal?
False
Let t be ((-9)/78)/((-54)/(-12) - 4). Which is bigger: 3 or t?
3
Let d = 46 + -46.48. Let i = d - -0.48. Suppose 22 = 2*s + 3*s + y, 5*s - 24 = -2*y. Are i and s equal?
False
Let r be (-10)/3*9/(-8). Let t be ((-18)/15)/(2 - 177/90). Let j = -32 - t. Is j != r?
True
Let s be ((-1)/2)/((-17)/(-136)). Let q be ((-16)/(-12))/(s/(-18)). Are 3 and q non-equal?
True
Let m = -5 - -13. Let i = 23 - 34. Let l(d) = -d - 2. Let p be l(i). Which is smaller: m or p?
m
Let x = 523 - 748. Let d be 9/36 + x/4. Which is greater: d or -55?
-55
Let d(g) = 6*g**2 - 2*g. Let j be d(1). Suppose 19*s - 17*s + j = 0. Let k(q) = q**2 - 7*q + 2. Let x be k(6). Is s < x?
False
Suppose -5*m + 628 = 83. Are m and 108 equal?
False
Let p be (-16)/(-4) + (-359)/90. Which is smaller: 0 or p?
0
Let j = 0.048 - -10.752. Let a = j - -0.2. Let r = a - 10. Which is greater: 2.2 or r?
2.2
Let x be 2/(2/1) - 2. Let q(u) be the third derivative of -u**5/60 + 7*u**4/24 - 2*u**3 + 40*u**2. Let p be q(3). Which is smaller: p or x?
x
Suppose 0 = -8*u + 36 - 12. Let q be (-3)/((-27)/(-6))*u. Is q bigger than -0.08?
False
Let a be (-250)/6 - (-4)/6. Let g = 12 + a. Are g and -28 unequal?
True
Let d be (-3332)/28 - (0 + 1). Which is smaller: d or -119?
d
Let q = 1014 - 1021. Is q greater than -146/23?
False
Let q(w) = -w**3 - 13*w**2 - 16*w + 65. Let u be q(-11). Let i = -237 - -10664/45. Which is smaller: u or i?
u
Let r(i) = i - 16. Let k be r(7). Let b = 15 - k. Which is greater: b or 23?
b
Let q(o) = -o**3 - 9*o**2 - 8*o + 9. Let v be q(-8). Let x be (-88)/(-5) - 3/5. Let u = 27 - x. Is v at most as big as u?
True
Let h be -1*(-5533 + -1) + 0/8. Let o = h - 1820684/329. Is o greater than or equal to 1?
False
Let x = 41 + -26. Let d(g) = 8*g**2 + 9 + 4*g + x*g**3 - 12*g - 16*g**3. Let m be d(7). Which is smaller: m or 5/7?
5/7
Let u(x) = -2*x**2 - 2*x + 1. Let n be u(2). Let l = n - 24. Let a = l - -54. Is a at least as big as 18?
True
Suppose 18*s - 17*s - 2 = 0. Let c = 3.2 + -0.2. Is c >= s?
True
Let q(h) = -h**3 - 7*h**2 - 9*h - 8. Let n be q(-6). Let d be (-4)/2 - -10 - -1. Let f = d - n. Is f less than or equal to 1/20?
True
Let h = 553 - 449. Do 1/5 and h have different values?
True
Suppose -6*f + f = 0. Let o(h) = -3*h**2 - 17. Let a be o(f). Are -18 and a nonequal?
True
Let a = 18 - 4. Suppose 0 = -a*m + 9*m - 20. Let w be ((-325)/10)/(-5)*m. Is -27 less than w?
True
Let u(y) = -y**3 + 13*y**2 - 10*y - 8. Let f be u(12). Let i = -1262/79 + f. Suppose 3*q + 6 = 3*p - 6, 3*p - q = 2. Which is greater: p or i?
i
Let h be 11 + (5 - 3) - -3. Suppose 3*y + h = 1. Let f be (24/(-30))/((-11)/y). Is -1 at least as big as f?
False
Let l = 21.9 + -20. Let p = -2 + l. Let k = -3.7 + 0.7. Is k smaller than p?
True
Let l = -0.3 + -2.7. Let r = l + 2.8. Let z = -43.9 - -44. Is z != r?
True
Let q = 75749/9 - 8425. Are q and -7 unequal?
True
Let a = -174.4 + 175.4. Which is smaller: a or -762?
-762
Suppose 6*f + 64 = -26. Let w be (-231)/(-35) - (-9)/f. Which is smaller: w or 1/3?
1/3
Let s be 2*(4/(2 + -1) + -3). Let b be s/230*149 - 9/15. Is 0 not equal to b?
True
Let c = -3 - 2. Let y = -9.5 + 3.9. Let h = y - c. Is 2 equal to h?
False
Let d = 137 + -153. Let x(h) = 4*h - 2. Let s be x(-3). Which is bigger: s or d?
s
Let x = 0 - 0.05. Is x greater than -43?
True
Let w(i) = -3*i + 2. Let g(f) = f + 1. Let z(j) = 2*g(j) + w(j). Let u be z(2). Suppose u*d - 6*d = -8. Do 2 and d have the same value?
True
Let f = -0.2 + -2.8. Let c = -3.5 - f. Let t = -0.5 + c. Is t not equal to 6?
True
Let k = -3115 + 1160. Let a = k + 193543/99. Suppose 76*s + 2553 - 2553 = 0. Is s at most as big as a?
False
Let i = -4.729 + -0.271. Suppose 0 = -n - 2*n + 9. Let l(v) = -v**2 + 4*v - 2. Let k be l(n). Is i less than or equal to k?
True
Let i = 74 + -68. Suppose 10 = -4*d + i. Is d > -2/11?
False
Let s = -248/495 - 4/33. Which is smaller: -1 or s?
-1
Let i = -5 - 1. Let k be 110/(-12) + 3 + 2/12. Is i at most k?
True
Suppose 4*k - 3 - 13 = 2*z, -2*z = 4*k. Suppose -4 = c - k. Let r be 0*c/6 + -11. Is -12 >= r?
False
Let c = 1.3 - 0.5. Let n = c + -0.9. Let b = -0.2 - -2.2. Is b at least n?
True
Suppose -5*r - 5 = -4*r. Suppose 13*m + 16 = 17*m. Let h = m + -8. Which is smaller: h or r?
r
Let n = -0.236 - 9.764. Which is smaller: -0.5 or n?
n
Let f = -6.16 - 300.84. Which is smaller: -0.1 or f?
f
Suppose u + 251 = 5*z, -3*z + 4*u + 98 = -39. Suppose 2*a = -a - z. Let p = -17 - a. Is 0.1 <= p?
False
Let v(a) = a + 25. Let z(d) = -21*d**2 - d - 1. Let i be z(-1). Let k be v(i). Suppose -k*u - 3 = -u. Which is greater: 1 or u?
1
Let v(b) = -18*b + 270. Let f be v(15). Let o = -218 + 5887/27. Which is bigger: f or o?
o
Let c = 109 + -110.2. Let f = 3 + -1.7. Let b = f + c. Is 4 greater than or equal to b?
True
Let n = 58 + -57. Let o be -46 + 0 + n + -2. Is -46 greater than or equal to o?
True
Let s(d) = d**3 + 20*d**2 + 89*d - 57. Let w be s(-13). Is w > 2/11?
False
Let g(l) = -l**3 - 7*l**2 - 2*l + 3. Let i be g(-7). Let s = -10 + i. Let v = -8 + s. Is v < 2/11?
True
Suppose 3*o + y - 40 = 6*y, -o = 2*y - 6. Suppose 5*c + 4*g + 16 = 4*c, -2*c - o = -3*g. Do -7 and c have the same value?
False
Let g = 2.6 + 17.4. Which is smaller: g or -0.003?
-0.003
Let o = -61121/444 + 413/3. Suppose 2 = g + g. Is o at least as big as g?
False
Let z(s) = s**2 + 6*s + 7. Suppose 3*w = -3*v - 3, -2*w + w - 5*v + 11 = 0. Let p = -1 + w. Let m be z(p). Which is smaller: 2/3 or m?
2/3
Let u = 2/295 - 63/590. Suppose 0 = v + 1 - 2. Is u equal to v?
False
Suppose -2*h = 3*w - 237, -3*w + 605 = 5*h - 8*w. Suppose -4*d + 0*d = o - 480, 240 = 2*d + 5*o. Is h greater than d?
False
Let q(a) = 5*a - 4. Let j be q(-7). Let s = -191 - -151. Is s at least j?
False
Let x = 390.805 - -0.195. Is x equal to 1/4?
False
Let g be (36/(-21))/(4/(-70)). Suppose -22 - g = -2*z. Let s(k) = k**2 + k - 12. Let l be s(-4). Which is greater: z or l?
z
Suppose 7*x - 3*x - 16 = 0. Suppose 0 = 2*h - x. Suppose -4*w + k = -w - 9, 2*k = -5*w + 26. Is h smaller than w?
True
Let a = 5 + -5. Let p be (-11 - a)/(-1)*-4. Let x = 83/2 + p. Which is greater: -4 or x?
x
Let d = -13/7 + 15/7. Let r(f) = f + 10. Let a be r(-10). Suppose -3*h + 3*v - 6 = a, 3*v - 4 = -0*h + h. Which is smaller: d or h?
h
Let i = -21 + 182. Let v = -463/3 + i. Which is smaller: 6 or v?
6
Suppose 151*b - 83*b - 57*b - 22 = 0. Suppose -4*a + 1 + 3 = 0. Let n be (-2)/(-4) - a/(-4). Is n smaller than b?
True
Let d = 1/33 - -7/11. Is d not equal to 2?
True
Let w be 83/1743*(0 + 6). Which is smaller: -206 or w?
-206
Let u = 8.6 - 13.6. Let j = 366/7 - 52. Is u >= j?
False
Let t(s) = -3*s**2 - 34*s + 36. Let o(h) = h**2 + 17*h - 18. Let z(l) = 5*o(l) + 2*t(l). Let x be z(13). Suppose -5*p - x = -9. Which is bigger: -25/4 or p?
p
Let t be ((-2)/3)/(1/(-3)). Suppose -p = -t*p. Let y be p/(3/(-6)*2). Is y not equal to -5/4?
True
Suppose 0 = -4*b - k + 29, b - 3*k - 2 - 2 = 0. Suppose -4*l + 24 = 3*o, l + b = 5*o - 10. Let s(h