4. Are s and 0 unequal?
True
Let m(o) = -o**2 + 31*o + 150. Let q be m(35). Suppose -b = 2*b. Let r be b + 9 + 2 + -1. Is r less than q?
False
Let m be (-7 + (-250)/(-40))/((-12)/(-64)). Which is smaller: -32 or m?
-32
Suppose -433 = 27*n + 755. Is n > -38?
False
Suppose -3*r = -5*m - 2, 26 = 3*r - 4*r - 5*m. Let w(l) = l**3 + 5*l**2 - 6*l + 6. Let d be w(r). Let p be (0 - -5) + 0/(-6 + 0). Which is smaller: d or p?
p
Let i = 0.03 - 0.53. Let z = i + 0.56. Let s = 0.16 - z. Which is smaller: 5 or s?
s
Let i be (-36)/(-120)*(-85)/(-12). Which is greater: i or 1?
i
Let u be ((-1000)/30)/10*252. Which is greater: u or -839?
-839
Suppose q - 2*k - 14 = -2*q, 2*q + 4 = -2*k. Suppose 3*x + x = -2*r + 20, q*x - 3*r - 2 = 0. Is x greater than or equal to -6?
True
Let c be (168/23310)/((-4)/10). Is c <= -7?
False
Let d = -343 - -3776/11. Let h be (2/4)/(2/(-12)). Let n be 3 + h + 0/(-2). Is n bigger than d?
False
Suppose -3*j = 0, 6*v + j = 5*v - 6. Let z(h) = -h**2 + 4*h - 3. Let u be z(3). Is u greater than or equal to v?
True
Let o be ((-15)/(-18)*3)/((-13)/(-2)). Let b(u) = -u**3 - 3*u**2. Let v be b(-3). Which is greater: v or o?
o
Let f = -48 + 49. Suppose -87 = -w - 87. Which is smaller: w or f?
w
Let q be (45/(-57))/(-5)*897/630. Let r = -1/95 + q. Which is smaller: r or 2?
r
Suppose 0 = -3*z + 3, 2*j + 2*z + 1 = -5. Let y = -1 + 0.8. Let g = 0.4 + y. Which is bigger: j or g?
g
Let p = 301 + -1229/4. Does p = -6?
False
Let c be (5/(-10))/(2/40). Let t = 33.96 + -34. Let b = 0.06 - t. Which is smaller: c or b?
c
Let r = 11 + 164. Does 0 = r?
False
Let b be (30/(-20))/(3/(-32)). Let u = 13 - b. Is u equal to -3?
True
Let t = 8 + -51. Let l = t - -16. Which is bigger: l or -1?
-1
Let d = -1291875/4 - -324745. Let z = d + -1796. Is -20 less than z?
True
Suppose -29*n + 48796 = -73*n. Is n smaller than -1110?
False
Let q = -17 + 16.9. Let n = q + -0.3. Let o = -5.1 + 5. Which is smaller: o or n?
n
Let r(z) = 2*z - 3. Let a be r(2). Let b be a + ((-2)/4)/((-9)/(-16)). Is 3/4 smaller than b?
False
Let x be (-14)/138*12/(-42). Let m be (20/220)/(6/66). Do m and x have different values?
True
Let r be 48/(-2032)*(1 + (-10)/6). Which is smaller: r or -1?
-1
Let m = -0.237 + 2.137. Which is smaller: -8 or m?
-8
Let a = 9.2 - 12.2. Which is smaller: a or -0.06?
a
Let z = 351 + -326. Which is greater: z or 128/5?
128/5
Let n(o) = 3*o**3 - 2*o**2 + 1. Let i = 11 + -12. Let j be n(i). Let s be ((-2)/j)/((-30)/160). Is -2 greater than s?
True
Let j = -150 - -150. Let w(v) = -v**3 - 3*v**2 - v - 4. Let t be w(-3). Let h be 8/(-4) - t*2. Is h at least j?
True
Let u(x) = x**2 - 14*x - 36. Let p be u(16). Let j be (3 - (-90)/p)*2/(-3). Is j greater than 69/5?
False
Let j = -16 - -23. Let x = -7 + 11. Suppose 9 = x*s - 3. Is j greater than s?
True
Let y = -3397 + 3397.8. Let s = -489/10 - -3603/70. Let u = -68/21 + s. Which is smaller: u or y?
u
Suppose 1 = -h - 3*x + 4, 4*x - 4 = h. Let f be 22/(-77) + (-47)/(-91). Let w = f - 11/104. Is h smaller than w?
True
Suppose -5*m + 21 = -r, 2*r + 16 = 3*m - 2*r. Suppose -m*w + 17 = 3*l, -4*l = l - 4*w - 7. Let c(y) = y**2 + y + 2. Let k be c(0). Which is smaller: l or k?
k
Suppose 0 = -4*p + w + 9, -4*p + 2*w = -8 - 6. Suppose -3*z - 2*c + 5*c = 177, 71 = -z - 2*c. Let i be 24/z + (-2)/(-3). Does p = i?
False
Let s = 62 + -20. Are 42 and s non-equal?
False
Suppose -y = -2*m - 23, m = -0*y + 3*y - 59. Which is smaller: 13 or y?
13
Suppose 4*y = 8*y - 8700. Let j be (y/20)/5 - 5. Does j = 18?
False
Let k(i) = 10*i - 11*i - 3 - 6. Let m be k(-11). Let g(q) = q**3 - 5*q**2 - 5*q - 4. Let n be g(6). Is m smaller than n?
False
Let h = 62 - 57. Suppose 0*i + h*n + 22 = i, 9 = 2*i - 3*n. Are -4 and i non-equal?
True
Let i = -65 - -66. Suppose -m - s + 5 = 0, 4*m = m + 5*s - i. Is -1 greater than or equal to m?
False
Let a = 1814 - 1527. Is a < 287?
False
Suppose -6*z + 3*z + 15 = 0. Suppose 0 = -j + z*m - 32, 0 = -4*j + 4*m - 5*m - 23. Is j greater than or equal to -0.3?
False
Let o(n) = -n + 9. Let p be o(5). Suppose -5*y = -p - 1. Let v be (-11)/51 + 12/(-102). Which is greater: v or y?
y
Let f be (((-416)/12)/(-4))/((-22)/33). Is f at least as big as -2?
False
Suppose -13*d + 33 = -734. Let b = d - 65. Which is greater: b or -21/4?
-21/4
Let r = -1145/3 - -385. Suppose 0 = 3*d - 4*d + 7*h - 22, -4*d + 3*h - 13 = 0. Is r at least d?
True
Let k = -686 - -683. Let g = 208/7 + -30. Does k = g?
False
Let d(f) = f + 11. Let i be d(-14). Let t be ((-20)/(-12) + -1)*i. Let p be ((-44)/(-363))/(t/3). Does 0 = p?
False
Let y = -3.86 + -0.84. Which is smaller: y or 2/11?
y
Let c be ((-5)/((-10)/(-3)))/(15/(-40)). Let q be 2 - 13 - c - 0/1. Which is bigger: q or -16?
q
Let a be (-6)/(-15) - (-26)/10. Let q = 2 + 19. Suppose q = -o + 22. Are a and o non-equal?
True
Let o = -1930 + 1936. Is o != 0.37?
True
Suppose 0 = 3*o - 0*o - 3. Suppose -2*y - 15 = 5*p + o, 2*p + 3*y = -13. Suppose -6*q - q + 2*q = 0. Is p < q?
True
Let o(f) = 35*f**3 - 4*f**2 + 6*f - 4. Let w be o(1). Which is bigger: -1 or w?
w
Let c = 1972 + -2070. Is -106 less than c?
True
Let z be (-148788)/252 + (-6)/(-14). Is -589 < z?
False
Let r = -5 + 0. Let p(x) = 3*x + 15. Let c be p(r). Do 7/5 and c have the same value?
False
Let k = 26 + -38. Let w = 12.8 + k. Is w greater than or equal to -0.1?
True
Suppose -z - 4*o - 15 + 50 = 0, -2*z = -5*o - 5. Let v be (-357)/(-780) + (-6)/z. Which is bigger: 1 or v?
1
Let k be (17*(-57)/(-15181))/(2/16). Which is bigger: k or 0?
k
Suppose -2*l + 12 = l. Suppose -l*s + 4*c = -s - 10, 2*s + 5*c = -24. Which is smaller: 3 or s?
s
Suppose 0*u - u = 5, 5*u = f - 26. Suppose -2*l + 400 = 23*l. Let k be 2/(-4)*l/24. Which is smaller: k or f?
k
Suppose 1 = l - 1. Suppose 0 = -m - 5*d - l - 2, -m = -3*d - 12. Suppose c = -0*c - 4*k + m, 0 = c - 5*k + 3. Which is bigger: c or 1?
c
Suppose 13*n + 10*n = 184. Which is bigger: 9 or n?
9
Let s(g) = 14*g**2 - 2*g + 4. Let t be s(2). Suppose 6*b - 2*b = -t. Is -14 smaller than b?
False
Suppose d + 4 = 2*u, -d - 4*d + 45 = 3*u. Let q(w) = 4*w - 10. Let o(x) = 5*x - 10. Let n(b) = 2*o(b) - 3*q(b). Let t be n(d). Is t < -6/11?
True
Let s(i) = -12*i - 428. Let d be s(-35). Which is smaller: d or -2.6?
d
Suppose -3*m = -0*p + 2*p - 16, -5*p + 4*m = -40. Suppose -p = 4*b, 2*n - 23 = b + 1. Is n >= 57/5?
False
Let j be -2 - (-1)/((-5432)/(-10450)). Let g = j + -3/97. Suppose -2*z = -5*n - 20, -z + 13 = -3*n + 1. Is g bigger than z?
False
Suppose 9*k - 72 = y + 4*k, 0 = 3*k. Is y >= -72?
True
Let t = -2004693/287 - -6985. Is 0 equal to t?
False
Suppose -15 = 3*g, 77 = z - 2*g + 3*g. Let c = 904/11 - z. Let j be (3/(-4))/(69/46)*0. Which is greater: c or j?
c
Suppose 55*t = 60*t + 5*p, 0 = -2*p + 2. Suppose d = -4*a - 45, -2*d + 5*a - 11 - 53 = 0. Which is bigger: d or t?
t
Let z = 117/2 + -58. Which is bigger: 89 or z?
89
Let k(w) = -w - 1. Let a be k(-1). Suppose -4*v - 24 = 4*z, -5*z - 3*v = -a*v + 22. Let l be (-2)/(390/74 + -5) - -6. Is l equal to z?
False
Let k(w) = -w**2 + 13*w + 31. Let d be k(14). Let u = -17 + d. Is 2/115 at least u?
True
Suppose 63 = -2*c + 5*p + 18, -3*p = -3*c - 63. Which is greater: c or -11?
-11
Suppose j - 10 = -j. Let y(m) = -20*m - m + 12*m + 8 + 8*m. Let c be y(j). Which is smaller: 4 or c?
c
Let q = -301 - -301.34. Is -1 <= q?
True
Let y be (-1686)/54 - (1 - (-2 + 7)). Are y and -28 equal?
False
Suppose 91*u - 93*u = 0. Let q be 4/(-10) + (-8)/5. Let v be q - 0 - (-39)/19. Which is bigger: v or u?
v
Let b = 47 + -66. Let v = 18.9 + b. Let y = -1/2 + -1/6. Is y at least as big as v?
False
Let k = 7 - 2. Suppose 0 = -k*v + 6*v - 2. Is 2 greater than or equal to v?
True
Let t = 0.16 + 0.84. Let c = t + -20. Which is smaller: c or 1?
c
Suppose -2*c - 3*t + 13 = 0, 0 = c + t + 1 - 6. Let h be 2*((-4)/10 + c/(-20)). Is h > -1/17?
False
Let q = -0.017 - -0.037. Which is greater: q or 7?
7
Let g be ((-3)/308070)/(4/1757164). Let u = g - -1/17115. Let z = -23/6 - u. Is z less than 1?
True
Let y be 6 + (-306)/152 + 1 + -5. Is -1 >= y?
False
Let k be (4 + -2)*(-1)/(-17). Let b be ((-6)/(-135))/(2/(-10)). Are k and b nonequal?
True
Let k = -1 - -1. Let w = -17428/57 + 916/3. Do k and w have different values?
True
Let v = 37 + -109/3. Which is smaller: -22.2 or v?
-22.2
Let k(o) 