 o = -4/123 + 623/246. Are o and 2 equal?
False
Let m = 0.02 - -0.916. Let y = 0.064 + m. Is 2/47 > y?
False
Let j(u) = u**2 - 5*u. Let b be j(4). Let l be b/3*(-225)/(-10). Let c be ((-6)/15)/(16/l). Which is smaller: -0.2 or c?
-0.2
Suppose -y - b = -4, 0*b = -4*y + 5*b - 20. Suppose c + 2 = 0, t + y*c - c - 18 = 0. Suppose 5*m + 2*l + 1 - 67 = 0, -l - 72 = -5*m. Is t smaller than m?
False
Let g = -10 - -11. Suppose 23 = 5*w + 4*a + g, 5*w = 3*a + 1. Suppose -2*n - 5 = c, -n + 0*c + 5 = -w*c. Which is smaller: n or 2/5?
n
Suppose 17*p - 19*p - 4400 = -5*d, 0 = 3*d + 2*p - 2640. Is 879 at most as big as d?
True
Suppose 4*n = -0*n - 28. Let b be 2/(-56)*-3*n/2. Is b <= 1?
True
Suppose -6*r = -541 - 29. Suppose -47*v + 42*v + r = 0. Which is bigger: v or 18?
v
Suppose 2*u - 932 = -16*c + 13*c, -5*c = 4*u - 1552. Which is smaller: c or 311?
311
Let h = 21 + -15. Let f = 10 - h. Is -6 bigger than f?
False
Let c(h) = 3*h**2 + h - 2. Let a be c(-2). Suppose 3*x - a + 26 = 0. Let u = x + 12. Which is bigger: 5 or u?
u
Suppose -3*x + 7*c = 2*c, 4*c + 3 = 3*x. Suppose 3*o = d + 13, -2*o - 5 = 2*d - o. Let j(k) = -3*k - 9. Let g be j(d). Is g not equal to x?
True
Let k(j) = j**3 + 16*j**2 + 16*j + 21. Let o(y) = -14*y**3 - y. Let v be o(1). Let z be k(v). Which is smaller: 4 or z?
4
Let x(u) = -u**3 + 3*u**2 - 5*u + 5. Let s be x(2). Is s less than or equal to -4/31?
True
Let p = -862 - -856. Is 0.056 >= p?
True
Let p be 48/(-32) + (-35)/(-2) + 2. Let r be (-36)/15*315/p. Are r and -43 nonequal?
True
Suppose -2*o - 25 = 15. Let v be ((-15)/o)/(-5 + (-4)/(-2)). Let i = -2 - -1.8. Which is smaller: i or v?
v
Let l be ((-972)/(-63))/((-2)/(-14)). Suppose 3*p + 4*x - 67 = 55, -3*p + l = -3*x. Which is smaller: p or 40?
p
Let q = 10 + -13. Let t(f) = 8*f**3 - f + 2. Let k be t(1). Let l be (-21)/7 - k/q. Is l > 22?
False
Let x be (74/6 - 12)*0. Which is bigger: x or 1/430?
1/430
Suppose -6 = -13*a - 136. Which is smaller: 4/3 or a?
a
Let o = -1368 + 1390. Which is greater: o or -0.17?
o
Let q be -2 + (-4 - -3) + 12. Let g(v) = v**2 - 9*v. Let n be g(q). Suppose -3*l + l - 2 = n. Is 1/8 less than l?
False
Let r be (-8)/12 - 38846/132. Let c = -295 - r. Which is greater: c or 1?
1
Let p = -11 + 5. Let x be ((-2)/p)/(4/14). Suppose 4*n = -32, 6*s + 2*n - 41 + 57 = 0. Which is smaller: s or x?
s
Let b = -48 + 97. Is b at most as big as 45?
False
Let q = 1.162 - 1.1. Let c = -0.262 + q. Is c smaller than -26?
False
Let k be (-10)/20*(3 - (-27)/(-7)). Let p = 4.09 - 0.09. Which is bigger: k or p?
p
Let a be 264/20 + (4 + -29)/5. Suppose -3*z + 27 = 2*w + 5, 3*z = w + 25. Which is smaller: z or a?
z
Suppose d - 4*d = -3*f - 3, -2*f - 2 = 2*d. Suppose 3*s - 6 = d, 3*l - l + 2*s = -2. Is -2 smaller than l?
False
Let c be 0*(-3)/6 - -2. Suppose -12 = -6*h + c*h - 4*y, 2*h = y + 6. Suppose -2*u + 5 = -h*u, 2*s = 2*u + 12. Which is smaller: -7 or s?
-7
Suppose l = 5*b + 7, -5*l + 0*b + 57 = -3*b. Let t = 12 - l. Suppose 4*q + q = t. Is -3 >= q?
False
Let y be -6*(-2)/3 - 1. Let q be y - ((-260)/42)/(-2). Suppose 0*p - 1 = 4*h - p, -2*p + 2 = 3*h. Is h not equal to q?
True
Let v(d) = d**3 - 6*d**2 + 2*d - 5. Let n be 26/4 + 4/(-8). Let c be v(n). Suppose c = -y + 6. Which is greater: -4/5 or y?
-4/5
Let g be ((-1)/(-2))/(2/4) + -2. Are -5 and g equal?
False
Let m be (-715)/15 - 3/9. Let h = m + 24. Is -24 smaller than h?
False
Suppose 0 = 3*i + 118 + 5. Suppose 1176 = -13*c - 15*c. Is c at most as big as i?
True
Let z = -40 + 25. Let u = z - -17. Which is smaller: u or 1/5?
1/5
Let n = -853 + 34971/41. Suppose -x = -3*i + x + 7, 5*i - 7 = x. Is i bigger than n?
True
Suppose 8 + 7 = 3*h. Let t be 3/6 - 10/(-4). Suppose -c + 8 = h*b, 0 = c - 3*c + t*b + 16. Which is smaller: 7 or c?
7
Suppose -6*c = 4*q - 2*c - 20, -5*q + 23 = 3*c. Let a = 16 + -10. Let r = a + -5.9. Is q <= r?
False
Let c(m) = -12*m**2 - 4*m + 2. Let k(w) = 48*w**2 + 15*w - 9. Let t(b) = 9*c(b) + 2*k(b). Let j be t(-3). Which is bigger: -89 or j?
-89
Let u = -1.1 - -16.1. Let r be (-1)/2 - 52/(-104). Which is smaller: u or r?
r
Let j(k) = 11*k - 2. Let a be j(-10). Let q be (a/6)/((-7)/(-21)). Are -0.1 and q equal?
False
Suppose -4*f = 4*v + 3 + 5, 11 = -v - 4*f. Suppose 0 = 5*u + 4 + v. Let m = -94/65 - -24/13. Are u and m equal?
False
Suppose 0 = 2*r + 8, 14 + 16 = 3*u - 3*r. Suppose u*p - 42 = -p. Do p and 29/5 have the same value?
False
Let w = -1067/8 + 133. Let b(j) = 2*j**2 + 1. Let v be b(1). Suppose v*r + 0*r = -3. Are r and w equal?
False
Suppose 5*o + 164 = -2*z, -z + 2*o = -4*z - 268. Is z at most -94?
False
Let n = -82 + 67. Let y be (6/((-18)/n))/(-1). Which is smaller: y or -6?
-6
Suppose -6*a - 55 = -a. Suppose -3*s - 42 = -0*s. Let t = a - s. Which is smaller: 2 or t?
2
Let b be 7 - ((-1280)/(-24))/8. Is b > -629?
True
Suppose 2*v = -4, -2*p - 2*p + 314 = -3*v. Let r be 396/p - 2/14. Let q be (-1)/r - (-48)/(-10). Which is smaller: q or -7?
-7
Let m = 2.789 - -0.211. Is 3/25 > m?
False
Let o = 48 + -50. Let s be (o - 117/(-33)) + 7/(-7). Does -3 = s?
False
Suppose 9*w - 7*w = -4. Let z be w/(-10) + (-248)/1140. Let j = z + -335/399. Is -1 > j?
False
Let d = 5075/9 + -563. Which is smaller: 6/5 or d?
d
Let u = 6335 + -240713/38. Which is greater: u or 0?
u
Let o be (24850/1725)/((-344)/(-174) + -2). Let a = o - -627. Which is smaller: 0 or a?
0
Let q(c) = 16*c - 97. Let w be q(6). Do -1/14 and w have different values?
True
Let c be 2*(-1)/16*2. Let z be (2/(-1))/((-36)/8 + 4). Suppose m + 3*m - z = 0. Is c <= m?
True
Let g(x) = -18*x - 71. Let b be g(-4). Is b greater than -1/579?
True
Let s(i) = i**3 - 2*i**2 + 26. Let d be s(0). Let q be (-51)/(-2) + 3/(-6). Is d at least as big as q?
True
Let j = -19 - -26. Let r be 3*j/(21/4). Suppose -1 = -4*x + 11. Is x smaller than r?
True
Let f(a) = -a**3 + a**2 + a + 1. Let n(l) = -4*l**3 + 2*l**2 + 9*l + 4. Let b(g) = 5*f(g) - n(g). Let w be b(3). Is -12 at least as big as w?
False
Let q be ((-18)/(-4))/(878/436 + -2). Is 328 smaller than q?
False
Suppose -4*i + 16 - 6 = q, 4*q = -3*i - 25. Which is greater: q or -3?
-3
Suppose -2*z - 4*m + 9*m = 2, 2*m + 8 = 0. Which is greater: -10 or z?
-10
Let v = -2/9521 + 923545/38084. Are v and 24 nonequal?
True
Suppose -60 = -3*s - 0*s. Let k be (-5 - (-85)/s)/(1/(-4)). Which is bigger: k or 4?
4
Let u(q) = 4*q + 23. Let a be u(-6). Let r be 22/(-4) + 6/4. Let z be 6/(-8)*r/(-2). Is z >= a?
False
Let x(i) = -i**2 - 7*i + 7. Let u be x(-9). Let y be (-11)/(-8) + 11/u. Is -1 >= y?
False
Let h be -12 + 14 + -6 - 1/1. Which is smaller: h or 4?
h
Let j(g) = 38*g + 227. Let d be j(-6). Is d at least as big as 2.67?
False
Let g(x) = x**3 + 7*x**2 + 5*x - 2. Let h be g(-6). Suppose 0 = -3*s - 4*j + 2, -3*s + h*j - 8 = -5*s. Are -6 and s nonequal?
False
Let z = 1805 + -1805. Is z greater than 6/511?
False
Suppose -20*n = 3220 - 80. Is n equal to -164?
False
Let r be 8/16 + 54/(-4). Which is greater: r or -6?
-6
Let s(p) = 28*p + 158. Let x be s(-7). Is x at most -37?
True
Let p = -1.438 + -7.562. Are -0.011 and p unequal?
True
Suppose -1791 = 17*v - 210. Is -91 at least as big as v?
True
Suppose 44 + 48 = 4*x - 2*c, -x = c - 17. Which is smaller: 19 or x?
19
Let v(l) = -l**2 - 10*l + 24. Suppose 0*w + 8*w = -88. Let i be v(w). Which is smaller: 17 or i?
i
Let w be (8/(-4))/(4/(-22)). Which is greater: 27/5 or w?
w
Suppose -1435 = 530*n - 523*n. Which is smaller: n or -203?
n
Suppose 4*f = 3*k - 49, -f - 3*k - 2*k = -5. Suppose -98 = -7*z - 168. Is z greater than f?
False
Let a = 753 + -735. Let i = 10 - -13. Let h = i - a. Which is smaller: 2/5 or h?
2/5
Let f(u) = -u**3 + 14*u**2 + u - 9. Let n be f(14). Let x(l) = l**3 - 4*l**2 - 4*l - 4. Let o be x(n). Let d = o + 10. Is 11 at most as big as d?
True
Let i = 62 + -49. Let b = 2.9 - 3. Is b less than i?
True
Let k = 11 - 12. Suppose 5*x - 3 = o + 1, 0 = -3*o - x + 4. Let j be (2*(-3)/(-28))/o. Which is smaller: k or j?
k
Let o = 3 + 5. Let s be 66/o + 8/(-32). Suppose 5*l - 44 = 4*n - 0, -1 = n. Is l not equal to s?
False
Let i be (6/12)/((-87)/(-27)). Is i at most as big as -1?
False
Suppose -410 = -10*w - 1230. Which is smaller: -83 or w?
-83
Let t = -157544/93 - -1694. Let i = 8 - 7. Which is smaller: i or t?
t
Suppose 0 = 3*q - i - 234, 2*i + 0*i = 2*q 