. Do n and -1 have the same value?
False
Let p be (-18)/(-5)*(-13)/(-2). Let f = p - 406/15. Which is smaller: f or -4?
-4
Let t be (3/6 + -2)*20/(-45). Let u = -1 + 2. Is t < u?
True
Let l(j) = -j + 4. Let x be l(3). Let m(q) = -2*q - 6. Let n be m(-5). Let g be n/(84/9) - 0. Which is bigger: g or x?
x
Suppose 4*g - 6 = 2*g + 4*o, 2*g - 3*o = 4. Is g at most as big as 1/4?
True
Let v = -9 + 18. Let m be ((-3)/v)/(1/(-3)). Let u be (-32)/(-20) - 2/(-5). Which is smaller: m or u?
m
Let f be 6/(-4)*((-80)/(-25) + -4). Which is smaller: f or 0?
0
Let m(j) = 2*j**2 - 4*j + 2. Let z(h) = -h**3 + 7*h**2 - 4*h - 8. Let d be z(6). Let i be m(d). Let s be (9/30)/(i/15). Are 0.07 and s unequal?
True
Let x(p) = -4*p + 5. Let f be x(-5). Let w = f + -5. Suppose -4*y + 8 - w = 0. Is -2 > y?
True
Let h = -11 + 12. Let z be 1 - (0 + h) - 5. Does z = -0.1?
False
Let u(d) = d**3 + 5*d**2 + 5*d + 4. Let g be -1 - 2 - (2 - 1). Let h be u(g). Let x = 1/2 + 1/6. Which is bigger: x or h?
x
Let y = 6 - 5.94. Is -2 < y?
True
Let k be (-5248)/(-56) - (-4)/14. Which is smaller: 95 or k?
k
Let s = -3 - -4. Is s greater than or equal to -4/17?
True
Let k be 0 - (2 + (-8 - -2)). Suppose 2 = -3*u + 3*r - 1, 0 = -u - k*r - 16. Let y(h) = -h**2 + 1. Let i be y(2). Is i greater than u?
True
Let s(w) = w - 1. Let y(x) = -2*x**2 - 6*x - 1. Let h(c) = -2*s(c) + y(c). Let r be h(-6). Let f = r + 117/5. Which is greater: -1 or f?
f
Let f = 0.3 + 0.1. Let j = 3 + -3. Which is greater: f or j?
f
Let y(c) = c - c**2 - 3*c**2 - 2*c + 1 + c**3. Let j be y(4). Let n(s) = -s**2 - 3*s + 2. Let g be n(j). Is g equal to 4?
False
Suppose -v + 4 = -0*v. Suppose -7 = f - 2*r, 2*r + 12 = 4*f + v*r. Does -1/3 = f?
False
Let j = -1 - -5. Which is smaller: j or 1?
1
Suppose -4*j - 1 - 19 = 0. Let b = 172 + -175. Which is smaller: b or j?
j
Let f(o) = 2*o**2. Let y be f(1). Let v be (-2)/y + 1 + 1. Which is smaller: v or 2/7?
2/7
Suppose -s = -1 - 0. Let g = 3378 - 10271/3. Let z = 1087/24 + g. Which is greater: s or z?
s
Let f = -3 - -2.8. Let x = 0.3 + f. Let d = 52 + -51.8. Which is bigger: d or x?
d
Let k = -15 - -22. Suppose k = -3*b - 2. Is b at most as big as -7?
False
Suppose g - 10 = 2*c, 17 = 5*g + 2*c + 3. Let a = -9 - -42. Suppose -m - 3*m - 48 = -4*o, g*m = o - a. Which is greater: -0.1 or m?
-0.1
Let v be (-6)/(-27) + 34/9. Suppose 2*u = 3*u - 4*t - 9, -t - 6 = -v*u. Which is bigger: u or 2?
2
Let q(j) = j**2 - 8*j + 4. Let x be q(7). Let p be ((-3)/(-42))/(x/12). Let b = -2 - -1. Which is greater: b or p?
p
Let c be (-15)/75 - (-46)/180. Which is smaller: c or 1?
c
Let f = -3 + 4. Let w = -131499621/470879150 + 3/2169950. Let t = -1/155 + w. Is f less than or equal to t?
False
Suppose -3*y = -2*y - 4, y = 5*k - 6. Suppose -2*r + 2*a - k = 0, 0*r + a = -r - 1. Let j be 2/4 + r/(-2). Is j at most 2/13?
False
Let t = 84 + -80. Is -4 at most t?
True
Suppose w = 1 + 4. Suppose 5*n + 6 + 4 = -5*h, -4*h - 6 = w*n. Which is smaller: 5 or n?
n
Let g = 224/4537 + 2/1047. Which is smaller: g or 0?
0
Let w be (66/(-165))/(1 - (-11)/(-10)). Is w less than or equal to 4?
True
Suppose p - 3*k + 9 = 0, 2*p - 5*p + 1 = -2*k. Let x(f) = f**3 - 2*f**2 - 4. Let s be x(p). Suppose 1 + 16 = a - 4*b, -9 = -s*a + b. Which is bigger: 2/7 or a?
a
Let q be (-29)/((-14)/98 - 12/14). Is q smaller than 29?
False
Let b(f) = f**3 + 6*f**2 + 7*f + 2. Let v be b(-5). Let r(j) = j**2 + 8*j - 1. Let l be r(v). Is 2 <= l?
False
Let s be 2/19 + 0 - 0. Suppose 0 = -4*u + u. Are s and u unequal?
True
Suppose 13 = -5*d - 2*m, d + m + 2 = 3*d. Which is smaller: 8 or d?
d
Suppose x + 4*f + 9 = -0*f, -21 = -2*x + 5*f. Suppose -8 = d + x*d. Let z = -2/17 - 43/68. Which is greater: d or z?
z
Suppose 4*t = 2*t - 2*j + 172, 3*j - 92 = -t. Is t greater than or equal to 83?
True
Let r = -2 + -5. Let w be (-150)/35 + (-2)/r. Are w and -3 equal?
False
Let q = -12 - -4. Let i be -1 - q - (-1 - -3). Suppose 3*f - i*h + 0 = 25, 0 = -5*f + 2*h + 10. Which is greater: f or -2/5?
f
Let z(i) = -i**3 - 2*i**2 + 2*i + 2. Let x be z(-3). Let s be 15/5*x/3. Is 5 not equal to s?
False
Let g = 21/8 - 215/88. Let t be 2/5 + (-2)/(-70). Which is smaller: g or t?
g
Suppose -2*h = 2*r - 2, -r = -5*h + 2 - 3. Let o = -1 - h. Which is bigger: o or -6/11?
-6/11
Suppose -4*u - s + 11 = 0, -2*u + 3 = 2*s + s. Let y be (3/2)/(u/20). Which is smaller: 9 or y?
9
Suppose -5*c = 20, n = 5*c + 22 + 3. Suppose -y + 8 = -3*m + 5*m, -5*y - 20 = -n*m. Let f(l) = -l + 4. Let s be f(m). Are 1 and s nonequal?
True
Let d be 46/(-50) - (1 - 2). Suppose 0 = -7*b + 6*b. Which is bigger: b or d?
d
Let r = 46 - 136/3. Which is smaller: r or 0?
0
Let w = -22 - -22. Which is bigger: -3 or w?
w
Let w be 2/3*3*-2. Let v be ((-32)/(-12))/((-1)/3). Let s be (14/4 - 3)*v. Is w <= s?
True
Let r(b) = -3 + 2*b + 0 - 4 + 4. Let q be r(3). Which is bigger: q or 0?
q
Let b = -3114/2825 + 28/25. Is b greater than or equal to 0?
True
Let x = 2/31 - -331/155. Let v = x + -219/95. Which is smaller: v or 1?
v
Let j be 60/35 + 4/14. Suppose -1 - 1 = -j*g. Are g and 1 non-equal?
False
Suppose -19 = -4*a + 3*l - 8*l, -3*l + 14 = 5*a. Let z = a + 7. Suppose 0 - z = 4*p. Which is smaller: -1 or p?
p
Let c = 8 - 5. Suppose -f + c = -36. Let b = f + -157/4. Is -1/3 smaller than b?
True
Let z(d) = -4*d + 49. Let n be z(12). Which is smaller: n or 1/19?
1/19
Let t = -2024/5 - -400. Do t and -4 have different values?
True
Let u(r) = -6*r**3 - r**2 - r. Let q be u(-1). Let k be ((-4)/q)/(20/(-1536)). Let a = k - 1772/35. Is 1 less than or equal to a?
False
Suppose 2*t - t = 18. Let u be 6/t + 8/(-18). Is u >= -1?
True
Let i = 8 + -5. Let n(h) = -h**3 + 8*h**2 - 6*h - 7. Let d be n(7). Let q = 4 + d. Which is greater: i or q?
q
Let p(g) = -g + 3. Let d be p(0). Suppose 0*q = 3*q - d. Let c(a) = a + 10. Let o be c(-8). Which is smaller: o or q?
q
Let l be 5*(1 - 4/10). Suppose 5*b - 25 = -5. Which is smaller: l or b?
l
Suppose -9 = -5*m - 4. Which is smaller: m or 2?
m
Let v = -24 + 121/5. Is -1 not equal to v?
True
Let b(k) = k**2 + k - 12. Let i(g) = g - 5. Let f be i(5). Let l be b(f). Is -25/2 greater than l?
False
Let w = 17 - 17. Which is smaller: 1/22 or w?
w
Let y be ((-4)/6)/((-10)/(-15)). Let x be 2/8*(y + 0). Which is smaller: x or 1?
x
Let y(d) = -d**3 + 7*d**2 + 9*d - 7. Let g be y(8). Suppose 0 = -3*q - r + 19, -r + 2 = g. Is 6 <= q?
True
Let f = 0.4 - 0.5. Let o = f - 0.3. Is 0.1 at least o?
True
Let c be 3/(-4)*-4 - 1. Which is smaller: 3/5 or c?
3/5
Suppose -t - 2*t - 24 = 0. Let v be t/12*(-6)/56. Which is bigger: 1 or v?
1
Let k = -57/2 + 28. Which is bigger: k or 2/7?
2/7
Let l = 0.6 - 0.66. Let i = 8/9 - 5/9. Are i and l non-equal?
True
Suppose -y + 4 = y. Suppose -4*v = 3*h - 11, -2*v - 4*h + 13 = -h. Which is smaller: v or y?
v
Suppose 0 = i - 6*i - 20. Let u be 0/i + 8/(-52). Is -1 less than or equal to u?
True
Let q(o) = -o**3 + 9*o**2 - o + 9. Let a be q(9). Is 1/6 at least a?
True
Let k be (2 - (-60)/16) + 1/4. Which is bigger: k or 4?
k
Suppose -3*z - 2*z + 120 = 0. Suppose -i - z = 3*i. Which is smaller: i or -5?
i
Let t(h) = 2*h + 4. Let s = 2 + -1. Let q be -1 + -1 - (2 - s). Let j be t(q). Does -1/2 = j?
False
Let q be -1 - -4 - 565/185. Is q <= 0?
True
Let o be 3/1 + (-3)/(-3). Let k = 2 - o. Which is greater: k or -3?
k
Let o = 61 - 37. Let d = 16 - o. Which is bigger: d or 1/4?
1/4
Let v(s) = 10*s + 0*s**2 + 3 - s**3 - 3 - 9*s**2. Let j be v(-10). Is -2/13 at most as big as j?
True
Let n = 0 + -2. Let x = -2.1 - n. Let y = 20 + -18. Which is smaller: y or x?
x
Suppose 8 = v + w + w, 3*v - 2*w - 56 = 0. Which is smaller: v or 15?
15
Let j be (-94)/104 + 12/16. Which is bigger: j or -7?
j
Suppose -3*i - 5*x - 12 = 0, -4*i = i + 3*x + 4. Let y = 57 - 59. Let s = y - i. Is s smaller than -4?
False
Suppose 0 = 5*j - 135 - 25. Suppose 2*i + 32 = -2*i. Let v be ((-2)/i)/((-12)/j). Is 0 less than or equal to v?
False
Let y be (-15)/(-12) - 2/8. Let k be ((-2)/2)/(40 + -44). Which is bigger: y or k?
y
Let w(t) = t - 3. Let p = -9 - -16. Let n be w(p). Suppose 9 = -z - 5*c, 2 = 4*z + n*c - 3*c. Which is smaller: 3/10 or z?
3/10
Let f = 1.04 + -0.04. Is 0.4 less than or equal to f?
True
Let l be (4 + -10)*(-4)/6. Suppose -u = u + l. Let h = -23 - -67/3. Which is smaller: h or 