 Which is bigger: b or -66?
-66
Let h be (-288)/49 - (-12 + 9). Is -3 at least as big as h?
False
Let b(n) = -3*n**3 - 5*n**2 + 5*n - 12. Let q be b(4). Let y be 56/84*(-9)/q. Which is smaller: y or 1?
y
Let d(q) = 142*q + 566. Let c be d(-4). Which is greater: c or -24?
c
Suppose 2*d = -3*s + 15, 3*s - 13 + 10 = 2*d. Suppose -4*m + 0 = s*g - 3, -5*m + 3*g + 24 = 0. Which is smaller: m or 26?
m
Suppose 24*q + 69 = 47 - 194. Let s(h) = 3*h + h**2 + 12 - 3*h + 5*h. Let l be s(q). Is 47 at least l?
False
Let n = 6244 - 9783. Is -3538 less than or equal to n?
False
Let a be 2442/15*(-330)/132. Which is bigger: -408 or a?
a
Let m be (-4 - 8)/(-48) - (-2063)/(-12). Let k = -171 - m. Is -245/6 greater than or equal to k?
False
Suppose -16 = -5*s - 3*m, 3 + 7 = s + 4*m. Suppose o = -s*o - 3. Let i be (-2)/3 - 80/(-129). Is o at most i?
True
Let h be (-2)/(-3)*6*4218/(-8). Let a be -2*1 + 9132/(-2655)*h. Let f = 7252 - a. Which is smaller: f or 0?
f
Let f(m) = 31*m - 152. Let o(w) = 9*w + 239. Let q be o(-26). Let b be f(q). Which is greater: b or 15/7?
b
Suppose 0 = 4*k + 5*n + 3594, 0 = 17*k - 15*k + 5*n + 1792. Which is bigger: -3605/4 or k?
k
Suppose -5*o = 5*w - 1210, w - 407 = -2*o + 83. Which is greater: o or 246?
o
Let x = 5 - 20. Suppose -6*q + q + 375 = 5*c, -c = -2*q + 141. Let o = -87 + q. Is x not equal to o?
False
Let k(a) = -4*a - 13. Let v be k(-2). Let s be ((-6)/1)/180*v/(-4). Let q = -2 + 1. Is s at least as big as q?
True
Let p be 824/(-12) - 4/12. Let r = p + 102. Let x = -33 + r. Which is smaller: 1/42 or x?
x
Let a(k) = -k**3 - 11*k**2 + 272*k - 93. Let m be a(-23). Which is greater: 3/379 or m?
3/379
Let n be (7/3)/(12/9 - 1). Let g be (n + (5 - 14))/(2/1). Let h be (g + -2)*17/289. Which is greater: 1/2 or h?
1/2
Let m be (14/882 - (-15)/35) + 80/(-342). Let c = -0.02 - 3.98. Is m smaller than c?
False
Let q = 125 - 96. Suppose -3*d + 15 = 0, -3*y + 18 = -3*d - 51. Let f be -1*(-2 + 1) + y. Is f equal to q?
True
Suppose -3*j + 58 + 104 = 0. Suppose -1197 - 1903 = -62*n. Let g = j - n. Are 7 and g equal?
False
Let h = -5270165561/735620 + -6/183905. Which is smaller: -7165 or h?
-7165
Let o(t) = t**2 + 14*t - 7. Suppose -8*m - 54 = -3*m + y, -4*m + 3*y - 28 = 0. Let n be o(m). Let w = n + 38. Which is greater: w or 1/3?
1/3
Let u = -268493/1932 - -1669/12. Is u less than -0.3?
False
Suppose -5*i = 5*a - i - 356, 2*a + 2*i - 142 = 0. Let d = 3034 + -2961. Are d and a nonequal?
True
Let f(z) = z**2 - 47*z + 396. Let h be f(8). Let d(j) = j**3 + 2*j**2 - 4*j + 4. Let b be d(4). Is h <= b?
True
Let d = 30059 + -30030.5. Which is bigger: d or 2/7?
d
Let m be (-13599)/(-16)*(10/25 + 78/(-45)). Is -1133 greater than m?
True
Suppose 0 = 17*j - 1330 - 2478. Are j and -1/3 equal?
False
Let r = -2.41 - -0.31. Let g = -2.4 - r. Which is smaller: -0.33 or g?
-0.33
Let v be (-4)/6 + (-3 - 176/6). Let d = -30 - v. Suppose 3*r + 85 + 1 = 4*w, d*w - 158 = 5*r. Which is bigger: -35 or r?
r
Suppose 17*o = -667 + 72. Let g be (3/21)/((-1020)/o). Is -1 > g?
False
Let o = 30887 + -19720. Is 11168 > o?
True
Let b = -275 + 293. Let x be (-9)/((-27)/(-2)) - 1104/b. Let w(g) = 2*g**3 + 7*g**2 - 3*g - 3. Let h be w(-5). Is x at most as big as h?
False
Let i be (-1)/((-1)/3*-1). Let x be -19 + -219*13/(-195). Which is bigger: i or x?
i
Let z(j) = 3*j**3 - 17*j**2 - 4*j - 12. Let r be z(6). Suppose r = 92*v - 99*v + 42. Do v and 1 have the same value?
False
Let n(v) = -241*v**2 + 17*v + 1. Let d be n(-1). Which is bigger: d or -2308/9?
-2308/9
Let l = 33 - 28. Suppose x - 5 = 0, 0*c - 5*c - 25 = -l*x. Suppose -3*h - 3*u - 9 = 0, c = -4*h + 3*h + 4*u + 12. Is -3 at most as big as h?
True
Let j be (-1 - 0)/((-6)/42*1). Suppose c + 56 = x, 5*x + 13 = -j. Let p = -176/3 - c. Which is smaller: 0 or p?
0
Let q be 7489/7 - (-165)/1155. Is 1060 at most q?
True
Suppose 3*n = -l + n - 38, -4*l - 127 = 3*n. Let v = 23 + -54. Which is greater: v or l?
l
Let k(p) = 0*p - 2*p - 56*p**2 + 22 + 55*p**2 - 39 - 6*p. Let w be k(-5). Is w != 2.01?
True
Let v be (-3)/(-6)*(-3 - -3 - 1). Let q = -0.177 + 127.177. Which is bigger: q or v?
q
Let g(n) = -2*n**3 + n**2 + 734*n + 6. Let v be g(0). Let a be (-4)/(-13)*111/9. Let i = 20/13 + a. Is i smaller than v?
True
Suppose -2*v - 20 = -124*s + 122*s, -s + 28 = -4*v. Is 27 > v?
True
Suppose -2377 - 7073 = 63*j. Suppose -3*a = -302 + 752. Does j = a?
True
Let s(z) = -20*z - 411. Let f be s(-19). Let v = 278 - 316. Which is bigger: v or f?
f
Let m = -1510 + 154019/102. Let z(y) = 1147*y + 1148. Let i be z(-1). Is m greater than or equal to i?
False
Suppose 2*z - 2*o = 0, -5*z + 9 + 3 = -o. Suppose 9 = -3*t + z*s, -18 - 10 = -4*t - 4*s. Let m be 1 + 0/t - (-6)/(-10). Is m equal to -0.17?
False
Let y(k) = 28*k**2 - 2*k + 1. Let t be y(1). Suppose -138*s = 178 + 98. Is s smaller than t?
True
Let w = -271 + 271.4. Let v = 31.9 - 33. Which is greater: w or v?
w
Suppose 127*x - 9 = 118*x. Is 2/17881 greater than or equal to x?
False
Let i = -15245 + 15263. Let w be (-2 - -5)*2/(-6). Which is greater: i or w?
i
Let j(h) be the second derivative of -h**3 + h**2/2 - 16*h. Let x be j(-2). Suppose c - x + 6 = -2*r, -18 = 2*c - 4*r. Which is greater: c or -15?
c
Let b(h) = -4*h + 46. Suppose -l - 4*q - 16 = -2*l, 16 = l - 2*q. Let f be b(l). Is 1 at most f?
False
Suppose 5*z = -5*b - 400, 0*b = -z - 3*b - 90. Let q = 2772 + -2768. Let y be (46/q + -1)*z/(-90). Which is greater: y or 10?
10
Let j(u) = u**3 - 9*u**2 + 7*u + 7. Let o be j(8). Let q = -6 - -10. Let x be ((-1)/(-6))/((-2)/32*q). Which is smaller: o or x?
o
Let q = -149 - -203. Let p = -21606 - -21659.966. Let s = p - q. Which is greater: -1 or s?
s
Let s(h) = -h + 1. Let y(m) = 7*m - 17. Let p(j) = 5*s(j) + y(j). Let f be p(3). Let r be (42/(-35))/(f/15). Which is smaller: -2 or r?
-2
Let d = 19 + -77/4. Let y = -152924 + 152920. Is y greater than d?
False
Let n be (-6866)/10 - (59 + -10)/(-7). Which is greater: n or -680?
n
Let s = -25525 + 18883. Do 0.2 and s have different values?
True
Let b = -132.4 + 288.3. Let h = 156 - b. Is h not equal to -17?
True
Let y be (6/16)/((-9)/(-6)). Let r = 274605/11 - 24965. Which is smaller: r or y?
r
Let f(b) = -b + 28. Let i be f(-17). Suppose 0 = 56*r - 61*r + i. Let t be r/6 - 1/2. Are -13 and t non-equal?
True
Suppose w - 1 = 4*q, q = 4*w - 9*w + 5. Let c be -6 - ((-778955)/(-560) + -1). Let y = c + 1396. Is y equal to w?
False
Let f(a) = 644*a - 1932. Let l be f(3). Which is smaller: 17/740 or l?
l
Let q be (60/9)/(2/(-12)). Let a be (5/q)/((-2)/(-12)). Let k = 34 - 36. Does k = a?
False
Suppose -11653 = -12*y + 21755. Let z be 14*70/y + (-6)/16. Is -1 greater than or equal to z?
False
Let a be 14/(-3)*(-222)/(-4). Let v be (1 + 14)*(-2 + ((-385)/21 - -3)). Which is greater: a or v?
a
Let g = 190 - 317. Let d = 2645.94 - 2519. Let b = g + d. Which is smaller: -3 or b?
-3
Let i = -66.034 - -66. Let x = i - 22.966. Let d = 22.95 + x. Is d smaller than 6?
True
Let d = -43306381786/53369 - -811452. Which is bigger: -1 or d?
d
Let g = 4611 + -4609.88. Is g smaller than -1?
False
Let i = -2206 + 2229.03. Let c = i - -5.07. Which is smaller: c or -1/4?
-1/4
Let n = -115 + 125. Suppose j = d + n, 2*d + 3*d + 56 = -j. Is -7 equal to d?
False
Let g be (6120/198)/5 + 4/(-22). Suppose 2*j + 13 = -n, 2*j = 2*n - 5*n - 23. Let u = j - g. Is -10 smaller than u?
False
Let h = -734 - -702. Let c(z) = -z + 58. Let d be c(0). Let v = -90 + d. Is h < v?
False
Let c be 32/(-16) + 35/(-15)*(-2)/6. Suppose 0 = 4*s - 3*y - 45, 0 = -5*s + 2*s + 3*y + 36. Suppose -12*q = -s*q. Which is smaller: c or q?
c
Let l(m) = 9*m - 8. Let i(q) = -2*q. Let w(h) = 5*i(h) + l(h). Let z be w(-6). Which is greater: z or 0?
0
Let l(w) = -14*w + 312. Let x be l(22). Suppose 3*r + v = x*r + 1, 2*v + 4 = -r. Which is smaller: r or -3?
-3
Let n be ((1 - 1) + 1)/(3 - 23). Which is greater: n or 8?
8
Suppose 0 = 5*n - 5, -4*l + 0*l - 2*n = 42. Let q = -20 - l. Let x be 8/(-52) - (-2070)/(-234). Do x and q have the same value?
True
Let k be ((-40)/(-12))/((-1)/3). Let j be (-6)/k + 1211/(-35). Suppose p + i - 12 + 47 = 0, -2*p = i + 68. Which is bigger: p or j?
p
Let v = 42.961 + -43. Let s = 91.661 - 91.2. Let z = v - s. Which is greater: z or 0.3?
0.3
Let z = 1/288316 + 14023113603/