(1). Let y be 11/4 - (-2)/w. Suppose -y*t = -0*t + 15. Is t bigger than -5?
False
Let d = 5.3 + 0.7. Let i = 8 - 3. Let l = i - d. Is l bigger than -2?
True
Suppose -78*w + 30 = -81*w. Let k(p) be the second derivative of p**5/20 + 11*p**4/12 + 3*p**3/2 - 5*p**2/2 + p. Let u be k(w). Which is smaller: 2 or u?
2
Let f be 4/(-14) + 2/7. Suppose f*w = -2*w - 6. Let d be (-3 - 0)*2/w. Which is smaller: 0 or d?
0
Let g = 113 + -789/7. Which is greater: g or 17?
17
Suppose -z + 3 = -h, -3*z - 2*h - 6 = -z. Is -2.2 less than z?
True
Let n = -5 + 8. Suppose n*s + 0*s = 0. Let b be (4/(-2))/(-2) - 60/52. Which is smaller: b or s?
b
Suppose 0*d - d = 21. Let z be d/90 + 1/(-6). Let c(r) = r**3 - 6*r**2 + 4*r + 4. Let j be c(5). Which is greater: z or j?
z
Let i(k) = k - 3. Let p be i(5). Suppose -2*z + 5*y - p = y, 5*y - 4 = 2*z. Let q = 15 + -12. Is q > z?
False
Let d = 2/371 - 1123/1855. Let z = -0.1 + 0.2. Let o = z + 0. Which is bigger: o or d?
o
Let w = -4 - -4.4. Let i = 0.02 + 0.1. Let p = i - 0.02. Is p >= w?
False
Let f = -603/35 - -84/5. Suppose 0 = -2*s + 6*s. Suppose -5*c = -3*i + 13, 5*i + 0*i - 5*c - 15 = s. Which is smaller: f or i?
f
Let f = -279588 - -25162603/90. Let g = f + 33/10. Let v = -4 + 6. Is g at least as big as v?
False
Suppose 5*c + 42 = -z, -3*z - 16 = -4*c + 15. Do z and -19 have different values?
True
Let a = 17/4 + -19/4. Let v = 11/6 + a. Do 0 and v have different values?
True
Let b = 0.061 + -0.161. Which is greater: 5/9 or b?
5/9
Let g = 452 - 13559/30. Which is smaller: -0.1 or g?
-0.1
Let t be ((-2)/(-3))/(6/27). Suppose t*w = -w + 4. Suppose 4*c - 3*q + 3 = 0, -1 = -3*c - q - 0. Which is greater: c or w?
w
Suppose 3 - 18 = -5*l. Suppose -k + 1 + 3 = 0. Suppose p = -l*i + 5, -2*i - 5*p = -k*i + 9. Is i smaller than 2?
False
Suppose -2*b = -0*b + 4. Suppose -2*z = 3*x + 14, 5*x = -3*z - 6 - 14. Let g = 6 + z. Which is bigger: b or g?
b
Let l(g) = g**3 + 8*g**2 + 6*g - 3. Let r be l(-7). Is 11/3 smaller than r?
True
Let c = -0.1 + 0.3. Let i = 0.5 - c. Do i and 0.1 have different values?
True
Suppose 15 - 7 = -2*b. Let q be (-3)/(-4) - (-19)/b. Which is smaller: -3 or q?
q
Let l(j) = 3*j**3 + 2*j**2 - j + 2. Let t be l(-3). Let s be (-693)/(-12) - (-3)/9. Let b = t + s. Which is smaller: b or -1?
-1
Let w be (16/(-4) + 4)/1. Are 2/91 and w non-equal?
True
Suppose 0 = 2*b - 0 + 2. Let y = b - -2. Is 1 at most y?
True
Let y(p) = -p**2 - 10*p - 16. Let o be y(-8). Is -2/59 smaller than o?
True
Let l be 3 - (144/21 + -4). Which is smaller: l or 0?
0
Let b be 2/6 - (-1)/(-3). Let y be (2/3 + -1)*1. Is b less than y?
False
Suppose 4*d = -4*q + 120, -2*q + 2 + 56 = 4*d. Which is bigger: q or 30?
q
Let c = -26 + 25. Is 1 smaller than c?
False
Suppose 9*z - 90 = 11*z. Which is bigger: -1 or z?
-1
Suppose n - k - 5 = 0, -4*n + 0*k - 4*k = -20. Let v = n - 4. Is v greater than or equal to -1?
True
Let w = 9 + -4. Suppose n - 6*c - 8 = -4*c, -5*n + 20 = -w*c. Is n less than or equal to -2?
False
Let x = -1966 + 1980.07. Let r = 14 - x. Let j = 0.03 - r. Which is greater: 1 or j?
1
Suppose -6*m - 25 = -175. Is 25 greater than or equal to m?
True
Suppose 2*c - l = 19 + 3, 5*l = 4*c - 50. Which is smaller: c or 0?
0
Let l(m) = 6*m - 6. Let h be l(5). Let g be ((-2)/10)/(h/30). Which is bigger: g or 0?
0
Suppose -7*l = -2*l - 15. Let h = 84 - 144. Let u = h + 123/2. Which is smaller: u or l?
u
Let t(u) = -u**2 + u + 3. Let g be 0*(9/6)/(-3). Let d be t(g). Suppose -5*m = d*n + 2, 0*m + 4*n - 5 = m. Which is smaller: 1 or m?
m
Let r(j) = j**2 - 3*j + 2. Let a be r(3). Suppose 2*i + 0*g + a = 2*g, -i + 19 = 3*g. Let d = i - 5. Which is greater: d or 0?
0
Let o be (-13)/2*(2 + -1)*2. Which is greater: -14 or o?
o
Let d = 36 + -23. Suppose -3*v = -2*t + 2 + d, 4*t - 27 = 5*v. Is -2 at least v?
True
Let y = 6 + -6.2. Suppose -4*i + 3*m = 16, 4*i = i + 4*m - 19. Are i and y equal?
False
Let x(d) = 4*d**2 - 4*d. Let r be x(3). Let t be (4/r)/((-6)/3). Which is bigger: t or 2?
2
Let s be (-2)/27*(-36)/24. Is 0 != s?
True
Let d be ((-3)/((-18)/(-8)))/6. Let v = -1/110 - -9/22. Is d smaller than v?
True
Let z(n) = 2*n + 9. Let p(i) = -4*i - 18. Let h(u) = 3*p(u) + 7*z(u). Suppose -5*v = -m - 4 + 23, 4*m + 5*v = -49. Let g be h(m). Is -3 smaller than g?
False
Let x = 1/7 + 5/14. Is -1/41 smaller than x?
True
Suppose 0 = -3*o - 21 + 66. Let b(y) = -5*y**2 - 51*y + 6. Let s be b(-10). Is o less than s?
True
Let d = -14 + 14.3. Which is smaller: -6 or d?
-6
Suppose -4*u + 2 + 1 = k, 0 = -4*u + 2*k + 18. Let q be 1 - 1 - (-4)/3. Is q at least as big as u?
False
Suppose 5*n + 3 = 2*l, -4*l = 3*n - 5*l + 1. Which is smaller: 3/22 or n?
3/22
Let n = 7223/1339 - 70/13. Is 0 >= n?
False
Let y be ((-2)/(-5))/(14/(-10)). Let f = -4.5 - -3.2. Let k = -1 - f. Which is bigger: y or k?
k
Suppose -4*k - 64 = -2*k. Which is greater: -30 or k?
-30
Let q = -23 - -19. Which is smaller: -2 or q?
q
Let n be 21496*1*(-1)/50. Let r = n + 430. Let j = r + -43/225. Is j != 0?
True
Let k = -5 - -9. Let j(v) = -4*v. Let m be j(-1). Suppose m*t - 2*t = 8. Does t = k?
True
Let v be (-2)/(-4)*(-3 + -1). Suppose n - 3 = y - 0, 0 = 2*y + n + 3. Do y and v have the same value?
True
Suppose -5*m + 15 = -5. Suppose 51 = 4*t + 5*d + 10, -3*d - 1 = -4*t. Is t <= m?
True
Let h(a) be the first derivative of a**2/2 - 2*a - 1. Let s be (-1)/((-38)/12 + 3). Let y be h(s). Is 3 greater than y?
False
Let k be 80/(-60)*(-1 + 69/68). Which is smaller: k or -1?
-1
Suppose 0 = 2*x + x - 5*b + 19, 10 = -5*x + 4*b. Which is bigger: 10/3 or x?
10/3
Let x = -40 + 42. Let q = 1 + 0. Let f = x - q. Is f at most 3/4?
False
Let u be 4/(-6) - (-1880)/2865. Is u < -1?
False
Suppose -4*p + 92 - 24 = 0. Let u = p + -17. Is u greater than -1?
True
Let t = -3/284 - 67/7100. Let p = t - -107/350. Which is greater: 1/3 or p?
1/3
Let c = -20/21 - 1250/231. Is -5 less than or equal to c?
False
Let w = -50 + 353/7. Is 5 >= w?
True
Suppose 4 = -4*t - 5*v, 0 = -5*t - v - 3 - 2. Let m = -17 - -16. Do m and t have different values?
False
Let j(p) = 28*p - 2. Let i be j(4). Suppose -3*b = 5*w - i + 1235, 873 = -4*w + 3*b. Let n = w + 3331/15. Which is greater: n or -1?
n
Suppose 2*u = r + 5*u - 4, -8 = 4*r + 4*u. Suppose 3*x = 4 + 2. Suppose 0*k - 8 = x*k. Which is smaller: r or k?
r
Let t = 170 - 118. Which is greater: 0 or t?
t
Let a = 6 - 6.08. Let t = -0.02 + a. Is -2 > t?
False
Let t(j) = j + 10. Let d = -11 + 3. Let i be t(d). Which is greater: -2 or i?
i
Let b = 0 - -1. Let t = 2 - b. Let r = t + 0. Which is greater: 0 or r?
r
Suppose -5*f + 33 = 138. Which is bigger: -23 or f?
f
Let g be (27/12 + 2/(-8))*-29. Is -57 > g?
True
Let a be ((-22)/55)/((-1)/15). Suppose -4*x = -a*x. Is 1/3 not equal to x?
True
Let v = -4 - -5. Let j be v + (-1 + 2)/1. Let n be j/(-9) - 6/(-27). Which is smaller: n or 2/7?
n
Suppose p = -4*p - 100. Let m be (p/16)/((-1)/4). Is 5 <= m?
True
Let x(r) = -r - 3. Let o be x(-7). Suppose 15 = -5*z, -4 - 4 = -5*s - o*z. Suppose -s*m = 20, -m + 18 = -3*n - 4*m. Which is greater: n or 1/3?
1/3
Let d(f) = 3*f - 5. Let c be d(-5). Let l = 21 + c. Which is smaller: l or -4?
-4
Let b(i) = -i**2 + 10*i + 12. Let a be b(11). Do a and 5 have the same value?
False
Suppose -5*o - 2*i - 3 = 0, 0 = -o - 3*o - 4*i. Let x be (-2 - (-188)/60) + -1. Is o less than x?
True
Let m be 26/6 + (-2)/6. Suppose m*h - h = -12. Let s(g) = g**3 - 3*g**2 - g + 2. Let f be s(2). Is f > h?
False
Suppose 2*d - 2 = -5*q, -6 = 3*d + 5*q + 1. Let c be d/(-6) + 1/(-2). Is 1/16 bigger than c?
False
Let v = -0.16 - 0.04. Let q = -0.06 + -0.14. Is v bigger than q?
False
Let q = -64 - -71. Is q bigger than -1?
True
Suppose -4*w + 48 = -0*w. Does w = 11?
False
Suppose -2*r = 4*k + 62, -r = -k - 21 + 1. Which is bigger: k or -16?
-16
Suppose -4*g - 13 = 4*u - 5*g, 3*u - 5*g + 31 = 0. Suppose -s - 48 = 2*s. Let v be s/6 - (-4)/2. Which is greater: v or u?
v
Let p = -12.8 + -3.2. Let l = p + 15.62. Let y = l + -0.02. Which is smaller: y or -2?
-2
Let s be (5*(-6)/(-60))/((-2)/(-4)). Which is smaller: 4/57 or s?
4/57
Let o be ((-96)/36)/(14/6). Let y = 14 - 16. Are y and o equal?
False
Suppose -3*l = -6 - 0. Is 2/3 greater than l?
False
Let f(a) = 3*a**2 + 2*a**2 - 3*a**2 - a**2 - 3*a. Let u be f(2). Are -1 and u nonequal?
True