. Let c be w(-23). Is 174 not equal to c?
False
Let n = -0.09704 - 0.10296. Let k = -6.88 + -0.12. Is k smaller than n?
True
Let x = 1759071/385 + -4569. Which is bigger: x or 1?
1
Let l = 745/534 + -50/89. Let x = -5 - -7. Is l at least x?
False
Let k be 12/(-8)*88/(-6). Let b(p) = p**3 + 16*p**2 + 8*p - 34. Let z be b(-15). Let q = 94 - z. Which is bigger: k or q?
q
Let c = -706984/272673 - -2/10099. Let q be 2/4 + 55286/(-17388). Let w = c - q. Is 1 greater than w?
True
Let m(k) = 2*k - 1. Let n be m(-5). Let y = -17 - -22. Suppose -y = 2*p + 5*u + 10, -3 = -3*u. Which is bigger: p or n?
p
Let a(t) = -8*t - 6. Let y be a(3). Let v be -13 - -11 - (-1 + y). Suppose -5*r + v = 4*i, 5*r - 4*i + 3*i - 24 = 0. Is 5 at least r?
True
Let z = -17 + 20. Let w = 45 - 51. Are z and w unequal?
True
Let y = -2.48 - -2.48. Which is smaller: y or 172?
y
Let r = -35.52 + -0.48. Is r > -4?
False
Let o = 6.2 - -29.8. Let q = 35.9 - o. Do q and 0 have the same value?
False
Let m = -12.31 + 12.01. Let r = 5.6 + -0.6. Which is greater: r or m?
r
Let n be (-15)/(-6) - 5*(-1)/(-10). Are 27/14 and n equal?
False
Let g(r) = -r**3 + 8*r**2 + 9*r - 13. Let v be g(9). Let m = 21 + v. Let t(h) = -h**2 + 8*h. Let b be t(m). Is b != -0.1?
True
Let w be (-114)/(-133)*98/2. Suppose -158 = s - 5*s - 5*a, -52 = -s + 5*a. Is w bigger than s?
False
Suppose -5*t + 0*t = 5*j, -5*j + 2*t + 14 = 0. Suppose 0 = 3*c + 5*r - 30 + 7, j*c + 3*r - 14 = 0. Are -2.5 and c non-equal?
True
Let r be -317*(9/(-9))/(-3 + 2). Is -317 at least r?
True
Let g = 21.2 - 21.1. Which is bigger: g or -43?
g
Let j be -3 - -7 - (5 - -140173). Let n be ((-3)/642)/(1/j). Let v = n + -655. Which is greater: 1 or v?
1
Let h = -184 - -289. Let j be (-1)/((-2)/15)*20/h. Let y be (-1)/(-2 + 1 + 0). Which is greater: y or j?
j
Suppose -3*n - 5*y + 16 = 0, 0 = -4*n + 2*y + 4. Suppose -5*m - 6*w + w - 25 = 0, 3*m - n*w = 10. Let z be 14/(-60) + 2/12. Which is greater: z or m?
m
Let y = 409/117 + -28/9. Suppose 5*d = -3*d - d. Which is bigger: d or y?
y
Let k(h) = -h**3 - 2*h**2 + 3*h - 2. Let g be k(-3). Let a be (-28)/(g + 3 - 3). Let o = a - 15. Which is bigger: -2/15 or o?
-2/15
Suppose 10*a - u + 2710 = 0, -3*a - 813 = -2*u - 2*u. Is -269 less than a?
False
Suppose -34*j + 792 = -2166. Is j != 89?
True
Let j = -73 + 24. Is -46 >= j?
True
Let p(z) = -2*z**2 + 27*z - 8. Let d be p(13). Suppose 6*i = d + 1. Which is greater: 0 or i?
i
Let k = -37 + 37.38. Let z = -0.32 - k. Do z and 1/5 have different values?
True
Let l = -326/3 + 94. Which is smaller: -14 or l?
l
Let h = -40 - -20. Let s be h/(-8) + (-1 - 6/(-4)). Is s smaller than -1?
False
Let r be (2*(-3)/(-2))/1. Let a = r - 11. Let b be (-6 - -8) + 26/a. Are b and -1 equal?
False
Let c be (-2)/12 - 52/(-24). Let d(p) = -5*p**2 - 8*p + 2. Let r be d(-2). Let z be (r - (-3)/(-3)) + c. Which is greater: z or 2/5?
2/5
Let t = -26 + 26. Let x(y) = -4*y - 16. Let i be x(t). Which is greater: -15 or i?
-15
Suppose 2*a - 12 = -2*p, -18*p = -3*a - 20*p + 12. Let y be (2/50)/((-12)/10145). Let x = y + 135/4. Is a greater than x?
True
Let r = 5 - 10. Let p = -22 - -31. Let g = p + -8.9. Is g < r?
False
Let n(z) = 40*z + 1. Let c be n(2). Let x = c - 53. Suppose -4*g = s + 3, -4*s + x = g + 10. Is -1 less than g?
False
Let x = -2.92 - 0.08. Let w = 0.0611 - -0.8389. Which is smaller: x or w?
x
Let l be ((-2)/3)/(49/84). Let t = -24572/595 + -169/85. Let b = -43 - t. Is b bigger than l?
True
Let v = 206528/95 + -2174. Which is bigger: v or -1?
v
Let r = -956 + 875. Let g = 1.7 + -0.7. Is g greater than r?
True
Let u be (45/27)/(1/3). Suppose a + 39 = -2*y, 5*a - 98 = u*y + 22. Let d(c) = -2*c**3 + 4*c**2 - 2*c + 3. Let i be d(3). Does y = i?
True
Suppose 2*i - f = -3*f - 4, -2*i - f = 3. Which is smaller: -12/7 or i?
-12/7
Let o be (26/16 - 2)/((-11)/22). Which is smaller: -0.31 or o?
-0.31
Let i(l) = 2*l**2 - 8*l + 3. Let u be i(5). Let b(z) = z**3 - 13*z**2 - 12*z - 14. Let n = 19 - 5. Let w be b(n). Which is greater: w or u?
w
Let s = 0.1 + -0.3. Let p be 42/112*-1*68/(-3). Which is smaller: p or s?
s
Let h(r) = 7*r**2 + 20*r - 1. Let f be h(-3). Let d(s) = s**2 - 7*s + 1. Let m be d(7). Let y be m + (-4)/((-12)/(-9)). Which is greater: f or y?
f
Let q be 3 + (-1316)/(-22) + (-4)/(-22). Which is bigger: 64 or q?
64
Let q be (0 + (-36)/(-6))*(-8)/(-36). Is q smaller than 1/16?
False
Let r be (-30*12)/((-66)/(-44)). Do -241 and r have the same value?
False
Suppose 3*r + 36*r = 13377. Is r >= 343?
True
Let n = 3030 + -15044/5. Is 22 greater than n?
True
Suppose 2*m - 36 = 3*d, m = 3*d - 2*m + 39. Let c be (-4)/d + (-10)/6 + 1. Is -0.2 > c?
True
Let x = 0.8 + -0.71. Let b = x - -5.91. Let d = b + -4. Which is bigger: -3 or d?
d
Let h(n) = n**3 - 34*n**2 + 33*n - 10. Let w be h(33). Which is smaller: w or -64/7?
w
Let d = 9.02 - 9. Which is smaller: 0.071 or d?
d
Let v = -249.4 + 249. Let z = 51.4 + -47. Let r = v + z. Is 3 smaller than r?
True
Let d(n) = 58*n**2 - 11*n - 23. Let r be d(-2). Which is smaller: r or 233?
r
Suppose 3*g - 61 = -4*r, -4*r = -2*g + r + 10. Is g less than 47/3?
True
Let g be 4/24 - 0 - (-14884)/(-24). Let t = g - -9304/15. Is t at least 2/9?
True
Let l = 13 - 21. Let n = 8 + l. Let d = -617/5 - -123. Which is smaller: n or d?
d
Let j = -89.6 - -102. Let b = j + -12. Let h = 3 + -3.2. Do h and b have different values?
True
Suppose 0 = -x - 0 - 3. Let u = 44 - 48. Which is greater: u or x?
x
Let x(n) = n**2 - 3*n + 7. Let z(l) = -l**2 - 11*l + 5. Let u be z(-11). Let g be x(u). Which is bigger: 1 or g?
g
Let s = -6 + 15. Suppose -2*t = -1 - 1. Let g be (s/6)/((-3)/t). Is g bigger than -2?
True
Suppose -p + 5*i + 14 = -6, -48 = -3*p + 3*i. Suppose n + 2*n = p. Suppose n*v + 1 = -t + 28, -t - 4*v + 22 = 0. Are 3 and t nonequal?
True
Let u = 21332 - 106657/5. Let l = 0 + 1. Let c = l + -1. Is c >= u?
False
Let r(q) be the second derivative of q**4/12 + 5*q**3/6 - 2*q**2 - 6*q. Let n be r(-6). Suppose -1 = n*c + 11. Which is smaller: -7 or c?
-7
Let d be (-49)/(-14) + (-247)/42. Is d greater than or equal to -3?
True
Suppose -3*w - 21 = -6*w. Suppose -5*r = -17 + w. Let v be 1/((-6)/4) + (-200)/(-75). Is r bigger than v?
False
Let d = 37 + -47. Let a be 18/63 - d/(-56). Which is smaller: a or 1?
a
Suppose -j + 4 = -2*j. Let n = -8 + 10. Let t be n/80*6*j. Which is smaller: -2 or t?
-2
Let i = -0.1916 - -0.2916. Is 192 less than i?
False
Let o(s) = s**3 - 10*s**2 - 13*s + 25. Let j be o(11). Suppose 0 = j*q - 1 - 2. Which is smaller: q or -2/89?
-2/89
Let b(q) = q**2 - 5*q + 1. Let u be b(5). Let k(o) = -u - o**3 - 4*o + 4*o - 6*o**2. Let j be k(-6). Are j and -1 nonequal?
False
Let d = 661 - 664. Which is bigger: d or -84/41?
-84/41
Let g = 13 + -10. Suppose g*b + 30 = 8*b - 5*v, 0 = 3*b - 4*v - 21. Which is bigger: b or 4?
4
Suppose -2*g = 4*q + 5 + 9, 2*q = -8. Let d = 8118/6665 + -24/1333. Which is smaller: g or d?
g
Suppose 0 = -4*i + 4*v - 6*v + 18, -3*i - v = -11. Let t = 3 - 0. Let q = t - i. Is -1/5 bigger than q?
False
Let l = 45 - 43. Suppose 4*w - 4 = 32. Which is smaller: w or l?
l
Let x = -4 + -2. Let d(j) = -j**2 - 5*j - 5. Let l be d(x). Suppose -6*i - 25 = 5*o - 2*i, -11 = o + 2*i. Are l and o non-equal?
True
Suppose -5*s + 0*s - 4*b + 433 = 0, 0 = -3*s + 2*b + 273. Which is bigger: s or 628/7?
628/7
Let y = -8.38 - -8.38. Which is smaller: -17/9 or y?
-17/9
Let x be 2347/(-3640) + 30/(-75). Let o = x - 9/280. Which is smaller: o or -1?
o
Let y = -19.114 - -0.114. Are 1.4 and y unequal?
True
Let v be (0 - (-2)/4)*-44. Let z(p) = -23*p**3 + 4*p**2 - 2. Let i be z(1). Which is smaller: i or v?
v
Let n be (-1118)/(-1518) - 8/12. Let g = 2/33 + n. Which is bigger: 1 or g?
1
Let x = 341896643381 + -485493191560877/1420. Let l = x - 118425/4. Let m = 6/71 - l. Which is smaller: m or 0?
0
Let k = -48.9 + 51. Let i = -30.4 - -32. Let y = i - k. Is y at least 4?
False
Suppose 4*p = -3*u + 12 + 15, 28 = 5*p - 2*u. Let l be (-3)/p - 3/6. Which is smaller: l or 2/79?
l
Let n(m) = -58*m + 1231. Let r be n(18). Which is smaller: r or 186?
186
Let h = 116.91 - 121. Let l = -4 - h. Is 3 greater than or equal to l?
True
Suppose 3 = 2*u + 2*z - z, -3*u = -5*z + 2. Suppose -p = -2*p - u. Let y = -7 + p. Are -7 and y nonequal?
True
Let y = -1222.6 - -