pose i = y - 3*y. Are -2/11 and y unequal?
True
Let z = 814 + -460. Let d = 357.02 - z. Let s = 3 - d. Which is smaller: 2/5 or s?
s
Let s = -0.08 - 0.22. Let l(i) = i**2 + 7*i + 8. Let u be l(-6). Which is smaller: u or s?
s
Suppose 2*g - 2 = -0*g. Do g and -8 have the same value?
False
Let w = -658 + 9866/15. Let r = w - -2/45. Is 2/9 <= r?
False
Suppose -5*n - 17 = 4*s, -3*n - 2*s - 18 = 3*s. Which is smaller: -1/9 or n?
n
Suppose 0 = -5*s + 5*y + 25, 0*s + s - 2*y = 8. Suppose s = j - 1. Suppose -j = -q + 5*h, -3*q + 3*h = -0*q + 3. Which is smaller: q or -3?
-3
Let p(h) = h**3 + h**2 - 4*h - 3. Let a be p(-2). Let o = -12 + 49/4. Which is smaller: o or a?
o
Let d = -92 + 99. Which is smaller: d or 0?
0
Let p = -0.28 + 1.23. Let z = 0.05 + p. Do z and 2 have the same value?
False
Suppose -3*x = 3*t + 12, 0*x + 2*t = -x - 6. Suppose 5*l - 29 = 4*d, 2*l - 3*d + 0 - 13 = 0. Suppose -l*c = -y + 10, c + 2*y - 4 = 3*c. Is c equal to x?
True
Let i be (18/(-3))/2 + -1 + 3. Do i and 1/20 have different values?
True
Suppose -j + 14 = 4*f, j + 2*f = -3*j + 14. Suppose 2*k = -j*k. Is k at most as big as 6/5?
True
Let c be ((-12)/(-15))/(8/20). Let p = 2 + 1. Is c at least as big as p?
False
Let f be 16/6 - (-4)/(-6). Let l be 1*f + (-108)/42. Which is greater: l or -1?
l
Let u(n) = -n**3 + 6*n**2 + n - 2. Suppose 2*b - 3 = 3*v, -3*v + 0 + 27 = 3*b. Let a be u(b). Let m be a/(-14) - 8/(-28). Is -3 bigger than m?
False
Let a be 2 - (2*1)/(-2). Let b = 86 + -84. Is a greater than or equal to b?
True
Let s(d) = d**3 - 6*d**2 + 4*d + 7. Let v be s(5). Suppose v = -3*z - 4. Let q be z/4 - 21/6. Is q greater than -4?
False
Suppose 0 = -3*v - 17 - 25. Is v < -5?
True
Suppose -5*j + 5*a = -10, 2*a + 3*a = -15. Let u be j/2*(-1 - -1). Is 2 at least u?
True
Let b = 4 + 1. Suppose -u + 5*t - 15 = 0, b = -5*u + 4*t - 7. Which is greater: 3/10 or u?
3/10
Let h be ((-8)/6)/((-2)/6). Suppose -3*d + 27 = 2*d + 3*v, -v = -h. Suppose d*y = -2*y. Which is smaller: y or 1?
y
Let g = 97 + -53. Which is greater: 43 or g?
g
Let v be (-3480)/21 + 2 + 0. Let c = -164 - v. Suppose -3*o = -1 - 2. Which is greater: o or c?
o
Let t(s) = 3*s**2 + s - 4. Let f(m) = m**2 - 1. Let g(a) = 5*f(a) - t(a). Let x be g(2). Is 6 <= x?
False
Let l = 6 + -3. Suppose -l*x + 3 = -6*x. Is 2/9 bigger than x?
True
Let t = 43 - 36.2. Let x = t - -2.2. Let h = 0.4 + -1.4. Is x bigger than h?
True
Let o = -6.4 - -33.4. Which is greater: o or 1?
o
Let v(g) be the second derivative of g**5/20 - g**4/6 - 2*g**2 + g. Let a be v(3). Let m be (6/30)/(4/a). Which is greater: -2 or m?
m
Let w = -20 - -39/2. Let f = -2.9997 + -0.0303. Let k = f + 0.03. Which is smaller: w or k?
k
Let u = -148 - -147.1. Let f = 1.3 - 0.3. Which is smaller: f or u?
u
Let p(f) = 3*f. Let r be p(-2). Let a be -9*5/((-495)/r). Let v(m) = -m**2 - 1. Let o be v(-1). Which is bigger: a or o?
a
Let y = -0.051 + -0.049. Is y less than or equal to 97?
True
Let j(w) = w + 7. Suppose -14 = 3*u - 5*f + f, 5*u - 2*f = -28. Let q be j(u). Let h be (-4)/120*(-2 - q). Are -1 and h non-equal?
True
Let s = -1 - -3. Let w be -1 - 0 - (s + -5). Let f be 2/(-2) + 5/2. Is f >= w?
False
Let q(j) = -j - 8. Let t be q(-9). Let m be (-1 - 3/t)*-4. Which is smaller: 15 or m?
15
Let w be (-21)/(-14) + (-5)/(-2) + -1. Let g = -159 + 325/2. Is g greater than w?
True
Let m = -0.2 + 0. Let r(c) = -c**3 + 4*c**2 - c + 2. Let v be r(4). Do m and v have different values?
True
Let p = 0.5 - 0.8. Let b = -3 + 3.1. Let z = b - 0.2. Is z >= p?
True
Suppose d - 3 = -2*d. Are d and 9/4 nonequal?
True
Let m = -0.053 + 3.153. Let q = m + -3. Let b = 0 - -4. Which is greater: b or q?
b
Suppose -3*h = h - 4. Let d = 67/294 - 3/49. Which is bigger: h or d?
h
Let v be (-16)/9 + 8/(-36). Let n be 3*-9*v/6. Suppose 0 = -2*w - w - n. Is -3 greater than w?
False
Let m = -3/10 - -19/55. Which is smaller: m or -1?
-1
Let p = 125 - 126. Let o = 122/3 + -41. Is o bigger than p?
True
Suppose -5*i + 21 = 4*f, -18 = f + 2*f - 3*i. Is f >= -8?
True
Suppose 5*t - 6*t - 1 = 0. Let j be t/(-28) + 2/(-7). Is 0 less than or equal to j?
False
Suppose -3*c = 9, -2*j + 37 = -0*j - 5*c. Do j and 10 have different values?
True
Let c be 1449/6 - 3/(-6). Let k = c + -718/3. Is k bigger than 3?
False
Suppose 2*a + 5 = -15. Let f = a + 10. Is f < -1/3?
False
Let i = 51 + -49. Is -30 greater than i?
False
Let a = 4 - 5. Let f be (1 - -1)*1/2. Let d be (-4 + f)/3 + 1. Is d <= a?
False
Let a = 1269/70 - -48/35. Let z = 20 - a. Let y = -38 + 36. Which is smaller: z or y?
y
Let s(u) = -3*u + 49. Let d be s(21). Is 2 bigger than d?
True
Let j = -56 + 56. Which is smaller: 1/4 or j?
j
Let z(y) = y**3 - 5*y**2 + 6*y - 6. Let m be z(4). Is 2 equal to m?
True
Let q be ((-35)/(-20))/((-2)/8). Does q = -3?
False
Suppose 3*k = -4*h - 353, 3*h - 32 = 5*k - 304. Let n = -802/9 - h. Is 0 > n?
True
Let a be (-11)/(-3) - (-3 + 6). Let r = -12 + 14. Which is smaller: a or r?
a
Let d = 11 - 7. Let y = -5 + d. Let q = y - -1.1. Is -0.2 < q?
True
Suppose -3*q = -0*q - 15. Let k(h) = -h**3 + 6*h**2 - 5*h - 3. Let f be k(q). Let y be 1 - (f/18 - -1). Which is smaller: y or -1?
-1
Suppose 15*t + 63 = 8*t. Which is smaller: t or -7?
t
Let i be (-6)/9*3/4. Let y = 3 - 2.9. Let u = -0.1 + y. Is i at most u?
True
Let t(r) = r**3 + 7*r**2 + 2*r + 8. Let f = 17 + -24. Let c be t(f). Let w(j) = j**2 + 5*j - 5. Let v be w(c). Does -3/7 = v?
False
Let q = -2.7 - 5.3. Which is greater: 0 or q?
0
Let q be (-2)/8 + (-18)/(-8). Let t = 8 + -6. Suppose 2 = 3*f + i - 13, 4*f - 22 = -t*i. Which is smaller: f or q?
q
Let a = 0.1 + -1.1. Let q = -2 + a. Do 2 and q have different values?
True
Suppose -g - 4 = -5. Let f be (2 - 1 - g)/(-1). Let c be (-10)/25 + 88/170. Which is bigger: c or f?
c
Let t(s) = 12*s + 52. Let v be t(-9). Is -56 bigger than v?
False
Let f(b) = b**2 - 1. Let a be f(3). Let j = 4 - -1. Let y = -4 + j. Is a greater than y?
True
Suppose -2*v + 1 = -3. Let u be v - (1 + -2) - 2. Which is smaller: u or 0?
0
Let c(t) = t**3 - 5*t**2 - 7*t + 6. Suppose 2*k = k + 6. Let x be c(k). Which is smaller: 1/5 or x?
x
Let f be (0 - (-354)/15) + (-6)/10. Are f and 24 equal?
False
Let d = -9/418 + 3/19. Let a = -35/66 - d. Is 2/13 > a?
True
Let r(z) = -z**3 + 10*z**2 + z - 12. Let k be r(10). Let v = -32 + 30. Are k and v unequal?
False
Let k = -1520229 - -39518571/26. Let d = k + 284. Is -0.1 <= d?
True
Let l = 1931/14 - 138. Suppose -x + 3 = d - 3*d, 0 = -d - 5*x + 4. Which is smaller: l or d?
d
Let q = -4 + 1. Let h = q - -3.1. Let n = -71 + 70. Which is greater: h or n?
h
Suppose 2*s + 2*u = -0*s + 28, s - 17 = -2*u. Let k = -181 - -191. Which is bigger: s or k?
s
Let u(k) = k**2 - 24*k - 4. Let l be u(26). Are l and 48 non-equal?
False
Let u = -161/4 + 40. Suppose -2*b - 3*s + 70 = 8, 3*b + 3*s - 90 = 0. Let g = b + -85/3. Which is greater: u or g?
u
Let a be (-106)/492 + 4*10/240. Is 1 greater than a?
True
Let k = 8 + -3. Are k and 1 nonequal?
True
Suppose 2*l + 4 = 14. Let u be (l/3 - 2)/1. Which is greater: 0 or u?
0
Let l = -2 - -5. Which is smaller: l or 1?
1
Let m = -53/3 - -18. Let f = -101/18 + 13/2. Let s = f - 2/9. Is s less than m?
False
Let z = -7 - -12. Suppose -f - 5*q - 4 = -23, z*f + q = -1. Suppose 3*b + 0*b + 3 = 0. Does b = f?
True
Suppose -5*g - 3*w + 8*w = -5, 0 = -2*w - 6. Let s be 3/12 + (-50)/8. Let b = s - -4. Is g at most as big as b?
True
Let o be 1729/784 - (-1 + 0). Let c = o - 22/7. Is 0 > c?
False
Let c = -37 + 27. Which is bigger: c or -9?
-9
Suppose 1120 = -18*u + 2*u. Is -70 equal to u?
True
Let v be (3/(-6))/(2/(-4)). Is 1 at most v?
True
Let x(b) = -b**2 - 5*b. Let s be x(-4). Suppose 1 - 5 = -s*n. Is 1 at least as big as n?
True
Let o(j) = 3*j**2 + j. Let p be o(1). Let c be (2 + (-8)/6)*3. Suppose 2*u + c = 2*f - 0*f, -4*u = 4*f - 28. Which is greater: p or u?
p
Let h be (-3)/(1/(-28) + 0). Let g be (-2)/(-3) - 44/h. Which is smaller: g or 0?
0
Let i = 1 + 29. Let k be ((-4)/i)/(3/(-15)). Is 0.2 at most k?
True
Let p = 55 - 38. Is 16 > p?
False
Let g be (18/(-27))/(4/6). Is -1/33 < g?
False
Let z = -20 + 41. Is -1 < z?
True
Suppose -g = m - 8, 2*m - 1 = g - 0*m. Suppose g*h - 10 = 3*h. Suppose z - h*u = -10, 3*z - 2*u = 2*z - 4. Is 2/5 <= z?
False
Suppose 2*l - s + 6 = -6*s, 3*l = -s + 4. 