m = y - 83. Let b = 0.055 - m. Which is greater: b or -3?
b
Let r be (0/((-65)/13))/3. Are r and 5.64 equal?
False
Let g(w) be the third derivative of -w**4/8 - 11*w**3/2 - 45*w**2. Let h be g(-11). Which is bigger: -2/63 or h?
h
Let p = -4387 - -4387.1. Which is smaller: p or 3145?
p
Let w = -17018833/121 - -140649. Which is greater: -3 or w?
w
Let y(q) = q**3 + 11*q**2 + 11*q + 11. Let o be (1/2)/((-1)/20). Let b be y(o). Suppose -3*z + 2 = 17, 0 = -4*v + 5*z + 29. Does b = v?
True
Let g(f) = f**3 - f**2 + 2*f - 24. Let w be g(3). Which is smaller: w or 1/6611?
w
Let d be 0 + (-6 - 11/(-1)). Suppose -a - d*i - 22 = -62, -2*i = 3*a - 68. Is 21 != a?
True
Let k be (-6)/4*(-4 - 1432/(-6)). Let x = -355 - k. Is 0.001 less than x?
False
Let j = -233 - -237. Let w be (-48)/192 + ((-49)/j)/1. Which is greater: w or -13?
w
Let d = 14698 + -43544/3. Let c = 184 - d. Which is smaller: -0.3 or c?
-0.3
Let t(v) = v - 1. Let z be t(10). Suppose -4*r - z = -f - 12, -5*f = 15. Which is smaller: r or -1/283?
-1/283
Suppose -4*s - 8 = 0, 5*s = -7*x + 4*x - 247. Let q = -31 - x. Are 97/2 and q unequal?
True
Let y = -16894 + 16921. Is y <= 27?
True
Let v(y) = 336*y - 3. Let x be v(4). Let u = -4622651/4681 + -53344/151. Let b = x + u. Which is smaller: 0 or b?
0
Let t(h) = 2*h**2 + 673*h - 2724. Let y be t(4). Is y less than or equal to -2/5443?
False
Let d(t) = 708*t**2 + 9*t + 8. Let m be d(-1). Let b = 33228/47 - m. Is 0 greater than b?
True
Let q = -2769 - -2938. Is q at most as big as 172?
True
Let q = 3 - -4. Let f = 19307/4 - 4821. Is q greater than f?
True
Let p(a) = 27*a + 654. Let i be p(-24). Which is greater: i or 147/25?
i
Let r = 49 + -49. Is -4/49 at most as big as r?
True
Let s be 6/(-72) + 1110616/(-1248). Which is bigger: -892 or s?
s
Suppose 4*a = 4*z - 18 - 14, 2*z - 1 = -a. Suppose k - 5 = 0, 3*c - 46 = k - 3*k. Suppose 4*r + 2*o = 3 - 1, -c = -z*r + 2*o. Which is smaller: r or 4/5?
4/5
Let j(b) = -11*b + 29. Suppose -9*i + 9 = -36. Let y be j(i). Is -24 < y?
False
Let w(y) = -29*y + 16. Let a be w(15). Let f = 65637/4 - 16409. Which is greater: f or a?
f
Suppose 631 = 495*f - 12734. Let g(x) = 5*x**2 - 3*x - 1. Let y be g(-2). Which is smaller: y or f?
y
Let k = -81 + 285. Let i = -205.62 + k. Let d = -0.62 - i. Is 2/19 <= d?
True
Let v be -1 - 7937614650/533*4. Let o = -59569369 - v. Let y = 356/13 + o. Which is smaller: -1 or y?
-1
Let v = -1233763/285 - -4329. Let d = v + -64/95. Is 10.6 at least d?
True
Let f be (-30)/70 + (-130)/21. Let t = 44/7 + f. Suppose -3*q - 10 + 2 = 5*l, -3*q - 1 = -2*l. Do q and t have different values?
True
Suppose -3*s = 3*h + 2*h + 46, -3*h = s + 22. Let o(b) = b**3 + 5*b**2 - 19*b + 7. Let v be o(s). Let c = v + -2060/49. Is c smaller than 1?
True
Let c = -2003860/1575797 + -3/15299. Which is smaller: -1 or c?
c
Suppose 11 + 34 = 3*p. Let k be (-18)/30 - (-534)/p. Suppose 0 = -6*x + 5*x + 36. Is k not equal to x?
True
Let i = 6691.93 - 6763. Let n = i + 1.07. Let u = n + 70.1. Is u at least as big as 0.1?
True
Suppose 6*g + 12*m - 16*m - 20 = 0, -4*m - 20 = 4*g. Which is bigger: g or 9/1619?
9/1619
Let d be (-3 - 32001)/12 - 22. Is -2691 < d?
True
Let q = -151.997 - -152. Let n = 190 - 1708/9. Which is bigger: q or n?
n
Let d be ((-1068)/890)/(3/145). Which is smaller: -512/9 or d?
d
Let n = -556 - -558. Suppose -2*t - n = -5*v + 8, 3*v + 5*t = -25. Is -6 smaller than v?
True
Let s(w) = -w + 19. Let v be s(17). Let i be ((-20)/25)/(v/(-5)). Let q be (-25)/(-10)*(-12)/15. Is q bigger than i?
False
Let y be 14/2*(15 - 13). Let s = 16 + -3. Which is greater: y or s?
y
Let c = -1.928 + 6.928. Is c greater than or equal to 45/8?
False
Let w = 1 + -2. Suppose -19*c - 760 = 4*k - 15*c, 4*k = 2*c - 760. Let p = k + 200. Is w not equal to p?
True
Let p be 9/(-63) + 7922/59619. Do 0 and p have the same value?
False
Let y = -0.031 - 0.056. Let m = 2905.913 + -2905. Let s = m - y. Is s at least as big as -2/13?
True
Suppose -2*v - 3*v - 2*n = 18, 4*v - 12 = 5*n. Let a be (-14)/(-1) + -4 + -1. Suppose i + 12 = -3*d, 4*d + 18 = -5*i - a. Is v smaller than d?
False
Suppose -3*l + 26 = -2*m, -l - 4*l + 2*m = -50. Suppose -159 = -5*z + 3*a + l, 0 = 5*a + 10. Is z bigger than 32?
True
Let g be 0*(-1*(-6)/(-18))/(-1). Suppose g = -d + 3 - 5, 0 = 3*r - 4*d - 17. Is 18/5 at most r?
False
Suppose -294 = 17*n - 76*n - 5014. Let u(g) = -82*g**2 + 1. Let x be u(1). Is x equal to n?
False
Suppose 9*g = 4*g - 4*v + 529, 4*v + 416 = 4*g. Let i(f) = 38*f + 30. Let w be i(2). Which is bigger: w or g?
w
Let k = -1398914/13 - -107699. Which is smaller: 90 or k?
90
Suppose 0 = 4*z + 12, 4*l - 40*z + 37 = -35*z. Let y = 0.06 + -3.06. Is y at most as big as l?
False
Let b be (-224)/48 - (3 - 7). Let v = 149 + -100. Which is smaller: b or v?
b
Let q(i) = i**2 + 32*i - 163. Let j be q(-37). Suppose -j + 28 = k. Which is greater: 9 or k?
9
Suppose 5*j + 27 = f, 2*f + 2*j + 13 - 43 = 0. Suppose z - f = -3. Suppose -13*i - 15 = -z*i. Are i and 15 non-equal?
False
Let b(x) = -19*x - 1014. Let g be b(-87). Are g and 1919/3 equal?
False
Let d = -17.82 + 17. Let m = d - -0.69. Let b = m - -0.13. Which is smaller: 104 or b?
b
Let m(h) = 338*h + 2716. Let y be m(14). Which is greater: y or 7449?
7449
Let p be 126/21 - (-25904)/(-759). Let z = 172/69 + p. Which is smaller: z or -26?
-26
Let s be 0*(-4)/(4/(-1)). Let d = 588 - 471. Suppose -p + s*p = -d. Is 117 greater than or equal to p?
True
Suppose 71*g = -83216 - 15474. Do g and -1389 have the same value?
False
Suppose 46*h - 2278 = -27*h + 6*h. Which is smaller: 32 or h?
32
Let j = 1659 + -1740. Which is bigger: j or -89?
j
Suppose 0 = -21*z + 60 + 318. Which is smaller: 143/8 or z?
143/8
Let h = 4.968 + 0.032. Let t = h - 6. Which is smaller: t or 29?
t
Let c(i) = -9*i + 276. Let n be c(-17). Do n and 428 have different values?
True
Let d = 7.4924 + -7.3224. Let n = 0.01 + 0.39. Is d greater than n?
False
Let b be (-528)/(-3960)*(3/(-2) + -3). Let n = 2 - 3. Let w = n - -1.2. Is b less than w?
True
Let n be ((-1)/2)/((-2)/304). Let t(k) = 61*k + 5021. Let d be t(-81). Which is smaller: n or d?
n
Suppose 9*r = -97 - 371. Let i be (13/65 - 1)/(r/10). Which is greater: i or 1/4?
1/4
Let c = 129592/8102679 + 2/21723. Which is smaller: c or -1?
-1
Let t be (-3)/((-12)/5)*16. Let k(b) be the third derivative of b**4/4 - b**3/2 + 2*b**2 - 28. Let f be k(4). Is t <= f?
True
Let u(b) = 228*b - 3639. Let c be u(16). Which is greater: 732/77 or c?
732/77
Suppose 104*d + 123*d = 49*d - 4984. Is -488/17 > d?
False
Let m be (100/98 + (-47 - -46))*15. Let g = 1/49 - m. Which is smaller: 1 or g?
g
Let a be (40 + -45)*(7026/15 + 0). Is -2341 at least a?
True
Let o = -31 + 31. Let b = o - -5. Suppose -q = -3*w + q, b*w + q = 0. Does w = -1/4?
False
Let p(d) = d - 155. Let n be p(-22). Let f = n - -167. Let y = -0.8 + -0.2. Which is bigger: y or f?
y
Suppose -22*x + 4511 = 13061 + 17718. Is -1199 greater than x?
False
Suppose 3*v - t + 5025 = -2*t, 5*v + 5*t = -8395. Is -1671 at most as big as v?
False
Let q = 12646/39 - 324. Let i = 5483 - 5484. Are i and q nonequal?
True
Let g be ((-30)/(-21))/((-26)/(-91)). Let p = 46 - 51. Which is smaller: g or p?
p
Let v be 218/8 - (-1)/(-4). Suppose -22*l = -v*l - 60. Let q be (-20)/25*69/l. Is 6 < q?
False
Let w = 0.04204 - 0.25164. Is w != -1?
True
Suppose -3*i = 5*y - 0*i - 2277, 4*y = -2*i + 1822. Is y at most as big as 450?
False
Suppose 4*m = -64 + 80. Let b be 12/42 + m/(-14) - 391. Which is bigger: b or -390?
-390
Suppose -44*z + 49*z - y = -561, 0 = -2*z + 2*y - 234. Are z and -116 unequal?
True
Suppose 6*s = 7*s + 4. Let m be s/5*(-40)/16. Suppose -5*a + 3*v + 2 = 65, -m*v = -3*a - 37. Is -15 at most a?
True
Let j = 2.13115 - 0.13115. Are j and 1953 non-equal?
True
Let b(o) = 18*o**2 + 71*o - 16. Let k be b(-11). Suppose -1277 = -4*l - k. Which is smaller: l or -3?
l
Let x(h) = 6*h - 111. Let o be x(9). Let u be (47 + 1)*(0 + -2). Let z = o - u. Is 40 less than z?
False
Suppose -24*q = -a - 19*q - 2411, q + 2393 = -a. Are -2397 and a non-equal?
True
Suppose -119*t - 1762 = 5*t - 274. Let u(d) be the second derivative of -d**3/2 - d**2 + d. Let w be u(3). Is t < w?
True
Let g be (-127011)/(-42)*2/(-1567). Let d = -4/1567 - g. Do d and 3 have the same value?
Fa