er than b?
False
Suppose -5*n + 7 = 2. Is 1/18 less than n?
True
Suppose -15 = -3*s - 2*b, s + 0*s - 12 = -3*b. Suppose 0 = 2*u - 3*u - s. Let c be (u/(-15))/(2/(-5)). Which is smaller: 0 or c?
c
Let a be (1 + (-7)/4)*-4. Suppose -a*u + 4*u = 0. Let q = -34/45 + 8/9. Do u and q have the same value?
False
Let k = 0.4 - 0.5. Let b = 0.3 + k. Let u = 0.3 - b. Which is smaller: 1 or u?
u
Let l = -23 + 23. Is 2/3 < l?
False
Let f be -2*1/(-2 + 0). Suppose -4*c = -w - 16, 0*w = -w - 3*c + 12. Let d be (w - -1) + 124/(-116). Which is smaller: d or f?
d
Let d be 4*-1 + (-320)/16. Which is smaller: d or -27?
-27
Let i = 10 + -7. Let h = 5 - i. Let z be 2/10 + 12/(-10). Which is greater: h or z?
h
Let r be 3 + (-451)/(-3) + -1. Let v = r + -151. Suppose b + 2 = 3*n, 2*b - 18 = -6*n + n. Are v and n equal?
False
Let r be (6/(-8))/((-141)/48 + 3). Is r > -14?
True
Let t = -69/5 - -473/35. Let h(r) be the second derivative of r**5/20 + 7*r**4/12 - 4*r**3/3 - r**2/2 + 2*r. Let p be h(-8). Is p bigger than t?
False
Suppose -8 = 4*s + 5*p, -5 = 4*s - 5*p + 3. Is -6/7 less than or equal to s?
False
Let d = -58 - -55. Are -3 and d non-equal?
False
Let f = 3 + -2. Let l be 3/12*5/f. Is 2 at most as big as l?
False
Let m(o) = 2 - 3*o - 2 + 4 - 5. Let c(b) = 2*b + 2. Let i(y) = 4*c(y) + 3*m(y). Let p be i(4). Is p != 4/3?
True
Let m = -0.13 + -0.87. Which is smaller: 1 or m?
m
Let c = -59366/20265 - -286/193. Let k = c - -26/15. Which is smaller: -2/5 or k?
-2/5
Let s = -2/203 - -2048/1827. Which is greater: s or 2?
2
Suppose f + 3*f = 28. Let k be f/42 + 2/(-8). Is k <= 1?
True
Let y = -8 + 2. Let d = y + 6.1. Let g = 207/4 + -51. Which is greater: g or d?
g
Let g be (-1)/1 - 1 - -2. Suppose 2*b + 2*c + g = 8, -5*b + 14 = 2*c. Suppose z = -b*z. Which is greater: z or -1?
z
Suppose 3*l - 6 + 0 = 3*c, 3*c + 8 = l. Let j be (-17)/5 + 4/10. Let a be (5/j - -2)*c. Is 2 <= a?
False
Let f be -2*1/(-3)*18. Let n = f - 106/9. Are -3 and n non-equal?
True
Suppose -4*v - v - 3*m - 36 = 0, v = m - 4. Which is smaller: v or -4?
v
Suppose -5*g - 9 = -3*w, -g - 5*w + 2 = -13. Suppose 3*u = 5*b, 0 = 4*u + 4*b - g*b. Suppose 0 = -u*m + 4*m. Which is greater: m or 1/3?
1/3
Suppose 0 = -4*u + 3*u. Which is greater: 1 or u?
1
Suppose 10*z + 87 = 7*z. Do -29 and z have the same value?
True
Let g(k) = 4*k**3 - 5*k**2 - 1. Let h(j) = -j**3 + j + 1. Let x(q) = g(q) + 3*h(q). Let i be x(4). Let f be (-2 - i) + (-4)/10. Which is smaller: f or 3?
f
Let s be -3 + (10 - 0) - 4. Is 4 less than or equal to s?
False
Let y be 2/(-3) + 150/(-18). Let l be (y/(-6))/((-11)/4). Is l less than or equal to -2?
False
Suppose 5*y - 15 = 5*g, 2*y - 2*g = 2*g - 4. Suppose 0 = 3*t - y*t. Is t not equal to -2/9?
True
Let v be (-4)/82*(-9 - -8). Is v less than -3?
False
Let x(k) = -2*k + 10. Let i be x(-10). Let f be 40/i - (-1 + 2). Is f greater than or equal to -0.3?
True
Let i = -17 + 12. Are 0 and i nonequal?
True
Let y = 0.2 + -0.3. Let v = 6.9 + 0.1. Let s = -4 + v. Is s smaller than y?
False
Let x be ((-54)/4)/(-3) - 2. Let z(p) = -p**2 - p + 59. Let b be z(-8). Which is bigger: b or x?
b
Suppose 7*q = 3*q + 40. Let m = q + -8. Which is bigger: m or 3?
3
Let j be (2/3)/(8/12). Are j and 1 equal?
True
Let v be ((1 - 5)/2)/2. Let x = 2 + -6. Let a = x - -3. Is a greater than or equal to v?
True
Let y(n) = -n**2 + 9*n - 14. Let i be y(7). Suppose i = 3*m + 1 + 5. Which is greater: m or 0?
0
Let u = 56 - 57. Which is smaller: u or -15?
-15
Let a = 16 - 15. Is a >= 1/15?
True
Let t(u) = -u**2 + u + 7. Let y be t(0). Let h = 11 - y. Let v(i) = i**2 - 4*i - 3. Let g be v(h). Is g at most as big as -2?
True
Suppose -4*t = -n - 13, 26 = -0*n - 2*n - 3*t. Are n and -12 nonequal?
True
Let a be (-54)/(-8) + (-2)/(-8). Let q(w) = w**2 - 7*w + 2. Let j be q(a). Is 0 greater than or equal to j?
False
Suppose -6 = -3*k + 2*k. Let u(j) be the second derivative of j**3/6 - 4*j**2 + 18*j. Let t be u(k). Is -2 >= t?
True
Let x be 124/2*(3/(-2) + 3). Is 92 less than or equal to x?
True
Let b = 361 - 3607/10. Which is smaller: b or 1?
b
Let p = 3 + 0. Suppose h - p*h + 4 = 0. Let k be h/(-4) - 1/2. Which is bigger: 1/6 or k?
1/6
Let r be ((-88)/275)/(2/(-5)). Are 0 and r non-equal?
True
Let p be ((-4)/(-10))/((-14)/(-35))*-1. Is 0.3 at most as big as p?
False
Let w = 0.05 + 6.95. Which is greater: w or 0.1?
w
Suppose -17 - 7 = -4*x. Let l be 3/x - (-30)/(-4). Let b be l/(-5)*-1 + 1. Which is bigger: b or 1/2?
1/2
Let z be (96/40)/((-14)/10). Suppose 0 = -3*l + 4*x - 5, 2*l = -3*x - 9. Which is bigger: z or l?
z
Let a be 3 - 0 - 1263/423. Let i = 32/47 - a. Which is bigger: 1/11 or i?
i
Suppose -93 = -4*f + 7. Suppose 3*q - f = -5*p, -p - 5*q + 32 = 5. Suppose 5*b + m + 4 + p = 0, 3*b - 3*m = 0. Which is greater: b or 0.01?
0.01
Let y(g) = 2*g + 4. Let w be y(-4). Suppose -4*o + 26 = 2*n, n + 2*o - 21 = 4*o. Let r be (-9 - -6) + n/5. Which is bigger: w or r?
r
Let g = -1.9 - -3.5. Let i = -1.3 + g. Is i bigger than 0?
True
Let q = -533/7 + 76. Let k = -17 + 16. Which is smaller: k or q?
k
Suppose 0 = -0*p - 4*p - 56. Let v be 1*(-1 + (-6)/p). Which is greater: -2 or v?
v
Let b = -22748272/741 - -30700. Let s = b - 10/19. Let l = s - 28/39. Is 2 less than or equal to l?
False
Let a(y) = 4*y - 3. Let h be a(2). Let z be 3/(-6)*6 + h. Which is smaller: z or 1?
1
Let i(v) = -v**3 + 4*v**2 - 2*v - 1. Let j be i(1). Which is smaller: -2 or j?
-2
Let z(i) be the second derivative of i**5/20 + i**4/3 + i**2/2 - i. Let a be z(-4). Which is smaller: 1/3 or a?
1/3
Let c = -2 + -2. Let r be (-3)/(-2)*c/42. Which is bigger: r or -1?
r
Let y = -29 - -34. Which is smaller: y or -4?
-4
Let c(n) = 20*n**2 + 3*n - 2. Let a be c(2). Let q = a - 250/3. Which is greater: -3/2 or q?
q
Let j(x) = 2*x**2 + 7*x - 5. Let n be j(-4). Which is smaller: -2 or n?
-2
Let m = 10 - 14. Let s = m + 6. Which is smaller: 3 or s?
s
Suppose 11 = -2*t + 2*h + 3, -2*t - 3*h + 12 = 0. Suppose -2*y = 4*n - 32, y + t*y - 28 = -5*n. Suppose 0 = -y*i + 3*i. Is i equal to 3/8?
False
Let w = 5 - 4. Let v = 35 + -166/5. Let r = 2 - v. Is r at least as big as w?
False
Let z(n) = n**3 + 6*n**2 + 4*n + 4. Let l be z(-5). Suppose 0*u = -3*u. Let p be (u - 1)*(-8 + l). Do p and -2/7 have the same value?
False
Suppose -3*h + 18 = -5*s - 12, 3*h = -3*s - 42. Let x be (27/(-48))/(s/12). Which is smaller: 1/2 or x?
1/2
Suppose -8*x = -4*x. Suppose x = 4*s - 26 + 6. Suppose 0 = -s*l + 2*l. Are -1 and l non-equal?
True
Let g = -0.4 - -0.7. Let v = 8 - 11. Which is smaller: g or v?
v
Let i(n) = -n. Let b(x) = x**2 + 14*x - 2. Let s(k) = -b(k) - 6*i(k). Let p be s(-8). Let w = -382/5 + 77. Which is smaller: w or p?
w
Let b be 4 + 8/(24/(-9)). Is -1/6 at most as big as b?
True
Let t = -5 - -9. Let m be 1 - 2*(3 - t). Is m > 2?
True
Suppose 0 = 5*i - 8*i + 6. Is -2/5 <= i?
True
Let t(w) = 2*w**2. Let b be t(1). Let g be (-3)/2*2/(-1). Suppose 5*z = g*z + 6. Which is greater: z or b?
z
Suppose -m + 4*m + 12 = 0. Let c(b) = -3*b + 12. Let h(t) = 4*t - 13. Let z(y) = 6*c(y) + 5*h(y). Let l be z(-5). Is l equal to m?
False
Let j be (-6)/(-21) + 33/7. Let z = -1 + 5. Is j <= z?
False
Let y = -12 + 12. Suppose y*h = 2*h + 14. Do h and -6 have the same value?
False
Suppose 0 = 2*a - 2*q + 26, 0 = q - 4*q - 12. Do a and -17 have the same value?
True
Let w = 2 - 1. Suppose -3 + w = -2*g. Suppose 16 = 3*k - 4*q - 3, -5*k - 3*q = 7. Is k at least g?
True
Let r be (-1)/(5 + -1)*4. Let w = 266 - 5052/19. Is w < r?
False
Let u be 3*-1 + 12/6. Is 2 less than or equal to u?
False
Let o = 11 + -11. Which is bigger: 13 or o?
13
Let g be ((-14)/4)/(1/(-2)). Let u(s) = s**2 - 11*s + 3. Let i be u(11). Suppose o + 39 = 5*y, -18 = -i*y + y + o. Is y at most as big as g?
True
Let s(q) = q**2 - q + 31. Let p be s(7). Which is smaller: 74 or p?
p
Let b = 3.1 + -1.1. Are -3/5 and b equal?
False
Let x be 2850/432 + (-4)/18. Let o = -569/88 + x. Is 0 < o?
False
Let a = 0.074 - -0.026. Which is smaller: a or 5?
a
Suppose -5*h + z + 2*z = -111, 0 = h - 3*z - 15. Which is bigger: h or 23?
h
Let o = 68 + -67. Which is greater: o or -1/10?
o
Let o = -1/623 - -3027/623. Which is greater: 6 or o?
6
Let h be (1 - 6)*(0 - 1). Suppose 2*f = -4*c - 26 + 6, -h*f - 8 = 4*c. Let l be 2/6 + c/12. Which is smaller: -1 or l?