3*n - 17 = -s*q - 4. Suppose -32 = -4*c - 12. Is q bigger than c?
False
Let i be 7 + 2 + (12/4 - 8). Let d(q) = 2*q**2 + 11*q + 13. Let p be d(-9). Suppose -8*n + i*n + p = 0. Is n at least as big as 19?
True
Let l be (-15)/42 - (-7)/28*0. Which is bigger: l or 1?
1
Let v = 13495 - 1929801/143. Which is greater: 2/3 or v?
2/3
Let t = 12 - 12. Let s = 53.842 + 0.158. Is t less than or equal to s?
True
Let z = 31 + -27. Let h be -2 + (z - (7 - 4)). Is 2/41 at most h?
False
Let z be 16/64 + 1/2*-3. Suppose 0 = -3*f - 2*f. Suppose f = 2*a + a. Which is smaller: a or z?
z
Let q(r) = r**2 + 33*r - 3. Let z be q(-5). Which is smaller: z or -144?
-144
Let j be (42/(-4))/1*96/(-56). Suppose 5*f - 3*g = -138, 3*f = 5*g + 31 - 117. Let n = 45 + f. Is j greater than n?
False
Suppose 2*o = -3*q + 10 + 3, 2*q + 2*o = 10. Let r be 4 + (-16)/((-448)/(-60)). Is r at most as big as q?
True
Let t = 13824934/719 + -19228. Is t greater than or equal to 0?
True
Let i = -34.5 - -34.43. Let g = 1 - 2. Is g at most as big as i?
True
Suppose 22*h = -0*h + 704. Which is smaller: h or 34?
h
Let n be (-2)/(-16) + (-2033)/13832. Which is bigger: n or 0?
0
Let t be (3 + (-2 - 1))/1. Let f be 0 - (-1 + t + 4). Let h = 44 - 48. Which is smaller: f or h?
h
Let b = 3100 + -24899/8. Does b = -11?
False
Suppose o + g = -0*o - 2, 2*o - g + 7 = 0. Let r be ((-9)/(-54))/(3/(-27)*o). Is r equal to -3/16?
False
Suppose 0 = 4*o + 9 - 1. Let z be (-21 + 15)*(-3)/o. Which is greater: z or -10?
z
Let p be 1*(308/(-2) + -4). Let l be p/(-8) - 12/(-48). Suppose -5*r = -l, -61 = -5*u - 5*r + r. Which is bigger: u or 11?
11
Let g = -20 - -25. Suppose 0 = -0*a - g*a - 105. Is -22 < a?
True
Let f be ((-243)/36)/((-2)/16). Let d be (-3)/(-5) + f/(-15). Are -8 and d non-equal?
True
Let m be 1/4 + (-28)/240. Let y = 5.986 + 0.114. Let b = -6 + y. Is b >= m?
False
Suppose 5*w - 3*w = 2, -2*y + 3*w = 3. Let o = -211 + 206.9. Let z = o + -15.9. Which is smaller: z or y?
z
Suppose -12 = 3*w, 5*j - 3*w - 31 + 159 = 0. Let m(v) = v**2 + 24*v + 111. Let l be m(-14). Is j at least l?
True
Let k = -0.312 + 0.002. Which is greater: k or -2?
k
Let k(u) be the first derivative of -u**4/4 + 3*u**3 + u**2/2 - 8*u - 1. Let v = 202 + -193. Let r be k(v). Which is greater: r or 7?
7
Suppose -6*k + 5*n = -9*k + 22, -3*n = -3*k - 18. Let m = -16495/28 - -589. Which is bigger: m or k?
m
Let f(n) = 3*n + 5. Let k be f(0). Suppose 2*t = -2*y + k*t - 11, 12 = -4*t. Which is smaller: y or -9?
y
Let b = 356/5 + -354/5. Let g be 2/9 + (-10)/(-36). Which is smaller: b or g?
b
Let p = -54 + 46. Let r be (-6)/4 + (-4)/p. Let u be (-2*1)/(-3 - -26). Are r and u unequal?
True
Let s be (-4)/1 + (0 - 16). Let l be ((-10)/25)/(76/s). Is l <= -1?
False
Let j(z) = 453*z - 3. Let i be j(1). Suppose 10*q - i = 15*q. Let u be (3 - q/(-13)) + 4. Is u at least 0?
True
Let c = -18 - -52/3. Let p = c + 5/12. Are -52 and p nonequal?
True
Let h(b) = -11*b - 2. Let c be h(-2). Let w = 810 + -790. Is c >= w?
True
Let t be 5/((-66650)/132) + 0. Let r = 1/465 + t. Let d = 395/1032 + r. Are -1 and d nonequal?
True
Suppose 4 + 131 = 9*g. Let s be (-32)/2 - (-1 - g/(-10)). Which is bigger: -18 or s?
s
Suppose v - 2 = -2*t - 0, 3*v + 4*t - 4 = 0. Suppose 3*l - 10 = 4*l - 4*o, -3*l - 5*o + 4 = v. Which is greater: l or 3?
3
Let i be 138/(-46) + 3/((-3)/(-4)). Which is smaller: -6/41 or i?
-6/41
Let n be 3/((-3672)/(-1380)) + (-2)/6. Which is bigger: 0 or n?
n
Let m = -6.7 - -5.7. Let i = 3226 - 3212.07. Let n = 14 - i. Which is smaller: m or n?
m
Let h = -884.5 - -884. Is -15.2 equal to h?
False
Suppose -9*a + 4 = -7*a. Suppose -3*w - 2 = -a*g + 29, 4*w = 12. Is 20 at least as big as g?
True
Suppose 61*l = 82*l. Is l smaller than -745?
False
Let v = -46 + 22. Let u = 24 + v. Suppose 0 = 3*x - 3, -4*s + u*x = 4*x + 4. Does 9 = s?
False
Let o(d) = -d**2 + 11*d. Let f be o(11). Suppose f*g - 5*g = 110. Is g > -22?
False
Let a(o) = -o**2 - 45*o - 91. Let s be a(-42). Is s bigger than 182/5?
False
Suppose -4*x = 3*x. Suppose 4*c - 4*r = -44, x*c + 3*c - 2*r = -28. Which is greater: c or -8?
c
Suppose 83*y - 231 = 86*y. Let p(l) = -l**2 + 20*l + 19. Let b be p(24). Is b greater than y?
False
Let c be -4 - (4 + 0 - 11). Suppose -c*p - 334 = 2*k, 0 = p + 3*k + 80 + 43. Let s be 1*2/(8/p). Is -27 at least as big as s?
True
Let l = -5651/4136 + 1/376. Which is bigger: l or -3?
l
Let b(y) = 3*y**3 + y**2 - y + 2. Let w be b(-2). Let g = w - -27. Let m = 0.015 + 0.085. Which is smaller: g or m?
m
Let g = -3931/781378 + 3/733. Let x = g - 4245/20254. Which is smaller: 0 or x?
x
Let x(v) = v + 18. Let y be x(2). Suppose 2*z + 142 = -5*i + y, -5*i - 5*z - 110 = 0. Is -24 smaller than i?
False
Let r be 11*1 - 3/(-3). Let p(x) = -r*x - 63 + x**2 + 73 + 3*x. Let o be p(5). Is o greater than or equal to -9?
False
Let y(p) = -p**3 + 6*p**2 + 4*p - 13. Let t be y(5). Is 31 equal to t?
False
Let r(k) be the first derivative of -2*k**3/3 - 11*k**2/2 - 8*k - 19. Let s be r(-4). Is 4 at least s?
True
Let d = 0.03 + 0.03. Let o = d + -0.07. Let s = o - -0.08. Which is smaller: s or -0.1?
-0.1
Suppose 0*r - 4*r - 42 = -2*i, -4*r = 4*i - 48. Let f be (-333)/i*(-1 - -6). Let c = -551/5 - f. Are 2 and c equal?
False
Let f(l) = l**3 + 16*l**2 + 37*l - 43. Let w be f(-12). Is w less than or equal to 87?
False
Let u = -126 + 126.31. Is u > 0.02?
True
Let a(j) = -j - 5. Let i be a(-5). Suppose 5*w + i = -2*y + 1, 7 = 5*w - y. Let v = 4111/16 + -257. Is v >= w?
False
Let i(o) = 25*o**3 - o**2 + o - 1. Let n be i(1). Let b = n + -42. Let t = b - -20. Are 3 and t equal?
False
Suppose 4*n = 7 - 7. Is 6/19 at most as big as n?
False
Let v = 173 + -182. Let h be (18/(-300))/(v/(-6) + -3). Let t = 1 + -1. Which is greater: h or t?
h
Let n = -1191 + 1193. Are n and 516 unequal?
True
Let u = 296/2875 + -2/125. Which is greater: -1 or u?
u
Let g = -17 + 30. Is 0 smaller than g?
True
Let y = -81 + 76. Let m = 13 + -14. Is y < m?
True
Let d = 9 + -9. Suppose -a - 1 = -d*a. Let s = 519/8 + -65. Which is greater: a or s?
s
Suppose 0*q = u - q + 32, 3*u = -5*q - 56. Let b = u - -63. Let j be ((-1)/3)/((-15)/b). Which is bigger: j or 1?
1
Let k = 229 + -100. Which is smaller: 130 or k?
k
Let f be 3/18 - 29/(-6). Suppose 0 = d + f*b - 67, -2*b = -2*d + 28 + 46. Let p be (3/(-4))/(d/(-32)). Which is smaller: p or 2?
p
Let t be (-2 + 1)/(3/(-3)). Let a(l) = 9*l + 19. Let g(f) = 4*f + 9. Let q(y) = -6*a(y) + 13*g(y). Let u be q(2). Which is bigger: t or u?
t
Let i = -574 - -592. Which is smaller: i or 14?
14
Let j = -236 - -236. Which is smaller: j or 2/109?
j
Let u(h) = h**2 - 28*h + 97. Let l be u(24). Is 0 at most l?
True
Let u(y) = -y**3 + 11*y**2 + 13*y - 16. Let m(d) = d + 16. Let o be m(-4). Let h be u(o). Let p = -11 - -5. Is p > h?
False
Suppose 12 + 18 = 2*k. Let c(w) = -w + 16. Let o be c(k). Let a(j) = -j**2 - 7*j - 3. Let g be a(-5). Is o bigger than g?
False
Let o = -8 - -13. Let t = 4 - o. Let a = -31 - -34. Does a = t?
False
Let q = -49 + -47. Is -96 < q?
False
Let y be (-6)/14 + 1208/(-56). Let j = y + 30. Suppose -4*f - 2*z - 10 = 0, -j = 4*f - 2*z + 6*z. Which is smaller: f or -1?
f
Let p = -54 - -11. Let j = 300/7 + p. Which is smaller: 1 or j?
j
Suppose -2*x = -u - 21, -u - 2*x - 21 = -0. Let y = -11 - u. Is 11 at least as big as y?
True
Suppose -p - 33 = -2*w - w, 0 = 5*w - 10. Suppose -5*n = -10*n + 5. Let g be 8/4 - (n*28 + 2). Which is greater: p or g?
p
Let i be ((-6)/27)/((-6)/12). Let b = -1 + 1. Do b and i have different values?
True
Let q = -223 - -905/4. Let v(n) = n**2 + 16*n + 3. Let j be v(-16). Which is smaller: j or q?
j
Let r = -40371 - -155953172/3863. Which is smaller: r or 1?
r
Suppose -4*y - 40 = b - 2*b, 0 = -5*b - 2*y + 200. Let i = b - 82. Is -43 < i?
True
Let k be (53*-1)/((57/(-12))/(-19)). Which is smaller: -210 or k?
k
Let g = -21 + 23. Let b = -1167 - -10517/9. Which is smaller: g or b?
b
Let r = -24 - -24. Suppose r = p + 10 - 11. Is 8/7 > p?
True
Suppose -12*g = -3*g + 1440. Which is smaller: -159 or g?
g
Suppose -4*p = u + 709, -p - 3605 = 5*u + 4*p. Let x = -31181/43 - u. Is x <= -1?
False
Let f = 0.7 + -1.6. Let g = f + -6.1. Let k = -1319 + 1321. Which is smaller: k or g?
g
Let d = -219 - -213. Which is bigger: d or -9?
d
Suppose 0 = 3*w + 4*f 