j + j - 30. Let u be n(j). Which is bigger: z or u?
z
Let t = 0.9 - 1. Let a = 0 + t. Which is smaller: a or 0.5?
a
Suppose -2*s + 15 = -r - 0*r, 12 = 3*s + 2*r. Is 6 at least s?
True
Let z = 0.03 - -0.37. Is z equal to -3?
False
Suppose 2*b = -g + 4, -b + g - 8 = -4*b. Suppose 0 = f - 3*u + 7, f - b*u + 3 + 5 = 0. Let j = f - -3. Does -1/7 = j?
False
Suppose -3*j + 4*b + 41 = 0, -4*b = 2*j - 0*b - 34. Let s be -1 - -1 - 9/j. Let a = 6 + -8. Is s smaller than a?
False
Let s(h) = -h**3 - 2*h**2 + 10*h + 10. Let m be s(-4). Which is smaller: 16/11 or m?
16/11
Let z = 0.8 - 0. Is z bigger than 2/7?
True
Suppose 11 = 4*y - p, -2*p - 8 = 4*y - 10. Let i be 2/(4*2/4). Is y at most as big as i?
False
Let m(s) be the first derivative of -s**3/3 - 3*s**2/2 - 2*s + 1. Suppose 0 = 2*f + 3*f + 10. Let l be m(f). Which is smaller: l or -1?
-1
Let y(o) = o**3 - 4*o**2 + 3*o + 2. Let a be y(3). Are 3 and a equal?
False
Let r = 1.42 - 1.32. Are r and -0.06 nonequal?
True
Let c = -1/7 - -3/7. Suppose -2*i + 6 = 3*h, 4*h - 6 = 4*i + 2. Which is bigger: c or i?
c
Let m = 13.1 - 13. Which is bigger: 2/25 or m?
m
Let j = -193 - -278. Which is smaller: j or 86?
j
Suppose -3*q - 18 = 3*g, 3*q + 2*g + 18 + 0 = 0. Let d(y) = y + 6. Let t be d(q). Do t and -10 have the same value?
False
Let l = 3 + 16. Let c = l + -93/5. Is 0.1 at most c?
True
Let c = 89 - 88. Which is bigger: 4/75 or c?
c
Let i be (0 - -1)*(14 + -11). Is i > 3?
False
Suppose -4*q + 4 = -8, -2*q = 2*z - 14. Suppose -2*j - 2*t = 18, z*j = -4*t + 2*t - 32. Does j = -1?
False
Let g(k) = -k**2 - 16*k + 23. Let y be g(-18). Is 0.1 != y?
True
Suppose -3*i = -0*i - 9. Suppose 0*y = -3*y + 9. Suppose -k = y*d - 12, 2*d + 0*k - 8 = -3*k. Which is greater: d or i?
d
Let j be 26/2 + -2 + 1. Suppose 23*n = 2*n. Which is smaller: n or j?
n
Let x be 50/(-16)*10/50. Let w(v) = -v - 1. Let a be w(0). Is x less than a?
False
Suppose -5*w - 4*z - 10 = 0, 2*w - 5*z + 4 = -0*z. Let t(u) = -4*u. Let a be t(w). Let h = -5 + a. Is 1 greater than h?
False
Let k = -1 + 0.8. Let b = k - -0.3. Let c = 0 + b. Which is smaller: 0 or c?
0
Suppose 0 = k - 0 - 4. Suppose -k*i + i + 10 = 2*v, -3*i = 3*v - 12. Suppose -v = -2*q - 4*b, -q - 5 = 2*q - 2*b. Is -1/2 <= q?
False
Let g be (-15)/77 - 2/(-7). Let t(a) = -a**3 + 5*a**2 - 5*a + 5. Let n be t(4). Which is smaller: n or g?
g
Let b be ((-7)/((-7)/(-8)))/(-2). Let c(u) = 3*u**3 - 2*u**2 + 1. Let s be c(-1). Let p = s + b. Which is smaller: -1/2 or p?
-1/2
Suppose 3*p = -4*y - 4 + 1, 4*y + 2 = -2*p. Suppose -2*r - m - 7 = 0, r + 1 = -y*r - 3*m. Is r > -4?
False
Suppose 4*y = r + 40, y - 8*r - 10 = -6*r. Is 10 >= y?
True
Let o be ((-6)/(-6))/((-2)/(-6)). Let h(z) = z - 3. Let t be h(o). Let c be 5/(-6)*2/(-5). Which is greater: c or t?
c
Suppose -5*x - 2 + 37 = r, 4*x - 9 = 3*r. Let b be 2*(-1)/2 + x. Let o = -14 + 18. Which is smaller: o or b?
o
Let d = -2.8 + 1.9. Is -1/3 >= d?
True
Let n = 36 + -109/3. Is n >= -0.1?
False
Let v = -1 + 0. Let o = 643 + -459. Let u = o + -1291/7. Is v equal to u?
False
Let r = -8 + 10. Suppose 9 = r*h + 15. Let c be (-1 + 5)*9/(-12). Are c and h non-equal?
False
Let p(o) = o**2 - 7*o - 1. Let q be p(7). Is 0 at most q?
False
Let b(p) = 15*p + 3. Let m be b(-3). Let y be (4/7)/(m/(-49)). Let v(q) = -q**3 + 6*q**2 - 5*q. Let j be v(5). Which is smaller: j or y?
j
Suppose -s = -3*g - 3, -s = 3*g - 5*s + 12. Let c(w) = w**2 - 30. Let f be c(0). Let x = 208/7 + f. Is g equal to x?
False
Let g(l) = -2*l**3 - 2*l**3 - l**3 + 6*l**3 + l**2 + l. Let q be g(0). Is 0 != q?
False
Let r = 12 + -14. Let p be 2/(-2)*(2 + r). Is 2/5 > p?
True
Suppose f + 4 = 2*f. Suppose f + 5 = i. Let k be 7 - ((-6)/(-30))/(1/(-5)). Which is bigger: i or k?
i
Let f = 1726/7 + -247. Is f less than or equal to 5?
True
Let a = 0.17 - 0.04. Let s = 0.03 - a. Which is greater: s or -0.2?
s
Suppose 2*u + f = 5, -5*f = 3*u - 3*f - 9. Suppose 4*c + 0 = -4. Let q = u + c. Which is smaller: -2 or q?
-2
Suppose 0 = 3*c - 1 - 8. Let l(w) = 2*w**3 + 3*w**2 - 4*w - 1. Let p be l(-2). Is p != c?
False
Suppose 5*q - 3*q + 6 = 0. Let c = -8 + 4. Is c > q?
False
Let i = 16 - 17. Let g = -1158124264/831 + 1393650. Let s = g + 2/277. Does s = i?
False
Let s(r) be the second derivative of r**3/6 - 10*r**2 - 6*r. Let p be s(14). Is -6 != p?
False
Let v = -1 + 1. Let k(q) = q**2 - 17*q + 27. Let g be k(15). Is v <= g?
False
Let m be 4 + -1 + (-1 - 0). Let y be -4 + 0 + -3 + 4. Let v be (-2)/m + (y - -4). Which is smaller: 1/2 or v?
v
Let u be (-9)/(-12) + 363/(-516). Is u greater than or equal to 0?
True
Suppose -38*i + 39*i + 1 = 0. Are 26 and i non-equal?
True
Suppose 0 = -3*b + 2*z - 33, z = -b + 2 - 8. Is b at least -10?
True
Suppose 3*n = -2*p + 75, -p - 4*p = n - 168. Suppose -4*c = -p - 3. Is c smaller than 10?
True
Suppose 0 = -4*a - a + 10, 3*y + 3*a = 12. Suppose -2*k - 10 = y*n, 9*k + 22 = 4*k - 4*n. Is k smaller than -4?
False
Let a = 2 + -5. Let b = a + 15. Suppose 0 = -5*r - 2*m + 1, -2*m - 2 + b = -4*r. Do r and -1 have the same value?
True
Let p = 0 + -0.9. Let i = 1 + p. Which is smaller: 10 or i?
i
Let f be (-2 - -3)/(-1 - -2). Is f not equal to -2/7?
True
Suppose 4*z - 5 = -z. Is 0 not equal to z?
True
Let r(j) = -j**3 - 2. Let z be r(0). Let b = 3.9 - -0.1. Is z <= b?
True
Let g = -968/11661 + -2/507. Let c(h) = -h + 5. Let i be c(4). Are i and g nonequal?
True
Let v = 1.8 - -1. Let z = v + -0.8. Which is smaller: -1 or z?
-1
Let k(h) = 12*h**3 - h. Let l be k(1). Suppose w + l = -5*o, 0 = -5*w + 2*o + 3*o + 5. Let g be 1/2*w*2. Is -2/7 less than or equal to g?
False
Let v = 17999/36 + -500. Is v > 0?
False
Let d(k) = -2*k**2 + 11*k + 17. Let v be d(6). Is 11 less than v?
False
Let f = -9232/19 - -486. Let q = 14 + -13. Are f and q equal?
False
Let c(r) = -r + 4. Let m be c(6). Let v = m - -2. Which is greater: v or 2/9?
2/9
Suppose 2*r = -3*r + 100. Suppose -2*g + 4 + 1 = -y, r = 5*g. Suppose -6*z = -5*m - z + 35, 5*m = -3*z + 3. Is m bigger than y?
False
Let d be (15/(-6) - -4)/(-10)*-2. Is -5 less than d?
True
Let j(o) = 7*o - 6. Let t be j(-3). Is t greater than or equal to -27?
True
Let m be 5/(-20) - ((-12)/9 - -1). Which is bigger: m or 0?
m
Let a be (-6)/30 - (-58)/390. Which is greater: a or -1?
a
Suppose f - 4 = -n, -4*f + 6*f + 4 = 2*n. Let h be (-1)/(-6)*n*0. Suppose -4*c = 4*w + 20, 3*c - w = -4 + 1. Which is smaller: c or h?
c
Let t(j) = -4*j - 5. Let h be t(-1). Is h greater than or equal to -1/23?
False
Suppose 4*p = -3*z + 17, 2*p - 2*z - 3*z = 15. Suppose 0*q + p*o + 25 = -q, -4*q = o + 5. Which is smaller: 1/3 or q?
q
Let d be ((-16)/(-18))/(2/3). Suppose 0 = -7*k + 12*k - 5. Suppose -w = -2*w + k. Is w greater than or equal to d?
False
Let k be (-1 - 44/(-36))/(-1). Is k > -1?
True
Let d = 2 - 2.2. Suppose 4*a - 7 = 5*q, 13 = -2*a - 5*q + 2*q. Which is smaller: d or a?
a
Let d be (0/(-2))/((4 + -5)*1). Which is smaller: -1/12 or d?
-1/12
Let k(c) = -c**2 - 14*c - 12. Let i(d) = -2*d**2 - 27*d - 25. Let w(v) = -3*i(v) + 5*k(v). Let z be w(-10). Which is smaller: z or 4?
4
Let a be 3*3/90*(-4 + 7). Let l(j) = -j**3 - 6*j**2 - 5*j - 1. Let y be l(-5). Which is smaller: a or y?
y
Let t = 133 + -135. Let y = -0.4 + 2.4. Let q = -1 - y. Which is bigger: q or t?
t
Let w = 0 + 12. Suppose -2*l - l = w. Let p be (-4)/24*l/5. Which is greater: 1 or p?
1
Let j(u) = u**2 - 10*u + 4. Suppose -4 = -h + 5. Let o be j(h). Is -2 at least o?
True
Let p = 18 + -73/4. Let g(v) = -2*v. Let z be g(-1). Let b = z - 2. Which is greater: b or p?
b
Let o = -12 - -14. Is o != 3?
True
Let k = -13 + 11. Is k > -1?
False
Let j be (-4)/(-3)*(-15)/(-890). Let d be 12/78 + 4/(-26). Which is greater: j or d?
j
Let a(y) = y**2 + 12*y. Let j be a(-12). Suppose 4*r + h - 3 = j, 5*r = h + h - 6. Which is greater: r or -1?
r
Suppose 4*b + 3 = -13. Suppose -4*y = y - 15. Suppose z = -y - 0. Which is greater: b or z?
z
Let l be 20*(1 - 21/22). Which is smaller: l or 0?
0
Let z = -311.68 + 327. Let a = -15 + z. Let r = a - 0.02. Is -1 bigger than r?
False
Let q = -151 - -79. Let d be q/65 + (-24)/(-30). Is d less than or equal to 0?
True
Let s = 8 + -7. Let c(j) = j**3 + 1. Let g be c(s). Which is smaller: g or 1/2?
1/2
Suppose 3*n - 1 + 13 = 0, 3*s - 17 = 5*n. Suppose 1 - 31 = -5*z. Let w be (0 + 3)*