Suppose -v = 2*j - 7, 2*v - a*j = v - 8. Suppose -3*n - 6 = -3*q, -4*q + 0 = -2*n - 8. Which is smaller: v or n?
n
Let x = -0.66 + 0.66. Is x <= -1.4?
False
Let z(m) = 5*m - 56. Let p be z(16). Is p at most 20?
False
Let h = 8 - 5. Let b be (0 - 0) + h/(-3). Let j = 493/5 - 99. Which is bigger: b or j?
j
Suppose 0 = 2*i + c + 8, -i - 3*c = -4*c - 2. Let y be 2/3*i/6. Which is bigger: 0 or y?
0
Let m be (1 + (2 - 3))/(-4). Which is smaller: 1/29 or m?
m
Let d be ((-3)/4)/((-2)/(-8)). Let q be 1/(-2)*d/(-3). Let u(j) = -2*j. Let z be u(0). Which is smaller: z or q?
q
Let h(f) = -5*f. Let t be h(-1). Suppose 3 = -5*v - 4*j + 3*j, 0 = 5*v + t*j + 15. Is -0.2 at most as big as v?
True
Suppose 3*s - 12 = -51. Which is greater: -61/5 or s?
-61/5
Suppose -5 = -2*z + 3, z + 2 = 2*a. Let c(y) = 1 + 3*y**3 - 2*y**3 - 2*y**a + 4*y**2 - 3*y. Let l be c(3). Which is bigger: l or 2?
2
Let g = 12 + 1. Which is bigger: g or 14?
14
Let p(w) = -w**3 - 3*w**2 - 2*w - 4. Let j be p(-3). Suppose -34 = j*n + 5*r - 2*r, -2*r = 3*n + 46. Which is bigger: n or -13?
-13
Suppose 7*w = 12*w + 5. Which is bigger: 2/87 or w?
2/87
Let u = 6 + -9. Let h = -24 + 23. Which is smaller: u or h?
u
Let u = 43/26 - 2/13. Let a = u - 1. Are a and 0 equal?
False
Let i = -16 - -16.08. Let d = i + 0. Is 0 <= d?
True
Let n be (3 + -21 + 1)*-1. Is n at most as big as 3?
False
Suppose 0*x + 2*x = 0. Which is smaller: x or 2/45?
x
Let r(f) = -4*f**3 + f**2 + 2*f + 1. Let x be r(-1). Let b be 0/(1 - (-6)/(-3)). Suppose b = x*l - 4. Which is bigger: l or 2?
2
Let f be (-2)/(4/(-9))*(-10)/(-20). Which is smaller: 1 or f?
1
Let b be (-16)/10 - 2/5. Let r be (24/20)/((-2)/(-5)). Suppose -4 = -7*p + r*p. Which is greater: p or b?
p
Suppose 0 = -0*i - 5*i. Which is smaller: -1 or i?
-1
Let k = -13 + 13. Let v(r) = -r**3 - 7*r**2 - r - 10. Let g be v(-7). Which is smaller: g or k?
g
Let s be 102/(-5) + 2/5. Let y be (-5)/3*(-8)/s. Is -1/2 greater than y?
True
Suppose 5*m = -0 + 15. Is m <= -2?
False
Suppose 0 = -4*i - f - 15, i - 5*f - 17 = -5. Let j = i + 1. Is j less than -7/4?
True
Suppose -3*a + 0 + 13 = -w, -4*a = -5*w - 32. Is w > -6?
True
Let w be ((-1)/(-1))/(-3 - -2). Is 0 >= w?
True
Suppose a + 2 = -1. Let i be (3/12*-6)/((-6)/(-8)). Which is smaller: a or i?
a
Suppose 3 = 5*k - 22. Let d(s) = -4*s - 3. Let o be d(-3). Let x = o - k. Is x smaller than 5?
True
Let i = 125778/47 - 2676. Let d = 81/470 + i. Which is bigger: -1 or d?
d
Let i(v) be the second derivative of 0 - 3/2*v**2 + 2/3*v**3 + 4*v - 1/6*v**4. Let j be i(2). Are -1 and j unequal?
True
Let g = -22 - -67/3. Let v be (-1)/(-2*2/(-4)). Which is bigger: g or v?
g
Suppose 0 = -4*d + 23 + 45. Let a = -12 - d. Let i = a + 142/5. Is i != 1?
True
Let g be (-2)/(-11) + (-42)/(-11). Suppose 4*z - 24 = -g*t, -4*t = -4*z + 6 + 2. Let w be (t/4)/(7/(-28)). Which is smaller: -5/4 or w?
w
Let b = 0.3 + 0.2. Let x = -1.5 + b. Is x at least as big as -2/15?
False
Let p be (9/(-3))/1*-1. Suppose -13 = -5*c - p. Let w be c + -3*(-2)/(-2). Which is greater: -3/7 or w?
-3/7
Suppose -17 = -4*k - 5. Suppose 3*d - 9 - 6 = k*c, 0 = 2*d + c + 2. Is 1 != d?
False
Suppose -3*u + 4*t + 0*t + 317 = 0, -198 = -2*u - 4*t. Let g = -719/7 + u. Which is smaller: 3 or g?
g
Suppose -4*j = j - 40. Suppose 0 = 3*n - j - 7. Suppose -n*y = 3 + 2. Is 1/3 at least as big as y?
True
Suppose -2*o - 1571 = 3*o - 2*p, 636 = -2*o - 3*p. Let t be 8/6*o/(-11). Let v = 38 - t. Is -1 >= v?
False
Let y be ((-15)/20)/((-3)/8). Which is greater: 30/19 or y?
y
Let o = 3/44 - -2/11. Let n = -0.4 + 0.3. Let m = n + 0.1. Which is greater: o or m?
o
Let g(x) = x**3 + 4*x**2 - x - 3. Let b be g(-4). Let l be (-4)/14 - (-64)/28. Let f = b - l. Which is smaller: f or 0?
f
Let k(r) = -r**2 + 4*r - 3. Let i be k(3). Suppose 0 = 5*t - 31 - 24. Let x be 3/(15/t) + -1. Which is smaller: x or i?
i
Let s = -9 - -9. Let a = s - 2. Let q = a - 2. Is q smaller than -1?
True
Let n = 109543563 + -153689745345/1403. Let q = n - -2064/23. Let f = 2/305 - q. Is 2 greater than f?
True
Let s be 9/(-2)*2/(-3). Suppose g + 14 = s*g. Is g greater than or equal to 8?
False
Let r be 8/(-36) + 38/90. Is -1 less than r?
True
Suppose 32 = 5*y + 7. Let z = 6 - y. Let s(f) = -f**2 + 9*f - 8. Let x be s(8). Do x and z have the same value?
False
Let o(l) = -l - 7. Let y be o(-5). Which is smaller: y or 1?
y
Let z = 7 + -9. Let c(x) = -x**3 - 6*x**2 + 2*x - 3. Let r(w) = -2*w**3 - 12*w**2 + 3*w - 6. Let u(g) = -5*c(g) + 3*r(g). Let k be u(-6). Does k = z?
False
Let a = -133/69 + -45703/345. Let h = 135 + a. Suppose f + 5*s + 14 = 0, 0 = s + 2*s + 9. Which is greater: h or f?
f
Let y be 1 + -3 - 8/32*-4. Which is smaller: y or 0.16?
y
Let i = -8459/39 + 217. Let h be ((-6)/(-10))/((-39)/(-15)). Let p = i + h. Do p and 0 have the same value?
False
Let h = -149906 - -745694/5. Let t = h + 763. Do t and -4 have different values?
True
Let b(w) = -w + 2. Let h be b(0). Suppose -p + 5*t + 6 = 2*p, -3*p + 6 = -h*t. Which is smaller: 1 or p?
1
Let n = 15/52 + -451/1924. Which is smaller: 1 or n?
n
Let b(z) = -4*z**2 - 8*z - 8. Let p be b(-5). Which is greater: p or -67?
-67
Let w = -4578/13 - -352. Which is bigger: w or -1?
w
Let i = 0.14 + -1.04. Let z = 0.4 + i. Let o = z + 0.7. Do 0.2 and o have different values?
False
Let g = 123 + -117. Which is greater: 4/7 or g?
g
Let m(c) be the second derivative of -c**3/6 + c**2 + c. Let z be m(-7). Let o be 2/6*z/(-12). Which is greater: 0 or o?
0
Let y be (-8)/12*5/2 + 1. Is -51 != y?
True
Let z = -65/3 - -23. Is -0.1 not equal to z?
True
Let k(m) = -m**2 + 8*m - 8. Suppose -2*b + 0*b = -14. Let i be k(b). Let s = -56/39 + 10/13. Which is smaller: i or s?
i
Let q = 2005/6 + -335. Let i be ((-2)/6)/(4/24). Let f be ((3 - 1)*1)/i. Which is bigger: f or q?
q
Let s = -3 - -3. Let v = 3 + s. Let c be (7/(-21))/((-1)/9). Are c and v nonequal?
False
Let p be 115 + (-6 - (-4 + 2)). Is 111 at most as big as p?
True
Let w be (3 + 5 + 0)/2. Is w equal to 5?
False
Let w = 13/8 + 2927/40. Let a = -75 + w. Let t(l) = l**2 + 3*l + 1. Let i be t(-2). Which is smaller: a or i?
i
Suppose 5*i + 4*q + 18 = 0, -5*q + 2*q = -3*i. Let z be 0 + (-2)/(i + 4). Let f be 6/(-15) - ((-14)/(-40) + -1). Do z and f have different values?
True
Let u(j) = -j**2 + 10*j + 6. Let x be u(10). Let z = -4 + x. Suppose -4*r + z*r + 2 = 0. Is 1 bigger than r?
False
Let z = 11 + -6. Suppose 5*j + 3*t = -16, -2*t + 5*t - 4 = z*j. Let u be (-1)/j + (-2)/(-8). Is 0 less than u?
True
Let i be (2/(-6))/(2/(-126)). Let w be 195/i - (-4)/(-14). Which is greater: 8 or w?
w
Let k = -1/6 + -1/12. Which is bigger: k or 0?
0
Let d = -3 + 5. Suppose -3*w + 2*b + 6 = -3*b, 2*b = -w + d. Suppose 0 = 3*g - w*v - 4, -4*g - 13 = 5*v - 3. Which is smaller: 2/15 or g?
g
Let l be (-2)/(-1)*(-5)/65. Are l and 1 equal?
False
Let m = 12838/181317 + -2/3181. Which is smaller: 1 or m?
m
Let o = -10.5 - -10.64. Which is bigger: o or -2?
o
Let t(v) = v**2 + 4*v. Let j be t(-5). Let d = 7 - j. Is 3/5 greater than d?
False
Suppose -23 = -w - 5*u - 5, -24 = -3*w - 5*u. Let f(m) = -m**3 - 6*m**2 + 8*m + 1. Let b be f(-7). Let d = -7/2 - b. Which is smaller: w or d?
d
Let b = -75 - -145/2. Let v = -11/6 - b. Do 0 and v have different values?
True
Let z = 3 + 3. Suppose -z = -5*f - 1. Which is greater: 5/6 or f?
f
Let c = -3.3 + 3. Let o = -0.7 + c. Which is greater: 2 or o?
2
Let l = -17 + 14. Let x be 35/(-14) - 2/l. Which is bigger: -3 or x?
x
Suppose -y = 4*s - 4 + 2, 2*s = -y. Let t be y/8 + 2/4. Let n = 0.0476 + -5.0476. Which is smaller: n or t?
n
Let j = 3 - 3. Let i = -3 - -4.5. Which is bigger: j or i?
i
Let a = 5 - -7. Let z(q) = 2*q**2 + 18*q - 93. Let u be z(-13). Is a at least as big as u?
True
Let t = -69 - -68. Suppose 0 = -j + 3*j. Suppose 4*w + 20 = -4*y, j = 5*y - w - 4*w - 15. Do t and y have different values?
False
Suppose -d + 8 = 3. Let y(i) = -4*i**3 - 8*i**2 + 7*i + 9. Let w(k) = -k**3 - 3*k**2 + 2*k + 3. Let o(p) = -7*w(p) + 2*y(p). Let n be o(d). Is n < -3?
False
Let s = 0 - 5. Let d = 9 + s. Let c be (8/(-10))/(d/(-10)). Is c at least 1/2?
True
Let t = 3 + -2. Let o be (10/(-4))/(2/4). Let p be (-2)/(-1)*o/55. Which is smaller: t or p?
p
Let i be 2/3*(-11)/(-22). Let y be 1 - (4 + -2 - 0). Are i and y unequal?
True
Let p(n