ppose -4*w = 2*c - 2, -2*c = -3*w + 24 - 5. Let s = c - -5. Is s at most as big as 0?
True
Let w = 0.36 + 10.64. Let x = 0.2 + -0.1. Do x and w have different values?
True
Suppose 6*p - 3*p - 5*w - 54 = 0, 0 = -2*w. Is 19 greater than p?
True
Let o be (-24)/(-60)*(-10)/(-2). Suppose o*r + r = 3. Which is greater: r or 2/7?
r
Suppose 0*h = -h + 24. Let q be (-6)/h + (-13)/(-4). Suppose 3*r = -4*k - 3, 0*k = 2*r + 2*k. Is q > r?
False
Let u = 24 + -24. Is u greater than or equal to 1/40?
False
Let z(l) = l**2 + 18*l - 37. Let o be z(-19). Suppose 0 = -8*y + 6*y - 4. Let u be y/(-9) + 4/o. Which is smaller: 1/8 or u?
u
Let t = 1.67 + -1.7. Let g = 1.03 + t. Which is smaller: g or -4/3?
-4/3
Let u = -678/7 - -98. Let d = 1 + -1. Suppose d = c - 5*c. Is u less than or equal to c?
False
Let d = 42 + -10. Let n be (18/d)/(30/(-40)). Is 0 smaller than n?
False
Let c(r) = -r**2 - 9*r - 8. Let u be c(-7). Let s be (6/4)/((-3)/u). Let n(a) = -a - 4. Let x be n(s). Which is greater: -2/7 or x?
-2/7
Let b = 1 - 9. Let d be (-1 + 0)*236/b. Let m = d - 29. Which is greater: 1 or m?
1
Let f = -9/20 - 1/20. Suppose 2*w + 4 = -0*w. Let q = 1 + w. Which is smaller: f or q?
q
Let v = 301/5 - 60. Suppose -7*p + 2*p = 15. Let z be 2 - 3 - (p + 1). Which is greater: z or v?
z
Let d = -2 - -1. Let x(n) = n**3 + 8*n**2 + 3*n + 11. Let k be x(-8). Is d at most k?
False
Let h(a) = -a**3 - 2*a**2 + a + 1. Let d be h(-1). Is -1 not equal to d?
False
Let t = -135 + 195. Let j be 896/t*6/68. Let v = -6/5 + j. Which is greater: -1 or v?
v
Suppose 5*l + 9 + 15 = -3*a, -6 = 3*l - a. Suppose r + 0*w = 5*w - 18, 21 = -5*r + 2*w. Is r > l?
False
Let y = 0.06 + 1.94. Let w = 4 - y. Do w and 0.4 have the same value?
False
Let s(h) = -2*h**2 - 5*h + 1. Let z be s(-6). Are z and -42 equal?
False
Let u(n) = -n**2 + 2*n - 1. Let m be u(1). Let y = 7 - m. Is 7 >= y?
True
Let f = 842/9 + -94. Is f <= 1?
True
Let q(v) = v**3 + 2*v**2 - 2*v + 4. Let f be q(-3). Let x be 3 + 58/(-15) + f. Is 1 > x?
True
Let k = -6 - -4. Let d = -0.7 + 3.7. Which is smaller: d or k?
k
Let d = -27 - -242/9. Let p = 0.62 + -0.72. Which is bigger: d or p?
p
Let a = 7/43 + -752/129. Which is greater: a or -6?
a
Let t = -5.1 - -5. Let c be 2/5 - 7/5. Do c and t have different values?
True
Let v(u) = -3*u - 4. Let p be v(-3). Suppose 0 = 3*q - 5*b - 46, 0 = q + 3*q - 3*b - 43. Are p and q non-equal?
True
Suppose 0 + 5 = -b + 2*m, -16 = -4*m. Suppose 10 + 5 = 3*l. Suppose g = 6*g - 2*u + 2, -l = g - 5*u. Is b greater than g?
True
Suppose 6 - 1 = -5*t. Suppose 2*q = -9*d + 4*d, 2*q - 18 = 4*d. Let i = -6 + q. Is t less than i?
False
Let p(x) = x**2 - 24. Let t be p(5). Is 4 not equal to t?
True
Let d = -12 + 8. Let r be (-2)/(-6)*d + 3. Is r greater than 2?
False
Let t be ((-32)/40)/(6/(-20)). Are t and 1 equal?
False
Let y(h) = 2*h**2 + 19*h + 8. Let d be y(-9). Let z = -5 + 3. Which is smaller: z or d?
z
Let u = -7.8 + 15.1. Let s = 0.9 - 7.9. Let d = u + s. Which is smaller: d or 1/3?
d
Let v(m) = 5*m - 3 - 1 + 2*m**2 - m**2 - 3*m. Let g be v(-3). Which is smaller: g or 1/9?
g
Let s(j) = -j**2 + 6*j + 2. Let l be s(5). Let a = l + -34/5. Is a less than -2?
False
Let c = -568 - -13062/23. Which is smaller: c or 0?
c
Let s = 16.43 - -0.57. Is s > 0.1?
True
Let d be 42/98 + (-22)/182. Which is greater: d or 0?
d
Let k be (27 + -31)/((16/(-2))/2). Which is smaller: -1/77 or k?
-1/77
Suppose -m - 1 = 1. Let l = m - -2. Suppose -n + 3*z = -2, -5*n - z - 9 + 3 = l. Is n smaller than -2?
False
Suppose -5*o - 27 - 63 = 0. Let y = -26 - o. Which is bigger: y or -7?
-7
Suppose -3*r + 5*i = r + 2, 5*r = 5*i. Suppose 2*m = -2*u, 0 = 2*m - u - 4*u + 7. Which is greater: r or m?
r
Let c be 18/(-27) + (-20)/6. Which is greater: -2 or c?
-2
Let b(t) = -35*t**3 - t**2 + 3*t - 2. Let w be b(1). Is -36 greater than w?
False
Let k(r) = -r**3 + r**2 + 2*r + 1. Let i be k(-1). Let v = 16 - i. Let u be v/(-18) + 2/4. Is 1 at most as big as u?
False
Suppose i = 2*v + 18 - 4, 3*i = 2*v + 18. Let c = v - -2. Which is bigger: -5 or c?
c
Let d be 4/(-300)*-5*6. Which is smaller: -5 or d?
-5
Let m be 1*((-35)/15 + 0). Do 0 and m have different values?
True
Let b(w) = w**2 - 4*w - 1. Let o be b(5). Suppose -5*i + 5 = -u + 3*u, 4*i - o = 3*u. Let s = i - 4. Does -4 = s?
False
Let a be (-14)/(-6) + (-4)/12. Let m be a/4*-2 + 4. Suppose -3 - 1 = -2*c. Is c less than m?
True
Let r = -596/7 + 426/5. Which is smaller: r or 0?
0
Suppose 5*v - 30 = 2*v. Which is smaller: v or 11?
v
Let o = -1 + 8. Let c = o - 4. Let z = 11 + -8. Is z at most as big as c?
True
Let k be 5 + (1 + -1 - 2). Let m(o) = -3*o + 3. Let n be m(-4). Let t = -13 + n. Is k < t?
False
Suppose -2*r + 2*v = 4*v - 28, 73 = 5*r + 4*v. Let g be (-2 + 3)*4 - r. Is -12 < g?
False
Suppose 7*f - 3*f = -12. Which is bigger: f or -25/6?
f
Let c be 1 - 1/1*3. Let q = c - 0. Let r = -39.2 + 39. Which is greater: r or q?
r
Suppose 2*n + 9 = 4*l + 3, 4*n + 12 = l. Let c = 47 - 32. Let d = c - 14. Does d = l?
False
Let y(z) = z**3 + 4*z**2 - 3. Let q be y(-5). Let u be 3/(-18) + q/264. Is 0 less than or equal to u?
False
Let w = -9 + 10. Is w greater than or equal to -3/8?
True
Let p be (-2)/(-2) + (-34)/2. Let v be (4/8)/(2/p). Let w = v + 4. Is -4/7 at least w?
False
Let d = 36313/2 - 17407. Let c = -8439/10 + d. Let t = -95 - c. Which is smaller: -2 or t?
-2
Suppose -5*m = -k - 9, k + 0*m + 5*m - 11 = 0. Let u = 9 - 6. Is k greater than or equal to u?
False
Let x = -0.5 + -1.5. Is 4 < x?
False
Let y be ((-136)/70 + 2)*5. Let u = -10 + 14. Suppose 0*l + u*l = 0. Which is smaller: y or l?
l
Suppose 2*w + 18 + 8 = 2*s, -4*s - w = -37. Suppose -6*b = -b + s. Let f = -1295/6 - -215. Which is greater: b or f?
f
Let u = 77 - 537/7. Which is smaller: -7 or u?
-7
Let n(q) = q**2 - 4 + 5 - 2. Let a be n(-2). Is 3 less than or equal to a?
True
Let b(c) = c**3 + c + 29. Let a be b(0). Which is greater: a or 30?
30
Suppose -5*b + 19 = -3*i, b = -3*i + i - 4. Suppose b*c = c. Suppose c = 3*z - 4*z. Is -1 not equal to z?
True
Let t = -12 + 11. Let w = 1 - t. Let i = 96/91 + -10/13. Which is smaller: i or w?
i
Let y = -2.68 + -0.32. Suppose 3*w - 1 = -2*x - 5, -3*w - 8 = 4*x. Let i = x - -1. Is i > y?
True
Let a = -0.05 + 0.15. Let i = 0 - 0.1. Which is greater: a or i?
a
Suppose -z + 4*a = -374, 0*z + 5*a + 375 = z. Let y = z - 2955/8. Do 2 and y have the same value?
False
Suppose o + g = 0, -3*o + 9 = -o + 5*g. Is -1 at most o?
False
Let v be (7/(-4))/(9/(-36)). Is v <= 5?
False
Suppose -7*h = -4*h. Suppose -5*y + 3*u = -2, -5*y - 5*u - 2 = -12. Are h and y unequal?
True
Let a(q) = -q**3 + q**2 - q - 1. Let z be a(-1). Let n = 412 + -3698/9. Is z equal to n?
False
Let p be (-169)/(-43) - (-32)/(-8). Is 0 != p?
True
Suppose -21 = 4*w - 9. Suppose t - z = 6*t + 19, -5 = -t + 2*z. Is t smaller than w?
False
Let m be (2/(-4) - 1) + 1. Which is bigger: -1 or m?
m
Let l(g) = g**2 + 4. Let b be l(0). Let p be (-2 + b)*(-14)/(-4). Let a = p + -6. Which is smaller: 0 or a?
0
Let v(q) = -2*q - 2. Let b be v(-2). Suppose 0 = -l - 0 - 2, -b*l = -5*p - 21. Are p and -3 non-equal?
True
Let h(z) = z**3 + 6*z**2 - 8*z. Let b = 17 - 24. Let p be h(b). Let v(w) = -w + 9. Let g be v(p). Is g less than or equal to 3/5?
False
Let x = 6 + -11. Let u = -6 - x. Which is smaller: -4 or u?
-4
Let h(l) = -2*l - 4. Let v be h(-6). Let n be (v/(-12))/(2/(-6)). Suppose n*z = 6*z. Is z smaller than 2?
True
Let t be 2/(-4)*(-2 + -20). Suppose -4*j + 0 + 40 = 0. Which is greater: t or j?
t
Let w = 1152076/221 - 5213. Let t = w - 43/663. Is t at least as big as 1?
False
Let t = -10 - -6. Let r be (t/(-5))/(6/10). Suppose u + 3*u - 8 = 0. Which is smaller: r or u?
r
Let v be ((-6)/12)/(2/(-60)). Let w be 1/(-5) - 42/v. Are w and 0.1 equal?
False
Let w(f) = f**2 - 7*f + 7. Let u(s) = -4*s**2 + 27*s - 28. Let o(m) = -2*u(m) - 9*w(m). Let r be o(8). Which is greater: r or -2/9?
r
Let h = -9 - -6. Let m be ((-1923)/6657)/(-4 - h). Let n = m + -1/317. Is n greater than 1?
False
Let c = 3 - 11. Let u = -6 + 10. Let z = u + c. Which is bigger: -0.1 or z?
-0.1
Let n = 446773/3796 - 1530/13. Is 1 at most as big as n?
False
Suppose -3*p - p = 32. Let b(u) = u**2 - 5*u - 8. Let g be b(6). Let l be 1/p*(-4)/g. Is 1 bigger than l?
True
Let r = -0.5 -