2 - 166/14). Is -2956 bigger than q?
False
Let z(m) = 698*m + 2824. Let h be z(8). Is 8408 != h?
False
Let d(m) = 10*m - 309. Let h be d(31). Is h at least as big as 1/3658?
True
Suppose 5*k + 3*g - 1481 = 0, k - 3*g = -2*k + 903. Suppose o + 2*m = -79, -3*o + m = o + k. Let q be (3*2/(-16))/((-15)/o). Which is smaller: q or -2?
-2
Suppose 481 = 72*l - 18*l - 167. Suppose 0 = -2*i - y, 5*i - i - 4*y = 0. Suppose -w = 2*b - 0*b + l, 4*w + 2*b + 18 = i. Which is bigger: w or 0?
0
Let r be (-735)/(-20)*(-3 - (-1 - -2)). Let o = r - -587/4. Let f = -20 + 20. Is f greater than or equal to o?
True
Suppose 88 = 2*o - w, 2*w + 214 = 5*o - 2*w. Suppose o*u + 25 = 45*u. Let i = u + 41. Which is bigger: i or -0.1?
i
Suppose -2*h = -77 - 33. Let k = h - 39. Let t = -5 + 4. Which is smaller: t or k?
t
Let x be 1*(-8 - -4) + (1 - 1). Let r(l) = l**3 + 4*l**2 - 5*l - 7. Let u be r(x). Let b(v) = -v**3 + 11*v**2 + 29*v - 17. Let m be b(u). Is m <= 21?
False
Let i = -2.99 + -3.67. Let h = -4.16 - i. Is -2 smaller than h?
True
Let g = -157.2 - 91.7. Let r = g - -249. Is r greater than -0.26?
True
Let g(z) = z**3 + 15*z**2 + 33*z - 36. Let h be g(-12). Suppose h = 3*s + 75 + 156. Let t(n) = -4*n**2 + 4*n + 4. Let k be t(-4). Is s bigger than k?
False
Let l = 262 - 160. Let y be 1135/11 + l/(-561). Is 102 at least as big as y?
False
Let k = -0.253 - 6.937. Let u = -1.19 - k. Which is greater: u or -2?
u
Let g = 42 - 33. Suppose 0 = -x + 5*s - g, -x - 4*s - 11 = 25. Let i(r) = r**3 + 5*r**2 - 13*r - 19. Let h be i(-7). Is x >= h?
True
Let j(t) = 372*t + 128. Let i be j(14). Let r be i/(-240) - (-1)/(-6). Is r greater than -23?
True
Let w = -42 + 41. Let t be 89 + (-3 - -4 - (-2 + w)). Let d = t - 76. Which is bigger: 15 or d?
d
Suppose 665*j = 591*j + 14726. Which is bigger: j or 192?
j
Let s = 333 - 339.36. Let q = -16.2 + 9.4. Let l = q - s. Which is bigger: -1/4 or l?
-1/4
Let z(y) = -88*y + 11. Let b be z(-4). Let w = 1073/3 - b. Let r = -17/3 - w. Which is bigger: 5/6 or r?
5/6
Let i = -4 + 46. Let s be -6*(-4)/i - 861/49. Which is smaller: s or -20?
-20
Let v(s) = s**2 - 37. Let x be v(4). Suppose 0 = 4*y - z + 99, y + 21*z = 25*z - 6. Which is smaller: y or x?
y
Let q = 15/7 - 67/28. Let z be (-73)/((-10 + 731/68)/(6/8)). Which is smaller: q or z?
z
Suppose -1 = 5*v - 6. Let r(k) = k**3 + 14*k**2 + 5*k + 120. Let f be r(-15). Let z be 8/6*f/6 - v. Which is bigger: 1 or z?
1
Let s = -13738.32 + 14301. Let l = s + -562. Is l > -0.2?
True
Let i be 3/32*(76 + (-10120)/138). Let w = 1.542 - 0.172. Which is greater: i or w?
w
Let y = 207 + -4749/23. Let f = y - -1389/115. Let u = 1182/95 - f. Are 1 and u nonequal?
True
Let d(s) = s**3 + 8*s**2 + 2. Let x(k) = -2*k - 7. Let f be x(3). Let v be (-11 - f)/((-2)/8). Let t be d(v). Which is smaller: 12/13 or t?
12/13
Let t be (2/(-28))/(1416/27258). Suppose 0 = -2*x + 3*x. Is x not equal to t?
True
Let j(d) = d**3 + 3*d**2 - 5*d - 5. Let k be j(-4). Let w be -7 + (-6505)/(-815) + k. Which is smaller: 1 or w?
w
Let s(l) = -18*l - 1. Let b be s(-1). Let u(g) = -g**2 + 21*g - 78. Suppose -5*c = h - 1 - 16, -2*c = -5*h + 31. Let r be u(h). Are r and b unequal?
True
Let y = 98.4 + -98.9. Which is greater: y or -28.1?
y
Suppose 4*d + 9 = 17. Suppose -3*v - 3 = 0, -d*k + 219 = 4*v - 3*v. Suppose -5*j - 2*i = -5 + 141, -4*j - i = k. Is j < -2/5?
True
Let w = 19 - 32. Let j be -2 + (-24)/w - (-11125)/65. Let r be j/45 - 2/(-10). Is 5 at least as big as r?
True
Let j be (80/(-2))/(1 - -8). Let k = j + 191/45. Let r = 223 - 222. Is k smaller than r?
True
Let x be (13 - 5)*-2 - 4. Let c = x - -36. Suppose -7*a + c = 5*q - 3*a, 4*q - 5*a + 20 = 0. Is 2/5 not equal to q?
True
Let q(g) = -g**3 + 13*g**2 - 29*g - 11. Let i be q(10). Let p(h) = -2*h**3 - 3*h**2 - 2*h - 1. Let y be p(i). Which is smaller: y or 1?
y
Let g be (-111)/(3 - 9/2). Suppose -3 = -2*v + 1, 3*v = -5*d - g. Let k be ((-224)/(-40) - 5)*-30. Which is bigger: d or k?
d
Let l = -0.41 - -3.41. Let s be (-4*27/72)/1. Are s and l nonequal?
True
Let u = 6.07 - 113.07. Let w = -106.96 - u. Are -4.2 and w non-equal?
True
Let w be (3 + 28/(-12))*-7*12. Let z = -46 - w. Let d be z - (0 + (-8)/(-2)). Is 3 > d?
False
Let b(n) be the second derivative of -n**4/12 + n**3 - n**2 + 10*n. Let v be b(5). Suppose 3*q - 1 - 2 = 0, 2*q = v*i + 8. Is i bigger than 1?
False
Let v(p) be the first derivative of p**3/3 - 2*p**2 - 10*p + 11. Let r be v(6). Suppose -4*i = -r*c + 4, 5 = 3*i + 3*c - 1. Which is bigger: i or -15/13?
i
Let a(u) = u**3 + 9*u**2 + 3*u + 20. Let q(k) = -k**2 - 8*k + 7. Let o be q(-8). Suppose t + 2*z = 6*z + o, 3*t - 2*z + 19 = 0. Let b be a(t). Is b at least -7?
True
Suppose x - 107 = -4*a, -5*x - 76 = -2*a - x. Suppose 4*p - 3*s = 91, -44*s + 13 = p - 48*s. Which is bigger: p or a?
a
Let z = -3456 + 577150/167. Let h be 336/8 + -1 + -2. Let k = h - 40. Which is smaller: k or z?
k
Let l(f) = -3*f**2 + 19*f + 15. Let s(k) = 6*k**2 - k + 2. Let c be s(1). Let i be l(c). Do -14/51 and i have the same value?
False
Let l(k) be the first derivative of -5/2*k**2 + 1/3*k**3 - 25 + 2*k. Let i be l(9). Which is smaller: 39 or i?
i
Let x be (-92)/6*3/(-2). Let n = x - 29. Let m be 3/(10/(-24) + 2/n). Is -4 greater than m?
False
Let u be (-2)/((-90)/(-374) + -14*8/616). Suppose k = -0*k - 35. Is k < u?
True
Let f = 269 - 395. Let c = f - -79. Is c equal to -48?
False
Let x(g) = g**2 - 30*g - 63. Let o be x(32). Let b be (o + 0)*2/16. Is -1 smaller than b?
True
Let h = 505 - 495. Let j(o) = -o**3 + 10*o**2 - 2*o + 20. Let c be j(h). Is c not equal to -101?
True
Let u be (-2)/21 - (18 + -18 + (-202596)/(-126)). Which is smaller: u or -1603?
u
Let v be -4 + (34/6)/((-10)/30). Let x(k) = -k**3 - 6*k**2 - 3*k + 1. Let q be (-17)/3 - -1 - 50/(-75). Let o be x(q). Is v greater than o?
False
Let q = 2/26783 + -4097975/2356904. Let a = q + 5/44. Are -3 and a unequal?
True
Let p = 0.352 + 16.688. Let v = 17 - p. Let t = -3.6 + 7.6. Are v and t non-equal?
True
Let x be 116383/(-193955) + ((-12)/(-14))/(110/77). Which is bigger: x or 0?
0
Let w(r) = 3*r**3 + 13*r**2 + 19*r + 7. Let g be (-2)/(-3)*((-92)/8 + 4). Let t be w(g). Are t and -138 non-equal?
False
Suppose -2*d = -t + 2*t - 25, 2*t - 53 = -d. Suppose 0 = t*x - 24*x + 189. Let w = x + 64. Which is greater: w or 1/42?
w
Let z = 10259.1 - 10259. Which is greater: -0.385 or z?
z
Let s = 14 + -174. Suppose -9483*t + 10195*t = -27085 - 86835. Is s equal to t?
True
Let f = -14670 - -278750/19. Is 6 greater than f?
True
Suppose -53*n + 60*n - 252 = 0. Suppose 2*a + 46 - 4 = 0. Let p be (-792)/a - 6/(-21). Is n not equal to p?
True
Let o = 753 - 737. Suppose -12*y - o = 140. Suppose -2*f - 49 + 3 = -5*d, -f - 3*d - 1 = 0. Are f and y unequal?
False
Suppose 132*h = 122*h + 340. Let o be (-6 - (-208)/34) + (-21)/h. Which is bigger: o or -0.53?
o
Let w = 4917 - 4918. Is w at most -13/79?
True
Let f = 36854/117 - 315. Suppose -2*k + 8*a - 3*a - 11 = 0, 4*a - 13 = k. Suppose 6*y = k*y. Is y at least as big as f?
True
Suppose 19*z - 17*z = 8. Suppose z*i - 2*b + 1021 + 95 = 0, -2*b + 276 = -i. Is -280 at least as big as i?
True
Suppose l - 129 = -115. Let v be -10*3/42 - 4/l. Is v > 1/136?
False
Suppose -2*d = -4*d. Let m(p) = -p**2 + 5*p + 23. Let o be m(d). Let u be (-2 - (-15)/10)*-2. Is o >= u?
True
Let t = 279 + -1117/4. Is t smaller than 1866?
True
Let m(d) = 2*d**2 - 30*d + 20. Suppose f - 46 + 11 = 4*r, 2*f - r = 35. Let l be m(f). Let w be ((-2)/4 + 1)/(3 - l). Does 0 = w?
False
Suppose -198 = -3*y + u, y + u = 6*y - 330. Let n = y - 81. Which is smaller: n or -16?
-16
Suppose -s = -5, -i + 17 = s - 74. Which is smaller: 260/3 or i?
i
Let a = 1095 - 1427. Are a and -6 equal?
False
Suppose 2*h = 4*k, -19 = 5*k + 5*h - 4. Let t = 126.8 - 124.77. Is k < t?
True
Suppose 0 = -4*j - 2*p - 4, p - 1 = -4*j - 3. Suppose 21*w + 0*w - 42 = j. Suppose 0*k - 2*k = 4*z + 12, 4*z - 3*k + 2 = 0. Which is bigger: z or w?
w
Let r be (5 - 11)*((-39872)/(-147) + 40/(-70)). Is -1631 at most as big as r?
True
Let c = -4 + 1. Let v = 142802/9 + -15867. Is c at most v?
True
Suppose -n - 4*n - 5 = 0. Let c = n + 1. Suppose c = -x + 2*q + 3, x + q = -0*x - 9. Which is smaller: x or -1?
x
Suppose k - 12*k = 317 - 1659. Is k greater than 75?
True
Suppose 32 