 be 0 + -2*(-2)/c. Let q = 0.32 + -0.52. Which is greater: q or b?
b
Let y(c) be the second derivative of -5*c**3/6 - 8*c. Let b(m) = -4*m - 1. Let n(t) = -4*b(t) + 3*y(t). Let o be n(-11). Is o equal to -6?
False
Let u(d) = -d**2 - 30*d + 215. Let q be u(-36). Which is bigger: q or -3/827?
-3/827
Let y(r) = -r**2 - 10*r - 11. Let f be y(-8). Let d be -6 + (-9)/(-3) - -5. Suppose -d*n = 3*n - f. Are 10/7 and n unequal?
True
Let w = -3.26 + 4.9. Is w equal to 1/2?
False
Let v(q) = -3*q**2 - 2*q + 0*q**2 - q**2 + 9 - q**3 - 2*q**2. Let r be v(-5). Let y(f) = f**3 + 3*f**2 + f - 3. Let i be y(-3). Do i and r have the same value?
True
Let p = 3 + 14. Suppose 0 = 4*k - 2*w + p + 87, -68 = 3*k + w. Which is bigger: -23 or k?
-23
Suppose -4 + 1 = d. Let t be 0/(6/d - -3). Is t > 4/15?
False
Let d(t) = t - 9. Let f be d(4). Let q(x) = x**3 - 2 + 5*x + 6*x**2 - x - x + 2*x. Let r be q(f). Are -3 and r equal?
False
Let m be (3 - (1 - 1)) + 2 - -1. Suppose -m*w = 33 + 81. Is -18 not equal to w?
True
Let q = 9 + -14. Let z be (1/(-3))/(7/(-21)). Suppose -z = 4*t + 19. Is t at least q?
True
Let k = 0 + 7. Suppose 3*a - 5 = k. Let g = -12 + a. Is -9 smaller than g?
True
Let z be -1*(-9)/((-12)/(-4)). Let o be 42/12 - z/2. Let x = -2 - o. Is -5 equal to x?
False
Let y = -10 + 9.8. Let z = y + -2. Let n = z + 2.2. Are n and 9 unequal?
True
Let c = -31.156 + 31. Let r = c + -0.044. Which is greater: r or 0.2?
0.2
Let v(t) = -27*t - 1. Let p be v(-5). Let r be 30/9*3 - -2. Let x be (-3)/(-18) - p/r. Is -11 smaller than x?
False
Let k be (-1)/(3/2)*-18. Let r be k/(-18)*(-39)/2. Let h = 12 - r. Which is smaller: -2 or h?
-2
Let d = -16.5 - -14. Let u = d - -2.4. Let z = 10.05 + -0.05. Which is bigger: z or u?
z
Suppose -15*h + 333 = -6*h. Are 38 and h equal?
False
Suppose -3*p = 3*p + 3*p. Suppose -2*f + 9*f + 917 = p. Is f equal to -132?
False
Let x be (-12)/30*5/(-2). Let t be (3 - 1) + 234/(-120). Which is smaller: x or t?
t
Let b = -15 - -23. Which is smaller: 15 or b?
b
Let i = -11.1 - -18.1. Is i < -6?
False
Let z(p) = 2*p**2 + 2*p + 2. Let w be z(0). Let n be 43 + (3 - -2 - w). Which is bigger: -1 or n?
n
Let x be (0 + 2 + -105)/(-2). Let t = 51 - x. Is t >= 22?
False
Suppose 0 = 5*b - 5*z - 5, -2*b - 3*z + 3 = -4*b. Suppose j - 6 = -d, -6*d - 6 = -10*d + 5*j. Is b at most as big as d?
False
Let j(z) = -3*z + 17. Let p(d) = 9*d - 52. Let s(n) = 8*j(n) + 3*p(n). Let q be s(8). Suppose u - 1 = -2*g - 8, -q*u + 5 = -3*g. Which is smaller: u or 0?
u
Suppose -3*o + 4*g = -4*o - 8, 2*o + 5*g + 10 = 0. Let c be (-2)/(-8) - 14/(-8). Let k = c - o. Which is smaller: 11/5 or k?
k
Let c be 8/(-2) + 0 - (-58600)/14660. Is -1 at most c?
True
Let w = 49 - 44. Suppose 4*d + 23 = 3*m, 4*d + 24 - 9 = -w*m. Which is smaller: m or 3/7?
3/7
Suppose 11 = j + q, 4*j - 2*q + q = 34. Let l be 3/7 + 124/56*-2. Let i be l - j/((-306)/140). Are 1 and i unequal?
True
Let h = -8 + 8. Let f be (-4 - h) + 6 + -3. Is f at least as big as 1/31?
False
Let d = 172303/6 + -28645. Let v = -72 + d. Suppose 5*f + 7 + 13 = -3*o, 5*f - 20 = 5*o. Which is smaller: v or f?
f
Let n be (28/(-99) - (-2)/9)*6. Which is smaller: 1 or n?
n
Let i be (-29)/(-3) - 2/(-6). Suppose y + i = 3*y. Which is greater: 1/4 or y?
y
Let v = -32 - -32.8. Let n = 1.7 - v. Which is smaller: -1 or n?
-1
Let h be 38 - 40 - (0 + -8). Is 16 bigger than h?
True
Let t = -37067731/22692 + -66237/244. Let l = -1905 - t. Which is smaller: -1 or l?
-1
Let k = -767 - -767. Is -41 > k?
False
Let u = 13 + -10. Suppose 4 = -4*r + z, -u*z = z. Which is bigger: 1/8 or r?
1/8
Let u = 846 - 859.74. Let m = u - 0.26. Let x = -13.5 - m. Which is bigger: 0.1 or x?
x
Let z = -78328/3 + 26110. Let h = 61.78 - 0.78. Do z and h have the same value?
False
Let n be ((-30)/(-12))/(3/6). Suppose 0 = n*k + 5*l + 30, 5*k + 15 = -l - l. Let c be k/(-2*(-4)/(-8)). Which is smaller: 5/6 or c?
5/6
Let h be -5*2/252*(-45)/150. Which is smaller: -1 or h?
-1
Let x = 1347 + -689. Is 657 bigger than x?
False
Let m = 8 - 6. Let q be m - 7/((-105)/(-36)). Let h be (-1 - (1 - 4)) + (66 - 68). Are h and q nonequal?
True
Let c be 1/(-2) + (5 - 6186/1380). Is -1 at least c?
False
Suppose -43*n = -38*n - 100. Do n and 1.7 have the same value?
False
Let f = -0.457 - 11.543. Which is greater: -0.4 or f?
-0.4
Let f = -1734 - -1671. Is f at least -2/13?
False
Suppose 6*f - 3 = 5*f, 0 = -k - 4*f + 29. Which is smaller: k or 42?
k
Let q = -11.8 - -11. Let o = q - 0.6. Let w = -33/4 - -17/2. Which is smaller: o or w?
o
Let t = 6586/5 - 270256/205. Is t <= -1?
True
Let u = -267/910 - -1/130. Is u less than 80?
True
Let i(n) = -5*n + 48. Let p be i(10). Is p at most as big as 5?
True
Let h be ((-1)/(-5))/((-7)/((-12775)/15)). Let d = h + -24. Is d equal to 0?
False
Let t = -240 + 354. Is t >= 114?
True
Let y = -19 - -24. Suppose -4*h + 7*h - 5 = -y*w, -4*h - 4*w = -4. Is 1/29 less than h?
False
Let q be (10/6)/((74712/(-36))/(-22)). Is q < 0?
False
Suppose -4*m - 49*l + 20 = -47*l, 5*m - 12 = 4*l. Which is greater: 45/17 or m?
m
Suppose 0 = -6*y - 0*y + 54. Suppose y*t - 170 = 577. Does 83 = t?
True
Let a = 2151 + -2150.8. Is -418 < a?
True
Suppose 12*v = 5*v. Suppose -3*k + 54 = s - 34, v = -2*s + 2. Is k less than 28?
False
Let d = 19 + -21. Is d less than or equal to -85?
False
Let x = 217 + -91. Let i = -126 + x. Is i < 1/236?
True
Let v(j) = -2*j**2 - 29*j - 79. Let c be v(-3). Is c at least -126/11?
True
Let j be 3 + 1170/8 + (-2)/8. Let y = j - 150. Let g be ((-18)/10)/((-6)/(-4)). Which is greater: g or y?
y
Let r = -19.118 + 0.118. Let a = r - -16. Are a and -1 nonequal?
True
Suppose 11 + 13 = 4*u. Let x = 63 + -40. Suppose 4*f - 1 - x = 0. Is f greater than u?
False
Let r = -179 + 4. Do r and -174 have the same value?
False
Let y(c) = c**3 - 6*c**2 + 6*c - 6. Let m be y(2). Suppose 3 = -z - 4. Let k = z + -1. Which is bigger: m or k?
k
Let y be 1*2/(-10)*-5. Is 1/125 > y?
False
Let c = 37 - 41. Let s be (c - 10)*(-1)/(-2). Which is smaller: s or -8?
-8
Let y(h) be the first derivative of -h**2/2 - 19*h + 13. Let p be y(-5). Which is bigger: p or -12?
-12
Let o be (-77)/(-21) - 4/6. Let a be 4/o*(-36)/(-6). Suppose -7*r - 1 + a = 0. Which is smaller: r or -3/8?
-3/8
Suppose 102 = -5*v + 4*u - 8*u, -u - 21 = v. Which is bigger: -21 or v?
v
Let p be 13/4 + 3/4. Suppose 4*i + p + 60 = 0. Which is smaller: -14 or i?
i
Let f be 18*(-7)/14 - -9. Which is smaller: f or 2/1241?
f
Let d = -116 + 172. Is d at least as big as 53?
True
Let n = 1027 + -1026.8. Let g = 0.5 + -0.44. Which is bigger: g or n?
n
Let x = -0.2791 + 1.2791. Let h(i) = i**3 + 6*i**2 + 4*i + 5. Let f be h(-5). Suppose 3*t - 5 = -4*l, -3*l + f = -4*l + 3*t. Is x smaller than l?
False
Let a be (1 - 0)/(12 + -13). Which is smaller: a or 3/110?
a
Suppose 0 = -4*g - 12, 807 = 2*z - 3*g - 282. Is 540 bigger than z?
False
Let x = 11.64 + 3.46. Let l = x - 17. Let h = -0.9 - l. Is h at least -4?
True
Suppose 89 = -5*b + 4*t - 107, -3*t - 132 = 4*b. Let g = b - -44. Is 3 at least as big as g?
False
Let i = -469.8 + 485. Which is greater: 2/5 or i?
i
Suppose -6*o = -5*o - 3. Suppose -o = -3*n - 0. Suppose 0 = -3*s - 3*g + 12, -g + 41 = 5*s + n. Is 9 at least as big as s?
True
Let d be (5/3 + -2)*-18. Suppose -4*g = -2*y - 4, -d = 2*y + y + g. Let m = -188/69 + 4/69. Which is greater: y or m?
y
Let w(b) = b**2 + 7*b. Let m be w(-6). Suppose 0 = 3*i - 6*r + 7*r - 76, 2*r + 88 = 4*i. Let y = 20 - i. Which is smaller: y or m?
m
Suppose -2*c = -2*f + 338, 3*f - f + c = 323. Let v be f/172 - 2 - -1. Suppose 3*h = l + 1, 2*h + 2*l - 2 = -4. Do v and h have the same value?
False
Let n be ((-7)/(-4))/(6/(-48)). Let c(h) = -h - 9. Let r be c(n). Suppose r*q = -q. Does 8/9 = q?
False
Let o(q) = 12*q - 10*q + 0 + 2. Let w be o(-1). Which is smaller: -19 or w?
-19
Let b = 1.05 + -0.44. Let h = 2.49 + b. Let a = h + -3.1. Which is smaller: -0.5 or a?
-0.5
Let g = -0.05 - -0.61. Let x = -0.5 + g. Let o = -0.44 - x. Which is greater: o or -1?
o
Suppose g - 4 = 0, -y + 5*g + 23 = 7*g. Is 18 >= y?
True
Suppose -15*p + 1365 = -10*p. Is p at most as big as 272?
False
Let l(w) = -w**2 + 4*w + 6. Suppose -3*k + 8*k = 25. Let g be l(k). Are 10/11 and g unequal?
True
Let z = 0.086 - -3.364. Let j = -3.5 + z. Which is bigger: j or -3?