Is x at least as big as a?
True
Let s(l) = -l**2 + 9*l + 12. Let i be s(10). Let c be (1 + -4)*i/(-21). Which is greater: 1 or c?
1
Suppose -3*j - 6 = 0, 5*z = -0*z - 4*j + 22. Suppose 4*o + z*l - l - 43 = 0, 4*o - 4*l - 52 = 0. Which is smaller: o or 13?
o
Let w be ((-78)/376)/(324/(-480)). Let n = w + -4/47. Is -1 greater than or equal to n?
False
Let x be 14/10 + (-14)/35. Let l = 4 - x. Let a be (-17)/(-4) + 3/(-12). Does l = a?
False
Let h = 11 + -6. Let j(u) = u**3 - 4*u**2 - 5*u + 1. Let p be j(h). Which is bigger: p or 5?
5
Suppose w = -12 - 3. Let l be w/(-6) + (-3)/2. Which is smaller: -1/3 or l?
-1/3
Let w = -1/11 + 3/11. Let r = 0.49 - -0.51. Which is smaller: r or w?
w
Let m be (1/6)/(24/198). Is m less than or equal to 2?
True
Suppose 3*b - 2 = 22. Let v(o) = 8*o + o**2 + b + 2*o**2 - 2*o**2. Let u be v(-7). Is 0 equal to u?
False
Let t(a) be the first derivative of 1 + 7*a - 1/4*a**4 - 5/2*a**2 - 7/3*a**3. Let c be t(-6). Which is greater: c or 0?
c
Let z = -171 - -153. Which is bigger: z or 2?
2
Suppose 10 - 5 = -5*s. Is s at most as big as -2/25?
True
Let d be (-2 - -1)/1 + -4. Let f(k) = k. Let o be f(-4). Which is smaller: d or o?
d
Let p = -9 + 14. Suppose 4*m = -2*d + 18, 3*d + p*m = 15 + 9. Which is bigger: 5 or d?
5
Suppose -3*d = d + 3*y + 11, 0 = d - 5*y + 20. Is d < -6?
False
Let q = 0.6 - 0.6. Which is smaller: q or 6.9?
q
Suppose -5*o + 1 - 6 = 0. Suppose 4*q = -3*f - 7, 4*q - 2*f + 6 = -4*f. Is q bigger than o?
False
Let o(u) = -u**2 + 3*u + 3. Let s be o(-1). Is 4/9 greater than s?
True
Let y(h) = -h**2 + 5*h + 2. Let j be y(6). Suppose 15 = -3*p - 0*p. Are p and j equal?
False
Suppose 2*s - 10 = -3*s. Let y = -8.09 + 8. Let m = y - 0.01. Is s < m?
False
Let a = -2.2 + 2.5. Which is smaller: 0.2 or a?
0.2
Let k = 28/143 - -1/13. Is k > -1?
True
Let h(i) = 3*i - 3. Let q be h(2). Suppose 0 = -u + q*u - 8. Are u and 5 nonequal?
True
Let u be -1 + 11/1 + 2. Is u bigger than 13?
False
Suppose 0 = 2*f + 3*f - 20. Suppose -2*i + 6 = -f*v, 0 = -2*i + 5*v - 3 + 10. Let p(b) = -b + 5. Let t be p(3). Which is greater: i or t?
t
Let n = -18 - -22. Suppose 47 = -5*a - k, n = 5*a - k + 57. Is -10 greater than a?
False
Let k = 2.9 + -3.1. Let w(d) = d - 1. Let p be w(1). Which is bigger: k or p?
p
Let z be (-2)/2 + 12218 - 1. Let w = z - 49113/4. Let x = -63 - w. Which is smaller: -1 or x?
-1
Let m = -3.2 - -2.2. Which is smaller: m or 1?
m
Suppose 0*s = g + 3*s - 11, 0 = 3*g + 4*s - 28. Let q = 6 - 13. Let c = g + q. Is c > 0?
True
Let z = 1.11 - 0.11. Which is greater: 10 or z?
10
Let y = 2.5 - 0.5. Let g(n) = n**3 + 4*n**2 + 2*n - 2. Let s be g(-2). Suppose -q = -2*q - s. Which is bigger: q or y?
y
Let o(x) = 2*x**3 - x**2 - 4*x + 3. Let g(u) = -u**3 + u**2 + 2*u - 2. Let c(r) = -7*g(r) - 3*o(r). Let j be c(4). Which is smaller: -3/2 or j?
j
Let w be (2/12)/(9/12). Which is smaller: -3/2 or w?
-3/2
Let x = -7.07 - -7. Let k = -0.01 + x. Let r = k + -1.92. Which is bigger: 0 or r?
0
Suppose 2 = g + 4, -24 = -a - 3*g. Is a at most 30?
True
Let a = 3 + 3. Suppose -l + 3*n - 3 - 3 = 0, -4*l - 5*n = -27. Suppose 3*t + l*h + 18 = 0, -4 = 2*h + a. Which is smaller: 0 or t?
t
Let a = 25716570803/86149416610 - 180/6531419. Let j = 2/1319 + a. Do 0 and j have the same value?
False
Let n = -36.4 + 36. Let g = -4.7 + 4. Let p = g - n. Is 0.1 greater than or equal to p?
True
Let k(b) = -b**2 + 2*b - 1. Let x be k(1). Suppose 3*p + 5*v = -22, p = 2*p - 5*v - 6. Let c be p/(-8) + (-1)/(-2). Is x at most as big as c?
True
Suppose i + 2*i - q - 15 = 0, 5*i = 3*q + 25. Which is smaller: 1 or i?
1
Suppose -2 + 0 = 2*k. Let l(v) = 3*v**2 - 4*v + 2. Let r be l(2). Let q be (-9)/10 - r/(-15). Is q bigger than k?
True
Let x = -43 - -42. Which is greater: -3 or x?
x
Let g be (-14)/(-49)*(-7)/(-8). Which is greater: -0.03 or g?
g
Let n = 4.2 + -2.3. Let g = n + -1.5. Which is smaller: 3 or g?
g
Let k be 2/(-34)*522/18 - -3. Which is greater: 2 or k?
2
Suppose -3*v - 2*l - 37 = -0*v, 0 = 3*l - 3. Let r = -4 - v. Suppose r + 9 = -3*q. Which is greater: -5 or q?
-5
Let y(g) = g**3 - 9*g**2 + 7*g + 10. Let i be y(8). Suppose -5*k = 2*c - 17, -c + i*c + 5*k - 16 = 0. Is c <= 2?
True
Suppose 2*h - h = -3*k - 11, 0 = -2*h + 5*k + 22. Which is greater: h or 5/22?
h
Let h = 54 + -31. Let q = h + -16. Let t = q - 6. Which is smaller: 0.1 or t?
0.1
Let r = 9.3 - 10.3. Let t be 4/14 + (-12)/(-7). Is r less than or equal to t?
True
Suppose 8 = -2*x, -3*x - x - 13 = -v. Are 0.1 and v equal?
False
Let q = -12 - -7. Let v = -31 + 25. Which is smaller: v or q?
v
Let d = 16 + -15. Which is bigger: d or -6?
d
Let m be -1 + 1/((-36)/(-33)). Which is greater: m or 1?
1
Let x be 2/7 + ((-36)/28 - -1). Is 2/47 > x?
True
Suppose -6*a = -a - 2*o + 100, 60 = -3*a - 2*o. Let t be (49/a)/((-6)/10). Let r = t - 15/4. Is r less than -0.2?
False
Let j = 61 + -670/11. Is 0 <= j?
True
Let z = 328831/194187 + -83/49. Let w = -40963/23778 - z. Let o = -7/18 - w. Is o smaller than 0?
False
Suppose 0 = -12*c + 11*c + 11. Which is smaller: 12 or c?
c
Let w(n) be the second derivative of n**5/20 - n**4/6 - 2*n**3/3 - n**2/2 + n. Let x be w(3). Which is bigger: x or -5?
x
Let l be (0/((-4)/(-1)) - 1)*0. Which is greater: 3/13 or l?
3/13
Let a = 7 - 5. Suppose l + 21 = -a*l. Let q = -1322 + 1316. Which is greater: q or l?
q
Suppose -4*s = 2*b - 7*s - 16, s + 4 = 0. Is b at least as big as 1/2?
True
Let o be 4/275*(-90)/(-36). Do 0 and o have the same value?
False
Let s = -87 + 79. Is -11 less than s?
True
Let g = -1 + 5. Suppose 5 = -g*b + 5*b + 4*s, 4*s - 33 = 3*b. Let n be (-4)/(-14)*b/15. Are n and 0 equal?
False
Let q(t) = -2*t**3 - 4*t**2 - 4*t - 3. Let s be q(-2). Suppose s*m - m = 8. Suppose -2*r + 2 = -0*r. Which is smaller: r or m?
r
Suppose 4*x + x = -5*v - 20, -2 = -2*v. Which is smaller: -4 or x?
x
Suppose -a = -s + 2 - 0, 2*s + 4*a + 14 = 0. Is 1/28 > s?
True
Let g = -172 - -173. Which is bigger: g or 2/73?
g
Let j = -1233817/3720 - -254/465. Let t = 330 + j. Let y = 31/24 + t. Which is smaller: y or 0?
0
Let y = 42 + -46. Which is greater: y or 7?
7
Suppose 0 = 5*z - 62 + 42. Which is bigger: z or -3/7?
z
Let r(v) = v - 9. Let o be r(7). Let q = 23 - o. Suppose -2*i - 3*g = -0 - 1, 2*i - 5*g = q. Is i >= 5?
True
Suppose -o = 2*o - 5*g - 18, 18 = 3*o + 5*g. Let s(a) = a**2 - 6*a. Let m be s(o). Is m at most 0?
True
Let j = 44/5 + -8. Does j = 2/7?
False
Let x be (-8)/(-14) - (2 - 10/7). Let b be (-3)/(-9)*-1*-15. Which is bigger: x or b?
b
Suppose 0 = -0*s + 2*s + 12. Does s = -7?
False
Suppose -69 = -4*a - 21. Let o be (1 - 0) + 42/a. Is 4 greater than or equal to o?
False
Let u be -2 + (-19)/(-40) + (-14)/(-35). Which is smaller: 0 or u?
u
Let l = 0.57 - 0.77. Which is bigger: 31 or l?
31
Suppose 2*f + 6 = -f. Let c be (-1 - -1)/(0 - f). Suppose -12*l + 7*l = 5. Which is smaller: l or c?
l
Suppose -12 = 6*w - 2*w + 4*i, 2*i = w + 9. Suppose -2*g - 12 = -2*b, 5*g = -b - 12 - 6. Let x = w + b. Is x != -3?
False
Let l = 0.6 + -0.4. Which is smaller: -0.4 or l?
-0.4
Suppose -7*b + 2*b - 20 = 0. Suppose 2*c = -2*c - 16. Is b at most c?
True
Suppose 4*t - z = 166, 4*t - 2*t - z = 82. Do t and 43 have different values?
True
Let n(m) = 3*m**3 - 11*m + 5*m - 4*m**3 + 12*m**2 + 5 - 6*m**2. Let p be n(5). Let f be 72/(-34) + 1 + 1. Is p <= f?
False
Let c be -1 + ((-43)/(-66) - -2). Let n = c + -11/6. Suppose 5*s + 0*t - 3*t - 7 = 0, -2*s - 5*t - 22 = 0. Is n not equal to s?
True
Let i be (-140)/(-35) - (-81 + -1). Which is bigger: 87 or i?
87
Let f be (-74)/(-7) - 3/(-7). Let l = -11 + f. Which is bigger: l or 1/5?
1/5
Let y(v) = 14*v - 18. Let p be y(-4). Are -73 and p equal?
False
Let j = -7 + 7.1. Is j less than or equal to 2/7?
True
Suppose 4*y - 4 = -j + 5*j, -3*y - 5 = j. Which is smaller: y or -13?
-13
Let v(n) = 2*n**2 + 3*n + 3. Let y be v(-2). Suppose 3*m = y + 4. Is 3 smaller than m?
False
Let w be (3/5)/(1/5). Let h be (w/(-3))/(0 - -1). Let t be (-1*(1 + -2))/((-18)/(-2)). Which is smaller: h or t?
h
Let v = -28 + 21.8. Let n = 3.3 + v. Let p = -3 - n. Is 0.1 greater than or equal to p?
True
Let j be ((-7)/14)/((-2)/(-4)). Are 1/44 and j equal?
False
Let a be (1 - 2)*(7 - -1). Let i = a + 7. Is -3/5 smaller than i?
False
Let h(l) = -l**3 - l**2 + 3. Let j be h(0). Let