). Is w not equal to -1/4?
True
Let i = 37 - 22. Let n be (-10)/i*(-3)/1. Is -0.4 bigger than n?
False
Let a = 1.4 - 9.4. Let r = -15 - -9. Let u = r - a. Is u at least 0?
True
Let q = -2.3 - -2.52. Let j = 0.12 - q. Is j < -2/3?
False
Let t be 3/16*(-4)/(-3). Let f = 1 + 0. Which is greater: t or f?
f
Let l = 0.128 + -2.128. Which is bigger: l or 16/7?
16/7
Let c = 34 + -49. Let j = c + 14. Which is greater: j or 2?
2
Let y = 38 - 40. Is y < -20/7?
False
Let w = 3.35 + -3.4. Which is smaller: w or -2?
-2
Let x(s) = 17*s**2 - 2*s - 1. Let d be x(2). Let r be (-6)/d - (-2)/(-6). Which is smaller: -1 or r?
-1
Let p be (-12)/(-9) - 25/12. Which is smaller: p or -1/5?
p
Let s = -0.28 + 0.22. Let x = -1.085 - -0.025. Let p = s - x. Which is smaller: -2 or p?
-2
Let j = 0.049 + -0.269. Is j at most -0.1?
True
Suppose -h = -0*h - 4*s, 0 = 3*h - 4*s. Is h not equal to 1/8?
True
Suppose 0 = -4*z + 3*k - 59, 5*k + 19 = -2*z - 2*z. Is z < -11?
False
Let a be 0 - 30/(-2) - -1. Which is smaller: 17 or a?
a
Let g be (8/700)/((-4)/(-20)). Which is bigger: 1 or g?
1
Suppose 0*r - 2*r + 5*o = -43, -3*r + 12 = 3*o. Suppose i - 3*b + 16 = 2*i, -2*b = -i - r. Which is greater: i or -2/5?
i
Let p = 0.125 - 15.125. Which is smaller: p or 2?
p
Let o = -22 - -24. Is o at least 0.05?
True
Let y = 54827/55 - 997. Let g = y - -6/11. Which is smaller: g or 1?
g
Suppose r + 0*l - 2*l = -12, -5*r - 18 = 4*l. Let x = r - -14. Let i be ((-4)/x)/((-3)/(-2)). Is -2 greater than or equal to i?
False
Let k be 2/(-10) + 11 + -7. Which is greater: 4 or k?
4
Let j(u) = 3*u**2 + 8*u - 5. Let m be j(-3). Is m smaller than -6?
False
Suppose -5*m + 11 + 9 = 0. Suppose 0 = 4*v - 5*o, -v + m*v - 4*o = 0. Suppose -2*d - 3*n + 11 = 0, -2*d = -v*d + 2*n - 8. Is 2/11 not equal to d?
True
Let h = 0.2 + -0.1. Let r = -42 + 60. Let z be (8/(-10))/(r/(-15)). Which is smaller: z or h?
h
Suppose -3*f = c + 121, f = 2*f - 2*c + 31. Is -38 > f?
True
Let x = 2 - -2. Suppose -x + 2 = -r. Which is smaller: 0 or r?
0
Let k be (-9)/(-2)*8/6. Which is greater: -1 or k?
k
Suppose -j = -5, -2*u - 5*j + 31 = -0*u. Let f be 6/(u/6 - -1). Is 5 bigger than f?
True
Let h(x) = x + 5. Let q be h(-3). Suppose 6*i + 26 = q. Is i at least -7?
True
Let c be ((-2)/(-4) - 0)/(42/(-84)). Suppose 3*m - 4*m = 0. Let l = m - 2. Is l smaller than c?
True
Let w(k) = -2*k + 6. Let n(c) = 4*c. Let l be n(1). Let z be w(l). Let f = -7 - -7. Which is smaller: z or f?
z
Let y be 2 + 0 + 2 + -2. Let i be -1*(2 - y)/1. Let m be 1/(-4) + 2/8. Is m < i?
False
Let d = 4.85 + 0.15. Let r = -3.9 - -4. Which is smaller: d or r?
r
Let w = 2.4 + -2. Let j = w - 1.4. Which is bigger: j or 2/11?
2/11
Let u = 5 + -3. Let h = -4 + 11. Suppose -8 = -4*c - g, c - 2*g + h + 0 = 0. Which is bigger: c or u?
u
Let z be (10532/3)/(23/(-3)). Let p = -458 - z. Are p and 0 equal?
False
Let x = -13 - -16. Let f = 4 - 2. Let j be (6/4)/(-3)*f. Is j greater than x?
False
Let h = 104.1 - 104. Which is greater: h or 41?
41
Suppose 4*v + 1 - 13 = 4*b, -3 = -5*v - b. Let l be (-2)/(-6) - (-320)/(-12). Let d = l + 27. Is d at least v?
False
Let u = 7 - 11. Let n = -5 - -8. Let m = u + n. Are -0.2 and m non-equal?
True
Let w be 0/(2/(0 - 2)). Which is greater: w or 3/8?
3/8
Let t be 295/85 + 8/(-2). Which is smaller: 0 or t?
t
Let v = -8/57 - 115/399. Which is smaller: v or -0.1?
v
Let x = -7 - -9. Is 1 greater than x?
False
Let q(h) = -h**2 - 4*h - 4. Let u be q(-3). Which is smaller: u or -6/23?
u
Let j be (-1)/(-7) - 574/5390. Is j at most as big as 1?
True
Let q = 57/296 - -16/37. Which is smaller: q or 2?
q
Let l = 28/15 + -11/5. Let i be ((-6)/(-21))/((-66)/(-28)). Let d = -49/132 + i. Is l not equal to d?
True
Suppose -2*h = 4*z + 16, -1 = -3*h + 4*z - 5. Suppose 4*l = 3*j - 3, -4*l - 3*j + 17 = 38. Which is greater: l or h?
l
Let p(b) = 2*b + 10. Let l = 7 - 14. Let i be p(l). Which is greater: -8/3 or i?
-8/3
Let y = -8 - -2. Let v(d) = d**3 + 7*d**2 + 6*d + 2. Let b be v(y). Suppose -5*l = -h - 7, -6*h = -2*h + 8. Is l >= b?
False
Let q = 1 - 0. Let w be (0 - q)/(2 - 3). Is w at least -1/7?
True
Let s be 2 + -1 + (85/(-55) - -1). Which is smaller: -1 or s?
-1
Let z be (1 + 2)/(3/(-4)). Let a be (-8)/(-12)*(-15)/2. Is a at least as big as z?
False
Suppose 4*a + 2*q + 1 = -1, -4*q = 5*a - 2. Are -5 and a equal?
False
Let z be 44/(-2) + (-5 - 0). Which is smaller: -26 or z?
z
Let c be (-3 + 1)*(-25)/325. Is c != 1/3?
True
Let x = 49 - 50. Is -3 bigger than x?
False
Let c(d) = d + 4. Let q be c(10). Let u = 19 - q. Is 3 at most u?
True
Let k = -34/5 - -7. Is -1 less than or equal to k?
True
Let y = -9 - -7. Is 0 equal to y?
False
Let r = 138/7 - 1249/63. Suppose 5*g + 2*b = 8, -4*g - 5*b + 8 = -3*b. Which is smaller: r or g?
r
Suppose -9*x = -7*x + 12. Is -2 >= x?
True
Let s(x) = -x**2 - 2*x + 1. Let h be s(-2). Let p = -66 - -66. Which is smaller: p or h?
p
Suppose -c - 82 - 87 = 0. Let h = c - -1181/7. Which is smaller: 0 or h?
h
Let p = -0.03 - -0.13. Let q be 2 - (17/5 + -1). Which is smaller: q or p?
q
Let i be -3 + 0 + 28 - -1. Is 27 equal to i?
False
Let h(n) = -n + 2. Let b be h(2). Let s be 3/((-2)/(-2) - b). Suppose -2*v + q - 17 = 4*q, -s*q = 9. Is v smaller than -3?
True
Let j = 4 - 0. Let l(t) = t**2 - 4*t. Let p be l(j). Let h = 31081/39 - 797. Which is smaller: h or p?
h
Let z = -5.07 - -5. Let u = z + -0.03. Is 1/4 not equal to u?
True
Suppose 0 = -2*y - y + 36. Let b be 1*(y/22)/(-2). Let g = -2/33 + b. Is 0 bigger than g?
True
Let s(k) = -k**3 - 9*k**2 + 8*k - 17. Let c be s(-10). Which is smaller: 1 or c?
1
Let i(b) = 2*b**3 + 2*b**2 - 3*b - 2. Let p be i(-2). Let x(q) = -6*q**2 + 1. Let d be x(-1). Which is bigger: p or d?
p
Let y = 0.1 + -0.5. Let b = 0.4 + y. Suppose -d + 5 = 4*d. Which is bigger: d or b?
d
Let v(w) = -4*w**2 - 9*w - 1. Let s be v(-6). Let b = 35 + s. Let a = b - -225/4. Which is greater: a or 2?
2
Let i(p) = p + 2. Let c be i(0). Suppose -c*f = -3*f. Which is bigger: f or -0.02?
f
Let u be (14/(-147))/(1/(-9)). Let w be (-2 + 2 - 1)*-1. Which is bigger: w or u?
w
Let s be 37/(-8)*12/279. Let j = s + 1/31. Which is greater: j or 0?
0
Suppose -2*p - 6*p = -10*p. Are p and 4 non-equal?
True
Suppose -w = -2*w + 5. Let q be ((-1)/(-22))/(w/20). Suppose y - 2*r = -5, 0 = 3*r - 7 + 1. Does y = q?
False
Let n be 3*3/(-81)*3. Is 1 bigger than n?
True
Suppose 3*u = 2*q + 8, 4*u - 3*q - 13 = 2*q. Suppose -i - u*p = -10, i - 3*p = -6*p + 14. Do 3 and i have the same value?
False
Let x = -1/1003 - -2075/69207. Which is smaller: x or 0?
0
Let v = 0.7 + 0.3. Let u = 35 - 56. Let i be 69/u - 2/(-7). Which is bigger: v or i?
v
Let y be (8/6)/((-1505)/(-651)). Let l = y + 1/43. Is 2 equal to l?
False
Let h = 12823/17 - 754. Let a = -59/85 + h. Which is bigger: a or 1/2?
1/2
Let y(q) = -q**2 - 4*q + 3. Let j be y(-4). Let b be j*1/6*2. Suppose 0 = 3*z + 2 + 1. Which is smaller: b or z?
z
Let p be 2 - (5 + 1)/3. Suppose 5*g + 35 = -5*i, 0*g - 2*g = -3*i + 4. Is p greater than or equal to i?
True
Let c = 7 - 31. Which is bigger: 0 or c?
0
Suppose x - 8 = 5*x - 2*a, -20 = -5*x - 5*a. Let s be (5 + (-2)/2)/3. Is s equal to x?
False
Let r be 5 + (-1 - 0) + 2. Let f = r + -3. Suppose -4*n + 8 = -3*n - u, 0 = n + u + 2. Is n <= f?
True
Let v be (8/(-4))/((-8)/22). Which is smaller: 5 or v?
5
Let q = 0 - -1. Is 2/5 not equal to q?
True
Let z(g) = -g**2 - 6*g - 5. Let p be z(-5). Let m(n) = 5*n + 1. Let j be m(-5). Let x be 39/j + (4 - 2). Is x > p?
True
Suppose -11 = 5*z - 1. Let t be 6/15 + 16/(-15). Which is smaller: z or t?
z
Let y = 35 + -36. Let z = -37/258 + -1/43. Which is smaller: y or z?
y
Suppose -q - 1 = -0*r - 3*r, r + q - 7 = 0. Let v be (-3 - -6)*r/6. Let b = -13/6 - -7/3. Is b at least v?
False
Let t = -7.7 - 2.3. Let r = 10.6 + t. Is r not equal to -1?
True
Let g be -1 + 0 + (-1)/(-2). Let w = -10 - -7. Is w != g?
True
Suppose -a - 2 = -2*a. Let t be 47/52 + (-1)/(-4). Let z = t + 1/78. Is z less than a?
True
Suppose -2*a = -2*f + 3*a - 17, 13 = -f - 2*a. Is -11 bigger than f?
False
Let p = 0.2 - 1.2. Which is greater: -2 or p?
p
Let z(j) be the second derivative of j**5/20 - 2*j**4/3 - 4*j**3/3 - 4*j**2 + j. Let i be z(9). Let x = 6 + i. Which is bigger: 8 or x?
8
Let s be (-2)/(-6) - 7/(-6). Let l be (4 - (5 - -1))*-9. Su