-5 = -5*f + 50. Is f smaller than 11?
False
Let q = 0.12 - -0.68. Let s = q - 0.6. Let f be (-14)/(-20) - (-1)/(-2). Is f smaller than s?
False
Let g be (51/4)/((-24)/(-8)). Which is bigger: 4 or g?
g
Let i be ((-24)/(-28))/(-3)*-7. Let f be (i - -7)*(-1)/3. Is f equal to -3/2?
False
Suppose -890 = -u - 0*u. Suppose 0 = -5*l - 3*a + u, 2*l = l - 5*a + 200. Let j be 1/6 - l/546. Which is smaller: j or -1?
-1
Let k be (2/9)/(8/(-30)). Let c(b) = b**3 - 10*b**2 + b - 5. Let i be c(10). Suppose 0 = 5*g - 10, -u + 5 = 4*u + i*g. Is u at most as big as k?
True
Let x = -34 - -16. Let v = -14 - x. Is v >= -1?
True
Let r(c) = c**3 + c**2. Let h be r(1). Let q be (-1 - -2) + 4/2. Suppose 14 = 4*u - f - 0*f, q*u = 5*f + 2. Are h and u unequal?
True
Suppose 0 = -5*j + 54 - 14. Suppose 0*f + 4*f - j = 0. Is f greater than 1?
True
Let p be 1/(-2 + (-22)/(-10)). Suppose 0*l = -p*l - 30. Is l less than -6?
False
Let y = 0 - -4. Let o = y + -3. Is 1 equal to o?
True
Suppose -g + 22 = 4*x, -5*g + x + 76 = 4*x. Which is smaller: 10 or g?
10
Let d = 55/8 - 13/2. Let n = 5 - 11. Let l = 5 + n. Which is bigger: l or d?
d
Let p be 2/13 - 140/(-104). Which is smaller: p or 3?
p
Suppose 0*o = 3*l - 2*o + 9, 5*o - 17 = 2*l. Which is greater: 2/7 or l?
2/7
Let h = -0.64 - -0.84. Is -1 at most as big as h?
True
Let s(o) = o**2 - 5*o - 6. Let c be s(6). Suppose 5*g - 2*q + 42 - 14 = 0, c = g - 5*q + 24. Let b be ((-1)/(-2))/((-1)/g). Which is greater: b or 3?
3
Let p be 45/(-9)*(-11)/5. Which is greater: 10 or p?
p
Let m = -12 + 17. Let n = 0.07 - 0.17. Is n at least as big as m?
False
Suppose p = -p + 5*a + 45, 3*p - a = 35. Let z be (-4)/p - (-18)/(-5). Which is greater: -3 or z?
-3
Let j = 0 + 4. Let t(c) = -c + 4. Let x be t(j). Are -2/13 and x nonequal?
True
Suppose -k - 3*l - 30 = -2*k, -2*k - 3*l + 69 = 0. Let y be k/11 + 62/(-18). Which is greater: y or -1?
y
Let l(y) = 3*y + 5. Let z be l(-5). Which is greater: -11 or z?
z
Let h = 2.7 - -21.3. Which is bigger: h or 0.2?
h
Suppose 2*w = -5*m - 7 - 14, w + 2*m = -9. Suppose 3*q - 2*q - 4*s = -12, 0 = -s + 3. Suppose 5*a = -5 - q. Which is smaller: w or a?
w
Let z = -0.01 + 0.01. Let p = 0.3 + z. Which is smaller: -0.2 or p?
-0.2
Suppose -12*x - 39 = 165. Which is smaller: -18 or x?
-18
Let v = -10 + 13. Suppose 3*l - 3*d = -15, 2*l + 22 = v*d + 2*d. Are 2/9 and l nonequal?
True
Let j = 0 - 0. Is 1/4 at most j?
False
Let w = 1/25 + 43/175. Suppose 0 = f - 6*f + 15. Let h = -2 + f. Which is smaller: w or h?
w
Let l = -0.3 - -0.1. Let i be 4/(-14)*5/4. Let w = -1/7 + i. Is l greater than w?
True
Let v = 0.1 - -0.4. Let o = v + -1. Let y be 1 + (3 - 36/10). Which is smaller: y or o?
o
Suppose -v - 2*v + 6 = 0. Which is smaller: 1 or v?
1
Suppose 2*c = -3*c. Let p = c - -2. Suppose -4 = 2*s, n = -3*s - 7 + p. Does 1 = n?
True
Let v = -4/69 - -22/115. Suppose -2*g - a = -4, 0*a + 10 = 5*g - 3*a. Suppose 4*n + 5*f - 6 = 3*f, -g*n + 6 = 2*f. Which is bigger: n or v?
v
Suppose 28 = l + 27. Which is bigger: -2/51 or l?
l
Let q(d) = 0*d**3 + d**3 - 1 - 5 - 8*d**2 + d. Let o be q(8). Which is greater: 4/5 or o?
o
Let s = -47 + 30. Let w = -16 - s. Which is greater: -4/11 or w?
w
Let j = -10.2 - -9. Let f = 0.2 + j. Let i = f - 0. Which is smaller: i or 1?
i
Let u be (4/5)/(12/30). Let w(z) = z**2 - 3*z + 2. Let m be w(u). Let c be ((-6)/(-5))/(-1) + 0. Is c <= m?
True
Let a = -106 - -93. Let c(b) = b**3 + 3*b**2 - 5*b - 4. Let l be c(-4). Which is bigger: a or l?
l
Suppose 3*p + 4*k - 10 = -2*p, 3*p = -k - 1. Suppose -3*j - l - 9 = 2*j, j - 2 = -4*l. Are j and p non-equal?
False
Let s be (2/(-8))/((-2)/8). Let p be 4/((-48)/(-9)) - s. Do p and 0 have the same value?
False
Suppose 4*v = x + 41, -4*x - 14 = -2*v + 10. Let i = 8 - v. Suppose 2 = -2*y - 4. Is i bigger than y?
True
Let u be ((-191)/(-98) - 2)*(-6)/30. Which is smaller: -1 or u?
-1
Let j = -5 - -36/7. Is 0 less than j?
True
Suppose -2*h = 3*g - 12, -g - 6 = -h + 4*g. Let m be (3/(-14))/(3/h). Let p(a) = -a**3 + a**2 + a. Let r be p(1). Is m less than r?
True
Suppose 273 = -4*q + v, 3*q - 5*v + 3*v = -201. Which is smaller: -68 or q?
q
Suppose 5 - 8 = 3*m. Let v = 2 + -3. Let s be (1/1 - 1)/v. Which is bigger: s or m?
s
Let v(z) = z**2 - 13*z. Let s = 15 + -2. Let a be v(s). Which is greater: a or 2?
2
Let i(c) = c**3 - 2*c**2 - 2. Let v be i(2). Let t(j) be the second derivative of j**5/20 - j**4/6 - j**3/3 - j**2/2 - j. Let l be t(-1). Is l equal to v?
True
Let m = 7.01 - 7. Let a = m - 0.81. Is a greater than or equal to -0.1?
False
Let y = -270/7 + 3239/70. Let g = y - 39/5. Which is smaller: -1 or g?
-1
Let x be 40/(-6)*18/(-56). Which is smaller: -1 or x?
-1
Suppose -12 + 5 = 7*j. Is 2/5 <= j?
False
Let i(o) = -6*o**2 + 30*o + 25. Let v(k) = k**2 - 6*k - 5. Let g(p) = 2*i(p) + 11*v(p). Let f be g(-6). Is 1 at most as big as f?
False
Let k = 79/11 - 7. Which is greater: k or -4?
k
Suppose 2*l = 3*t - 0*t + 8, 4*l - 12 = 4*t. Let a = -13 - -15. Which is smaller: l or a?
l
Suppose -3*p + 2 = -3*d + 2*p, -14 = -d - 2*p. Is 6 > d?
False
Let c = -209 + 209.1. Let p = -5 - 8. Is p equal to c?
False
Let i = 16 + -25. Does -8 = i?
False
Let o be (1/(-4))/((-7)/(-8)). Let z = 55 - 439/8. Let w = -5/24 - z. Which is bigger: w or o?
o
Let o = -882655/7 - -125848. Let r = -246 - o. Is 0 < r?
False
Let c = 8 + -31/4. Is c bigger than 1?
False
Let p = 54 + -325/6. Suppose -12 = -2*j + 4*q + 14, 3*j + q = 4. Let z = 2 - j. Which is greater: z or p?
p
Suppose -65*t - 270 = -70*t. Is 55 > t?
True
Let g = 0.4 - 0.4. Let f = -6 - -9. Suppose 5*r = -5*v - 45, 3*v = -4*r + 6*r + f. Are g and r non-equal?
True
Let s(y) = -12*y**3 - 1. Let w be s(-1). Is w at least as big as 9?
True
Let z = -0.01 + -0.39. Let y = z + 0.5. Let u = y + 0.9. Which is smaller: -0.1 or u?
-0.1
Let d = -0.3 - -0.2. Let l(h) = h - 1. Let u(z) = -z - 1. Let p be u(0). Let s be l(p). Which is bigger: d or s?
d
Let g = 4 - 4. Let x = 1 - -1. Suppose -4*j = x*o - 7*o + 23, -2*j = 4*o - 8. Which is greater: o or g?
o
Suppose -2*t - 8 = 5*r - 3*r, 0 = -t - 4. Let q be ((-4)/6)/(1/(-68)). Let p = q - 1771/39. Is r less than or equal to p?
False
Let j(l) = -2*l - 1. Let z be j(1). Let t(p) be the second derivative of p**3/6 + 2*p**2 - p. Let x be t(z). Is -1 at most as big as x?
True
Let i = -52 + 54. Is 2/7 at most i?
True
Let s be (-112)/20 - 4/10. Let a be (4*3/s)/(-21). Which is smaller: a or 1?
a
Let t = -0.043 - -0.143. Is t >= 2/3?
False
Let c = 74 + 27. Is 101 < c?
False
Let i(v) = v - 2. Let s be i(3). Let r = -1/2 + s. Let b = -0.5 + 0.3. Which is greater: b or r?
r
Suppose 3*o - 1 = 2*i + 12, -o = i - 6. Suppose d - 3 = -o*l - 18, 0 = -2*d + 4*l + 12. Is -2 less than d?
True
Let c = -4.98 + -0.02. Is c equal to 1?
False
Let m(k) = -3*k**2 + 16*k - 7. Let c(q) = 4*q**2 - 24*q + 11. Let h(l) = -5*c(l) - 7*m(l). Let o be h(-8). Let t be o/(-4)*32/(-36). Is t less than 0?
True
Suppose 56 = -4*h + 3*h. Let y be 96/h - (-4)/(-14). Let u = -3 - y. Is -2 <= u?
True
Suppose 2*b + 22 = u, b = -3*b - u - 32. Is b smaller than -10?
False
Let l = 4.94 - -0.06. Let i = l - 5. Does -7/5 = i?
False
Let g be -10*(-243)/(-42) + 2. Let z = -56 - g. Which is greater: z or 2/7?
2/7
Let v = -12 + 15. Suppose 0 = -s + 3*l - 16, 3*l - 2 = -v*s + 2*l. Which is smaller: s or -12/5?
-12/5
Let b be ((-17)/(-2))/(1/4*-2). Does 0 = b?
False
Suppose -4*u + 60 = -3*k, -4*u - 4*k = -u - 70. Suppose 0 = -j - 2*j + u. Suppose 0 = -p - 2*p + j. Which is bigger: 2/3 or p?
p
Let a be 12/8*-2 + 2. Let v be ((2 + a)*2)/(-7). Which is smaller: -2 or v?
-2
Let p = 14 - 23. Do -8 and p have the same value?
False
Let d = -1/1474 + 26537/7370. Is d > 5?
False
Let d = 6 - 6. Suppose 3*a + 195 = 2*a. Let g = -1367/7 - a. Which is bigger: d or g?
d
Let k = 1.92 - 1. Let o = k + 0.08. Is 4/3 greater than or equal to o?
True
Let k = -0.05 - 0.05. Let t = 0.3 + -0.3. Let m = t + 0. Which is smaller: m or k?
k
Let q(c) = 3*c + 11. Let d be q(-7). Is d smaller than -10?
False
Suppose -22 = -5*y - 5*m + 3, 5*m - 25 = 0. Let v = -92/5 - -18. Which is greater: y or v?
y
Let q = -1 + 1. Suppose q = -0*v + 4*v - 4. Let y be v/(-5)*(-15)/(-12). Which is greater: 1/4 or y?
1/4
Let m(d) = d + 14. Let l be m(-8). Let u = l + -4. Do u and 3 have the same value?
