4. Let s = 0 - 11. Is s bigger than r?
False
Suppose 6*x + 13 = -5. Which is bigger: -5 or x?
x
Suppose -3*x + 4*x = 1. Let f be (-10)/(-3)*72/(-16). Let q be f/(-4) - (-9)/(-12). Are q and x equal?
False
Let q = 5 + -5. Let s = -0.1 - 0.1. Let i = -0.3 - s. Are q and i equal?
False
Let p = 2.656 + 0.044. Which is smaller: p or 1?
1
Let r(y) = -8*y**2 - 4*y - 1. Let o be r(-3). Let s be 220/(-48)*(-4)/o. Let c = s + -2/61. Which is bigger: 4/7 or c?
4/7
Suppose -3*z - 4*y = -6*z - 18, -2*z - 5 = -5*y. Do z and -9 have different values?
True
Let q be (-2)/7 + (-6)/(-21). Suppose 0*f + w + 6 = -f, -5*f - 3*w - 20 = q. Are -2 and f equal?
False
Let v be (-3 - -9)*-1 - -2. Let s(z) = -z**3 - 4*z**2 - 3. Let m be s(v). Let k be (-2 - 3/(-2))*4. Is m > k?
False
Let h be (-2)/18*-6 + -1. Which is smaller: h or -3/4?
-3/4
Let h = -8.07 - -0.07. Let j = 7 + h. Is j <= -1?
True
Let f = -67 + 69. Is -3 < f?
True
Let i be (-56)/(-30) - 3/15. Is 2 bigger than i?
True
Let a = -56 + 56.074. Let t = a + 0.236. Let g = t - 0.01. Which is smaller: g or -1?
-1
Suppose 3*b = -2*l - 17, -4*l - 41 = 5*b - 16. Which is greater: b or -1/4?
-1/4
Let q(u) be the third derivative of -u**4/12 + u**3 - 12*u**2. Suppose 0*d + 3*y = -4*d + 14, -5*d - 3*y + 19 = 0. Let b be q(d). Is b greater than -4?
False
Suppose 17 - 27 = 5*b. Which is bigger: b or -5/7?
-5/7
Suppose -4*i + 5*i + 3*c - 6 = 0, -2*i + 3*c = 24. Let v = -14 + 7. Are i and v non-equal?
True
Let b = 3 + -1. Suppose 0 = 5*t - 7 + b. Which is bigger: 1/17 or t?
t
Let h be (4 + 2)*2/(-6). Let j be ((-5)/(-2))/(h/(-4)). Is j less than 3?
False
Suppose 3*b + 2*r + 2*r + 5 = 0, 4*r = 5*b + 19. Let u(x) = -x**3 - 2*x**2 + 2*x - 2. Let g be u(b). Which is smaller: 6 or g?
g
Let c(b) = -b - 2. Let k be c(-3). Suppose -5 = 5*t - 45. Let l be 12/16 - (-2)/t. Is k <= l?
True
Suppose -5*k - 21 = -1. Let h(i) be the third derivative of i**5/60 + 5*i**4/24 + i**3 + 7*i**2. Let a be h(k). Is a at least as big as 3?
False
Let x = 188/273 + -2/91. Let f be -1 + (4 - 2) - -4. Let z = f + -4. Is x != z?
True
Suppose -4*f + f - 9 = 0. Let h = f - -5. Suppose h*w - 1 = -3. Is w smaller than -1/4?
True
Suppose -5 + 13 = -4*p. Let f be p*6 - (-4 - -2). Let r be f/4 + 0 + 1. Is -1 at most r?
False
Let b be (3/(-2))/(76 + -3). Let a = -359/292 + b. Is -2 at most as big as a?
True
Let o(u) = 20*u. Let c(y) = y**3 + y**2 + 1. Let b be c(0). Let m be o(b). Let w be 4/10 - 28/m. Does 0 = w?
False
Let f = -5 - -6. Let u = -95/4 + 23. Is f equal to u?
False
Let x be 4/14*28/48. Do -2 and x have the same value?
False
Suppose -4*p = -42 - 94. Is p less than 34?
False
Let r = 0.4 + -0.3. Let s = -8 - -12. Which is smaller: s or r?
r
Suppose 5*z + 0 = 5. Suppose 0*n = 3*n - u - 9, -4*n = -3*u - 17. Is n smaller than z?
False
Suppose -5*h - 5*s = -s - 400, -3*s - 267 = -3*h. Are h and 83 nonequal?
True
Suppose -3*n + 58 = -98. Suppose -2*u + n = 2*m, m + 2 = 2*u + 13. Suppose g + m = -5*d - 3, -3*g = -5*d - 8. Is -3 less than or equal to g?
False
Let d be 6/(-15)*-5*1. Let t = 187/122 + -2/61. Which is smaller: d or t?
t
Let x be (1 - 3)*(-4)/(-8). Let l = 1 - -5. Let v be 2/(-5) - l/10. Is v smaller than x?
False
Let v = 2.3 + -2. Let p = 0.2 - v. Do 1/3 and p have different values?
True
Let d be (1 + -1)*(-2 + 1). Which is bigger: d or -0.3?
d
Let i = 3 + -5. Let s be i/(-3)*-3 - -2. Which is smaller: 1/3 or s?
s
Suppose 2 = -3*f - 0*t + t, f = 2*t + 1. Are f and -6/49 unequal?
True
Let s(y) = y**3 - 2*y**2 + 1. Let k be s(1). Is 2/43 less than or equal to k?
False
Suppose -2*f = 3*f - 40. Which is smaller: 6 or f?
6
Let z = -2 + 14. Suppose 3*g = -g + z. Suppose 2*p + 6 = -5*s - 4, -4*s = -g*p - 15. Which is smaller: -4/7 or s?
-4/7
Let v(j) = -j**2 + 7*j. Let q be v(7). Suppose q = 4*c - 4*f - 4, 5*c - 4*f = -f + 5. Let r = -3 + 4. Is r >= c?
True
Suppose 0 = -2*z + 5*b, 2*b = 2*z + 3*b. Let q be -1*2 + (-4)/(-2). Are z and q non-equal?
False
Let n = -137 - -547/4. Let v be -1*1 + (-1 - -2). Is v at most as big as n?
False
Let a = 0.56 + -0.5. Let x = a - -0.04. Which is bigger: -2/5 or x?
x
Let f = 8495/31 - 274. Let o = -40/279 + f. Let g(l) = -3*l + 11. Let m be g(4). Is m bigger than o?
False
Let g = -52.76 - -53. Is g > 0.2?
True
Suppose 0 = -11*w + 65 + 67. Is w greater than 12?
False
Let v be ((-924)/(-18))/(-11)*(-1)/6. Which is smaller: 2 or v?
v
Let f be 7695/91 + 4/14. Let y be 424/(-5) + 1/(-5). Let q = f + y. Is q greater than -1?
True
Let p = 11.6 - 12.6. Let r be (0 + 1)*(2 + -2). Let k = r + 0. Which is greater: k or p?
k
Let a(b) = b**3 - 9*b**2 + 7*b + 13. Let d be a(8). Let r(p) = p**3 - 5*p**2 - p. Let z be r(d). Do -5 and z have the same value?
True
Let n = 249 - 235.1. Let u = -14 + n. Which is greater: 3/13 or u?
3/13
Let t be -1 + -1 - (-6)/(-5). Which is smaller: -4 or t?
-4
Let l = -235 - -461/2. Is l greater than or equal to -5?
True
Let t(j) = -2*j - 9. Let v be t(-7). Suppose -v*m - 15 = 0, 2*r - 4*m + 32 = -12. Let g be 2*(-2)/r*1. Is g > 0?
True
Suppose 4*r = -2*d + 6, -3*r = -4*d - 11 - 10. Is -5 at most d?
True
Let u(y) = -y**2 + 2*y - 1. Let t be u(0). Let n = 641/4 + -161. Are t and n equal?
False
Let s = 1.3 + -1.3. Is s less than 14?
True
Let c be -1*(2 - -1) + 7. Let y = -13 + 9. Let m = y - -6. Which is smaller: c or m?
m
Suppose -u + 5*u - 9 = 3*k, -u = 3*k - 6. Suppose w = -5*y - 0 + 5, 0 = -y + u*w - 15. Let z be 10/(-3)*3/(-8). Is y > z?
False
Let c = 3 - 4. Let q = -1 - c. Let t(j) = -j**3 - j**2 + j. Let v be t(q). Which is bigger: -1 or v?
v
Suppose -5*n + 75 = -f + 295, -18 = n + 5*f. Is -43 < n?
False
Let h(p) = -5*p - 19. Let q be h(-4). Which is smaller: q or -3?
-3
Let a(n) be the third derivative of -n**4/24 - 2*n**3/3 + 2*n**2. Let s be a(-3). Which is smaller: s or 0?
s
Let d = -2 - -3. Let p = 22 - 22.13. Let q = 0.13 + p. Which is smaller: d or q?
q
Let a be (3 + 0)/((-3)/4). Let z = -5 - a. Let n be ((-1)/z + 0)*-1. Is -2 equal to n?
False
Let j = -97 + 96.9. Which is smaller: 3.2 or j?
j
Let y = 1.3 + -1. Let w = 0 + y. Let z = w + -0.4. Which is greater: z or -0.2?
z
Let n = 4 + 5. Let j = n - 8. Which is smaller: j or 2?
j
Let a = 6740595114803/395 + -17064787961. Let s = a + -9798. Let b = -808/3555 - s. Which is greater: -0.1 or b?
-0.1
Suppose -5*x + 3*x = 0. Let m be (-2)/((-4)/(-10)) + 0. Let l be m*(2 - (-48)/(-25)). Does l = x?
False
Suppose 4*o + 15 = -3*x, -9*o = -12*o + 4*x - 5. Which is smaller: -17/6 or o?
o
Let s(m) be the second derivative of -m**3/6 + 5*m**2/2 - 2*m. Let i be -2 - (-3 - -11)/(-1). Let t be s(i). Are t and -1 nonequal?
False
Let h be -1 + (1 - (0 - 0)). Let v = -1013 - -7095/7. Which is bigger: v or h?
v
Let c = -20.79 + -0.21. Let n = -19 - c. Which is greater: 1 or n?
n
Let u = -0.5 - -2.5. Let n = -9 - -5. Let a = 3 + n. Are a and u equal?
False
Suppose -2*s + 15 - 27 = 0. Let v(l) = -3*l**2 + 3*l - 1. Let r be v(2). Let c = r - s. Is -1 smaller than c?
False
Let s = 0.39 - 0.29. Is s less than 14?
True
Let s = -149 + 148.35. Is 1 at most s?
False
Let i be 1/((-1)/2*2). Suppose 6 = 4*c + 14. Let f be (-4)/3 + c/i. Is 0 < f?
True
Let d(t) = -7*t**2 + 8. Let p be d(4). Let w = p + 518/5. Let v be 4/(-10)*(-10)/8. Which is bigger: w or v?
v
Let b = -0.96 + 0.06. Let k = b + 0.7. Is 1 at most as big as k?
False
Let n = -11.8 - -14. Let t = n - 2. Which is smaller: t or 0?
0
Let x(q) = q**3 - 6*q**2 + 5*q - 5. Let v be x(5). Let s be v/25 - 9/(-15). Which is greater: s or 1?
1
Let w = -16.022 - -0.022. Is -0.2 greater than w?
True
Let h(n) = n**2 - 8*n + 5. Let m be h(8). Does m = 15/4?
False
Let u(q) = -6*q**2 + 6*q + 2. Let c be u(3). Is -35 greater than or equal to c?
False
Let s = 83844029114/9 - 87197803896877/9360. Let p = s + 18912/13. Let g = p + 1/80. Which is greater: 0 or g?
0
Suppose 0 = -5*z - f - 2*f - 145, -165 = 5*z - f. Are z and -31 equal?
False
Suppose -2 = -n + 2*n. Let z = -7 - n. Let t be 3/5 - (-18)/z. Is -2 > t?
True
Let q be -4 + 6 + (-2024)/(-178). Let o = q - 53609/3204. Let u = -28/9 - o. Is 1 greater than u?
True
Suppose 6*a - 8*a = 0. Suppose -2*l + a = 8. Which is smaller: l or -5?
-5
Let f = -1.05 + 0.05. Which is greater: 0.07 or f?
0.07
Suppose 0 = 3*t - 2*u - u - 15, -3*t - 4*u = -36. Which is bigger: t or 13/2?
t
L