(1/10)*6. Suppose -c = -t*c. Which is greater: 1 or c?
1
Suppose -2*n + 4 = -18. Suppose 16*b = n*b. Let j = -1085/9 + 121. Which is bigger: b or j?
j
Let h be 7 + -28 + -2 - 5. Suppose u = -o + 3, -u - 3*u = 3*o - 8. Let g be (-1)/(h/7 - u*3). Is g bigger than 6/37?
True
Let f(y) = -5*y + 44. Let x be f(8). Let k = -6 - -8. Suppose -2*d = -5*q - 16, 2*d = 2*q + k*q + 12. Are q and x equal?
False
Suppose -16062 = 155*p - 153*p. Let h = 23831/3 + p. Let c = h - -87. Which is smaller: 1 or c?
c
Let w = 0.101 - -0.058. Let k = w + -70.159. Let j = k + 62. Is j > 0?
False
Let y be (-15)/(-10) + (1122/(-12))/(-11) + -8. Is y greater than -43/4?
True
Let p be (2 - 393/6)*-2. Let f = -129842 - -129840. Which is greater: p or f?
p
Suppose 0 = 8*c + 41 - 129. Let l(y) = -y + 3. Let v be l(3). Suppose -4*g - 2*r - 2*r + 8 = v, 2*r = 5*g + c. Which is bigger: g or 2/131?
2/131
Let z(d) = -d**3 - 18*d**2 + 9*d + 50. Let b be z(-18). Is b <= -112?
True
Let z(c) be the second derivative of -c**4/12 - 6*c**3 - 111*c**2 + 104*c. Let q be z(-6). Is -5 <= q?
False
Let a = -61 - -979/16. Let q = -296 + 304. Suppose 19*o - 27*o - q = 0. Which is smaller: o or a?
o
Let m = 214881 + -215021.847. Let h = -0.153 + m. Which is smaller: 2/5 or h?
h
Suppose -11*g + 517 = a - 16*g, 5*g + 30 = 0. Is 486 < a?
True
Let w = 9462 + -8985. Which is smaller: 471 or w?
471
Let l = 286 + -283. Suppose 347 = -l*i - c, -2*c = 2*c + 8. Is i > -113?
False
Let v = -47 + 29. Let g = 18.08 + v. Let c = -150 + 150. Which is smaller: g or c?
c
Let p(y) = 3*y**2 - y + 2. Let i be p(1). Suppose i*w + 3 = 7*w. Let k = -2404 - -26450/11. Which is smaller: w or k?
k
Let x = -6/1067 + 15196/45881. Let b(t) = t**3 - 21*t**2 + 36*t + 37. Let l be b(19). Is x > l?
True
Let v = -2.59 - -314.59. Let m = v + -312.7. Is m greater than or equal to 1/2?
False
Let f be (-12)/28 + (-183676)/93681. Let y = 1/2974 + f. Let t = -5/2 - y. Is 0 smaller than t?
False
Let o = 17484535/704 + -24836. Which is smaller: 1 or o?
o
Let o be (9/162)/((-2)/16) - 236/36. Is o less than or equal to 185?
True
Suppose 4*y + 370 = -530. Let c = y - -43. Let u be (-52)/c + 0/1. Are -3 and u equal?
False
Let f be 191*(-2)/40 - (-97 - -95). Is -7 less than f?
False
Let z(y) = -68*y - 2. Let f be z(2). Let k be 0 + 0 - 137 - (-33 - (47 + -81)). Is k greater than f?
False
Let r(l) = -7*l + 153. Let q be r(-7). Do 1826/9 and q have the same value?
False
Let s be 0*(((-286)/260)/((-2)/(-5)) - -3). Which is bigger: 6/947 or s?
6/947
Let c = 12/317 + 45516/3487. Which is smaller: c or 9?
9
Let q(a) = -18*a + a**3 + 0*a - 166 + 320 - 104 + 19*a**2. Let i be q(-21). Is -454 >= i?
True
Let k be 10/(-8)*(-984)/65805. Let u(o) = -3*o - 3*o + 1 - 5*o**3 + 4*o**3 + 7*o. Let r be u(-1). Are k and r nonequal?
True
Suppose -4*o = -y + 383, 3*y - 7*o - 1071 = -8*o. Is y at least 358?
True
Suppose 3*h = -25777 + 4156. Which is greater: -7206 or h?
-7206
Let i = 19 + -15. Suppose -2*d - i*g = 3*d + 280, 2*d = -4*g - 100. Let h = -36 - d. Is h <= 24?
True
Let l = -4963 - -4963. Is l less than 12/323?
True
Let m be ((-212)/(-12))/((-1)/3). Suppose 4*x - 20 = -4*i, 224*x = 219*x - 3*i + 17. Is m at most x?
True
Suppose -2*w + 7*w = -50. Let r = -52/5 - w. Is 1 at most r?
False
Suppose -2*x - x = 4*c + 50, 3*c - 2*x + 46 = 0. Let f be (0 - -1) + (1 - -1). Let d = f + c. Do -9 and d have different values?
True
Suppose 3*x = -2*p - 83 + 101, x - 4*p + 22 = 0. Which is smaller: x or 54/79?
54/79
Let h be 5968/(-6) + (-174)/(-261). Is -992 at least h?
True
Let n(c) = 2*c**3 + 5*c**2 - 7*c - 8. Let l be n(-3). Suppose 0 = -2*j - l*a, 8 - 22 = -j + 5*a. Is j less than or equal to -8?
False
Let h = 400 - -62. Let n be (-132)/h - (-4)/14. Is n <= -12/61?
False
Suppose -44 = -5*m - 4. Suppose -m*j + 10 = -6. Which is smaller: 9 or j?
j
Let o = 257921079/4255 + -60616. Is o > 1?
False
Let l = -7168 + 18772993/2619. Which is greater: l or 1?
1
Let a(r) = -294*r - 5617. Let q be a(-22). Is 848 not equal to q?
True
Let o(x) = x**3 + 26*x**2 - 44*x - 44. Let j be o(-29). Let f be ((-2)/(-3))/(j/3 - 10). Is f less than 0?
True
Let f = 43860 + -44117. Are f and -302 non-equal?
True
Let r = -3231 - -3183. Is 0.9 smaller than r?
False
Let w = 1.007 + -0.087. Let f = 0.795 - w. Let b = 0.125 + f. Which is bigger: b or -18?
b
Let c(n) be the first derivative of -n**5/40 + 29*n**4/12 + 28*n**3/3 - 8. Let u(w) be the third derivative of c(w). Let a be u(19). Which is smaller: -6 or a?
-6
Let i = 938 + -948. Let m be i/35 - (-208)/(-7). Is -144/5 less than m?
False
Let y be (-1)/5 - 0 - (-79488)/(-60). Is y at most as big as -1324?
True
Suppose 0 = d - 20 - 10. Let k be (d/(-4))/((-6)/8). Suppose 0 = 2*w - 8 + k. Which is smaller: -3 or w?
-3
Suppose -2*c = -2*c + 18*c. Which is smaller: -16/41 or c?
-16/41
Suppose 5*f + 29 = -2*x, 2 = 3*x - 2*f - 2. Let d be (12/12)/(x/(-10)). Suppose -1 = d*o - 2*y, 7*o - 2*o + 5*y - 20 = 0. Which is smaller: 5/3 or o?
o
Let m be (-14)/49 - 232/(-28). Let p be (-1 - 2)*(m - (-78)/(-9)). Does 10/11 = p?
False
Let l(c) = -c - 6. Let x be l(-4). Let j = -9.74 + -0.26. Let g = j - -9.3. Which is greater: g or x?
g
Let x(o) = 35*o + 5. Let n be x(0). Suppose 16*k - 14*k = h, -n*h = 4*k. Are 12/43 and k equal?
False
Let n(f) be the first derivative of f**3/6 - 31*f**2/2 - 28*f - 22. Let r(s) be the first derivative of n(s). Let z be r(10). Which is smaller: 2 or z?
z
Let y = 9.4 + 2.6. Let n = 9 - y. Let d = -266 - -259. Is d <= n?
True
Let s = 119 + -71. Let q be (9/s)/((-7)/(-4)). Let z = -718 - -719. Is q < z?
True
Suppose 11*j - 3375 = 3632. Suppose j = 18*f - 47. Is 38 less than f?
False
Let s be (-479)/(-4) + 1 + (-12)/16. Suppose -h = 7*h - s. Suppose 5*m + h = 0, m = -5*k + 3*m + 46. Is 7 >= k?
False
Let p = -4528.975 + 4575. Let n = -0.025 + p. Let l = 47 - n. Is l less than or equal to -5?
False
Let f = 47118 + -47119. Let r be -8*(-6)/(-8)*1. Let l be 3/(-2)*(-2)/r. Is l at most as big as f?
False
Let x = 5/667 + 903765/2668. Is x at least as big as 338?
True
Let j = -1679 - -3249. Let g = j + -1554.37. Let q = 0.63 - g. Which is bigger: q or 0?
0
Let h be (-24*(-12)/(-18))/((-187)/34). Suppose 0 = 2*r - 4 - 2. Do r and h have different values?
True
Suppose 2*r - 28 = -2*x, 0 = -4*r - 0*r + 16. Let q = 4 + 1. Suppose q*a = -l + 30, 34 = 3*a - 5*l - 12. Do x and a have the same value?
False
Let t be -13*20/(-1560)*6. Is t != 1/6371?
True
Let i = -0.217 + -0.853. Let g = -1.7 - -0.73. Let a = g - i. Is a at most as big as -0.023?
False
Suppose 224*v = 31*v - 6755. Which is greater: -169 or v?
v
Suppose -97*k - 130007 - 145570 = 0. Is -2841 greater than k?
False
Let k = 626 - 1342. Let z = k + 717. Which is bigger: 14/73 or z?
z
Let x = -24 + 37. Let r = x + -7. Let i be ((-6)/(-92))/(r/8). Is i at most -1/4?
False
Let f(u) = 3*u - 1. Let y be f(-2). Let s(p) = -3*p**2 - 41*p - 21. Let n be s(-13). Let o be 7/9 - n/(180/(-8)). Which is smaller: y or o?
y
Let s = 7189 - 7188. Is s at most as big as 2142?
True
Let f = 67 - 65. Let a = -2118.98 - -2095. Let b = a + 24. Does b = f?
False
Let w = 3.5 - -100.5. Let m = 107 - w. Let i = -0.2 - 0.8. Is i not equal to m?
True
Let m be 72/(-14)*2*49/(-28). Let i = 401 + -381. Is m > i?
False
Let f(a) = 23*a + 6. Let o be f(6). Suppose -4*i = -4*g + o, 3*i + 2*i + 183 = 2*g. Suppose 0 = -4*w + 505 - 649. Is w less than i?
False
Let j(o) = -o**2 - 167*o - 5371. Let k be j(-33). Which is smaller: -1 or k?
k
Let v be (-6)/15 - 96/(-20)*-47. Let t = 227 + v. Is -2/369 at least t?
False
Suppose -2*m - 3*v - 103 = 0, -2*m = 2*m - 5*v + 195. Let l be (-336)/70*m/(-4) - 3. Let k be (1 - 4) + (828/l)/(-4). Which is smaller: k or 3?
k
Let h be (-218 - -12)*42/308. Is -27 > h?
True
Let j be (-1424)/48 - (-1)/(-3). Let u be 16/260*((4 - 4) + j). Which is greater: -2 or u?
u
Let q = -0.196 + 7.196. Let j = 0.6 + -0.76. Is q equal to j?
False
Suppose 35*n = 32*n - 3*b - 270, -2*b - 453 = 5*n. Is n at least as big as -98?
True
Let z = 4742 - 4742. Is z != -30/329?
True
Let z be -7*(12/(-28))/((-9)/24). Let n be (-16)/(-12)*(-3)/(-2). Let m be (-2)/12*(n - -2). Is m at least as big as z?
True
Let g be 0*(-5)/25 + 11. Let o be g/55 - (-69)/5. Suppose 2*b + 3*a + 66 = 7*b, -2*a = -2*b + 24. Is o at least b?
F