45)/(30/(-14)). Let x = d + 4/25. Which is smaller: q or x?
q
Let i = 169 - 500/3. Is i equal to 3?
False
Let l(p) = 5*p**2 - p**3 + 3*p + 3*p - 7 + p. Let k be l(6). Let w(g) = g**2 + 13*g - 31. Let r be w(-15). Is k smaller than r?
False
Let f be (-9)/(-3)*(-5)/3. Let u be (-129)/f + 2/10. Suppose -2*i + 3*s = -0*i - 13, -5*i + s + u = 0. Is i at least as big as 4?
True
Let m = -130 + 117. Which is smaller: -14 or m?
-14
Let p = -1 - -3. Suppose -34 = -2*u + 3*z, -u - p*z = 2*u - 38. Let l be 24/231 - 4/u. Which is smaller: 0 or l?
l
Let o be 2/2 - (-177)/(-33). Does -4 = o?
False
Let y = 1087 - 75001/69. Which is smaller: 0 or y?
0
Suppose 3*j = 4 - 1, -146 = 4*t - 2*j. Which is smaller: -35 or t?
t
Let z be 8/28 + (-22)/28. Let i be 6/4 - 1 - (-132)/(-88). Is i less than z?
True
Suppose -15 = -4*a - 19. Is a greater than -5/16?
False
Suppose -2*y - 6 - 2 = 0. Let m be y/(-18) + 4/(-18). Is m not equal to 1/8?
True
Let x(b) = -13*b. Let y be x(1). Let g = -9 - y. Suppose 4 = -g*i - 2*v - 2, -9 = 5*i + 4*v. Is 1 at least as big as i?
True
Suppose 6 = 4*g - 2. Let u(f) = f**2 - 4*f - 3. Let b be u(5). Is b > g?
False
Suppose -6*j + 48 = 2*j. Which is smaller: j or 7?
j
Let s = -9 - -13. Suppose 0 = -5*h + s*h - 2. Is h < -2?
False
Suppose j + 3*j = 0. Let p be (1 + 2)*(-6)/(-15). Which is smaller: j or p?
j
Let y be (1/(-3))/((-1)/(-2)). Let p(m) be the second derivative of -m**3/6 - 3*m**2 + 3*m. Let w be p(-6). Which is bigger: y or w?
w
Let c be (0 + 0)/(-4 - -5). Suppose -f = 3*j + 15, 3*f + 10 = f - 2*j. Are c and f equal?
True
Let s be 25/12 + -2 - 0. Which is bigger: 3 or s?
3
Let i = -1297/5 - -259. Let t(f) = 11*f**3 + f**2 - 2*f + 1. Let w be t(1). Let u = w - 7. Which is greater: u or i?
u
Let f be (-82)/5 - 16/(-40). Let j = f + 19. Is j greater than 10/3?
False
Let l = 0.03 - 0.43. Let s = 0 - l. Let x = -0.6 + s. Which is greater: -2 or x?
x
Suppose -17*s = -12*s + 170. Which is smaller: s or -35?
-35
Let p be 448/(-21)*(-2)/(-8). Let g = 1 + p. Is -4 at least g?
True
Let o = -3950/13 + 304. Which is bigger: o or -0.1?
o
Let u = 40 - 19. Suppose f - u = 4*f. Let w be 2/(-7) - 2/f. Are w and -1/3 non-equal?
True
Let l = -10 + 9. Which is smaller: -2 or l?
-2
Let j(n) = -n**3 - n**2 - n + 1. Let x = -11 - -11. Let f be j(x). Let l = -25/24 - -11/8. Does l = f?
False
Let p = -2519/2 + 1235. Let u = p - -14. Let j = -14 - u. Which is smaller: -5 or j?
-5
Let l = -13 - -125. Let f be 3*(3 - l/36). Let s = 0 - 0. Which is smaller: s or f?
f
Let p = 15 - 26. Let c = -12 - p. Is -0.3 equal to c?
False
Suppose 3*j - 5*v = -0*j + 7, j + 21 = -3*v. Let a be 2/j - 20/(-45). Is 1 less than or equal to a?
False
Let p = -656/7 - -94. Let t(l) = l**3 + 14*l**2. Let q be t(-14). Which is bigger: q or p?
p
Suppose 3*p + 0*p = 5*s + 10, 29 = 5*p + 4*s. Are p and 6 unequal?
True
Let g be (-1)/2*(0 + -2). Let m be 201/4 + (-4)/4. Let p = -49 + m. Is g less than p?
False
Let f be 12/13*1/1. Does f = 2?
False
Let w be (-2)/(-3)*(-10 - -7). Let y(f) = -2*f - 1. Let q be y(w). Suppose -q = 3*p - 2*j + 3, j - 3 = 0. Is p at most as big as 2/9?
True
Let i = 18 + -17.99. Let n = i + 0.99. Which is bigger: -2/7 or n?
n
Suppose -23 = 5*s + 3*q, 2*q = -0*q - 2. Let y(a) = -a - 4. Let o be y(s). Suppose 5*g = 0, 3*n = 2*g - 1 - 2. Which is smaller: n or o?
n
Let n = -9 + 6. Which is bigger: n or -2/3?
-2/3
Let b = -2 + 1.8. Let h(c) = c**3 - 4*c**2 + 12. Let d be h(3). Is d bigger than b?
True
Suppose -d + 4*d = -3*f + 15, 21 = 3*f + 5*d. Are -0.14 and f equal?
False
Let d(r) = r + 12. Let o be d(-8). Suppose h + 5 = -o*h. Are -1 and h nonequal?
False
Let m = 22 + -30. Which is smaller: -2/9 or m?
m
Let q = 0 + -2. Let k = q - -2. Suppose k*p = p - 2. Is 3/2 greater than or equal to p?
False
Suppose -4*j - 7 = -3*j. Let v = 4 + j. Which is greater: v or -4?
v
Let m = -2.7 + 3.7. Is -0.3 bigger than m?
False
Let z be (-1*(-21)/2)/6. Are z and 1 unequal?
True
Suppose -382 + 114 = 4*i + 4*o, 5*i - 2*o + 370 = 0. Let s = i + 150. Let g = s - 236/3. Is 0 < g?
False
Let p = -2 + 7. Suppose 0 = -4*j - 2*w + 28, -j + 0*j = p*w - 25. Let c be (j/(-40))/((-2)/(-4)). Which is smaller: 1/2 or c?
c
Suppose 0 = -2*p - 8 - 2. Suppose 5*r + 18 = -3*k + 2*r, -4*k + 5*r - 24 = 0. Which is smaller: p or k?
k
Let y = -4 + 7. Suppose -6 = 2*g + y*c - c, -14 = -2*g + 3*c. Is g greater than -1/23?
True
Let c be (-78)/54 + 4/(-18). Suppose 3*o + 3 = -0*o. Which is smaller: c or o?
c
Suppose 5*m = 4*n - 5, n = -3*m - 8 + 22. Suppose 0*y = m*y - 108. Suppose 4*b + 4*f - 12 = -y, 0 = -5*b + f - 24. Is b at least -5?
True
Let x be (-7)/(-14) - 15/(-2). Suppose -x + 2 = -3*p. Is 2 at least p?
True
Suppose -3*q - 19 = -4*i, -5*q + 5 - 27 = 3*i. Is 3 smaller than i?
False
Let l = -1 - 1. Let o(t) = 2*t + 6. Let v = 6 + -11. Let m be o(v). Which is smaller: l or m?
m
Let p = -29 - -36. Which is smaller: 1 or p?
1
Suppose 5 = 3*u - 19. Suppose -w = 3*w - u. Let d = -2.9 - -3. Is w at least d?
True
Let v(q) = -2*q**2 - 2*q + 2. Suppose 4 = 4*j - 6*j. Let s be v(j). Let l be -1*3/(-3 + 6). Which is bigger: s or l?
l
Let h be (6/(-90))/(4/5). Suppose 3*i = -0*i - 3. Is i at least as big as h?
False
Let q(d) = -d**3 - d**2 + d - 1. Let p be q(0). Let z = -7.6 - -8. Which is greater: z or p?
z
Let o = 3.4 - 0.4. Let m = -1.3 - -0.3. Which is greater: o or m?
o
Let l = 48 + -72. Which is smaller: l or -0.2?
l
Let a(l) = -l**3 + 2*l + 1. Let n be a(-1). Is n at least as big as 1/5?
False
Let z(l) = l**2 + 11*l - 10. Let x be z(-12). Which is smaller: x or -2?
-2
Let q = -151 + 133. Which is greater: q or -19?
q
Let y(g) be the second derivative of -g**4/12 - g**3/3 - g**2/2 + g. Let q = -25 - -23. Let a be y(q). Is a < 2/7?
True
Let p(w) = 4*w**2 + 2*w - 6. Let f be p(4). Let x be (-260)/f + (-8 - -12). Which is smaller: x or 0?
0
Let q = -7 - -11. Suppose 2*p + q*o = -9 - 11, -3*o - 12 = 0. Let j be (p/(-3))/((-4)/6). Are 3 and j nonequal?
True
Let c = -8 - -10. Suppose 5*u = n + 13 + 18, -u + 8 = -c*n. Is 2 less than u?
True
Let s be ((-3)/1)/(7/21). Let x be (s/(-27))/((-2)/4). Suppose 3*v = -v. Which is greater: v or x?
v
Let d = -11 + 7. Let l be 1/(d/(-3) - 1). Let h = 8 - 4. Which is smaller: l or h?
l
Let s be (1 - 0 - -1)/2. Let b = 1 - s. Let g be ((-3)/9)/((-6)/18). Which is smaller: b or g?
b
Suppose 0 = 3*z + 3. Let g = z - -3. Suppose -5*j = -3*j - g*u - 12, 4*u = -20. Which is smaller: j or -1?
-1
Let g be (5/(-2) + 2)/(2/(-48)). Is 13 at least g?
True
Let j(u) = -u**3 - 7*u**2 - 5*u - 7. Let g be j(-6). Is 0.1 at least as big as g?
True
Suppose -3*i = 5*q - 16, -5*i - 5 = -0*q + 2*q. Suppose -4*w = -3*u + 64 - 23, -4*w = u + 13. Let z = u - q. Is z at least as big as -1?
True
Let a(o) = o - 5. Let j be a(6). Which is bigger: 1/2 or j?
j
Let j be (-2)/(-3)*(-2)/(-4). Let m = -10 - -5. Let k = 5.1 + m. Is j smaller than k?
False
Suppose 7*x + 11 - 4 = 0. Suppose 3*w + 6 = -0*w. Which is smaller: x or w?
w
Suppose 11*a = -25*a. Let h(k) = -5*k**3 - 36*k**2 + 16*k + 31. Let g(f) = -f**3 - 7*f**2 + 3*f + 6. Let l(c) = 11*g(c) - 2*h(c). Let y be l(-5). Is a <= y?
False
Let d = -0.4 + 0.6. Let b = 0.1 + 0. Is d at least as big as b?
True
Let g(u) = -2*u + 1. Let k(o) = -3*o. Let i(h) = 4*g(h) - 3*k(h). Let j be i(-7). Is -3/2 greater than j?
True
Let q = 35/44 + -1/22. Do -1 and q have different values?
True
Suppose 0*d + 5*d = 170. Let m be 8/(-36) + d/(-90). Which is bigger: -1 or m?
m
Let i(b) = -b - 8. Let h be i(-5). Let m be 3 - 1 - (3 + 0). Which is smaller: h or m?
h
Let g = -556 + 9448/17. Is 0 >= g?
True
Let s(q) = -q - 5. Suppose 4*v - 2*v + 18 = 0. Let h be s(v). Is 4 less than h?
False
Let g be 0/(-2) - 50/(-10). Which is smaller: 0 or g?
0
Suppose -5*g + 4*c + 229 = 0, -89 = -5*g + c + 137. Let h = -133/3 + g. Suppose 3*p - 8*p = 0. Is h less than p?
False
Let g(b) = 6*b + 2. Let k be g(6). Suppose -5*i - 13 = -k. Suppose 2*y + 4*c = -12, i*y - 2*c - 3 = -c. Is y at least -1/3?
True
Suppose -2*i = 3*w + 7, -3*i = 3*w - 4 + 19. Is i not equal to -9?
True
Let l = 19.1 - 20. Let w = l - 0.1. Which is smaller: w or 0?
w
Let n be ((-1)/3)/((-1)/12). Let s(c) = c**3 - 3*c**2 + 4*c + 3. Let b be s(n). Suppose -5*w - 5*q - b = 0, 2*w - 2*q - 3*q = 21. Which is smaller: w or 2/3?
