, 17*m = 18*m + 5*x - 153. Which is greater: m or 155?
m
Let c = 130 + -118. Let o be (-6 - -2 - -2)/(3/c). Is -47/7 greater than or equal to o?
True
Let v = 81 - 35. Let g = v - 44. Is g < 1.2?
False
Let p be 9/(-7)*-1 + -2. Let u be 24/96 + 30/(-56). Does p = u?
False
Let t(k) = k - 12. Let p be t(8). Let v be (-6)/p*(-52)/(-3). Let m = v + -23. Which is bigger: m or 4?
4
Let g be ((-136)/109990)/(5/(50/4)). Which is bigger: -1 or g?
g
Suppose 0 = -30*n + 41*n. Which is bigger: 229 or n?
229
Let i = -17 - -19. Suppose -4*o = 5*f + 50, -i*f + f + 18 = -2*o. Let y = o + 0. Is -11 >= y?
False
Let w be 80/(-90) - 328/(-288). Let i = -56 + 39. Which is greater: w or i?
w
Let r = -2.66 - -0.06. Let p = -2.6 - r. Is 10 equal to p?
False
Let w be (-20)/210 + (3 - (-10322)/42). Are w and 248 unequal?
True
Let o = 0.077 + -0.049. Let h = o + -0.328. Is 8 greater than or equal to h?
True
Let x be (2/(-4))/(3/30). Let w(d) be the third derivative of d**6/120 + d**5/15 - 7*d**4/24 - 7*d**3/6 - d**2 + 6*d. Let i be w(x). Are 2 and i equal?
False
Suppose 4*m + 2*l - 4*l - 18 = 0, 22 = m - 4*l. Suppose 3*k + d = 114, -5*k + k - m*d = -152. Which is bigger: k or 39?
39
Let c = -38 + 31. Which is greater: -8 or c?
c
Let b be 451/143 + (-4)/26. Let y be ((-1)/b)/(-6 - -7) + 1. Is y < -0.051?
False
Let d = 919 + -3645/4. Suppose 0 = -7*u + 458 - 395. Is d at most u?
True
Let n = -6 + 7. Suppose 0 = 5*b + n - 16. Which is smaller: -1 or b?
-1
Suppose -43*c = -21*c - 22. Let i(o) = -2*o**3 + o**2 + o. Let g be i(-1). Let y = 2 - g. Is c at most as big as y?
False
Let v be 1/(-2) + (-9)/(-6). Let y be (-11 - -42)/(v - 0). Which is smaller: 0.1 or y?
0.1
Let g = 26 - 20. Let j(c) = 2*c**2 - 10*c - 7. Let y be j(6). Let p = y + -3. Do p and g have the same value?
False
Let j = 861 + -974. Which is smaller: -112 or j?
j
Suppose -5*s + 31 = -2*p, p - 10 = -5*s - 3. Let b be (-9)/(-28) + p/14. Let g = 7 - 2. Are g and b unequal?
True
Let c = -0.0614 + -0.0186. Is c at most 2?
True
Suppose 8 = s - 17. Let z be (-1)/((-22)/s) + (-38)/(-76). Is z > 1?
True
Let h(y) = -y**2 - 5*y. Let o be h(-6). Let j(s) = s**3 + 7*s**2 + 6*s - 6. Let a be j(o). Let i be (1*(-36)/16)/a. Which is bigger: 0 or i?
i
Let l = 0.4232 - 0.0892. Which is smaller: l or 0?
0
Let o = 18.3 - 26.6. Let j = o + 8.36. Let f be (-8)/6*(-1)/4. Is j greater than f?
False
Let i = 21 + -17. Let t(m) = -m**3 + 2*m**2 + 2*m - 2. Let k(s) = 6*s**3 - 10*s**2 - 10*s + 11. Let n(j) = -2*k(j) - 11*t(j). Let z be n(-2). Is i at least z?
True
Let n be 1/4 + (-675)/2565. Is 0 != n?
True
Let r(x) = x - 10. Let i be r(7). Let a = -80.1 - -80. Is a at most i?
False
Let h be (1558/1556 + -1)*12/(-3). Are h and 1 unequal?
True
Let c = -102/13 + 1951/247. Which is bigger: 1/3 or c?
1/3
Let y = -33 + 35. Let g = 28 + -40. Is g greater than or equal to y?
False
Let t be (-120)/200*(-335)/3. Is t at most 598/9?
False
Let g be ((-8 + 6)/(-24))/(1/38). Let y = 513 - 1553/3. Let r = g + y. Is r greater than -1?
False
Let y be (-13)/(4/(-4*2)). Suppose -3*u - 1 = -2*m - y, 4*u - 10 = -2*m. Let p be (-99)/(-15) - 2/m. Does 6 = p?
False
Let c = -0.175 - -0.375. Is -2 smaller than c?
True
Let a = 641 + -560. Does 83 = a?
False
Suppose 0 = -b - r - 3*r + 5, -3*r + 6 = 0. Let t = -15 - b. Let m = 13 + t. Do m and 1/3 have the same value?
False
Let v(n) = n**3 + 14*n**2 + 38*n - 10. Let g be v(-5). Let a(w) = 8*w - 6. Let c be a(4). Is g equal to c?
False
Let s(w) = -w**2 - 10*w + 8. Let m = -6 + -4. Let g be s(m). Let y be g/32 - 2/40. Which is greater: -1 or y?
y
Suppose i + 12 = -5*v, v + 15 = -3*v + i. Let g(u) = -u**3 - 7*u**2 + 9*u + 3. Suppose z = 3*z + 16. Let r be g(z). Does r = v?
False
Let l = -19 - -34. Suppose -i - 38 + 2 = -2*p, p = -i + 12. Are p and l unequal?
True
Let b be ((-4)/25)/((121/(-55))/(-11)). Is b less than or equal to -140?
False
Let g(r) = r**2 - 9*r - 3. Let u be g(10). Let h be -12 + 14 + (7 - 0). Is u greater than or equal to h?
False
Let r = -192 - -195. Let n be 26/3 + (-2)/3. Suppose r*k + n + 7 = 0. Which is bigger: k or 0?
0
Let t be 4*30/24*48/10. Let f be t/(-10) + 6/15. Which is bigger: f or -16/7?
f
Let n = 107 - 105.55. Let l = n - 1.05. Is l less than -4?
False
Let v(i) = -22*i - 1. Let h be v(-3). Is 65 smaller than h?
False
Let d = -589 + 588. Is 9/40 >= d?
True
Let p be ((-8)/54)/((35/(-3))/5). Let q = -123/3067 + 486527/966105. Let m = p - q. Are 0 and m non-equal?
True
Suppose -5*k - 1278 = -1153. Is k less than -27?
False
Let x be (-12)/1167*(-52)/208. Which is greater: 0 or x?
x
Suppose -2*s + p = -57, -5*s + 3*p = 8*p - 135. Is s less than 25?
False
Let c = -20519/185 + -203/37. Suppose -4*f - 462 = 2*h, -4*h + 224 = 5*f + 800. Let p = c - f. Which is bigger: p or 0?
0
Let v = 3 + -44. Let f = v - -37. Is 2/17 equal to f?
False
Let u = 12/25 - 254/425. Let m = 187 - 188. Which is smaller: u or m?
m
Let x = 9379/1023 - -113431/199485. Let h = x + -126/13. Is h greater than or equal to 0?
True
Suppose -y = -85 - 89. Let i = -175 + y. Which is bigger: i or -5?
i
Let b be 5 + 1 - ((-57)/21 + 9). Which is greater: 0.24 or b?
0.24
Suppose -x = 4*u - 6 + 1, x = -3*u + 3. Suppose 3*v + 21 = 5*b, -b - v + 4 - 3 = 0. Is b at most as big as u?
False
Let m = 172/7 - 25. Suppose -3*d + 4 = -2*y - 7, -3*y - 2*d = 10. Let x be (y/4*0)/(-2). Which is greater: x or m?
x
Suppose 0 = -22*i + 16*i - 36. Let b = -12 + 7. Which is smaller: i or b?
i
Suppose -h - 6 = -10. Let i = h + 5. Suppose -3*a = -2*l + 6, 3*l - i = -3*a + 4*a. Which is bigger: 8/5 or l?
l
Suppose -3*v + 45 = 5*o, 5*o - 4*v - 27 = 2*o. Let n = 6 - o. Let y = -1 - 1. Is y at least as big as n?
True
Suppose p - 11 = -b - 0*p, 5*p + 65 = 5*b. Suppose -3*h - b = -0*h. Is h equal to 0?
False
Suppose 11*t - 158 = -70. Which is smaller: t or 5?
5
Suppose -19 = 3*o - 22*o. Which is smaller: 1/87 or o?
1/87
Let t = -121/10 + 68/5. Which is greater: t or 14/3?
14/3
Suppose -2*q + 3*q = -v + 83, v = -2. Let c = q + -75. Is 10 bigger than c?
False
Suppose 2*u + 10 = -4*a, -4*a + a - 2*u = 10. Let n = 1270/13 + -98. Are n and a unequal?
True
Suppose 86 = -5*p + 3*p. Is -42 at most as big as p?
False
Let m(r) = 2*r - 14. Let i be m(8). Suppose -2*l = -4*u - 0 - 8, l + i = -4*u. Are -12/11 and u nonequal?
True
Suppose -48*t + 44*t + 112 = 0. Which is smaller: t or 31?
t
Let j be (-36)/63 - 384/(-574). Let c = j - -38/451. Let h = 0.2 + -0.1. Which is smaller: h or c?
h
Let x = -177 - -351. Which is smaller: x or 172?
172
Let z = -5 - -6. Suppose -6*c + 18 = -5*n - 4*c, 0 = -4*n - c - 4. Let l(r) = -r + 2. Let y be l(n). Are z and y unequal?
True
Let p(d) = -11*d + 19. Let s be p(3). Which is smaller: -6 or s?
s
Suppose 6*f + 6 = 24. Let r(h) = 9*h**2 - 3. Let a be r(f). Are 77 and a non-equal?
True
Suppose 15 = 3*r, 2*a + 2*r - 53 = r. Suppose -a*f = -25*f - 44. Which is bigger: -45 or f?
f
Suppose 3*b = -g - 2, -b + 5*g = -0*b + 6. Let o = 19/6 + -341/102. Is b less than o?
True
Let x(z) = 5*z**2 - 10*z - 1. Let g(a) = -4*a**2 + 10*a + 2. Let f(r) = 4*g(r) + 3*x(r). Let q be f(11). Let n be (12/(-40))/(q/5). Is n at least -2?
True
Let l(o) = 2*o + 6. Let h be l(-4). Let s be -2 - (-4)/h*1. Let j be 28/(-3) + (-57 - -61). Which is bigger: s or j?
s
Let s(o) = o + 18. Let k be s(-7). Suppose -40 = -k*p + 6*p. Which is bigger: p or 9?
9
Suppose 35*c + 10034 = 1144. Is -252 at least as big as c?
True
Suppose -19*a = -30*a - 352. Is a != -1?
True
Let j(r) = -3*r - 9. Let w be j(-4). Let b(a) = -4*a**3 + 4*a**3 - a + a**w + a**3. Let y be b(1). Which is bigger: 4 or y?
4
Let q = 47/20 - 5237/2220. Is 2/3 less than or equal to q?
False
Let g = 0.22 - 115.22. Let r = 83 + g. Is -2/5 less than r?
False
Let h = 173 + -135. Suppose h + 30 = 4*v. Which is greater: 11 or v?
v
Let l(z) = -z**2 - z + 20. Let v be l(0). Let y be ((-6)/8)/(0 - v/16). Let x = -1 + 0.6. Is x <= y?
True
Let o be (-4 + 9 + -5)/(-2). Suppose o = 41*c - 44*c - 3. Which is bigger: c or 6/31?
6/31
Suppose -i + 0*i = -5*c, -4*i - 5*c = 0. Suppose i*b = -b - 1. Let o = -7/60 + -1/12. Which is smaller: b or o?
b
Let t = 0.95 - -0.05. Let z = -59/8 + 135/8. Which is smaller: t or z?
t
Let a be (-263 - -3)/((78/9)/(-13)). Is 390 < a?
False
Let a be ((-2)/(-6) - (-55)/(-66))*654. Is a not equ