ter than g?
True
Let a be (0 - (-3)/(-36))/((-6)/16). Which is smaller: a or 4?
a
Let b(z) = -z**2 - 2*z + 1. Let u be b(-5). Let c be (-2)/4 - u/16. Suppose -2*n = 2 - 4. Which is smaller: c or n?
c
Let d = 7 - 6. Is -13 at most as big as d?
True
Let o = -15 + 12. Suppose -8*x = -3*x + 10. Is x greater than or equal to o?
True
Let y be 24/7 + 12/(-28). Suppose -6 = -y*j - b - 3*b, 5*b = 0. Is 0.5 at least as big as j?
False
Let z = -6626/5 - -1402. Let a = z - 76. Which is smaller: 2 or a?
a
Let b = 38 - 81. Are b and -44 unequal?
True
Let d = 2.6 - 3. Which is smaller: d or 1?
d
Let u = 2 - 1.9. Suppose -3*s + 2*s = -4. Suppose 2*t = s*t. Is t not equal to u?
True
Let h be (-2 - (-21)/6) + 0. Let r be (-1 + (-10)/(-5))*2. Which is smaller: h or r?
h
Let b = -4 + 1. Let t be (b - -4)*1 + -1. Do t and 0 have different values?
False
Suppose -1 - 5 = 3*n. Are n and -2 equal?
True
Let l(w) = w - 9. Let b be l(7). Let m be (b - 4)/((-1)/(-1)). Let j = m + 5. Which is smaller: -2 or j?
-2
Let d(l) = l + 28. Let j be d(0). Let x = j + -27. Which is smaller: x or 1/4?
1/4
Let y(u) = u**2 - 7*u + 6. Let m be y(6). Let h be 1040/(-170) + -4 + 10. Which is smaller: h or m?
h
Suppose 3*i + 2 = -7. Is i at least as big as -2?
False
Let s(b) = -b - 1. Let x(c) = -3*c + 3. Suppose a + 3 = -2*p, -5*a + 0*p + 4*p + 27 = 0. Let q be x(a). Let n be s(q). Which is smaller: n or 3?
3
Let v be (-9)/((9/(-6))/(-1)). Suppose 3*j + 2 = 4*j. Suppose 0*l + m + 28 = -4*l, l - 2 = j*m. Is v at least as big as l?
True
Suppose 0 = 3*g + 3*r + 48, g - 4*r + 1 = -0. Let o = 5 + g. Which is greater: -7 or o?
-7
Let l(y) = 8*y - 3. Let h be l(4). Suppose 0 = 4*f - 5*c - h, -4*f + 2*f - 8 = 2*c. Let p = 0.23 - 0.63. Which is bigger: p or f?
f
Let w = -3.02 + 3. Let v = 4 - 17/4. Which is smaller: w or v?
v
Let u = -7/558 - -7453/30690. Let l = u + -1/33. Let n(j) = -j - 9. Let o be n(-8). Is o < l?
True
Suppose -5*u = 4*r - 5, 0 = 5*r - 2*u - 31 - 0. Let y = -129 + 133. Which is bigger: y or r?
r
Let h = 0.3 - -5.7. Let w = h + -5. Let x be 1 + 3/(-33)*13. Is w bigger than x?
True
Let r(q) = -3*q**3 + 2*q + 1. Suppose 0 = -c + 2*c. Suppose c*a - a - 1 = 0. Let y be r(a). Is 2 <= y?
True
Let r be (-1)/(-1)*(-2 + 1). Let w be (-6)/3*(-1138)/(-88). Let x = -51/2 - w. Which is smaller: x or r?
r
Let b be (-2)/7 - (-10)/(-14). Let h(l) = 23*l + 1. Let q be h(-2). Let f be ((-10)/q)/(4/(-6)). Is f at least b?
True
Let g = -0.102 - 2.378. Let v = g - -1.4. Let b = v + 0.08. Is b at least 0.1?
False
Let w(y) = -y - 8. Let s(p) = 2*p + 16. Let m(a) = -4*s(a) - 7*w(a). Let q be m(-5). Let v be q/2 + (-1)/(-2). Which is greater: v or 0?
0
Let k(f) = -f**2 - 2*f + 5. Let p be k(-3). Let o be (-1)/(-3) - 46/(-24). Is p != o?
True
Suppose 0 = -3*g - 4*j + 4, -g - 12 = -5*g - 4*j. Let p = -6 + g. Suppose -z + 1 = -p*z. Is 1/7 less than or equal to z?
False
Let u be 4/10 + 4/(-10). Is u greater than 0?
False
Let t = -2 - -6. Let o = t + -4. Let y = 5 + -3. Which is smaller: o or y?
o
Let l be (-3 + (-1)/(-1))/(11/(-44)). Is l bigger than 12?
False
Let y be ((-4)/(-6))/((-7)/42). Let s(o) = o**2 + 4*o + 3. Let u be s(y). Is 2 smaller than u?
True
Let y(v) = -v**3 + 2*v**2 + 2*v - 3. Let z = 4 - 4. Suppose z = -4*r - 20, -3*p = -p + 5*r + 21. Let b be y(p). Are b and 1 nonequal?
False
Let k be 14/10 - (-4)/(-10). Suppose -v + 0 = -k. Is v < 3/5?
False
Let u = 3.2 + -18.2. Which is smaller: u or -0.1?
u
Suppose 4*g - 29 = 5*b, -2*b - 6 - 5 = -g. Let h be (-1 + 12/8)/g. Is 0 < h?
True
Let v(m) = -m**2 - 4*m - 3. Let c be v(-3). Do c and -1 have the same value?
False
Let s be (-6)/8 - 241/(-324). Is s greater than or equal to 0?
False
Let a = -8 - -15. Which is greater: a or 4?
a
Let s(w) = -w**3 - 2*w**2 - 4. Let z be s(-3). Suppose 0 = 5*m + 5*a - 15, -2*a = -z*m + a - 1. Let i be (0 - 0)/(3 - 5). Which is greater: i or m?
m
Let m(i) = i + 3. Let g be (-20)/3 - (-6)/9. Let z be m(g). Let b be (z/(-27))/(15/18). Which is greater: b or -1?
b
Let t be (-2)/(-24)*(-51)/34. Let k(i) = -3*i - 1. Let u be k(-2). Suppose 4 + 1 = u*p. Is p less than or equal to t?
False
Suppose 0 = r - 0*r - 2*p - 2, 2*r = -2*p - 14. Let w be (-2)/7 + 19/(-7). Is r bigger than w?
False
Suppose 5*l + 1 = 6*l. Suppose t - 4*t = -6. Is l > t?
False
Let x be 10/15*(-27)/(-3). Is 6 >= x?
True
Let b be ((-6)/15)/(35/450). Which is greater: b or -4?
-4
Let u = 609/40793 - -1/361. Which is greater: 1 or u?
1
Suppose -2*w + 7 = 43. Is -33/2 less than or equal to w?
False
Let j = 0 - 1. Does j = 2/5?
False
Let v = -19 + 19. Suppose 5*w + 104 = -1. Let p be (-1 - 1) + (-39)/w. Is v <= p?
False
Let o be 81/186 - (-5)/(-10). Which is bigger: o or -1?
o
Let w be 40/(-15) - -3*1. Which is greater: -1.7 or w?
w
Let l(u) be the first derivative of -u**4/4 - 8*u**3/3 + 9*u**2/2 + 4*u + 3. Let r be l(-9). Is r at most as big as 4?
True
Let t = 2 + 8. Let h = -9 + t. Is 4 less than or equal to h?
False
Let n be (-3 - 0) + -11*4/(-16). Which is smaller: n or -48?
-48
Let n(b) = 2*b**3 - b**2 - 4*b + 3. Let l be n(2). Let u(w) = -w**3 + 8*w**2 - 7*w + 7. Let m be u(l). Which is bigger: 6 or m?
m
Let p = -308/171 + 30/19. Let x = 16 - 23. Let s(f) = f**3 + 6*f**2 - 7*f - 1. Let q be s(x). Are q and p equal?
False
Let c = -1/609 + -6079/6699. Is c equal to -2?
False
Let w be (2 - (-28)/(-2))*18/(-27). Which is smaller: w or 6?
6
Let a = 8 + -6. Suppose -p = -a*p - 1. Let n be -2 - (-1 + 2)/p. Which is greater: 1/6 or n?
1/6
Let g be 1*(20 + 0 + -2). Let c = g - 12. Is c greater than 4?
True
Suppose 28 - 8 = 5*p. Let r(i) = -i**2 + 6*i - 1. Let z = -13 - -18. Let d be r(z). Is p > d?
False
Let x = 0.34 - 0.26. Is -0.1 less than x?
True
Let q = 2 + -8. Which is bigger: -5 or q?
-5
Suppose -2*l + g - 12 = 0, -2*g = l + 2*g + 6. Let i be (-3)/l*(-1)/8. Which is smaller: -1 or i?
-1
Let p = -164 + 490/3. Let h = 12 + 19. Suppose -5 = -i, y - 9 = 4*i - h. Is y at most as big as p?
True
Suppose 2*h + 4*x - 10 = 0, -x + 5 = 4*h - 22. Which is smaller: h or 1?
1
Let j be 2/(-14)*6 - -1. Let z(t) = -6*t - 4 + 0 - t**2 + 0. Let d be z(-5). Which is greater: j or d?
d
Let q = -2 + 2. Let p be 20/(-70) - (-48)/70. Are p and q equal?
False
Let g = -37/8 + 9937/2152. Which is smaller: -1 or g?
-1
Suppose 26 = -3*o + 4*a, -15 = 2*o - 4*a + 5. Let q be (0 + 2)*(-9)/o. Let t = 6 - q. Is t equal to 3?
True
Let a(g) = -1 - 1 - g**2 + 2*g**2. Let o be a(2). Suppose o*m - 5*b - 10 = -3, 5*b = 3*m - 8. Is m not equal to 2/7?
True
Let k(u) be the first derivative of 7*u**2 - 2 - 14/3*u**3 - 14*u + 1/4*u**4. Let j be k(13). Is -7/6 bigger than j?
False
Let j = 0.12 + -0.02. Which is smaller: -0.3 or j?
-0.3
Let p be -1 + (2/(-2) - 0). Suppose 0 = -c - 3*c - 28. Let w(i) = -i - 10. Let x be w(c). Does p = x?
False
Suppose -55 = -2*w - 2*w - 3*x, 5*w + 4*x - 70 = 0. Which is greater: 8 or w?
w
Let q be (-2)/(-17)*(0 - 1). Let x(t) = -t**3 + 4*t**2 - t - 2. Let s be x(3). Suppose 11 = -2*m - 3*n, -9 + s = -m + 2*n. Which is smaller: q or m?
m
Suppose 0 = -4*w - 13 + 37. Suppose 4*m + 4 = w*m. Suppose -m*t = -0*t. Is t smaller than -1?
False
Suppose -3*u + 18 = -g - 14, 0 = 2*g + 4. Is 9 < u?
True
Let z = -18 + 18. Which is smaller: z or 0.02?
z
Suppose -20 + 0 = -4*h. Suppose -6 = h*x - 4*m - 0*m, 5*x - 3*m + 2 = 0. Is -1 at least x?
False
Let d = 21.14 + -21. Let q = 0.14 - d. Which is smaller: q or -1/8?
-1/8
Let d = 13 + -9. Suppose -3*q = 3*s + 24, -4*q - 3*s - 12 = -d*s. Let o = q - 1. Is o at least -6?
True
Suppose 0 = 3*r - 7*r + 8. Let p be -3 + 1 - (r - 3). Let u(m) = -m**2 - 3*m - 3. Let a be u(-2). Is a less than or equal to p?
True
Let k(g) = g**2 + 7*g + 7. Let f be k(-6). Let s be (1/f)/(3/33). Are s and 11 equal?
True
Let i(w) = -w**3 - 4*w**2 - w - 5. Let b be i(-4). Which is greater: 6/17 or b?
6/17
Let y = 1534 + -84351/55. Let k = 3/55 + y. Let q(h) = -h**2 + 4*h - 2. Let o be q(3). Which is smaller: o or k?
k
Suppose -4*o = 38 + 166. Which is bigger: -50 or o?
-50
Suppose 2*g = -0 + 12. Let k = -4 + g. Suppose -u + k = u. Which is greater: 1/2 or u?
u
Let w be (-9)/(-7) - (-9 + 10). Which is smaller: w or -1?
-1
Let i = 2/117 + 109/468. Which is smaller: -0.1 or i?
-0.1
Let q = 0.51 + -0.4. Let g = q + -0.01. Is g greater than 2?
False
Suppose 3*w 