(2390/40)/((-2)/(-7) - 51/252). Is m greater than 717?
False
Let b = 18786 + -619990/33. Is b equal to 4?
False
Let t = 69404 + -348201/5. Do -237 and t have the same value?
False
Let z(m) = m**3 - 56*m**2 + 108*m + 16. Let l be z(54). Let a(b) = 20*b - 318. Let t be a(l). Which is smaller: t or -239?
-239
Suppose -2*a + 5*a - 4 = -2*p, 0 = -5*p + 10. Let j be (-7 + 9)*(a + (-1672)/18). Let c = 186 + j. Is c != 0.6?
True
Let r be (-2630)/1345508*(4/(-15))/(-1). Is r greater than 0?
False
Let k(m) = -7*m + 44. Let t(i) = i**2 - 25*i - 19. Let j be t(26). Let x be k(j). Let p be (x/(-2))/(28/196). Which is smaller: p or 18?
p
Let o = -0.144 + 15.844. Let g = 0.3 + o. Let r = g - 15.92. Which is smaller: 3 or r?
r
Let n(u) = -u**2 + 10*u + 72. Let v be n(11). Suppose 11 + v = -9*g. Is -38/5 at least g?
True
Let f be 318752/392 - (-6)/7. Are f and 816 non-equal?
True
Let a(r) = -5*r**3 + 117*r**2 - 115*r - 68. Let t be a(23). Do t and -8268/5 have different values?
True
Let s(g) = -388*g + 19788. Let i be s(51). Let m = 0.002 - -5.748. Let p = m - 6. Which is bigger: p or i?
i
Suppose 0 = -2*c - 43*y + 48*y - 703, 2*c + 743 = -3*y. Which is greater: -354 or c?
-354
Let n be 6/4*680/30. Suppose -n*s = -30*s - 200. Do 47 and s have different values?
True
Let g = -1588 + 2373. Let c = g - 668. Which is smaller: 0.1 or c?
0.1
Suppose -5*w - 16*i = -19*i - 104, -w + 4*i + 14 = 0. Suppose 12*d = 26 + w. Suppose -12 = -2*n - n. Is d greater than or equal to n?
True
Suppose -14*o = -4*o. Suppose -j + 485 = -o*j. Is j less than or equal to 485?
True
Let f = 65 - 45. Let y be ((-7)/(42/f) - -2)*-3. Suppose y*u = 2*u - 2*i - 4, i + 1 = -2*u. Which is bigger: u or 2/39?
u
Suppose 92 = -3*t + 2*w, w = -2*w - 15. Let c be (-3)/(-3)*-4 - 29. Which is bigger: t or c?
c
Let s = 242/3 - 265235/3288. Which is bigger: 1/5 or s?
1/5
Let w be (-1*(2 + 0))/(29 + -31). Let r be (1 + -3)*(-2 + w). Let p be ((-40)/12 + 4)/(-6 + r). Is p >= 1?
False
Let m(u) = 2*u - 1. Let n be m(5). Let b(k) = 4*k**2 - 4*k - 16. Let a be b(n). Let s be (5/(-40))/(-3 - a/(-90)). Is s greater than or equal to -7?
True
Let g be ((-1)/((-188)/2))/((-11)/374). Let p be (-5)/3 - 11996/(-5358). Let c = g + p. Is c < -0.1?
False
Let u be (12/10)/(78/20). Let d = -213.3 - -199.3. Is u > d?
True
Let v = -0.7 - -0.7. Let s(d) = 7*d**3 - 2*d**2 - 2*d + 1. Let c be s(2). Let u = 47 - c. Which is smaller: u or v?
v
Suppose 5*j - 213 = 167. Let l = j - 64. Are l and 12 equal?
True
Let u = 707 + -785. Let j be (-22)/(308/21)*(-8)/u. Suppose -3*y + 4 = -4*c, 1 = -0*c - c + 2*y. Is c less than j?
True
Suppose -2*n + 8 = 0, 5*g - 10*g + 2219 = -4*n. Let s = -27268/61 + g. Is 0 equal to s?
False
Let w be ((6/(-27))/(3/36))/((-30)/585). Which is smaller: w or 61?
w
Let d = 37/7130 + 14149/21390. Let r be -5*(-2 + (-24)/(-10)). Let q be (-162)/55 - r/5. Which is bigger: q or d?
d
Let r(b) = -4 + b - 5 + 4*b. Let f be r(3). Suppose -2*q = -q - f. Which is greater: q or 4?
q
Let s = -1196931/7 + 171738. Let o = -746 + s. Which is greater: o or -1/5?
o
Let d = -6 + -10. Suppose 2*g - 35 = -79. Which is smaller: g or d?
g
Suppose -3005*i = -2937*i + 4216. Is i <= -17.5?
True
Let p(o) = o**2. Let d be p(-1). Let j be -1*1*((-2)/3 + 377/435). Is d at most j?
False
Let v be (9275/50 + 23)*32/(-12). Which is bigger: -559 or v?
v
Suppose 181*a + 63014 - 158944 = 0. Which is smaller: a or 2125/4?
a
Let k be (-2)/(-100)*(-15)/(-18). Let v be (5 - (0 - -7)) + 1. Which is bigger: v or k?
k
Let j(f) = -2*f + 2. Let z be j(-3). Let o be 42/273 - (-141)/13. Let h = o + z. Which is greater: 20 or h?
20
Let b = -9708 + 9726.65. Is b at least as big as -1?
True
Let l = -107 + 106.906. Let r = l + 0.126. Let s = r + 39.968. Is 0 bigger than s?
False
Let k be (-2 + (-3136)/(-1576))/(-12). Which is smaller: k or 0?
0
Suppose -2386*o - 19851 = -2347*o. Which is smaller: -504 or o?
o
Let b(t) = t + 4. Let m be b(2). Suppose -m = -g + 4*o + 2, -3*g = 4*o + 40. Which is greater: 24 or g?
24
Suppose 17*h = 19*h - 244. Let b = h + -45. Suppose 6*l - 23 = -b. Which is smaller: -1 or l?
l
Let x be (420/55)/(-14) - (-7756)/22. Let r = 537 - x. Is 185 equal to r?
True
Suppose 2*f - 1 = -3*k - 3, 3 = -2*k - f. Let n = 0.264 + 102.736. Let j = n + -110. Is k greater than j?
True
Suppose 62*r = 86944 + 164466. Which is smaller: 4054 or r?
4054
Let a = -81 - 137. Is a less than -0.05?
True
Suppose 23*h - 832 = 2802. Is h greater than 176?
False
Let h = 29659 + -29597.007. Let l = -62 + h. Let n = -0.007 - l. Which is smaller: n or -55?
-55
Let p be 279/(-6)*7*2/(-609). Which is smaller: -0.5 or p?
-0.5
Let p(i) = -i**2 + 5*i + 10. Let q be p(6). Suppose -3*l + 5*y - 3 = 0, -l + q*y = 2*l. Suppose -d + 5*d - 16 = l*x, -3*x = 12. Is d >= 2/9?
False
Let a be (-4145)/(-25) - -2*(-3)/(-30). Suppose -330 = -p - p. Does a = p?
False
Suppose 0 = 3*y + 9, -25*y + 26*y = 5*m + 2. Is m bigger than -2/2849?
False
Let x = 2.96 + -93.96. Let k = 25 + 67. Let j = k + x. Which is smaller: -1/35 or j?
-1/35
Let c(d) = 60*d + 667. Let k be c(-9). Is 124 >= k?
False
Let n(p) be the third derivative of p**4/4 + p**3 - p**2. Let l be n(3). Let u = -25 + l. Which is smaller: u or 3/16?
u
Let l be (-91 + 89)*(-50)/(-14). Is -7 greater than l?
True
Let h(d) = 2927 - 1458 + 7*d - d**3 - 1450 - 4*d**2. Let p be h(-5). Is 105/11 at most p?
False
Let y = -11703/144265 + -2/2365. Let m = -1696044 - -3103760731/1830. Let a = y + m. Is 0 not equal to a?
True
Let h = -3/40 - -661/280. Let c = 0.033 + 16.967. Let y = c + -19. Which is smaller: h or y?
y
Let f = 2.5575 - 2.5815. Which is smaller: -1/75 or f?
f
Suppose -4*h + 5*n = -32, 0 = n - 3*n - 8. Suppose -23*k = -20*k + h. Which is smaller: -2/117 or k?
k
Let g(c) = 2*c**2 + 20*c + 9. Let a be g(-10). Suppose -3*w - 4*o = a, -w - 10 = 4*w + 5*o. Which is greater: w or 2/165?
w
Let b = 26.8 + 113.2. Let o = 139 - b. Which is bigger: 9.5 or o?
9.5
Let q be ((-1)/(-2))/((-15)/276). Suppose 0 = 23*x + 34 + 196. Is q less than or equal to x?
False
Let h = 79 + 263. Let z be ((-3)/(-16))/((-27)/h). Which is smaller: 0.1 or z?
z
Suppose 0 = 4*d - 8*d + 16, 4*y = -2*d - 596. Is 1.2 equal to y?
False
Let j(w) = w**2 + 7*w + 3. Suppose 10*m = -2*m - 72. Let v be j(m). Which is smaller: v or 15?
v
Let h = -2688 + 2688.1. Is 62/47 at most h?
False
Let l = 554 + -551. Let c be (5 + -5)*3/l. Let g be (3/(-2))/(35/2). Which is smaller: g or c?
g
Suppose h = -3*m + 11*h - 92, 8 = h. Is 15.97 < m?
False
Let i = -113.3 + 108.1. Are i and 2 unequal?
True
Let w = 3/1841 + 3133/336903. Let t = 90 - 90. Which is bigger: t or w?
w
Let j = -157 + 237. Let n = j + -54. Let d = 25 + -28. Is d not equal to n?
True
Suppose -m = 26*m - 5589. Let g = m + -7039/34. Which is smaller: g or -0.3?
-0.3
Suppose 81687 = -114*g + 85563. Let u = -41 - -76. Which is greater: u or g?
u
Let u = -9560/219 + 131/3. Let z = -196247 + 42978017/219. Let k = u + z. Does 0 = k?
False
Let i(l) be the first derivative of 2*l**3/3 + l - 6. Let b be i(0). Let q = -171/4 - -13855/324. Is q smaller than b?
True
Let n(t) = -18*t**3 - 7*t**2 + 17*t - 102. Let y be n(6). Is y <= -4142?
False
Let b = -13556 - -19837. Which is smaller: 6283 or b?
b
Let l = 78 - 117. Let j be l/21 + (1 - (-8)/(-7)). Which is smaller: j or -3?
-3
Suppose 2*g - 69 = 4*g - 3*d, -d - 131 = 4*g. Let b(a) = -a**3 - 34*a**2 - 35*a - 67. Let c be b(g). Are 12/47 and c non-equal?
True
Let l be 4 + 6/(-3) - -7. Let z = l + 1. Let i be 3*-9*(-14)/756. Which is smaller: z or i?
i
Let p be 120/16*(-2)/78. Let s = p - 4/13. Let y be (-68)/(-18) - (-2)/9. Which is smaller: s or y?
s
Let s(p) = 2*p - 25. Suppose 0 = z + 4, 0 = -5*b - 2*z + 3*z + 109. Let v be s(b). Which is bigger: 55/3 or v?
55/3
Let c(r) = -891*r + 2760. Let j be c(12). Is -7931 greater than j?
True
Let k = -264077/30 - -57589/6. Which is bigger: 796 or k?
796
Let h be 0 + 625/(-36) - ((-2565)/180)/57. Let d = -816782657/198 - -4125182. Let s = d + h. Is -2 not equal to s?
True
Let v = 4 + 59. Let w = 131 - v. Let m = w + -83. Which is greater: -1/6 or m?
-1/6
Let t(g) = 99*g + 56. Let f be t(-30). Is -2914 at least as big as f?
True
Let d = 1.591 - -0.409. Let s = -0.1 + -2.9. Let b = d + s. Are b and -32 equal?
False
Suppose 8*j - 170 = 3*j