 - z + 8, 4*a + 2*z = 2 + 4. Which is smaller: -103 or a?
-103
Let t = -0.877 + 0.99. Is t smaller than 1?
True
Let n = 168 - 105. Is n at least 0.1?
True
Let y = -141 - -136. Are 1 and y equal?
False
Let m(u) = 108*u - 8. Let g be m(-1). Let a = g - -1043/9. Do a and 0.02 have the same value?
False
Suppose 2*w = -r + 45, 5*r - 4*r = 2*w + 29. Suppose c + r = 35. Let k(g) = -g**2 + 5*g - 2. Let p be k(4). Is c greater than or equal to p?
False
Suppose -a - 9 = 2*r, 5*a + 0*r - 25 = 4*r. Let n be ((-9)/30)/(a - (-10)/4). Which is greater: 1 or n?
1
Suppose 0 = 4*m - 2*m + 660. Let d be 50/m + (-1)/(-3). Is d greater than or equal to 1/7?
True
Let p be 10/4*((-1056)/20)/(-4). Suppose 4*k + 79 = -p. Which is bigger: -27 or k?
-27
Let j = -2442/95 - -128/5. Which is smaller: j or -2?
-2
Suppose 5 = 2*n - 9. Let o = 19 - n. Let b be (-90)/o*(-2)/18. Is 0 less than b?
True
Let d be 7/(-2)*(0 - 556/3). Which is bigger: 650 or d?
650
Let t = -7 - -13. Let f = 7 - 6.1. Let a = 1.1 - f. Which is smaller: a or t?
a
Suppose 63 = 16*a - 7*a. Suppose -13 = -2*b - a. Is b greater than -1?
True
Let p be (-3029)/10 + 4*(-1)/(-10). Let c = p + 327. Which is greater: 25 or c?
25
Suppose -2*w + 2*q = -q + 5, 5*q - 3 = -2*w. Suppose 11 = 4*k - 3*l, 2*l - 1 = -3*k + 3. Suppose p - 10 = k*p. Is w bigger than p?
True
Let k be (19 + -2 + 0)*-1. Let s = k + 23. Suppose -5 = -q - s. Is 12 at least q?
True
Suppose -6*r = 4*r - 50. Suppose -r*d + 3*o + 9 = -d, -5*d - 2*o = 6. Is 1 smaller than d?
False
Let f = 355 - 352. Let o be 2/4*(2 - (5 - -9)). Which is greater: o or f?
f
Let p = 8 + -6. Suppose -p*u + 5*j = -16, -5*u - 4*j + 16 = -3*u. Suppose z + a = 0, 3*z - 30 = -5*a + 8*a. Is u < z?
False
Let t = 238 - 160. Is t equal to 80?
False
Suppose -3*o + 7*o - 151 = -5*h, 0 = 4*h - 12. Let x = 36 - o. Does 12/7 = x?
False
Suppose -m - m = -20. Suppose -2*q + 2*i + 2*i + 26 = 0, -5*q - i = -65. Suppose -14 = -3*f + q. Which is smaller: f or m?
f
Suppose -v - 3*w - 14 = 0, 0 = -3*v + 2*w + 21 - 8. Let d be 46/(-28)*2/(-3). Let j = d + -3/7. Is v smaller than j?
False
Let a(s) = -s**3 + 8*s**2 - 3*s - 15. Suppose 9*p + 7 = 10*p. Let y be a(p). Is y greater than 12?
True
Let o = -60 - -57. Let d be ((-6)/(-15))/(o/(-45)). Suppose -3*s + 12 = -s. Are d and s equal?
True
Suppose 18 = 28*m - 30*m. Let n = m + 13. Which is smaller: 5 or n?
n
Let b = -36130/441599 - -32/383. Which is greater: b or 0?
b
Suppose 9*l - 4*l = -535. Let d = l + 1178/11. Which is greater: d or 1?
1
Let q(z) = -z**3 - 5*z**2. Let g be q(-5). Suppose v = -4*m + 13, 0*m - 18 = 2*v - 3*m. Let b be -3*(v - 16/(-6)). Is g equal to b?
False
Let i(y) = 3*y**3 - y**2 + y. Let w = -16 - -17. Let x be i(w). Suppose x*u = u. Is u at most -2/21?
False
Let z = 227 - 228. Which is smaller: z or 12?
z
Let v = 70/3 - 24. Let i = -1004.7 + 942. Let j = i - -62. Do j and v have different values?
True
Let b(k) be the third derivative of 0 - 3*k**2 + 0*k + 1/24*k**4 - 1/2*k**3. Let n be b(4). Is n less than 1?
False
Suppose 4*o + 2*k - 93 = -279, -k = -o - 51. Let a be (20/6)/(-5)*o. Suppose 2*z + 5*b - 4 = -a, -2*b - 8 = 0. Are -4 and z unequal?
False
Let y(s) = s**2 + 8*s + 10. Let l be y(-9). Suppose 0 = 7*g - 8*g + 19. Is l > g?
False
Suppose s - 6 = 7*v - 4*v, 0 = 2*s - 4*v - 8. Is -2/1807 at least as big as s?
False
Let q be -1 + (-16)/(-31640) - -1. Which is smaller: q or 0?
0
Let x(s) = -s**3 - 4*s**2 - 6*s - 6. Let m be x(-4). Let h = -1442 - -1461. Which is smaller: m or h?
m
Let b = -102 + 104.94. Let i = b + 0.06. Let l = -5 + i. Which is bigger: l or -3?
l
Let d(p) = -2*p - 4*p - 5*p - 2*p**2 - 2. Let u be d(-5). Let m be 4 - (-7)/(-3)*u. Is m at most as big as -8?
False
Let x = -126.3 + 125.3. Suppose -2*t - 3*t = -255. Is t less than or equal to x?
False
Let y = -87/11 + 3697/473. Is y at least as big as 0?
False
Suppose -49 + 21 = -2*o - 2*q, o - 4*q = 9. Suppose -5*n = -3*p + 57, -o + 2 = 3*n + 4*p. Are n and -8 nonequal?
True
Suppose 2*c - 3*c + 4*w + 18 = 0, -5*c = -5*w - 30. Let z be (-1 - c)*6*(-5)/(-90). Which is smaller: z or -4?
-4
Let o = 22.3 + -25. Is o >= -0.14?
False
Let a be 45086/8*(-12)/(-39). Let j = a + -1735. Suppose 0*g + 2*u - 4 = -4*g, 4*g - 12 = -4*u. Which is bigger: g or j?
j
Let w = -490 + 981/2. Which is greater: w or 470?
470
Suppose 3*x = -x - 12, -75 = -4*h + x. Let g be ((-6)/h)/(1/3). Let t be (-1 + (-39)/(-45))/g. Which is bigger: t or -0.2?
t
Let o = -612/5 + 123. Let k = 9.7 + -0.7. Let f = -9.1 + k. Is o greater than f?
True
Let j = -175 - -175.2. Is 6 at most j?
False
Suppose 3*m + 0*m - 6*m = 0. Let w be 18 - (-2 + m/(-4)). Which is greater: w or -0.1?
w
Let a = -8642/17 + 508. Suppose -2*r = 3*r + 15. Let n = r + 2. Do a and n have the same value?
False
Let r = 2.9 + -0.9. Let x = -0.3649 - -0.0849. Which is smaller: r or x?
x
Let q = 139 + -139. Let t(c) = -c**2 + 5*c - 3. Let r be t(5). Let a be (-8)/(-12) + 5/r. Do a and q have the same value?
False
Suppose 8*a = 15 + 1. Suppose 0*f + 5*j = -f + 7, -2*j - 2 = -a*f. Which is smaller: f or 7/5?
7/5
Let v be 17 + -29 + -503 + 7. Does -508 = v?
True
Suppose -2*s - 5*k = -3*s + 28, 2*k + 16 = s. Let j be 732/(-672) - (-3)/s. Let w = -1 + -1. Which is greater: j or w?
j
Let g = -542 - -519.1. Let v = -23 - g. Which is smaller: v or -75?
-75
Suppose 4*a = -2*a + 162. Let l be (-22)/6 - (-18)/a. Is -3 > l?
False
Let s be (-1)/(-5) - 195/725. Suppose -5*g + 8 = -7. Let l be (-5)/((-5)/(-2)) + g. Which is greater: s or l?
l
Let l = 83 + -78. Let b = 0.3 + -0.7. Are b and l equal?
False
Let s = -20/3 + 6. Suppose -2*y = t - 0*t - 9, 0 = -3*t - y + 12. Let w be (0 + -1)*(t - (-203)/(-70)). Is s greater than or equal to w?
False
Let w = -101.2537 + 0.1537. Let u = 101 + w. Is -2 at least as big as u?
False
Let c = 26 - 262/9. Suppose -44 - 1 = -9*t. Suppose t*u = 14*u + 36. Do c and u have the same value?
False
Let p be 19/(-4*6/(-24)). Let v(g) = g**3 - 11*g**2 + 10*g + 3. Let f be v(10). Let i = 15 + f. Which is smaller: p or i?
i
Let z be (3 + 2)*(2 - 1). Suppose 6*c - c - 25 = -z*i, -c - 4*i + 5 = 0. Suppose -4*a - 3 = c*b + 6, -2*a = -b + 1. Which is greater: -1/6 or a?
-1/6
Suppose -7*p = -6*p - 164. Let n = -2130/13 + p. Which is bigger: 0 or n?
n
Suppose -2 = 5*l - 7*l. Let b be l + 2 + 7 + -7. Suppose -b*g = 2*g - 2*n + 44, -n - 38 = 5*g. Are 0 and g equal?
False
Let f be (-204)/(-10)*(405/(-30) - -11). Suppose 9*w - 4*q = 5*w - 204, 4*w - q = -201. Which is smaller: f or w?
f
Let r = 9 + -4. Let l(v) = 3*v**3 - 2*v**2 + 1. Let m be l(-1). Let q be ((-5)/4)/(m/16). Is q bigger than r?
False
Let r(j) be the third derivative of -j**5/60 + 17*j**4/24 - j**2 + 28*j. Let s be r(17). Let v be (-4)/(7 + (0 - 0)). Which is smaller: s or v?
v
Let f = -22.5 - -13.4. Let g = 0.3 - f. Let x = 9 - g. Is x > -2/5?
False
Suppose 21*d = x + 25*d + 310, 3*x + 896 = 5*d. Is -2/7 less than x?
False
Let s = -0.178 + -5.822. Suppose -5*i + 2*i = -3. Is s not equal to i?
True
Suppose 0*z = z + 7. Let u = 16 + -10. Suppose 3*a = 2*a - u. Which is smaller: a or z?
z
Let n be 6/27 - 50788/(-36). Let c = n + -18355/13. Is -2 at least as big as c?
False
Suppose 3*n - 2*v = 1062, -245 = -3*n + v + 820. Which is greater: n or 354?
n
Let t = 1 - 1.2. Let d = 10 + -9.75. Let i = 0.15 + d. Is t less than i?
True
Let d(h) = h**3 - 19*h**2 - 17*h + 21. Let x be d(20). Is x not equal to 81?
False
Let t = 3 + 1. Suppose -6*h + 4 = -t*h. Suppose -4*b + h = -3*b. Do 3 and b have different values?
True
Let o(g) = g**2 + 5*g - 10. Let i(k) = -k**2 + 15*k + 7. Let h be i(16). Let c be o(h). Which is bigger: 25 or c?
c
Suppose -u = 4*q + 27, 3*q + 31 - 2 = -2*u. Let v = u - -1. Let p(x) = -x - 5. Let k be p(v). Is k smaller than 1/34?
False
Let l = 3 + -3. Suppose 3*c - 18 - 3 = 3*k, -k = 3. Suppose 2 = i + v, c*v + 3 = 3*i - 3. Does i = l?
False
Suppose -2*d - 2*d = 0. Suppose -c + d*q + 17 = -5*q, -7 = 5*c - 2*q. Which is smaller: c or -2?
c
Let b = -61 - -64. Suppose -7*v = -b*v + 36. Are -5 and v non-equal?
True
Let m = 117.5 + -117.5. Which is bigger: -0.093 or m?
m
Let d = -0.08 + 0.24. Let s = d + -0.32. Let j = s - 1.84. Is -2 at least j?
True
Let a(m) = 136*m + 267. Let y be a(-2). Let u be (3 - 5) + (-12)/(-5). Is u at most y?
False
Let x be (-10