p = -20. Are p and -4 non-equal?
False
Let p = 13 + -12. Which is bigger: 1/17 or p?
p
Let t = -3 - -7. Let i be (-11)/(-4) - (-1)/t. Suppose 5*w = -3*s + i*w - 4, 3*w = -4*s - 6. Which is greater: s or -1/5?
s
Let v = -3 + 3.1. Let g = -0.2 + v. Is g at most as big as 2?
True
Let k be (-51)/18 - (-7)/(-42). Is 5 at most k?
False
Let q = -7 + 15. Let s = 9 - q. Which is smaller: s or 3?
s
Suppose -4*r = r + 5. Let j = -3210 + 176542/55. Let b = 214/715 + j. Which is greater: r or b?
b
Let v(b) = b**2 - 5*b + 1. Let z be v(6). Let g = z + 8. Suppose 0 = 4*o - g - 1. Which is bigger: 2 or o?
o
Let b = -24 - -23.8. Which is greater: b or 0?
0
Suppose -2*x - 26 = -4*x. Suppose -2*r - 1 = -x. Suppose -i = -r*i. Which is greater: -1 or i?
i
Let c = 67/3 + -22. Let t = -1/625 + 51001/625. Let m = 82 - t. Which is smaller: m or c?
c
Suppose -g + 24 = g. Suppose 2*f + g = 4*f. Is 5 > f?
False
Let d = -75/17 - 3/34. Which is smaller: -6 or d?
-6
Let h(k) = -k**2 - 1. Let p be 3/6 + (-2)/(-4). Let w be (-2)/1 + p + -1. Let z be h(w). Which is smaller: z or -4?
z
Suppose 0 = -5*j + 3*j + 2*y + 10, 3 = y. Is j smaller than 4?
False
Let r = 3.1 + -0.1. Let s = 3.9 - 3.8. Which is smaller: r or s?
s
Suppose -10*p + 6*p = -4. Are -1/33 and p unequal?
True
Let q = 453/364 - -1/182. Let p be 4/(-18) - 38/(-9). Suppose -2 = -2*k + l, 4*k = -5*l + 3*l + p. Which is smaller: k or q?
k
Suppose -f = 4*f - 5*h, 2*f + 4*h - 18 = 0. Suppose 5*m - 3 = a, f*a - m - 9 = -4*m. Which is smaller: 5/2 or a?
a
Let h be ((-4)/(-42))/((-1)/(-51)). Let p = 177/35 - h. Which is smaller: p or 1?
p
Let o = 3.4 - 4. Let c = o - -0.6. Does 0 = c?
True
Let d = 0.378 + 3.512. Let m = 0.12 + -0.01. Let z = d + m. Which is greater: z or -1?
z
Let o(l) = -2*l + 2. Let d be o(-5). Let f be d/36 - (-20)/(-6). Which is greater: 1 or f?
1
Let q(f) = 2*f + 3. Let z be q(-3). Let w = -219 - -513/2. Let p = 36 - w. Is p at least z?
True
Let w = -29 + 17. Which is smaller: -11 or w?
w
Let s(j) = -2*j**2 + 5*j + 1 + j**2 - 4*j. Let m be s(2). Which is greater: m or -3/8?
-3/8
Let n = -51 + 51.1. Is n >= 0.5?
False
Let i be ((-46)/(-1 - -3))/(-1). Let c = 10 - i. Is c greater than -13?
False
Let s = 341 - 2381/7. Which is smaller: 0 or s?
0
Let t = -118 + 119. Which is smaller: t or 9/29?
9/29
Let d be (-5)/(-2)*-2 + 2. Let p be 6/(-3)*(2 + d). Let y be p/(-8)*-2*4. Is 1 != y?
True
Let v(c) = 2*c - 1. Let p be v(1). Suppose 0 = -5*u - 4 + 29. Let t be 6/(-40) - (-2)/u. Is t less than p?
True
Let w(s) = s + 10. Let t be w(-7). Suppose -t = -2*h + 5*h. Let j be -1*(10/(-7) - h). Which is smaller: j or 1?
j
Let k(o) = -2*o**3 + 1. Let i be k(1). Is -1/5 greater than i?
True
Let z be 2 + 1*-3 + 2. Let v = 29/6 + -47/18. Let a = 158/63 - v. Which is smaller: a or z?
a
Let o(w) = -w**3 + 5*w**2 - 6*w + 6. Let x be o(4). Which is bigger: x or 0?
0
Suppose 2*i = -x + 41, -2*x - 5 = i - 30. Let q = 16 - i. Do q and -2 have different values?
True
Let o = 6.5 + -8.4. Does o = -1/4?
False
Let n = -0.2 + 0. Let o = -15 + 15. Let x = n - o. Is 0 smaller than x?
False
Suppose 4*y = -3*v + 9, y + 4*v = -2*y + 5. Suppose -2*q + y*w = -7*q - 35, q + 7 = 4*w. Is q >= -8?
True
Let t = 0.2 - 0. Let c = t + -0.4. Let a = 4 + -5. Which is bigger: a or c?
c
Suppose -u - 3*x = 11, 5*u + x + 16 = -x. Let a = -18/5 - -3. Are u and a equal?
False
Let a = 121.1 + -121. Let y = -4/31 - -106/341. Which is bigger: y or a?
y
Let q(d) = d**3 + 10*d**2 + 7*d - 13. Let t be q(-9). Let v = -8 + t. Is -3 at least as big as v?
True
Let z be (20/8)/(1/2). Suppose 0*q - z*b + 9 = -2*q, q - 3*b = -4. Let u be 1/(1/q) - 0. Is u > -7?
False
Let x(w) = -w**2 - 2*w. Let g be x(3). Let a = -11 - g. Suppose -3*z + a = 7. Is -1 at most z?
True
Let f be (5/(-15))/(2/(-54)). Let z be 12/f*6/(-4). Suppose -4*g = 5 + 3. Is z < g?
False
Let t(j) = j**2 + 11*j - 10. Let v be t(-12). Let l be (-1)/(-3) + (-4)/(-6). Let b be 2/10*(l + v). Which is bigger: b or 1/3?
b
Let z(b) = -b**2 + 6*b + 5. Let a be z(6). Suppose a*d - d = -56. Let g be 4/6 - d/6. Is 3 equal to g?
True
Suppose -l = -2*l + 4. Does 16/3 = l?
False
Let r = -27 + 17. Do -10 and r have the same value?
True
Let l be (-1 + (-2 - -1))*-28. Which is smaller: 54 or l?
54
Let m = -2.9 + 3. Let y = 7.3 + 0.7. Let l = y - 8.1. Are l and m nonequal?
True
Let h be (2/11)/(1 - 2). Let p(w) = w - 3. Let o be p(9). Let f be (o/8)/(3/2). Do f and h have the same value?
False
Let o = 9.1 - 9. Let l be (26/(-8) - -1) + 2. Do l and o have the same value?
False
Let m = -14 + 14. Let y = m + -0.1. Which is bigger: y or 1/8?
1/8
Let c(z) = -z**2 + 8*z - 8. Let a be c(6). Suppose f = -a*f - 5. Let q be f/(-3)*3/(-5). Which is bigger: 0 or q?
0
Let k = 21 - 21. Which is smaller: -10/9 or k?
-10/9
Let m be (2/(42/201))/(-3). Let q = 20/7 + m. Which is bigger: 0 or q?
0
Let v = -4 + 6. Suppose 0*a - v = -a. Which is bigger: 1 or a?
a
Suppose 0 = -p + 3*n + 8, 2*n + 28 = -2*p - 3*p. Let l = p - -4. Are l and -2 nonequal?
True
Let k = -40 + 44. Is 4 at least as big as k?
True
Let l = 19 - 19. Is l at most 0.1?
True
Suppose 0 = -0*b - 4*b - 8. Let r = 0 - b. Let k be 10/4 + 1/(-2). Is k > r?
False
Let j = 3 + -2. Let m(k) = 0 - 1 + 2*k**2 - k**2 + k - k**3. Let f be m(j). Which is greater: -1 or f?
f
Let j(h) = -h**3 + h**2 - h - 3. Let o be j(0). Are 0 and o equal?
False
Let i be 4/40 + 3/(-15). Which is smaller: -1 or i?
-1
Let r(x) = x**2 - 9*x + 6. Let y be r(9). Let s(u) = -u**2 + 6*u - 3. Let f be s(y). Which is smaller: -4 or f?
-4
Suppose -2 - 2 = 4*a. Is a equal to -4/7?
False
Let x(n) = -n**3 - 9*n**2 - 8*n + 2. Let d be x(-6). Let a be 2*d/(-64) + -2. Are -1 and a equal?
False
Let l = 83 - 116. Which is bigger: -34 or l?
l
Let d(k) = k**3 + 5*k**2 - 27*k + 2. Let b be d(-8). Are 26 and b equal?
True
Suppose 6 = b + 2*b. Let o = 0 + b. Suppose 2*s = -o*d - 12, 3*s + 26 = -5*d - s. Is 1/4 not equal to d?
True
Let o = -122 - -128.5. Which is smaller: -0.1 or o?
-0.1
Let f(w) = w**3 + 9*w**2 + 9*w + 5. Let z be f(-7). Which is bigger: 41 or z?
41
Let c = -77 - -139. Let t = -437/7 + c. Suppose -9 = -k + 5*m + 5, -13 = 4*k + 3*m. Which is bigger: k or t?
t
Let q be (-9)/(-6)*4/(-10). Let n = -1.2 - -2.2. Is n at most q?
False
Let a be (4/(-6))/((-2)/12*4). Is a less than -1?
False
Let z be -36 + -2 + 1 - -4. Is -34 less than or equal to z?
True
Let j = 0 - 0.1. Let c = 0.9 - 1.4. Let q = 0.7 + c. Is j bigger than q?
False
Let l = -9 - -9. Suppose -i - 3*i + 2*v = l, i + 2*v = 0. Let s = -243/4 + 60. Which is greater: i or s?
i
Let h = -1916 - -99635/52. Which is smaller: h or -1?
-1
Let a = 4 - 4. Let p be 1 - 1*(a + 1). Is 1/10 at most as big as p?
False
Suppose 0 = 3*n - 3*a + 15, 3*n - 4*a = -2*n - 21. Let z = -48 - -46. Which is greater: n or z?
n
Suppose 0*b + 8 = 4*b. Is b bigger than 2?
False
Let d = -8 - -2. Let m = -697/2 - -342. Which is greater: d or m?
d
Let v(g) = 8*g**2 + 4*g + 3. Let c be v(-1). Is c less than or equal to 5?
False
Let t = 6 - 3. Let g(b) = 5 + 2 + b + 4. Let s be g(-8). Is t less than s?
False
Suppose 3*y + 3*s - 8*s + 24 = 0, -32 = 4*y - s. Let a be (6/(-2))/((-6)/y). Let p(n) = -n**2 + 4*n + 8. Let f be p(6). Are a and f unequal?
False
Suppose 5*i + 2 - 28 = 4*t, -5*i + 3*t + 22 = 0. Let f be i + 2 + 44/(-12). Is 0 <= f?
True
Let o = -60 - -58. Is o < -1?
True
Let h = -3.93 + -0.07. Let i = h + 6. Are i and -0.1 equal?
False
Let a be (1/7)/((-4)/8). Is -0.1 at most a?
False
Suppose 2*w = 3*w - 3. Let k be 13/26*(1 - w). Is k at most as big as 0?
True
Let z = -27 - -26.77. Let y = 0.07 - z. Let f = 0.2 - y. Are f and 1/4 unequal?
True
Let y = 25 - 27. Is 1/7 <= y?
False
Let i = 1567/1866 + -2/311. Let n = -2 - -3. Which is bigger: i or n?
n
Let c = 38 - 153/4. Let n be ((-4)/(-6))/((-13)/39). Let b be (5 - 6)*(n - -1). Which is bigger: b or c?
b
Let o(b) = 5*b**3 - 4*b**2 - b + 2. Let i(h) = -h**3 + h**2 - 1. Let k(m) = -4*i(m) - o(m). Let f be k(2). Is f less than -4?
False
Let t = 3 - 2.91. Let x = t - 0.09. Are x and 0.1 non-equal?
True
Let i = 2 + -4. Let b = 22 + -15. Let j be b/7 - i/(-4). Which is smaller: j or -2/9?
-2/9
Let g(y) = -y**2 + 11*y - 7. Let p be g(10). Let s be (3/(-8))/(p/588). Let x = s - -72. Is -3 greater than or equal to x?
False
Suppose -4*f + 13