))*9/18. Are -1.1 and q non-equal?
True
Let i(r) = -r**3 + 14*r**2 - 22*r - 25. Let j be i(12). Is 3/575 less than or equal to j?
False
Let f be -2 - 1 - ((-168)/(-25) - 10). Which is smaller: 1 or f?
f
Let z = 0 + 17. Let q = z + -14. Which is greater: q or 0?
q
Let o be -7*8/(-280) + 16/(-30). Let f = o + -1/15. Which is smaller: 7.5 or f?
f
Let i = -80.9 + 76. Let y = -10 - -15. Let s = i + y. Which is smaller: -1 or s?
-1
Let q = 2312/31941 - -2/1183. Let b = 4 - 4. Suppose 4 = -4*l - b. Which is smaller: q or l?
l
Let s(c) = -3*c**2 + 77*c + 26. Let w be s(26). Which is greater: w or 1/466?
1/466
Let g = -2873 - -2874.4. Let f = 0.1 - 0.2. Does f = g?
False
Let s(l) = l**2 - 5*l - 1. Let y be s(5). Are y and -32/13 unequal?
True
Let k(p) = -5*p**2 - 9*p - 2. Let b be k(-1). Are 25/11 and b non-equal?
True
Suppose 10*k - 4*l + 34 = 11*k, 3*k - 166 = 4*l. Is 252/5 equal to k?
False
Let y(m) = m**2 - 15*m + 5. Let x be y(15). Suppose x*o - 3 = 2. Which is greater: 10/13 or o?
o
Suppose -19 = -3*i + 29. Let w = i + -26. Let o be -4*18*(-3)/(-24). Are o and w nonequal?
True
Suppose b - 5*x - 9 = -33, -2*x = 10. Is -48 <= b?
False
Let m be -3*5*(-714)/(-30). Is m at most -355?
True
Let i = -778/5 + 9341/60. Suppose -3*u = -4*u. Do i and u have the same value?
False
Suppose 36 = p - 7*p. Let n(d) = -9*d - 36. Let v be n(p). Is v bigger than 19?
False
Let w = 142 + -142.2. Let b = -0.1 - -0.1. Let n = b + -5. Which is smaller: w or n?
n
Let f be 10/(-60) - 15/(-63). Suppose 5*b + 0*b + 2*p = 18, 3*p - 8 = 2*b. Are f and b non-equal?
True
Let l(r) = -r**3 + 6*r**2 - 9*r + 5. Let d = 42 - 37. Let v be l(d). Suppose 5*p + 5 = -75. Does p = v?
False
Let j be 2 + -4 + (-247)/26. Let r = 5 - 18. Which is smaller: r or j?
r
Let b = -126847/9 - -14099. Let l(i) = i**3 - 4*i**2 + 4*i + 1. Let n be l(3). Does b = n?
False
Let i be (12/9)/(0 - 6/(-9)). Let p be (i + (-38)/18)/(2/6). Is p bigger than -0.1?
False
Let f = -1187.94 - -1177. Let m = 11 + f. Let i = m - 1.06. Is i at least -8?
True
Let i be ((3/42)/((-13)/(-104)))/(-2). Let r = 27/5 - 373/70. Which is bigger: r or i?
r
Let m = -18 - -21. Suppose 2*s + 14 = -2*u, -6*s + 9 = -m*u - 3*s. Is u at most -5?
True
Let f(n) be the first derivative of -3*n**2/2 + 18*n - 19. Let r be f(6). Which is smaller: -4 or r?
-4
Let i = 2904 - 11617/4. Which is greater: i or -0.125?
-0.125
Let r(s) = -s**2 - 8*s - 8. Let m be r(-6). Let j be -1*9*m/(-6). Suppose 10 = -j*n + n. Which is greater: -3 or n?
n
Let o = 0.19 + -0.19. Let s be 28/(-49)*(-802)/(-8). Let i = 57 + s. Is o at most i?
False
Suppose -6*l + l = -5. Let h be 260/35 + 4/7. Let o be 45/(-75) + h/5. Is l at most o?
True
Let q be 0*(3/(-2))/(-3). Let s be ((-38)/(-22) - 2)/((-33)/(-2) - -3). Is q greater than s?
True
Let b(i) = -i**3 + 4*i**2 + 6*i. Let m be b(5). Let z = -14 + 20. Suppose -5*y = -4*y - z. Are m and y equal?
False
Let d = -4 + -5. Let q = d - -8.6. Let i = q + 0.5. Is -5 less than i?
True
Let r(k) be the third derivative of -k**5/60 + k**4/2 + 17*k**3/6 + k**2. Let l be r(13). Suppose -2*h = 2*n + l, 0*n = 5*h + n + 6. Is h at least -1?
True
Let d be ((-58)/36)/(793/39 + -20). Which is smaller: -4 or d?
d
Let g = 163 + -1138/7. Which is smaller: g or 0?
0
Suppose d - 19 = 5*h + 4*d, 2 = -4*h + 2*d. Is h smaller than -5/4?
True
Let r = 324 + -295. Which is smaller: 28 or r?
28
Let j be 30/(-56) + 2/7. Let a(h) = -39*h**2 + 286*h - 91. Let y be a(7). Is y > j?
True
Let p = 10243/10 - 1024. Which is smaller: p or -15?
-15
Let t = -13.3 + 1.2. Are t and -0.1 nonequal?
True
Let n(o) = -o**3 + 12*o**2 - 11*o + 3. Suppose -2 = -2*g + 20. Let d be n(g). Is d smaller than 9/4?
False
Let n be (-6)/(-14) + 0 + 1305/(-1575). Let u be (-1 + -5)/((-3)/2). Suppose o = -x - u, 0*x + 2*x - 12 = 2*o. Is n < x?
True
Suppose 3*k - 193 = 4*i + 215, 2*i = -3*k - 186. Which is smaller: i or -101?
-101
Let u(j) = 2*j + 316. Let r be u(0). Suppose 5*a + l - 482 = 2*a, -2*a + r = -2*l. Let t be -3 + (a/(-165) - -4). Is -1 at most as big as t?
True
Let k(q) = -q**3 + 15*q**2 - 21*q - 8. Let i be k(9). Which is bigger: 291 or i?
291
Let u be ((-1)/(-2))/((-2)/44). Let t = u + 13. Let w be t/(-3 + -3)*0. Which is bigger: 2/13 or w?
2/13
Let p = 1606/3 - 536. Which is smaller: p or -77/2?
-77/2
Let u be (4 - 2)*((-2 - 0) + 4). Let c be (-22)/60 - u/30. Let y = 86 - 1120/13. Which is bigger: y or c?
y
Suppose -7*t + 2*g + 26 = -2*t, -5*g - 35 = -5*t. Suppose -24 = -t*h + 52. Let y = h + -20. Which is smaller: -9/4 or y?
-9/4
Let o be ((-5)/69)/(33/198). Is 0 < o?
False
Suppose 23 = -2*n + 33. Is n <= 32/5?
True
Let t = -2 + 0. Suppose 22*w = 27*w - 70. Let x be 1 - 18/w - 16/42. Which is greater: x or t?
x
Suppose 7*g - 376 + 40 = 0. Let b be (2/4)/(42/g). Which is smaller: -1/6 or b?
-1/6
Let i be 3 + -2 + 1 + 1. Suppose t - i*t = -12. Let v be 4/16 + t/(-8). Is 0.1 <= v?
False
Let h be (-18)/(-21) - (-2760)/(-6601). Is -1 at most h?
True
Let o be 4/16 + 1/8. Let z(q) = -3*q**2 + q - 3. Let y be z(0). Let v(r) = -r**2 - 4*r - 4. Let b be v(y). Which is bigger: o or b?
o
Let a = -556 - -590. Which is smaller: a or 4/9?
4/9
Let w be (-2 + (-9416)/(-1616))*4/(-14). Let q = -5/101 + w. Which is smaller: -1 or q?
q
Let u be (-40)/(-16)*(-84)/(-15). Suppose -f + 5 = -7. Which is greater: u or f?
u
Let z(l) = -l**2 - 15*l + 120. Let u be z(6). Let b(d) = -6*d - 1. Let i be b(1). Which is bigger: u or i?
u
Suppose 60*j - 4428 = -48*j. Which is smaller: j or 46?
j
Suppose 5*n = -4*u + 20, -5*n - u - 2*u = -25. Suppose -4*f + 24 = -n. Let r = 33/4 - f. Which is smaller: r or 1?
r
Let g(t) = -10*t + 3 + 2 - 76*t. Let p be g(11). Let f = 10341/11 + p. Is f equal to 0?
False
Suppose 25 = -5*y - 2*g - 82, 0 = -3*y + 3*g - 60. Let h = y + 19. Which is bigger: -4 or h?
h
Suppose -14*b - 15 + 1 = 0. Is b greater than -15/59?
False
Let i = 24.12 - 24.1. Which is smaller: -0.08 or i?
-0.08
Let n = -5.1 + 5. Let r = 0.091 - 0.061. Is n > r?
False
Suppose -k + 5*q - 7*q + 2 = 0, 0 = 3*q - 12. Let u be (6 - (-15)/(-3)) + k. Is u equal to -9?
False
Let u be (-24 + 3238)*((-25)/10 + 2). Is u at least as big as -1607?
True
Let c(b) = 5*b - 10. Let f be c(3). Suppose -5*a = 4*d + 14, -4*a = f*d - 8*a - 3. Suppose 5*z + 3*l + 22 = 0, 3*z - 8 = 4*l + 2. Which is greater: z or d?
d
Let h be 650/(-195) - -1*4. Is h at least 112?
False
Suppose 71*q + 60 = 76*q. Is q <= 34/3?
False
Let g be ((-20)/15)/(10/525). Is -68 greater than g?
True
Let m = -14 + 1. Let q be (1 + 91/(-15))/((-46)/115). Let n = m + q. Do n and 11 have different values?
True
Let q be (-60)/100 - 43/(-14780)*206. Is 0 less than q?
False
Let d = 0.23 + -9.23. Let t = -536 + 534. Which is smaller: t or d?
d
Suppose 0 = -2*f - 4*w - 12, 4*f = 5*w + 59 - 18. Suppose -a + 2*m + 1 = f*a, 0 = -a - 2*m + 5. Let b be a/(-3) + 8/(-12). Is 2/7 at least as big as b?
True
Let q = -2 + 22. Suppose 0 = -4*x + 4 + q. Let w = -8.1 - -8. Is w not equal to x?
True
Let w be (2/15)/((-4)/(-6)). Let v(b) = -b**2 + 10*b - 7. Let c be v(9). Which is smaller: c or w?
w
Let y(j) = 3*j**2 + 3. Let t be y(2). Suppose t*h = 7*h - 232. Is -28 at most h?
False
Let q be 384/70 - (-4)/(-14). Let i be 12/(-10)*(-40)/12. Is i != q?
True
Let r = 252 - 1241/5. Which is bigger: r or -2/163?
r
Let p(r) = r + 3. Let w be p(-1). Suppose l + w*c + 9 = -0*l, 22 = -3*l - c. Which is smaller: -8 or l?
-8
Suppose 2*v + i = 207, v - 95 - 13 = 4*i. Which is greater: v or 102?
v
Let s be -41 - (-64)/(5 - -3). Are -235/7 and s nonequal?
True
Let d(w) = w**3 - 5*w**2 + 3*w. Suppose 2*s + 3*h = -s, h - 10 = -3*s. Let a be d(s). Suppose -81 = -5*k - 6. Is a < k?
False
Let h(u) = -u**3 + 3*u**2 + 3*u + 1. Let b be h(4). Suppose -d - 3*w = -4*d + 3, w = -d + 11. Let q be (d/(-21))/(-1 - b). Is -4/7 != q?
True
Let a(g) be the third derivative of g**5/60 - 3*g**4/4 + 16*g**3/3 - 19*g**2. Let k be a(16). Let m = -9/46 - 343/598. Is m greater than k?
False
Suppose 0 = -9*c + 6 + 12. Suppose -3*q = 3*r - 24, -4*r + c*q + 2 = -0. Is r less than 2?
False
Suppose -5*o + q - 3*q = -58, -3*o = 2*q - 38. Suppose 9*d - o = 8. Do d and 7/4 have the same value?
False
Let k be (-3)/9*(-76 - -1). Suppose -29 = 4*l - 2*l - 5*z, z = -4*l - k. Let f(y) = -3*y - 15. Let u be f(l). Which is smalle