 + 5 = 0. Let z be u(o). Suppose 2*j = -j - 12, -z*i + 10 = -3*j. Which is smaller: -1/13 or i?
i
Suppose 3*f - 4 = -1. Which is smaller: -1/50 or f?
-1/50
Suppose q + 33 = 4*o - 2*q, -o = q - 3. Suppose 0*p = -3*p + o. Suppose -6 = p*y + 3*t, 3*y - 2*t = -13 + 30. Is y less than or equal to 4?
True
Let j = 9.4 + -6.4. Is 24 greater than j?
True
Let f(n) = -n - 13. Let h be f(-11). Let c = 16 + -16. Which is smaller: h or c?
h
Let v = 7 - 7.3. Let f = 0.2 + v. Let q = -0.2 - f. Is q at least 1?
False
Let w = 27 + -33. Is w > -3?
False
Suppose 18 + 0 = 3*f. Let d be (-8)/(-4) - (f - 1). Let v be 4/(-3)*6/4. Which is greater: d or v?
v
Let a be (-1)/(-3)*(-9)/6. Let b(f) = -f**2 - 3*f. Let u be b(-4). Let x be 3/(-9)*18/u. Are a and x nonequal?
True
Let a = -4 - -7. Let m = -1 + 3. Suppose 0 = -n - m*l - 2, -a*n - 5*l = 4 - 0. Do 1 and n have different values?
True
Let q = -302/551 - -22/29. Let r = -14 + 14. Is q less than r?
False
Let l = -5.8 + 6. Let h = l + -1.2. Is h < 7?
True
Let g = 2/7 - 24/133. Let d = 12 - 12. Do d and g have the same value?
False
Let c(p) = p**2 + 5*p + 4. Let g(f) = f**2 - 7*f + 6. Let r be g(5). Let z be c(r). Let y be z + 1 + (-6)/10. Which is smaller: 0 or y?
0
Let y be 67/(-38) + 5/(5 - -5). Is y != -2?
True
Suppose 3*h + 3*g = -h - 33, -h - 4*g - 18 = 0. Let v be 3 - (-15)/h - 0. Which is smaller: v or 3?
v
Let g = 17 + -11. Which is greater: 5 or g?
g
Let f(a) = -a**2 - 5*a - 3. Let s be f(-2). Suppose -s*c + 3 = -3. Is 1/4 >= c?
False
Suppose -3*u - w = 7, 4*u - u - 5*w - 17 = 0. Is u equal to -12/11?
False
Let y be 3/1 + (-6)/3. Let c be ((-25)/(-45))/(y/2). Let a = -47/18 + c. Is -2 > a?
False
Suppose -4*s = 4*z + z - 1, 4*z = -3*s. Let v = s + -4. Which is smaller: -5/6 or v?
-5/6
Let d = -2.2 - -2. Let o = -0.3 - d. Are o and 2 non-equal?
True
Let z = 0.6 + 0.4. Let c = 2 - z. Which is bigger: c or -3/7?
c
Suppose -2*k = -4*v + 2, -3*v - 15 = 3*k + k. Let m be v/(-5)*5/(-12). Is m at least as big as 0?
False
Suppose 2*a + 36 = -2*a. Let l = a + 7. Is l bigger than -5?
True
Let r be 206 + 4*3/(-6). Let h = -2654/13 + r. Let g = 4 - 3. Is h at most g?
True
Let z(n) = n**2 + n - 4. Let d be z(2). Which is bigger: d or 4?
4
Let m(d) = -11*d**2 - 2*d + 3. Let k be m(1). Is -11 not equal to k?
True
Let r(t) be the third derivative of -t**4/12 - 2*t**3/3 + t**2. Let m be r(-3). Let a(i) = i - 2. Let c be a(m). Are c and -1/6 equal?
False
Let l = 1.7 + -1.6. Are 0 and l nonequal?
True
Let r = 4 + -16. Let d = r + 13. Is 1/24 smaller than d?
True
Let v be (4/6)/((-110)/(-363))*1. Is v at most as big as -1/4?
False
Let c = 15 - 8. Suppose -3*v = k - 19, -c*v = -2*v + 5*k - 35. Let x = v - 9. Do -2 and x have the same value?
False
Let p be ((-4)/10)/((-4)/(-2)). Let z = 2 - 1.9. Let v = 0 + z. Do v and p have the same value?
False
Let x be (-7)/10 - 66/44. Which is bigger: -2 or x?
-2
Suppose 17 = -5*z - 4*q, -2*q + 7*q + 19 = -4*z. Which is bigger: z or 1/17?
1/17
Let z = 3 + 1. Suppose f = -3*t + 4*f + 18, -2*f = -z*t + 26. Let q = t - 8. Is q bigger than -2?
True
Let b(a) = -a - 7. Let t be b(-9). Suppose -p - 3 = -2*i, 2*i + 5*p = -t*i - 15. Which is bigger: -1 or i?
i
Suppose 5 + 0 = -w, -2*w = 4*y + 18. Let d be (-111)/(-21) - (-4)/(-14). Suppose -k + 3 - d = 0. Are k and y unequal?
False
Let a be (3 - 1)/((-2)/5). Is a less than -4?
True
Let l = 0.01 - 2.01. Let z = 2.1 + l. Let d = z + -1.1. Which is smaller: d or 3?
d
Let d be -4*-1*5/2. Let g(k) = -k**2 + k + 8*k - k + d. Let p be g(9). Is 1 bigger than p?
False
Let k be 8*4*(-3)/(-12). Let x be 20/k*19/(-5). Do -11 and x have the same value?
False
Let p = 6 + -7. Which is greater: p or -2?
p
Suppose 30 = -3*x + 27. Which is bigger: 2/9 or x?
2/9
Let r be ((-1)/(-395))/(1/(-143)). Let c = r - 3/79. Is -0.1 at most as big as c?
False
Let n = -9 + 11. Let w be 1/(-1 + (4 - 2)). Is n < w?
False
Let c = 1/6 + 1/6. Let u = 95 + -48. Let i = u - 233/5. Do c and i have the same value?
False
Let r = -111 + 579/5. Is 5 less than or equal to r?
False
Let p(j) = 3*j**3 - 3*j + 3. Let o be p(2). Is o equal to 21?
True
Let y = 0.02 + -0.12. Let f = 8 + -10. Which is smaller: y or f?
f
Suppose 5*m = -3*m - 96. Is m at least as big as -12?
True
Let m = 3 - 2.9. Which is smaller: m or -6?
-6
Let v = -0.43 - 0.07. Which is greater: v or -1/3?
-1/3
Let y be (-22)/10 + (2 - 0). Are y and -1 nonequal?
True
Let z = 6 + -2. Suppose -z*c = -2*c. Suppose -3*q = -q. Is c greater than q?
False
Let v(n) = -2*n**3 - 19*n**2 + 10*n - 1. Let f be v(-10). Let u be (5 + -4)*2/14. Which is greater: u or f?
u
Let z = 1 + -12. Let y be ((-3)/(18/(-8)))/((-2)/15). Is z smaller than y?
True
Let r be 4*-219 + 0 + 0. Let q = r + 2768/3. Let n = -47 + q. Which is smaller: n or 0?
n
Let h(t) = t**3 - 3*t**2 - 5*t + 4. Let k be h(4). Let d(x) = x**3 - x**2 - x + 2. Let n be d(k). Suppose -3*c = 4 - 7. Which is smaller: c or n?
c
Suppose -4*p + 3*i + 43 + 70 = 0, p = -5*i + 34. Is p != 31?
True
Let u = 1/329 - 677/6251. Suppose 0*j - 12 = -j. Suppose -5*n = -h - 19, 0 + j = 3*n. Which is bigger: u or h?
h
Let x(d) = d**3 + 12*d**2 - 4*d - 13. Let y be x(-12). Is y < 35?
False
Let z be 22/18 - (-22)/(-99). Is z > 3?
False
Suppose 2*y = 3*y - 3. Let m = -3 + y. Let h(v) = -v**3 + v**2 + v. Let w be h(0). Is m less than w?
False
Let o = -6.24 + -0.56. Let f = o - -7. Which is smaller: f or 1/4?
f
Suppose -2*q = 6, 3*o = -5*q + 9 - 24. Suppose -14 = -4*a - 2*g, -5*a + 4*g - 2 = -o*a. Is a greater than 1?
True
Let p = -52 - -51. Are p and -1/21 nonequal?
True
Let q = -12 - -2. Let x = 8.2 + q. Let t = x - 0.2. Is -2/5 < t?
False
Let h(t) = t**3 + 8*t**2 + 6*t - 4. Let g be h(-7). Suppose -5 = g*p - 8*p. Is 2 equal to p?
False
Suppose 0 = 4*l - p + 13, 2*p + 0*p - 10 = 0. Let u = l - -10. Is u bigger than 1?
True
Suppose -5*j + 0*j = -10. Suppose 0 = 3*t - 3*m + 7*m + j, 2*t = 2*m + 8. Is t greater than or equal to 1?
True
Suppose -24 = -4*y + 8*y. Which is bigger: y or -7?
y
Let w(m) = m**3 - 10*m**2 + 11*m - 22. Let u be w(9). Let x be ((-5)/(-2))/((-1)/2). Which is smaller: x or u?
x
Let s = -35 + 42. Is -1 bigger than s?
False
Let j = -3 + 2. Suppose -5*w - 25 = -2*o, -2*w = -4*w + 4*o - 26. Let g be 4/9*w/6. Which is smaller: j or g?
j
Let r(u) = -u - 4. Let s be r(-5). Suppose t + 0 = s. Is 1/4 <= t?
True
Let n = -1 - -11. Is n greater than 3?
True
Let g(d) = 12*d**2 - d. Let l be g(1). Suppose -5*s - 4*c = -64 + 9, 3*s + 2*c = 33. Is s < l?
False
Let o(v) = v**3 - 4*v**2 - v + 5. Let p be o(4). Is -3 > p?
False
Let j be (4 - 2)/(4/(-6)). Let y(s) = s**2 + 3 + 5*s**2 - 3 - s**3 + 1 - 6*s. Let l be y(5). Which is bigger: l or j?
j
Let d be (-39)/(-78)*12/(-14). Let j be 0 + 0 + (-2 - -2). Is j at least d?
True
Suppose -5*t = -b - 1, -5*t + 2*b = -2 - 0. Let u = t - -3. Suppose 0 = u*f - 0*f + 3. Which is smaller: f or -2?
-2
Let s(h) = -h**3 + 5*h**2 + h - 3. Let l be s(5). Suppose -b + 0*p = -l*p - 1, 2*p + 19 = -5*b. Which is greater: 0.3 or b?
0.3
Let o be 9/(-6) - (-5 + 2). Suppose 0 = 5*w + 2 - 7. Which is bigger: o or w?
o
Let f(o) = -5*o + 3. Let d(m) = 4*m - 2. Let v(j) = 4*d(j) + 3*f(j). Let t be v(-1). Let u = -255 + 1279/5. Is t at least u?
False
Let u = 11 + -6. Suppose -12 - 18 = -u*d. Let p be (d/15)/(14/(-10)). Are -1 and p nonequal?
True
Let j(p) = -34*p - 47. Let t be j(-3). Is t < 57?
True
Suppose 4*c + 4 + 0 = -k, -c - 5*k - 1 = 0. Let q be 140/12 - (-6)/(-9). Let s be 1 - 3*3/q. Are c and s nonequal?
True
Let v = 15.28 + -0.28. Which is smaller: -1/4 or v?
-1/4
Let p be ((-25)/(-10))/(1/(-2)). Let c = -5 - p. Let s = 2/5 + -9/10. Is s not equal to c?
True
Let r be 6/(6*3/(-12)). Let u(h) = h. Let i be u(r). Let m = i - -5. Which is smaller: m or 2/17?
2/17
Let u be (-1)/(-1) - (-1194)/(-26). Let c = 45 + u. Let j = 668 - 668.1. Which is bigger: j or c?
c
Let r = 13 - 20. Which is smaller: 0 or r?
r
Suppose 4*w - 6 - 2 = 0. Which is smaller: 3/4 or w?
3/4
Let u be (10 - 8)*(-5)/2. Is u <= -7?
False
Let h = -15.7 - -10. Let b = h - -1.6. Let o = b - -4. Is 0.3 at least o?
True
Let w = -0.06 - 0. Let v = w - -6.06. Which is smaller: 1/3 or v?
1/3
Let a be ((-3)/(-2))/((-6)/(-80)). Let m = a - 11. Suppose v - 5*r = 7, 5*v + 0*r = -r + m. Is v bigger than -0.1?
True
Let p = -0.61