Let q be l(2). Let i be 0 + 4 - (-1430)/q. Which is smaller: i or 1?
i
Let z = -0.74 + -67.26. Let r = -67.9 - z. Which is smaller: 3 or r?
r
Let q = -3 - 1. Let j(y) = -y**2 - 3. Let p be j(0). Which is smaller: p or q?
q
Let o be 4/(1/3 + (-17)/(-102)). Suppose 3 = 5*t + o. Which is bigger: -2 or t?
t
Let n be (2/(-24))/((-30)/(-60)). Let x(r) = -r**3 - 7*r**2 + 3*r + 9. Let d be x(-7). Let a be 2/6 - (-8)/d. Which is smaller: n or a?
a
Let c = -9.2 - -11.2. Which is smaller: c or 2.62?
c
Suppose 0 = 5*s + 6045 - 250. Let c = -35925/31 - s. Is c <= 1?
True
Let n = -0.06 - 2.94. Let y = -0.04609 - -0.09609. Is n at most y?
True
Suppose -m + 3*m + 8 = 3*v, -3*m - 3*v + 18 = 0. Suppose o - m = g, -o = -2*o - 5*g + 20. Suppose 4*f + 15 = -5*w - 0*f, -5*w = -o*f - 30. Is -2/17 at most w?
True
Let a = -4.25 + 2.46. Let p = a + -0.21. Which is smaller: p or -7?
-7
Suppose 0*y + r + 4 = -4*y, -r - 4 = 3*y. Suppose 2*q + 4*i = -12, y = 4*q + 2*i - 3 - 3. Is 3 < q?
True
Let u be ((-1)/14)/((-2)/8). Let t be (12/78)/((-7)/(-14)). Is t != u?
True
Let t = -225 + 249. Is 47/2 at least as big as t?
False
Let x = 3 - 3.05. Let w = x + 7.05. Suppose 2*g - 3 - 8 = -5*n, 0 = -g + 3*n - 11. Which is greater: w or g?
w
Let w(j) = 6*j + 8. Let u(z) = -5*z - 9. Let g(c) = -4*u(c) - 3*w(c). Let h(o) = o**3 - o**2 - 8. Let y be h(0). Let s be g(y). Is 0 equal to s?
False
Let b = 0.302 + 1.198. Let o be -2 + (21/15 - 0). Are o and b non-equal?
True
Let y = 0.44 - 0.7. Let q = -0.51 - 0.15. Let s = y - q. Which is smaller: 0.2 or s?
0.2
Let q = -27.3 + 27.2. Is -16/25 at least q?
False
Suppose -5*q + 2 = 2*s, 5*q - 4*s = s - 5. Suppose 0 = 3*l - 0*l - h - 13, q = l + 5*h + 1. Suppose v - 17 = 4*m, 22*v - 17*v - 2*m = 13. Is v > l?
False
Let s(f) = 5*f + 36. Let u be s(-2). Is 28 >= u?
True
Let p be (2 - 0) + 0/4. Suppose -4*x - 7*k = -2*k, 0 = 4*x + p*k. Let i be ((-6)/38)/((-9)/(-6)). Which is smaller: x or i?
i
Suppose d - 5*a + 34 = 0, 5*a - 9*a = 5*d + 25. Let s = -2174/215 - -108/43. Are d and s equal?
False
Let p be (2/(1 - 239))/(15/(-15)). Which is smaller: -1 or p?
-1
Suppose -25 = -2*x + 47. Let d = 29 - x. Which is bigger: -6 or d?
-6
Suppose -k - 21 = -25. Suppose 6*q + 54 = k*q. Which is bigger: -26 or q?
-26
Let b = 67.6 - 10.6. Let c = b - 46. Suppose -3*w + 4*m = -12 - 8, 4*m + 20 = 4*w. Which is smaller: w or c?
w
Let b be 22462/(-158312) - 3/(-21). Is b bigger than 1?
False
Let t(o) = -o**2 + 4*o - 4. Let z be 27/18*8/6. Suppose a + 8 = 3*y, -z*y - 4*a + 8 = -2*a. Let g be t(y). Is -2/7 at least g?
True
Let q(k) be the second derivative of -k**5/20 + k**4/6 + 4*k**3/3 - 3*k**2 - 8*k. Let t be q(3). Suppose -5*y - 27 = -4*c, -y - 1 - 6 = -c. Is c greater than t?
False
Let q(k) = k**3 - k**2. Let g be q(0). Let i be (-6)/(-24)*(g + 11*2). Is 6 at least as big as i?
True
Let t = -15/2 - -29/4. Let b(a) = a**3 - 16*a**2 + 16*a - 11. Let g be b(15). Suppose -g*c + 3*c - 4 = 3*l, 3*l = -3*c - 30. Is c < t?
True
Let w = -43.5 - -47.5. Let c = -0.32 - -0.02. Is c smaller than w?
True
Let o be (-5)/(-20) - (-18)/24. Let k = 5 - 8. Let y be o*k/(-1 + 4). Which is bigger: y or -1/32?
-1/32
Let u = -2 - 1. Let y = 140 + -141. Which is smaller: y or u?
u
Let d be 34/24*(4632/(-18))/(-1). Let p = d + -365. Is p greater than 0?
False
Let o be (-473)/(-22)*-26*1*-1. Are 559 and o equal?
True
Let k = 38 - 28. Suppose 7*r - k*r = 84. Do r and -28 have different values?
False
Let i(m) be the first derivative of 1/4*m**4 + 4 + m + 11/3*m**3 + 5*m**2. Let s be i(-10). Which is greater: s or 0?
s
Let y(b) = -b**2 - 16*b - 10. Let l(q) = q**2 + 15*q + 10. Let c(p) = 3*l(p) + 2*y(p). Let z be c(-14). Are z and 24 nonequal?
False
Let l(v) = -2*v**3 + 9*v**2 - 10*v. Let s be l(5). Let o = -527/7 - s. Are o and 22 nonequal?
True
Let r = 28 - 32. Let m be 16/r + 2 + 4. Suppose j + 0*j + m = 0. Is 0.2 greater than or equal to j?
True
Let j be ((-28)/(-6))/((-2)/6). Suppose -32 - 80 = 8*a. Is j less than a?
False
Let u = -1493/328 - -120/41. Let f = -1080 + 1077. Which is greater: u or f?
u
Suppose -y - 3 = -4. Let d be 0/(-5) - 2/(-64). Is d not equal to y?
True
Let s be -1*1/4 + 1296/64. Suppose 9 = -3*v, 0 = 2*t - t + 5*v + s. Let f = -1 + -2. Which is greater: t or f?
f
Let h(f) = -f**3 + 5*f**2 + f - 7. Let y be h(5). Let j be y - -2 - (1 + -1). Let m be 2/(-4)*((-24)/(-5))/6. Which is greater: j or m?
j
Let x = -30 - -27.2. Let r = -0.03 + 3.03. Let s = x + r. Is -1/9 less than or equal to s?
True
Let j(n) = -7*n - 9. Let m be j(13). Let d be (70/m)/(4/5). Which is bigger: -2 or d?
d
Let l(t) = 2*t**2 - t + 2. Let h be l(-2). Let p be (6/h)/(2/(-4)). Does p = -1?
True
Suppose 76*y = 79*y - 9. Which is smaller: -16 or y?
-16
Suppose -9*r - 3*r + 288 = 0. Suppose -3*s - r = 33. Which is greater: -20 or s?
s
Suppose -q = 2*d + 3*d - 136, 3*d + 4*q - 68 = 0. Let w be (-9 - 0)*(-252)/d. Is 79 > w?
False
Let q be (18/(-120))/((-4)/2336). Let f = 88 - q. Which is smaller: -0.43 or f?
-0.43
Let k(q) = -q + 98. Let u be k(-32). Is u at most 130?
True
Let f = -107 - -104. Let t be (-1 - 2/f)*(-49)/(-588). Are t and 0.3 equal?
False
Let q = -39.9 + -35.1. Is 8 > q?
True
Let c = 169 - 313. Let m = -78 - c. Is 66 < m?
False
Let o = -31 + 57. Let p be o/(-6) - (-1)/3. Which is bigger: p or -16?
p
Let u = 226/7 + -3389/105. Is 1 bigger than u?
True
Let s = -942 - -913.92. Let i = s + 28. Is i equal to -1?
False
Let u(x) = x**2 - 5. Let p be u(3). Suppose -p*d = -7*d + 6. Let j be (8/10)/(28/80). Which is bigger: d or j?
j
Let k be 395/(-2475) + 4/22. Let o = -21 - -22. Do k and o have different values?
True
Let j(u) = -u**3 + 13*u**2 - 13*u + 14. Let y be j(12). Suppose -y*m = -5*z + 35, 10 = -m + 2*z - 6. Which is smaller: m or -13?
-13
Suppose 0*k + 2 = k. Let u(y) = y + 15. Let n = -39 - -28. Let o be u(n). Is k not equal to o?
True
Let v = 1546 + -1544. Are v and 31 nonequal?
True
Suppose g = -9*g + 1800. Are 180 and g nonequal?
False
Suppose -66 = -5*q - 6*r + 2*r, r + 29 = 2*q. Let m = 35 - 20. Which is bigger: m or q?
m
Let v = -43 + 48. Let w = v - 13. Which is greater: -7 or w?
-7
Let i = -110 + 92. Let y = i - -36. Which is smaller: -3 or y?
-3
Let z = 27.23 - 0.23. Let w = -0.9474 + -0.0526. Which is smaller: w or z?
w
Let k = -7 + 6.991. Let g = -0.081 + k. Let s = -3/7 - 1/14. Is g != s?
True
Let i be 12/(-45)*(-36)/(-240). Suppose 0 = 4*t - 3 + 7. Which is greater: i or t?
i
Suppose -18*f = -2240 - 2458. Which is bigger: f or 262?
262
Let p be 6222/(-182) + (-3)/7. Let s = -3795/104 - p. Suppose -17 = 5*n + 2*x - 6*x, 5*n - 5*x = -20. Which is bigger: s or n?
n
Suppose 4 = -4*v + 4*i + 32, 5*v + 2*i = 56. Suppose d = -1, -3*d - 10 = -4*j + 1. Let q be (-2)/v*1*j. Which is bigger: q or -1?
q
Let f(i) = -i**3 + 4*i**2. Let y be f(4). Let d = y + -6. Are -6 and d nonequal?
False
Let f = -3853/10 - -385. Let u be 98/(-4) + (-5)/(-10). Let j = u + 25. Which is smaller: f or j?
f
Let r = 9.3 + -1.3. Let a = -4 - 7. Let g = r + a. Which is smaller: -1 or g?
g
Suppose -5*y - 4*t = -6, -4*t + 3 = 3*y - t. Let p be (-372)/(-21) - y/(-7). Let a be (-94)/p + (-2)/(-9). Which is smaller: -1 or a?
a
Let l = -7 - -7.017. Let p = -1.217 + l. Which is greater: 0 or p?
0
Let s = -10595/174 + -45/58. Let l be -898*(8/30)/(-4). Let z = l + s. Which is smaller: z or -2?
-2
Let x = 543 - 865. Are x and -321 non-equal?
True
Let r = 240 - 256. Is -2 smaller than r?
False
Let q = -813.91 + 814. Which is smaller: -2.4 or q?
-2.4
Let s = 74.229 + -73.9. Which is smaller: 0 or s?
0
Suppose 9*x = 2*x + 20671. Let a = 1054222/357 - x. Let v = a + 152/357. Which is smaller: v or 0.1?
0.1
Let o = -17 - -17.22. Let v = -0.07 + o. Let r = v - 0.22. Which is smaller: r or -0.1?
-0.1
Let j be 9*(0 + (-3)/(-9)*-7). Let b = -31 - j. Suppose 6*r + 45 = r. Is r > b?
True
Let b = 184 - 146. Is b equal to 22?
False
Let m be 3 + 2*(-2)/4. Suppose m*u = 6*u - 16. Suppose -2*t = 3*t - 5*y + 60, u*y + 7 = -t. Is t greater than -11?
False
Let q(v) = -2*v**3 - 4*v**2 - 2 + 6566*v - 6*v**2 - 6567*v. Let a be q(-5). Which is smaller: 4 or a?
a
Let i = -151/360 - -3/8. Let h = i - -4/9. Are h and -0.6 non-equal?
True
Suppose -w = -10*w. Let p = w + -2. Let s(l) = 2*l**3 - l**2 + l + 1. Let m be s(p). Is -22 at least m?
