 -0.35 - 1.35. Let d = c + 2. Which is bigger: d or w?
d
Let r(n) = -n + 6. Let l be r(0). Let w(g) = g - 4. Let i be w(6). Suppose l = -i*p - 2. Is -1 >= p?
True
Let q(j) = j**3 - 3*j**2 + 3*j - 2. Let s be q(2). Let d = 318 + -2863/9. Which is smaller: s or d?
d
Let o(r) = r**2 - 8*r - 1. Let b be o(8). Does -2 = b?
False
Let d be -2 + -3 + (-68)/(-12). Let m(r) = -r + 3. Let f be m(3). Which is smaller: f or d?
f
Let u be 2/5 - (-112)/(-180). Let m = 1 - 1. Are u and m nonequal?
True
Suppose -2*p - r - 4 + 5 = 0, 2*p - r - 7 = 0. Let b be 3 - (-1 + p) - 2. Which is smaller: b or 2/9?
b
Let a(j) = -j**3 - 3*j**2 + 3. Let t be a(-3). Let u(i) = i - 3. Let c be u(t). Which is smaller: c or -4/3?
-4/3
Let i be (52/(-12) + 3)*-21. Let j be (-1)/i*2*-2. Which is greater: j or 0?
j
Let x be 6/16*(1 + 10/(-6)). Which is greater: x or -1?
x
Let s = 11217 + 16605. Let u = 305655/11 - s. Let r = u - -35. Is r less than 1?
True
Let j(d) = -d**3 - 3*d**2 + 6*d + 3. Let x be j(-4). Let p = x + 4. Is 1/6 not equal to p?
True
Let j = -37 - -111. Let h be (-8)/52 - j/26. Which is smaller: h or -1/4?
h
Suppose 8 = 5*g + 18. Let j be (1*(1 + g))/2. Let q = 6 - 5. Which is smaller: q or j?
j
Suppose -5*t = -2*t. Let d = t + 2. Are d and 3 unequal?
True
Let c(d) = d**2 + d - 35. Let i be c(0). Let f be i/5 - (1 - 3). Which is bigger: -4 or f?
-4
Let q(r) = r + 2*r + 4 - 4*r + 0*r. Let k be q(5). Let h = -903/5 + 180. Which is smaller: k or h?
k
Let b be 1/(4/4)*4. Let j be ((-2)/3)/(b/30). Let r = -9 - -4. Does r = j?
True
Suppose 5*j - 488 = -2*i - 1224, -745 = 5*j + 5*i. Does -0.1 = j?
False
Suppose o = 3*j - 39, o = -2*j - 0*o + 21. Let i = -16 + j. Which is smaller: -2/3 or i?
i
Let z(l) = l**2 - l + 1. Let x(c) = -2*c**2 + 3*c - 3. Let w(p) = 3*x(p) + 5*z(p). Let g be w(3). Is 1 equal to g?
False
Suppose 0 = o + p - 1, 2*o + 0*o = -p + 3. Let b be (6 - 5)/(o + -1). Which is bigger: b or 9?
9
Let z(k) = 17*k + 24. Let c be z(7). Is 143 greater than c?
False
Let a(f) = -f**2 - 15*f - 1. Let m be a(-14). Are 13 and m non-equal?
False
Let f be (-26)/336 - (-6)/21. Let z = f + -7/8. Is z bigger than -4/3?
True
Suppose k + 2 = -2*j, -3*k - 4*j - 1 = -3*j. Is k > -0.05?
True
Suppose -1 = 2*a + 2*k - 3, -3*k + 8 = 4*a. Suppose d + 6 = -p + 1, 0 = 4*d + a*p + 25. Which is smaller: 1/9 or d?
d
Let s = 4.4 - 4.6. Which is greater: 2/15 or s?
2/15
Let z = 495/7 - 2725/42. Let t = z - 421/66. Is t less than 0?
True
Let g = 52 + -59. Suppose 0 = -3*y - 0 - 24. Let h = y - g. Is -4/7 <= h?
False
Let r be (-1 - -2) + (0 - 2). Is -1/22 > r?
True
Let z = -19/10 + 12/5. Let l = 0 + 10. Let s be (4/7)/(l/35). Which is smaller: s or z?
z
Suppose -22*u + 20*u = 0. Which is smaller: 1.2 or u?
u
Let s = -9.05 + 9. Let d = s - 8.95. Is 0 less than d?
False
Suppose -4*f + 4*k = 2*k + 4, 2*f + 2 = 2*k. Is -6/7 bigger than f?
True
Let n be (32/24)/((-2)/(-3)). Suppose t - 3*t = n. Which is greater: 2/15 or t?
2/15
Let z(l) = -l**3 - 4*l**2 - l - 4. Let c be z(-4). Let w be (-2)/26*-2 + 1512/(-702). Which is smaller: c or w?
w
Suppose 0 = -3*t + v - 24, -3*t + v - 32 = t. Is -4 at most t?
False
Let g be (2 - 1) + 1 - 0. Let c = 2 - g. Let x be (-3 + 2)*1/3. Is x not equal to c?
True
Let o be ((-4)/(-6))/(6/45). Let b(r) = r**2 - 2*r - 3. Let v be b(o). Suppose 6*f - 20 = 2*k + f, 5*k = -3*f + v. Is k <= -3/5?
False
Let m be (1/(-18))/((-2)/(-4)). Let u(d) = d**2 + 18*d - 39. Let a be u(-20). Which is smaller: a or m?
m
Suppose 4*m = 2*m + 5*i + 55, -3*i - 45 = -2*m. Let l be (-5 + 0)*2/m. Suppose -5*p - 3 = 7. Which is greater: l or p?
l
Suppose -2*y - 4*w + 9 = -w, y - w + 3 = 0. Suppose y*m - 2 = -2*m. Are -4/13 and m unequal?
True
Let h = 7763/4 - 2030. Let o = 3887/44 + h. Is -2 at most o?
True
Suppose -5*i - 2*r = -101 - 148, i - 2*r - 57 = 0. Are i and 49 nonequal?
True
Let o be ((-1)/(-3))/(7 + (-2198)/315). Which is smaller: 14 or o?
14
Let k(b) = -b + 17. Let h be k(9). Let q be (-14)/h - 15/(-20). Which is bigger: q or -1/5?
-1/5
Let d be -15*(-4)/16*4/10. Is 2 > d?
True
Suppose 4*r = -0 - 4. Let i be (1 + -1)*1/2. Is i bigger than r?
True
Let k = -1.6 + 10.6. Let y = k - 8. Which is smaller: -0.2 or y?
-0.2
Let j be 36/(-6)*(-1)/(-3). Let t be 3 - 12/(4 + -1). Which is bigger: j or t?
t
Let x = 8.09 + -8. Let w = -0.01 - x. Which is smaller: 2 or w?
w
Let k = 11 + -15. Let h be (16/132)/(k/6). Is 0 at most as big as h?
False
Let w(c) = -c + 2. Let t be w(-4). Suppose -2*p + 0 = t. Let l(y) = -y**3 - 4*y**2 - y + 3. Let v be l(p). Is v at most -3?
True
Let m(l) = l**3 - 6*l**2 + 2*l - 9. Let p be m(6). Suppose p*d - 3 = -6. Are 0.11 and d equal?
False
Let c(z) = 6*z - 43. Let u be c(16). Which is smaller: u or 0.1?
0.1
Let i = 4 + -1. Suppose -i - 1 = 2*l. Let m be -1*(0 + 1)*1. Is l != m?
True
Let s be ((-12)/40)/((-6)/8). Let u be 3/12 - (-5)/(-4). Is u equal to s?
False
Let b = -10 - -16. Let a be (-8)/(-2) + (-14)/b. Which is bigger: a or -2/9?
a
Suppose 3*g + 27 = -0*d + 2*d, 3*d + 18 = -2*g. Suppose 5*m + 3*z + 70 = 12, 2*z - 42 = 4*m. Which is smaller: m or g?
m
Let x = 10 - 8. Suppose -4*c + 9*u - 4*u - 11 = 0, -19 = 5*c - u. Let o be 1/x + (-14)/c. Which is smaller: o or 5?
o
Let o(j) = 39*j + 1. Let p be o(1). Suppose 5*f + u = -p, -2*u = 2*u + 20. Which is smaller: -5 or f?
f
Let j(s) = s**3 - 6*s**2 - 8. Let r be j(6). Let b = -7 - r. Suppose 0 = 4*h + 3 + b. Is h at most 0?
True
Let b = -24 + 24. Is b >= 1/6?
False
Let q = 1 + -1. Let g be (-106)/22 + 6 + -1. Is g less than q?
False
Suppose 0*x + 5*r - 29 = -2*x, 35 = 5*x + 5*r. Let j be ((-6)/42)/(-1 + x). Which is smaller: 0 or j?
j
Suppose 0 = 2*c - 2 + 4, -3*p - c = 7. Is 3/2 != p?
True
Let g be 2*(-2)/4*-5. Suppose g*u - 7 + 2 = 0. Do 0 and u have the same value?
False
Let p be 1 - 1/(3/(-15)). Suppose -4 = p*j - 2*j. Which is smaller: 2/13 or j?
j
Let a = -0.01 + -1.99. Let p = -0.05 - -0.15. Which is smaller: p or a?
a
Let k = 19348 + -328818/17. Let b = 550/119 - k. Do b and -2 have different values?
True
Let a = -2/3 - -1/3. Let n = 7 - -26. Let k be (-16)/(-24) + (-16)/n. Is a at most as big as k?
True
Let g = -28 - -25. Let r = 6 + g. Suppose -4*q + 9*q + 21 = t, -4*q = t + 15. Is t < r?
True
Let t = 155 + -4339/28. Which is smaller: t or 0?
0
Suppose 4*h = 4*u + 1 - 17, 5*u = -2*h + 6. Let z be -1*(-1)/2*u. Is z <= 2/9?
False
Let x = 6 - 7. Which is smaller: x or 1/19?
x
Let u = -18 + 5. Let c = -15 - u. Let b = -0.02 + -1.98. Is b <= c?
True
Let q = 9 + -7. Is 0.18 bigger than q?
False
Let h be 4/(-3)*(-36)/(-8). Let k be 2/(-4) - h/4. Let f = k - 3. Which is greater: -8/7 or f?
-8/7
Let j(d) = d**3 + 3*d**2 - 3*d + 4. Let m be j(-4). Suppose l + 2*s + 1 = 0, 4*l + 4 = -m*l + s. Is 2 greater than or equal to l?
True
Let z = -45 + 46. Which is smaller: -5/13 or z?
-5/13
Suppose -3*c - 13 = c + 3*r, 2*c = r + 1. Suppose -3*b - l + 30 = 0, -5*l + 21 = 4*b - 19. Let z be 4/b - 3/20. Which is greater: c or z?
z
Suppose 2 = -2*g + g. Let q be 1*-4 + g/(-2). Is -3 less than q?
False
Let b(d) = 7*d**3 + 2*d + 1. Let q be b(-1). Let f = -8 - q. Which is smaller: f or -0.2?
-0.2
Suppose -10*c = -7*c - 6. Suppose -4*r = c*r + 12. Which is smaller: 6/7 or r?
r
Suppose -3*x - 2 + 8 = 0. Suppose 0 = -7*c + x*c - 15. Let a be (-2)/(2/(-3)) - 5 - 0. Which is greater: c or a?
a
Let c be ((-52)/448)/((-10)/8). Let k = -3/28 - c. Are 1/3 and k non-equal?
True
Let q = -11 - -5. Let n be (-15)/q + 1/2. Let z be (-4)/3*6/(-4). Which is smaller: n or z?
z
Let z be (15/(-9) - 0)*-3. Suppose 1 - z = -c. Suppose -5*p - 2 + 3 = c*n, 2*p - 3 = n. Is p > 1/11?
True
Let u(h) = -h**3 + 7*h**2 - 6*h + 4. Let b be u(6). Suppose -a = -3*a + 8. Are b and a unequal?
False
Let o be (-10 + 9)/((-1)/2). Suppose w - 16 = 3*k - 1, -k + 8 = 4*w. Which is bigger: o or w?
w
Let c be ((-1)/(-3))/(1/9). Let f = c - 1. Let v(w) = w**3 + 6*w**2 + 5*w + 1. Let p be v(-5). Which is greater: p or f?
f
Let g(i) be the first derivative of -i**3/3 - i**2/2 + 2*i + 3. Let d be g(-2). Is 2/27 smaller than d?
False
Let c(i) = i**2 + 3*i - 2. Let x be c(5). Do x and 39 have different values?
True
Suppose -7*q + 2*q = 5*k, 2*q + 7 = 5*k. Let p be 3/(9/(-5)) - -2. Is q at least p?
False
Let b(v) = 2*v**2 - 3*v - 7. Let y be b(6). Is y > 47?
False
Let v 