 than or equal to p?
False
Let w be 2/(-18)*(-126)/91. Which is smaller: -1486 or w?
-1486
Let u be (396684/180)/((-24)/(-160)). Is u smaller than 14692?
False
Let i = 3907483299/18550 + -210646. Which is bigger: i or -1?
i
Suppose -5*j = -4*i - 4, -i = -1 + 2. Suppose 585 = 4*h - h + u, -h = -3*u - 195. Let f be ((-18)/h)/(172/40 + -4). Which is greater: j or f?
j
Suppose -24920 = 3*g + 5*c, -8*g = -21*c + 26*c + 66495. Which is bigger: -8316 or g?
g
Suppose 2*o - 22685 + 18041 = -0*o. Which is greater: 2323 or o?
2323
Let z(x) = 3*x**3 + 56*x**2 - 26*x - 132. Let l be z(-19). Are -1/20451 and l equal?
False
Suppose 8 = -3*c + 47. Suppose -c*t - 98 = t. Let v be (4/(-3))/(3/9). Which is bigger: t or v?
v
Let w be 868 - ((-39)/(-91) - (-148)/14). Which is greater: w or -0.2?
w
Let i be (-16)/(-12)*174/(-290) + 37872/(-10). Which is smaller: i or 1?
i
Let z be 18/42*(-28)/(-12). Let v be ((-57)/3)/((-1)/(-50)). Let c be 3*z + 2870/v. Is c less than -1?
False
Suppose 5*c + 3*v = -107, c - v = -0*c - 15. Let f = 222 + -241. Is c less than f?
False
Let i be (-8)/34 + (-1203072)/3978. Is 1/5 not equal to i?
True
Let o be (1 + -22)*448/(-168). Suppose o*m = 53*m - 1695. Is 0 at most as big as m?
False
Let w = -9754 + 9879. Which is bigger: -3/52 or w?
w
Let v be (-1)/2*-1*((-28 - -21) + 57). Is -37 equal to v?
False
Suppose -47*u + 45*u = -18. Let j = -15 + 26. Is j less than or equal to u?
False
Let s = -62 - -62. Suppose -4*j + 3*o - 144 = s, 4*j + 3*o - 4*o + 144 = 0. Is j <= -36?
True
Suppose -343 = -9*h + 2*h. Suppose 4*b + 5*z = 108, 4*z - h = -2*b + 11. Let l be 12*((-37)/b + (-14)/(-77)). Do -18 and l have different values?
False
Let y be -988*(377/26 - 14). Which is greater: -3448/7 or y?
-3448/7
Let s be 52*(8/18 + (2742/(-216) - -12)). Is s equal to -626/47?
False
Suppose 40*n - 44*n - 104 = 0. Let i be 1*(106/(-4) + (-39)/n). Are i and -27 unequal?
True
Suppose 4*n - 10372 - 2190 = -3*l, 0 = -3*l + 6. Is n < 3139?
False
Let v be (-8)/(-6)*228/(-8). Let z = v - -53. Suppose 0*d + 5*d = -5*c + 45, 2*d - 5*c = 46. Are z and d equal?
False
Suppose f - 2*n = -0*n, 2*f - 3*n = -3. Let p(j) = -11*j + 14. Let r be p(f). Is 2/9 at most as big as r?
True
Suppose -5*a - 7665 = 4*k, -1170*k + 1166*k + 1533 = -a. Is -1533 != a?
False
Let p = 12/583 - -559/1166. Let o = 13.9 + 7.8. Is o bigger than p?
True
Let p = -10 + 17. Let j be 8/(-14) - 13/(637/(-812)). Are p and j nonequal?
True
Let z = 4.49 - 0.39. Let u = 3 + z. Let x = u + -7. Which is smaller: x or -0.14?
-0.14
Suppose -3*z - 61 = 20. Let n be (-14)/63 - 978/z. Let l = 36 - n. Which is smaller: l or 4?
l
Let o = 19/796 + -1921/34626. Do -1 and o have different values?
True
Suppose 0 = 61*n + 372326 - 65618. Which is smaller: n or -5027?
n
Let r = -0.1275 - -8.7275. Let d = 105 - 107. Does d = r?
False
Let g(s) = -s**3 + 5*s**2 - 2*s + 112. Let c be g(7). Which is greater: -21666 or c?
c
Suppose 5*q - 3*q - 3*p = -2083, p - 3 = 0. Let h = -80885/78 - q. Suppose -k + 2 = 1. Which is smaller: k or h?
h
Suppose -61*f = 9*f + 4211 + 31629. Which is greater: -6 or f?
-6
Let h(a) be the third derivative of a**5/12 + 13*a**4/24 + 5*a**3/2 + 19*a**2. Let i be h(-8). Do i and 231 have the same value?
True
Let s = -0.18 - 1.82. Let x = -78.0919 - 0.9081. Which is smaller: x or s?
x
Let o(n) = 9*n**2 - 3*n - 26. Let f be o(2). Let w(r) = r**3 + r**2 + r. Let j be w(-1). Is j equal to f?
False
Let j be (-2 - -3)*-4 - -20. Let x(k) = k**2 - 13*k - 27. Let v be x(j). Suppose -19*l = -v*l + 48. Is l > 26?
False
Let v = 212 - 210. Suppose -5*k = 4*h - 27, -2*k + 17 = v*h - 3*k. Let j = -7 - -18. Is h < j?
True
Let t = 0.06 + -14.06. Let g be (-43)/(-258) + 10/84. Is t < g?
True
Let w = 4 - 7. Let t be (w/4)/((-1)/(-2)). Suppose -2*m - 1376 = -0*m - u - 1371, 0 = -2*u - 26. Is t != m?
True
Let g be (332/(-80))/(152*1/(-5)). Let z = g + -1/32. Is z less than -2/7?
False
Let b = -95812 + 476868/5. Let w = -438 - b. Is -91 greater than or equal to w?
False
Let y(z) = 3*z**3 - 33*z**2 - 35*z + 314. Let d be y(15). Is 2486 equal to d?
False
Suppose -q - 6 = -4*j - 28, 2*j = -4*q + 88. Suppose -6*y + q - 10 = 0. Which is smaller: y or 8/13?
8/13
Let q(n) = n**3 + 12*n**2 - 136*n + 21. Let g be q(7). Is -3/8936 > g?
False
Let d = -3276 + 3275. Which is greater: -15.72 or d?
d
Suppose 0 = 3*n - 12, -n + 44 = b + 39. Is 3/2677 bigger than b?
False
Let d(i) = -6*i**3 - i**2 - 4*i - 8. Let t be d(-2). Let n be (t/(-2805))/(4/(-2)). Is n < 1?
True
Suppose -n = -3*l + 240, l + 70 = 2*l + 3*n. Let x be l/11 - 10/55. Suppose -p - h - 1 - 2 = 0, -x = 3*p + 2*h. Is p equal to -5/4?
False
Let z = -2/37539 + -838331/750780. Let r = z - 4031/420. Is r equal to -12?
False
Let l be 6*(45/10 - -5). Let x = l + -111. Let y be (-528)/x - 4/(-18). Are 28/3 and y nonequal?
True
Let v = -6 + 8. Suppose -45 = -3*z + 3*i, 2*z + 2*z = -v*i + 66. Suppose 257 - 131 = 24*b - 234. Is b at most z?
True
Let a = 44238 - 246449900/5571. Let l = a - -11276/373257. Is l less than -1?
False
Let w = 0.005 + -0.119. Let j = w + 0.214. Is j less than or equal to 2/41?
False
Let t = 5744 + -5745. Which is smaller: t or -8/1005?
t
Let s = 204 + -185. Let j = 7 - 31. Let y be (68/j)/((-1)/6). Which is bigger: s or y?
s
Let y = 56.3579 + -0.0579. Let n = -56.2 + y. Is n greater than or equal to -0.0486?
True
Let l = -8.41 - -5.11. Which is smaller: -41 or l?
-41
Let j be 0 + -2 + (-347)/13 + 4. Let z = -88904/3601 - j. Which is bigger: -1 or z?
z
Let m = 1.42 - -0.08. Let g = 3.627 - 3.827. Are m and g equal?
False
Let r be (302/(-24) - (-12)/(-16))*-6. Suppose -5*m + 239 = 3*s, 2*s = 3*s + 2*m - r. Is 78 smaller than s?
False
Suppose w - 51 = 5*v, 2*v - 3*w - 777 = -787. Which is greater: v or -31?
v
Let k = -2783 - 2794. Which is smaller: k or -5581?
-5581
Let l = -1667 + 1669. Let i = -4 + 6. Suppose 2 = -i*y + l. Is -0.44 bigger than y?
False
Suppose -8*p + 9 = -5*p. Suppose p*s + s = 188. Suppose 5*v - 4*h - 251 = 0, -v + 9*h - 7*h = -55. Is v <= s?
True
Suppose -2*z + 1552 = 18*w - 16*w, -4*z = -5*w - 3158. Which is greater: 785 or z?
785
Let s(d) = -2*d**2 + 19*d - 68. Let m be s(10). Let p be ((-2)/3)/((-260)/m). Is 2/165 at least p?
True
Let u be 956 + -6*1 + (-116 - -114). Is u > 947?
True
Let h = 5.13 + 387.87. Is h < 0.06?
False
Let h = 497 + -971. Let o = -458 - h. Is o less than 174/11?
False
Let x be 12/22 - (-25246)/185900*-13. Is 0 at most as big as x?
False
Suppose 4*k - 20 = 0, -2*t - 4*k - 15 = -7*k. Suppose 288 = -t*x + 6*x. Is x greater than 49?
False
Let w = -14.08 + 9.61. Let i = 1.53 - w. Which is smaller: i or -0.15?
-0.15
Let p = -12.953 + 14.053. Is p bigger than -752?
True
Let r = -0.09747 - -16.29747. Do r and 0.2 have different values?
True
Suppose -2*i = -2*o + 1 + 11, 0 = -o - 3*i - 14. Let h = -45109/19 - -2375. Is o greater than or equal to h?
True
Suppose 45 = 10*s + 5. Let r be (-12)/8*(-2)/s*-28. Is 4 less than r?
False
Let w = 26941/10 - 2694. Is w less than or equal to -93?
False
Suppose 32*p = -4*p + 10188. Suppose n - p = -6*b + b, -5*n - 238 = -4*b. Which is bigger: 55 or b?
b
Let j(c) = -49*c - 338. Let m be j(-7). Suppose 0 = 5*a - 3*a + 14. Is a at most as big as m?
True
Let d(s) = -s**3 + 4*s**2 - 5*s + 5. Let c be d(2). Suppose -c*v - 111 - 702 = 0. Let i = 1363/5 + v. Is 2 != i?
True
Let s = -802.89 - -803. Let g = -1.4 + 11.4. Is g less than s?
False
Let h(z) = -7*z**2 + 8 - 8*z + 8*z**3 + 8 - 2*z**3 - 5*z**3. Let u be h(8). Which is smaller: 104/7 or u?
104/7
Let k = -303 - -351. Let w be -5 - 6 - 12/k. Which is smaller: w or -1/3?
w
Suppose -2*k + 4*k - 24 = 0. Let o(r) = 2*r**2 - 26*r + 22. Let y be o(k). Let d be (57/24*y)/((-6)/(-8)). Which is smaller: d or -7?
-7
Suppose -12 = -2*m - 4*r, -5*r = -2*m - 2*r - 9. Is m < 1/5055?
True
Let c(b) = -7*b**2 - 427*b - 469. Let s be c(-65). Does s = -2290?
False
Let k be ((-4)/55)/(((-20)/(-175))/((-2914)/329)). Suppose 0 = 5*z - 19 - 16. Which is bigger: k or z?
z
Let m = -0.5 - -0.47. Let h = -0.188117 - -0.088117. Is m smaller than h?
False
Let f be ((-286)/(-63635))/((-2)/20). Which is smaller: f or -1?
-1
Let g be 1290/(-412)*434/1953 + (-4)/(-6). Let f be ((-2)/(-1) - 0)/(-2). Is g >= f?
True
Suppose -132 - 644 - 520 = 48*c. Is c >= 13?
False
Let i(w