12)/(2/33). Let s = 9 + d. Is -3/5 > s?
True
Let c(k) = -2*k**3 + 2*k**2 + k. Let g be c(-1). Let d be (-1)/g - 142/6. Let l be 4/(-6)*(-27)/d. Which is smaller: l or 0?
l
Let i = 5 - 5. Let w = -0.05 + i. Let u = -1.95 + w. Which is smaller: -2/3 or u?
u
Let y = 12 - 18. Suppose 4*q = 2*w - 10, 2*w = 2*q + 3*w - 1. Let b be q/3*(-4)/y. Which is bigger: -0.1 or b?
-0.1
Let s = -8 + 3. Let b be s/(-4) - (-2 - -4). Let x(v) = v**2 - 3*v - 4. Let j be x(4). Which is smaller: b or j?
b
Let z(a) = a**2 + 6*a - 47. Let d be z(-13). Which is smaller: d or 45?
d
Suppose 6*h = h + 5*n + 10, 0 = -4*n - 8. Let c(r) = r**3 + 4*r**2 + 3*r - 1. Let j be c(-3). Is h less than j?
False
Let s = 90 - 41. Which is bigger: s or 50?
50
Let c be ((-4)/(-15))/(18/(-15)). Does c = -1?
False
Let m be (-3)/(-54)*4*168. Let l = 38 - m. Is l at least as big as -6/5?
True
Let g = -0.005 + 3.005. Let v be (-10)/(-42) + 4/(-6). Which is bigger: v or g?
g
Suppose 0 = 3*d + 2*v - 37, d - 42 = -d + 3*v. Let j = -10 + d. Suppose -4*f + j = -3. Which is smaller: f or 1/4?
1/4
Let s = 3.8 + -4. Let d = -0.75 - 0.05. Let l = s + d. Is l at most -1/6?
True
Let c = 8.1 - 8. Which is smaller: -0.8 or c?
-0.8
Let v(r) be the second derivative of r**4/12 + r**3 - 3*r**2 + r. Let x be v(-6). Let j be (-7)/6 - 3/x. Do j and -2 have the same value?
False
Let a be 295/(-105) + 2/(-6)*-2. Is a equal to -2?
False
Suppose 2*y + 5 = -p, -4*p + y + 0 = -7. Let b be (55/(-20))/(p/(-8)). Let q = b + -152/7. Is q at most as big as -1?
False
Let d be (-32)/(-130) - 2/5. Let f(s) = -s**2 - 9*s + 4. Let y be f(-9). Let r = y + -3. Are r and d equal?
False
Suppose 0 = -z - 2 + 5. Which is smaller: 1 or z?
1
Let r = 58 - 57.6. Is r < -0.4?
False
Suppose -c - 3 = 0, -2*i = -c - 2 - 1. Let j = 92 + -36. Let o be 18*4/j + -1. Are o and i unequal?
True
Let u(r) = 19*r**2 + 3*r + 2. Let j be u(-2). Is j less than 72?
False
Suppose 0 = z + 3 + 11. Let f = 108 - 123. Which is smaller: z or f?
f
Let l = 1 - 7. Which is bigger: 0 or l?
0
Let w(v) = -2*v**3 + 6*v**2 + 10*v - 17. Let r(g) = g**3 - 3*g**2 - 5*g + 8. Let d(j) = 9*r(j) + 4*w(j). Let c be d(4). Which is smaller: 3/5 or c?
c
Let v(j) = -2*j. Let o be v(4). Which is smaller: -7 or o?
o
Suppose -p = -5*f - 10, -4*f - 2*p = -4 - 2. Let l = 5/12 + -19/60. Does l = f?
False
Let h be (-43)/(-9) + (-6)/(-27). Suppose -h*b = -2 - 8. Let t be (-6 - -2 - -1) + b. Which is greater: 0 or t?
0
Suppose 2*l = n - 18, 3*l - 4 + 28 = 3*n. Let y be (-4)/10 - 54/l. Suppose -4*z = 5*w, 7 + 3 = -2*z - 5*w. Is z at most y?
True
Let y be 1325421/60 - (-4)/10. Let m = y - 22234. Let j = -144 - m. Are -2 and j nonequal?
True
Suppose 2*i + 2*i = -28. Let b be 3/(i/2 - 1). Let z = 0.122 + -0.022. Is z > b?
True
Let u = -19 + 22. Are u and 0.3 non-equal?
True
Let o be (-2 + 5 - 2) + -2. Let i(f) = -f**2 - 2*f - 3. Let d be i(0). Is d greater than or equal to o?
False
Let h = 69/152 + -3737/1368. Let q = 13/6 + h. Is -1 greater than q?
False
Let i = -3 - 2. Let k = -5 - i. Which is greater: 1 or k?
1
Let f be 40/(-15)*3/(-2). Suppose -3 = f*m - 7*m. Are m and 1 non-equal?
False
Suppose 528 = -28*p + 22*p. Is -88 < p?
False
Let w be -4 + (-1)/2*-4. Suppose 0 = 4*j - 9*j. Suppose 4*r - r + 3 = j. Which is smaller: w or r?
w
Let p be (-3)/18 + (-195)/(-36). Let a = p + -6. Suppose 3*h - 25 = 5*s, -5*h = 3*s - 2*s - 23. Do a and s have the same value?
False
Let q be (-1)/(1/2*2). Let b be (q/3)/((-2)/6). Are 3 and b equal?
False
Suppose 5*s - s = 0. Suppose -p + 2 + 2 = s. Suppose 0 = -4*l + 5*l - p. Which is bigger: 3 or l?
l
Let c = 97/510 - -1/102. Which is smaller: -1 or c?
-1
Let o(j) = -j**3 - 10*j**2 - 5 + 2 - j + 4*j**2 + 0*j**2. Let q be 6/4*(-3 + -1). Let n be o(q). Is 2 bigger than n?
False
Suppose 7*o = 3*o + 4. Is o greater than 0.1?
True
Suppose 0 = 2*a + 2*v - 6, 4 = 3*a - 2*v. Let m be ((-18)/(-15))/(a/5). Suppose m*q = 2*q + 1. Do q and 1 have different values?
False
Let w = 32 - 577/18. Which is smaller: w or 1?
w
Suppose -3*p + 2*c + 10 = 0, 17 + 8 = p - 5*c. Let z = -290/11 + 26. Which is bigger: p or z?
p
Let d = 3 - 1. Let i be -1 + d + (-2)/(-8). Let t = i - 3/4. Which is greater: t or 1?
1
Suppose -y = -5*t - 9, t - 3 + 5 = 0. Let w = -0.29 + 0.3. Which is smaller: y or w?
y
Let n = 1/8 - -3/8. Let u = -3 + 4.1. Let f = u - -3.9. Which is bigger: f or n?
f
Let p be (2/(-3))/((-4)/3). Suppose -m - 16*m - 6*m = 0. Is p <= m?
False
Let m be 1*2*-1 + 138/115. Which is smaller: m or -1?
-1
Let q = -0.7 - -1. Let x = 233 + -234. Which is greater: x or q?
q
Let l be (-2 - -5 - 4)*(-1 - -2). Let w be (-2)/(-11)*5254/4. Let a = w + -239. Are a and l equal?
False
Let w be (-1 - 0)/((-117)/30 + 4). Is w equal to -9?
False
Let d = -7 + 6. Let z = 1.05 + d. Are 0 and z nonequal?
True
Let w(j) = j - 10. Let a be w(13). Let y be (-1 - 0/(-1))*a. Is 2 at least y?
True
Let y = -21/76 + 10/19. Let h(p) = 2*p + 15. Let l be h(-8). Is y bigger than l?
True
Let b = -1 - -3. Let h = 0.4 - 0.5. Is b less than h?
False
Suppose 14 = -2*j - 10. Let y be ((-8)/j)/(4/(-6)). Are y and -2/7 equal?
False
Let p(x) = x**3 - 11*x**2 - 12*x - 4. Let h be p(12). Which is bigger: h or -2?
-2
Let w = -64260/13 - -3537173/715. Let u = w - 21/5. Is u > 0?
False
Let k(r) = r**3 + 9*r**2 + 15*r + 6. Let h be k(-7). Is h smaller than -4/5?
True
Let i(u) = 2*u - 5. Let k be i(4). Let h = k + -6. Let x be h/6 + 2/4. Which is smaller: -1 or x?
-1
Let a = -0.05 + -0.25. Let l = 1.1 - -2.9. Is a at least l?
False
Let v be ((-3)/(-5))/((-1)/5). Let n be -1 - (v - 124/(-64)). Is -0.2 <= n?
True
Let s(i) = -2*i**3 + 10*i**2 - i + 4. Let l be s(5). Let d = 0.1 - 0.1. Is d > l?
True
Suppose 0 = -2*a - 2*l + 10, 0 = 3*a + 2*l - 8 - 5. Suppose 0 = 5*x - 18 - 2. Which is greater: x or a?
x
Let u = -2 - -3. Let h = -341 + 482. Let c = -707/5 + h. Is c != u?
True
Let x = -4.91 + -0.09. Let w(d) = -3*d**2 - 3*d - 1. Let l be w(0). Is x greater than or equal to l?
False
Let v be ((-1)/(-18))/(3/(-132)). Which is smaller: v or -3?
-3
Suppose 0 = -2*r + 3*r - 4*a + 25, -3*r = -3*a + 30. Let x(p) = -p**3 - 5*p**2 + p + 6. Let i be x(r). Let w = 2/35 - -1/7. Which is bigger: w or i?
i
Let w be (2 - (-51)/(-9)) + 18/27. Which is greater: -26/11 or w?
-26/11
Let z = -69 + 46. Which is greater: z or -0.2?
-0.2
Let q = -367/45 - -38/5. Is -1 less than or equal to q?
True
Let i = -10 + 15. Which is greater: i or 6?
6
Suppose -5*t + 4*y + 29 = 0, 4*y - 16 = -4*t - 0*y. Suppose 0*f = -t*f. Which is greater: f or -0.02?
f
Let l = -32 + 30.7. Let b = -0.7 + l. Is 0 at least b?
True
Let u = 211/4 - 53. Let n = 17 - 84/5. Which is smaller: n or u?
u
Suppose 3*d - 20*d - 102 = 0. Which is smaller: -2 or d?
d
Suppose 3*x - k - 5 = 0, -5*x - k - 7 = -2. Let o(w) = -w + 2. Let u be o(x). Let g be u/(-5) - 7/(-5). Is 1 greater than or equal to g?
True
Let x be (3 - 4) + 2 - 0. Let n = 5 + -3. Which is bigger: x or n?
n
Let t(d) = -d**3 - 11*d**2 - 10*d. Let o be t(-10). Let z = 3 + -1. Let k be ((-1)/z)/((-6)/4). Is k != o?
True
Let r = 3311/5 - 670. Let v = r + 8. Which is smaller: v or 1?
v
Let s(y) = y**3 + 4*y**2 + 4*y - 1. Let w be s(-3). Suppose 0 = 3*d + 15 + 3. Is d at most as big as w?
True
Let q = 1 + -2. Suppose -6*l + 7 = -11. Is q bigger than l?
False
Let a be 3/(0 - 3) - -2*7. Which is bigger: a or 2?
a
Let h = 7 + -12. Let i be 2/(-8) - 42/(-8). Suppose -i*c + c - 20 = 0. Is h >= c?
True
Let l(s) = -s - 7. Let i be l(-8). Let j be ((-2)/(-10))/((-1)/(-1)). Which is greater: j or i?
i
Let v = 17 - 46. Which is bigger: -30 or v?
v
Let x(c) = -3*c + 4*c + 4*c - 8 - 4*c. Let l be x(0). Suppose 2*t - 45 = 5*f, -2*f + 3*t = -0*t + 18. Is l > f?
True
Let f = -83 + 91. Suppose 0*y - 2*a = -2*y + 26, 5*y - 20 = -4*a. Is y at least f?
True
Suppose 7 = 4*y + 39. Which is bigger: 0.1 or y?
0.1
Let u = 946/135 - -167933/945. Let q = 185 - u. Let j = 0.3 - 0.2. Which is bigger: q or j?
q
Let f = 31/2 - 15. Suppose -4*t + 12 = -t. Let h be (-12)/63*6/t. Which is smaller: h or f?
h
Let n be (4 - (-981)/(-231)) + (-3)/(-7). Which is bigger: -0.6 or n?
n
Let b = -21.954 - 0.046. Let w = 19 + b. Is w at least as big as -0.05?
False
Suppose 14 = -5*x + 3*w, -3*w + 6 + 3 = 0. Are 3 and x non-equal?
True
Let v = -16 + 19. Suppose -5*x - 7 +