) = -p + 15. Suppose 0 = -5*u, -4*x + 2*u + 28 = -0*u. Let c be v(x). Let g be -1*c/(-2) + 0. Does -2/3 = g?
False
Let w = -3 + 3. Suppose 0 = -m - w*m + 4. Let f = -2 + 5. Is m bigger than f?
True
Let n = -7 + 3. Which is smaller: -2 or n?
n
Let u be (-1 - (-2)/3)*(-3 - 0). Is u at least as big as -1/49?
True
Let f(p) = p**3 + p**2 - 1. Let c be f(-1). Let k be (9/3 + -2)/c. Which is bigger: 1 or k?
1
Let g = 1.2 + -0.2. Let i = -0.125 + 0.025. Which is smaller: g or i?
i
Let k(o) = o**2 - 6*o + 8. Let n be k(6). Let l be n/6*(-3)/6. Let q(a) = a**3 + 10*a**2 - a - 12. Let d be q(-10). Which is smaller: l or d?
d
Let a = -134 - -940/7. Suppose 0 = 3*k - 4*k. Suppose k*r + 3 = -3*r. Is r less than or equal to a?
True
Let u = -3 + 4. Let z be u + 39/(-33) - 0. Let h be 3/2*(-16)/(-24). Is h bigger than z?
True
Suppose 11*t = 8*t + 12. Which is greater: 3 or t?
t
Let i be 6/24 - 46/(-8). Is i not equal to 7?
True
Let x = -40 + 39. Is x < 0.31?
True
Let v = 0.073 + 10.027. Let y = v + -2.1. Let s = -6 + y. Is 2 >= s?
True
Let t(q) = -q**3 - 14*q**2 - 12*q. Let h be t(-13). Let j(o) = -o**2 + 5*o + 11. Let u be j(8). Is u equal to h?
True
Let n = 0 - -6. Suppose 2*x = n*x - 8. Suppose -x*y = y. Which is bigger: y or 4/9?
4/9
Let c be (1*(2 - 3))/((-1)/25). Which is smaller: c or 3?
3
Let d = 1394/4221 + -20/67. Let o = d - 67/126. Let a be (-1 + 3 + -2)/1. Is a >= o?
True
Suppose v = 3*i - 106, 2*v = 2*i + 3*i - 178. Which is greater: 33 or i?
i
Let v be 3*(-2)/(-2)*-1. Let y = 30 - 33. Is v smaller than y?
False
Let y = 154/5 - 1178/35. Which is smaller: -2 or y?
y
Let g = -3 + 2. Suppose 0 = 2*t + 3*t - 25. Suppose 5 = -2*j - t*w - 0, -w - 1 = j. Is j at least as big as g?
True
Let c = -5/11 + -8/55. Let x = 0.05 + -0.35. Let o = x + 1.3. Is c greater than or equal to o?
False
Suppose -3*z + z + 4 = 0. Suppose -g - 5 = -z. Is -3 greater than g?
False
Let b = -5 - -8. Let f be 22/b + 3/(-9). Is 6 at least f?
False
Let y(t) = -5*t + 7. Let d be y(2). Which is bigger: -12/7 or d?
-12/7
Let s = -11 + 0. Let l = -11.7 - s. Let v = -0.6 - l. Is v != -0.1?
True
Let g = -16 - -17. Let x = g + 0. Which is bigger: x or 3/11?
x
Let y(c) = c**2 - 5*c + 1. Let g be y(4). Let k be 1 + g - (2 - 10). Let n = k + -7. Is n greater than or equal to -1?
True
Let h(b) = 2*b + 3. Suppose 0 = -2*z + 2 + 2. Suppose 2*d + 2 + z = 0. Let r be h(d). Is 2/7 bigger than r?
True
Let m be -5*(1536/(-20))/(-8). Is -49 > m?
False
Let i be (9/(-15))/(1 + 0). Suppose -t + 2*x = x - 3, 14 = 3*t - 4*x. Is i less than or equal to t?
False
Let n be 3/(-9)*1244/(-2). Let u = 205 - n. Is -1 >= u?
True
Let p = 69 - 66.1. Let s = 3 - p. Let m = -1.98 - 0.02. Which is greater: m or s?
s
Let o be (-8)/(-6)*-32 - 3. Let r = o - -46. Are r and 0.3 nonequal?
True
Let v(m) = -m**2 + m + 3. Let d be v(3). Let j(b) = 4 - 4*b**2 + 5*b + 2*b**2 + 3*b**2. Let f be j(-3). Does d = f?
False
Let u be 4/(-14)*1*-1. Let r be 8/28 - (-4)/(-14). Is u less than or equal to r?
False
Let l be (((-3)/1)/(1 - 4))/18. Which is smaller: -0.1 or l?
-0.1
Suppose -3*g + 36 = -5*w, w - 2*w - 2 = 2*g. Let x = 5 + w. Which is smaller: -5 or x?
-5
Suppose -9*n + 9 = -6*n. Let y = 12 - 7. Is n > y?
False
Let l(b) = b**3 - 20*b**2 + 19*b + 6. Let w be l(19). Is 6 greater than or equal to w?
True
Let h be 1/(-3) + 620/1056. Let q = -4/33 - h. Which is smaller: q or 0?
q
Suppose -a + 4*a = 6. Let r = 31 - 28. Are r and a unequal?
True
Let c = 130216/1347 + -290/3. Is 1 bigger than c?
True
Let c = 2 + -1. Let a = -0.8 + c. Are a and -1 non-equal?
True
Let p be (-108)/(-30) + (-2)/(-5). Let m(h) = -h**2 - 4*h + 7. Let j be m(-5). Suppose p = j*u - 0. Is 1 at most u?
True
Let b = 191/42 - 29/6. Suppose 2*i + 1 = 3*i. Are i and b non-equal?
True
Let s = 0 - 2. Let c be (-3)/(s*(-2)/4). Let g = -8 - -6. Is g != c?
True
Suppose 5*i - 5 + 0 = 4*k, 3*i - 3 = 5*k. Is -1/10 not equal to k?
True
Let z = 5 - 7. Let s be (-2)/8 - (-119)/28. Suppose s*q + 1 + 7 = 0. Is q <= z?
True
Suppose 2*j = 5*j - 6. Suppose j*s + 0*s - 14 = 0. Suppose -2*r - 1 = -m, 0*m - 4*m + 3*r = -19. Is m <= s?
True
Suppose -2*d - 10 = c - 4*d, c + 4*d - 14 = 0. Which is smaller: 1 or c?
c
Let o = 0.7 + -0.4. Let f = o - 0.6. Is f smaller than 1/2?
True
Let m = 2.4 - 0.4. Let i = -48/5 + 81/10. Is i less than or equal to m?
True
Suppose 0 = -c + 5*c. Let n(i) = i**3 - i**2. Let q be n(c). Suppose -4*t + 2*p + 0*p + 8 = q, 4*t - 3*p - 10 = 0. Which is smaller: -1 or t?
-1
Let v = 0.14 + 0.06. Let a = 1.9 - 2. Which is bigger: v or a?
v
Let v = -23.5 + 16. Let z = 24 + -17. Let f = z + v. Which is bigger: 0 or f?
0
Suppose -2*v - a = -37, 3*v = 5*a + 9 + 27. Suppose -5*y + v + 8 = 0. Suppose 5 = 2*t + y*u - 5, 4 = -4*t - 4*u. Is t greater than or equal to -7/2?
False
Let b be 2/(-4)*0*-1. Suppose 4*p = -b*p. Which is greater: -4/3 or p?
p
Let r be (-39)/13 - (-1090)/(-22). Let i = -52 - r. Let n = -2 + 4. Which is bigger: n or i?
n
Suppose 0 = 4*g - 12 - 4. Let r = -25.9 + 25.8. Is r bigger than g?
False
Let u = 9 - 4. Suppose 4 = r + u. Which is smaller: -0.2 or r?
r
Suppose 3*d = 13 + 5. Suppose 4 = -2*n + 3*c, -3 - d = -5*n - 2*c. Suppose 0 = w - 0 + n. Is w at least as big as -3/2?
True
Suppose -2*m - 12 = 2*m, -5*u - m + 67 = 0. Which is greater: u or 13?
u
Let i be (-1)/(3/(-3))*-3. Let r be 1/i + (-10)/(-15). Let j = -0.89 - 0.11. Which is smaller: r or j?
j
Let i(t) = t**3 + 7*t**2 - t - 5. Suppose h - 5*f = -32, 4*h - 3*f = f - 48. Let r be i(h). Are r and 4 nonequal?
True
Let a = 0.04 - -0.21. Let c = a + -0.05. Let q = -189/4 - -47. Which is smaller: c or q?
q
Suppose 2*v + 12 = -2*v, -o - 17 = 3*v. Let s be (3 - 7)/(4/o). Is s not equal to 7?
True
Let p be (1 - 3) + 19 + -2. Let o be ((-8)/p)/(2/3). Does -1 = o?
False
Let g = -2 + 2. Suppose g = -3*c + 3. Which is greater: c or -1?
c
Let d = 10 + -11. Are -1 and d unequal?
False
Let g = 37 + -55. Let i be 21/g + (3 - 2). Which is smaller: -1 or i?
-1
Let h = -4 + 6. Let u be 0/(-3)*(3 - h). Which is smaller: 1/3 or u?
u
Suppose 2*g - 4*g = -10. Suppose -g*p + 45 = -0*p. Suppose -3*d - 3*f - 15 = 2*d, 3*d - 3*f = -p. Are -2 and d non-equal?
True
Let g be ((87 + -1)/(-2))/(15 + -12). Is g not equal to -14?
True
Suppose 13 = -2*f + 9. Is f != 0?
True
Let m = -8 - -5. Let k be 10/30 + (-2)/3. Is m < k?
True
Let z(c) = -3*c - 34. Let f(u) = u + 11. Let k(i) = 7*f(i) + 2*z(i). Let l be k(-8). Let g(y) = y**2 + y + 1. Let r be g(0). Are l and r unequal?
False
Let d = 0.2 - 0.3. Let r be (-2)/(-7) - 27/(-28). Is d bigger than r?
False
Let q = 12 - 10. Suppose q*h - 6 = -h. Suppose -c = -h*c - 1. Which is bigger: c or -3/5?
-3/5
Suppose -431 = -2*n + 5*n + s, -3*n = -4*s + 436. Let i be n/429 - 2/(-13). Is i at most -0.1?
True
Let m = -0.2 + 0.6. Let o = -0.3 + m. Let c = o - 0.1. Which is bigger: -3 or c?
c
Let f(m) be the first derivative of m**3/3 - m**2/2 - 4*m - 2. Let p be f(-3). Suppose 5*a = -t - p, 6 = -3*t + t. Which is smaller: a or 1/4?
a
Let u be (-2)/(-3) + 1/3. Let m(a) = a**2 - 7*a - 8. Let y be m(7). Let j be y/20 + 3/20. Is u equal to j?
False
Let g = -0.2 - -0.1. Let d be (-36)/10*70/21. Which is greater: g or d?
g
Suppose 5*w + 35 = 4*d, -6*w + 2*w + 4 = 0. Let k(x) = -x**3 + 11*x**2 - 10*x + 2. Let l be k(d). Which is smaller: l or 0.1?
0.1
Let k(u) = -u**3 - u**2 - u - 1. Let r be k(-1). Suppose 4*m - 3*z - 7 = 0, -m + z = -0*m - 3. Let q be (r/2)/(m + 0). Is q at most 2?
True
Suppose -4*q - q = -30. Let y be -4*3/q - -2. Let s be 7 + (-1)/2*y. Is s at least 8?
False
Let y = -491/9 + 55. Which is smaller: y or -0.5?
-0.5
Let b be (0/2)/(-1 - 3). Is b at least -25?
True
Let v = -67 - -67.29. Let s = -0.32 + v. Is -1/4 at most as big as s?
True
Let h(z) = 4*z - 8. Let y(p) = 3*p - 7. Let w(g) = -2*h(g) + 3*y(g). Let r be w(4). Which is smaller: r or -2?
-2
Let y(n) = n**3 - n**2 + 1. Let h be y(2). Suppose h*x = -9 - 1. Is x greater than 4?
False
Let n = -2 + 12. Let j be 0/(-2)*(1/1)/1. Which is smaller: j or n?
j
Let w be ((-8)/3)/(4/(-6)). Suppose 0 = -2*n + 6*n + w. Which is greater: n or -4/9?
-4/9
Let d = -0.34 + 16.34. Is 0 < d?
True
Let x = -9 - 37. Is -47 bigger than x?
False
Let d(p) = -5*p**2 - p. Let z be d(-1). Let o(c) = 4 + 2*c - c - 16. Let f be o(9). Which is greater: