Let c be 2/(a*(1 + 0)). Is c < f?
False
Let b(m) = -4*m - 21. Let t be b(-4). Which is smaller: t or -6?
-6
Let f = -14.9 + 15. Which is bigger: 0 or f?
f
Let k = 37.2 - 37. Which is bigger: -2/3 or k?
k
Let x = 2.1 - 2.1. Let n = x - -0.1. Are n and -3/2 nonequal?
True
Let z = -3840/17 - -226. Which is smaller: 5 or z?
z
Suppose 4*c - 20 = -4*n, 3*c - 6 = -n - 1. Suppose -5*i - 5*g + 63 = 8, c = 3*i - 2*g - 13. Which is greater: 2 or i?
i
Let r(d) = -d - 5. Suppose -5*q + 2*x - 22 = x, 3*q + 8 = -2*x. Let v = q - 0. Let j be r(v). Which is smaller: -1/5 or j?
j
Let p(v) = 15*v + 25. Let o(k) = 7*k + 12. Let a(j) = 13*o(j) - 6*p(j). Let r be a(-11). Which is smaller: -3 or r?
r
Let c = -21 - -36. Suppose -5*d = -0*d - c. Do d and 2 have the same value?
False
Let f = -63 + 38. Let n = -217 + f. Let m = n - -1933/8. Which is greater: m or 0?
0
Let j = 0.37 - 14.77. Let l = -16 - j. Let d = l - 0.4. Is -1 bigger than d?
True
Suppose -5*s + 0*s + 10 = 5*n, -2 = -n + 3*s. Let i = 2 + -3. Let g be 2 - 1 - i/(-4). Is n greater than g?
True
Suppose -4*x - 14 = 3*x. Is x at least -2?
True
Let u(j) = 2*j + 46. Let c be u(-19). Is 6 greater than c?
False
Suppose 5*p = 4*p + 5, p = 5*b + 80. Is b smaller than -15?
False
Let l = 53 - 53. Let n = -2 + 4. Which is smaller: n or l?
l
Suppose 3*l + 130 = -2*l. Which is greater: l or -103/4?
-103/4
Let h be ((-16)/(-150))/(7/(-70)). Let w = h - -338/345. Is w less than -1?
False
Let o be ((-90)/50)/(2/10). Is o >= -10?
True
Let s(l) = l**3 - 3*l**2 + l + 2. Let h be s(2). Is 3/13 <= h?
False
Let u = 49 + -49. Is -0.07 > u?
False
Let v = -1 + 1.4. Let j = 0 - 0.2. Let i = j + v. Is 0 >= i?
False
Suppose -2*p + 4*r + 8 = 0, -p - r = 3*r + 8. Which is smaller: p or -1/2?
-1/2
Suppose 0 = -5*q + 3*q + 4. Suppose 4*y = q*y. Let a = 0.6 - 0.5. Does y = a?
False
Let m = 0.061 - -0.039. Let j = -0.05 + 0.15. Is j at most m?
True
Let h(d) = -d**2 - 4*d. Let c be h(-3). Suppose 0 + 3 = c*u. Which is bigger: u or 2/19?
u
Let w = -0.099 + -5.801. Let q = -6 - w. Does -4 = q?
False
Let l(q) = q**3 - 5*q**2 - q + 5. Let b be l(5). Which is smaller: b or 1?
b
Let s = 2966 - 20716/7. Which is smaller: 6 or s?
6
Let t = 0 + 3. Let u be 0 + (-6)/t + 2. Suppose u = 5*w + 3 + 12. Is w equal to -1?
False
Let t = 1 - 1. Let s = -1953/8 - -13071/56. Let o = s + 11. Is t < o?
True
Suppose 0 + 5 = 5*a. Suppose -7 + a = -3*p. Suppose -4 = 2*c + p. Is -2 less than c?
False
Let t be (-10)/(-32) + 2/(-8). Let h(v) = 2*v - 10. Let p be h(5). Do t and p have the same value?
False
Suppose 2*u - t = 13, -2 - 4 = u + 2*t. Let a be (-3 + 4)*2/u. Which is smaller: -2/11 or a?
-2/11
Let l = -15 - -15. Is l smaller than -1/69?
False
Let o = -547/3 + 56335/309. Which is smaller: 1 or o?
o
Let h(f) = -f**3 + 42*f**2 - 38*f - 123. Let s be h(41). Suppose 0 = 5*r + 15, 3*b - 3*r = -2*r + 9. Are b and s equal?
False
Let l be (1200/(-76))/(-5) + -3. Let h(r) = -r + 6. Let q be h(7). Which is bigger: l or q?
l
Let a = 0 - -2. Let o = 8 + -6. Suppose -o*h - 5*z = 15, -2*z = 3*z + 15. Which is bigger: a or h?
a
Let k(i) = i**2 + 5*i - 4. Let h be (2 - -3)*12/(-10). Let r be k(h). Let z be 2 + -2 + 3/2. Is r less than or equal to z?
False
Suppose -4523 = -5*t - 988. Let d = 2674/5 - t. Let j = -173 - d. Which is greater: j or 0?
0
Suppose 0 = 2*k - 7*k - 20. Let x = -5 - k. Which is greater: 0 or x?
0
Let b = 5 + -5.4. Let j = b + 1.4. Let y = 0 + j. Is 4/3 equal to y?
False
Suppose g = -3*g + 4. Let f be (g + -1 - 0)*1. Is -3/5 smaller than f?
True
Let j = 22877/10604 - 43/482. Let s be ((-90)/264)/((-3)/16). Let v = s - j. Which is bigger: -2/3 or v?
v
Let r = 2.45 - 0.25. Let c = -0.2 + r. Let b = 1.1 - 1. Is c < b?
False
Let m be -5 + 1*(-6)/(-2). Which is smaller: -25/11 or m?
-25/11
Suppose -1 = 7*o + 181. Is -26 < o?
False
Let q = -49 - -36. Is q < -11?
True
Suppose -3*v = -4*f + 1, 2*v + 3 = 5*v - 3*f. Suppose -3*x - 2 = -v. Which is smaller: 0.1 or x?
0.1
Let o = -4 - -3.9. Let w = -1.2 - 4.8. Let h = w - -10. Are o and h equal?
False
Let q be ((-50)/45)/(-5) + 240/(-1323). Which is smaller: 0 or q?
0
Let d = 0.177 - -0.813. Let q = d + -1. Let t = -14 - -13.9. Is t > q?
False
Let y(u) = u**2 - 4*u + 4. Let w be y(4). Let v(c) = -2*c + 1. Let s(j) = j. Let g(n) = -5*s(n) - 2*v(n). Let b be g(-4). Is w less than b?
False
Let r(p) = -p**2 + 4*p + 3. Let t be r(5). Let a = -283 + 284. Which is smaller: a or t?
t
Let a = -5 - -5. Let k = 0.3 + 4.7. Which is smaller: a or k?
a
Suppose 5*q + 20 = -0*q. Let d be q/(-3)*3/12. Let y = -0.3 + -0.7. Which is smaller: y or d?
y
Suppose 22 = 2*i + 4. Let p be (-3)/21 + 128/14. Is p smaller than i?
False
Let m(o) = -o + 5. Let n be m(3). Let q be 6/18 + n/(-42). Which is greater: 0 or q?
q
Let v(z) = z + 5. Let h be v(-6). Does h = 2/9?
False
Let z = -14.1 + 15. Which is smaller: z or 1?
z
Let n = -5 - -5. Is 0.06 equal to n?
False
Let k = -12/5 - -64/35. Suppose -1 - 5 = 3*q. Which is smaller: q or k?
q
Suppose 0 = -5*q - 462 - 213. Let d = -1483/11 - q. Are d and 2/3 equal?
False
Let y(f) = f**2 + 11*f - 10. Let r be y(-12). Suppose 0 = -2*a + u - 3 - 2, r*a = -u - 11. Are a and -3 unequal?
True
Let i(s) = 2*s**2 + s - 4. Let w be i(3). Suppose 13 = 5*o - w. Which is smaller: o or 5?
5
Suppose 4*v + 1 = -7. Let z be 6*v*(-1 + 6). Let b be (-14)/z + 2/(-6). Is b > -1?
True
Let x(y) be the first derivative of 3*y**2/2 + 3*y - 3. Let w be x(-2). Is w at least -3?
True
Let m be (11 - 298/27)/(1/(-6)). Suppose 0 = d + 3*t - 0 - 12, -d - 4*t = -16. Is m less than or equal to d?
False
Let l = 48 + -50. Which is greater: l or -4/5?
-4/5
Let x = 25 - 25. Is -4 greater than or equal to x?
False
Let r = -0.23 + 0.03. Let y = -0.1 - r. Are 2 and y non-equal?
True
Let t(p) = 2 - 2 - p + 2. Let k be t(3). Which is smaller: k or -2?
-2
Suppose -u = -5*u + 16. Let v be 1/3*(u + -3). Which is smaller: -1/6 or v?
-1/6
Let r(d) = -d**2 + 8*d + 5. Let u be r(5). Suppose -u = -4*v + 3*f, 25 = 5*v - 0*f - 5*f. Suppose o + l - 4*l = -1, 5*o = 5*l - v. Is -1/4 < o?
False
Let b = 30.04 - 29. Let a = -1 + b. Which is smaller: a or 2/3?
a
Let v be 5/(-39)*22/(-55). Let t be (-4)/(-14) + 1587/(-3276). Let p = v - t. Is 3 at least p?
True
Let s be 24/(-35) + 18/45. Let u = 2.1 + -2. Let o = u - 0.2. Which is smaller: o or s?
s
Suppose -2*m - 2*d + 2 = 20, -d = 3. Is -23/4 != m?
True
Suppose -5*m + 1 = 2*k + 2, 0 = -2*m - k. Suppose 2*z + 3*z = 0. Which is greater: z or m?
z
Suppose 36 = 5*m - 189. Is m equal to 45?
True
Suppose 0 = -13*x + 18*x - 50. Suppose 5 = o - 5. Is o less than or equal to x?
True
Let w = 24 - 22. Which is smaller: w or 0.1?
0.1
Let n(s) = -s - 5. Suppose -y + 17 = y - 5*o, -5*y + 4*o = 0. Let c be n(y). Let l be ((-2)/c + -6)/1. Which is bigger: -5 or l?
l
Suppose n + 2*s = 0, 4*n = 5*s - 48 + 9. Let a be 2/n*3/38. Let d = a - -81/190. Do d and -1 have different values?
True
Let g = -11567/348 - -133/4. Is 0 less than g?
True
Let o = 3 + -2. Let i be 24/(-20)*5/2. Let l be -2 - (3/(-3) + i). Is l <= o?
False
Let g(l) = -l**3 + 8*l**2 + 11*l - 19. Let r be g(9). Which is greater: 5 or r?
5
Suppose 3*j - 1 = 8. Suppose -9 = c + j*v, -3*c - v + 1 + 4 = 0. Suppose 4 = c*l + 1. Which is smaller: 1/7 or l?
1/7
Suppose 15*r - 10*r = m + 15, 4*r - 8 = 0. Which is smaller: m or -3?
m
Let j(o) be the second derivative of o**5/20 + o**4/6 + o**3/3 + 3*o**2/2 - o. Let r(n) = n**3 + 9*n**2 - 2. Let s be r(-9). Let i be j(s). Is 0 <= i?
False
Let j = -12 + 2. Suppose -5*h + 10 = -0*h. Let d be j/h - (-14)/7. Are d and -1 equal?
False
Let h = -27 + 44. Let n = -15.5 + h. Which is bigger: n or -1/3?
n
Let m = -65 + 92. Let t = -27 + m. Is t not equal to 0?
False
Let v = -60 - -59. Let u = -1.1 + 1.8. Is v smaller than u?
True
Suppose -4*g + 0 + 12 = 0. Suppose g*j - 6 = 5*j. Let z = j + 4. Which is bigger: -1/4 or z?
z
Let c = -0.2 - -0.06. Let l = -3.14 - c. Let f = -0.1 + 0.3. Which is bigger: f or l?
f
Suppose 0 = -10*t - 11 + 1. Let n(i) = i**2 - 7*i + 5. Let q be n(6). Is q greater than t?
False
Let y be 6/33 - (-2)/(-11). Let b be -7 - ((0 - y) + -1). Let k be 1*-2 + 12/(-4). Is b < k?
True
Let t = 4 + -2. Which is smaller: t or 6?
t
Suppose c - q + 5 = 4, 0 = -4*c + 3*q - 7. Let m be (-2)/(-10) + (-3)/15. Which is small