False
Let b = -168 - -91. Let t = -44 - b. Let g(i) = 5*i**2 + 4*i. Let x be g(-3). Is x equal to t?
True
Let n(j) = 5*j**3 + 169*j**2 - 35*j + 42. Let d be n(-34). Is 60 > d?
False
Let g = 191 + -193. Suppose -847 = 22*s - 11*s. Which is greater: s or g?
g
Suppose 3213 = -53*x + 12633 + 1710. Which is greater: x or 221?
221
Let w(k) = -42*k - 199. Let s be w(-9). Suppose 2*m + s = -5*p + 16, 5*p + 4*m = -161. Is -32 greater than p?
True
Let o = -92 - -91.9. Let q = -0.0984 - 2.9876. Let r = q - -0.086. Is r at most o?
True
Suppose 45 = -11*b - 21. Let f(j) = j**3 + 6*j**2 + 15*j + 51. Let q be f(b). Which is bigger: -38 or q?
-38
Let g be 138/184 - 110507/147332. Is g > -1?
True
Let v = 0.071 + 0.001. Let w = -44.928 - v. Let o = -49 - w. Is 2 at least as big as o?
True
Let d = 7.36 - 7.463. Which is greater: 7 or d?
7
Let q = -26598 + 292806/11. Which is bigger: q or 20?
q
Let i = 331/13 + -145296/5707. Let f be 0/1*17*(-8)/272. Is f equal to i?
False
Let i be (0 + (-18)/(-56))*(-40)/(-30). Let o(g) = g + 12. Let m be (-48)/(-20)*5*-1. Let j be o(m). Which is bigger: j or i?
i
Let d be 2/4 - (-3)/(-6). Let x be (-344)/24 + 14 - (-2951)/8970. Which is smaller: x or d?
x
Suppose 5*n - 2*t = -2104, -t = 3*n + t + 1272. Is n at most -422?
True
Let u = 458 + -455. Suppose -28*g + u = -31*g. Let d be (-1)/65*2*3. Which is greater: g or d?
d
Let g be -216*(4 + (1/(-6))/((-20)/(-3210))). Is g < 4915?
True
Let u(l) = -l**2 + 25*l - 66. Let i be u(22). Suppose i*x + 12*x = -1032. Which is smaller: x or -343/4?
x
Let t = 1478.5 + -1481. Which is smaller: -2/17 or t?
t
Let n(k) = k**3 - 33*k**2 + 26*k + 92. Let f be n(32). Let u = f + 162. Which is greater: u or -1?
u
Let s be (-101206)/12651 + (-1328)/(-166). Which is greater: 0 or s?
s
Let z = -865 + 385. Let q = z - -463. Which is smaller: q or -10?
q
Let y = 1658 + -803. Suppose -y = -5*n - 3*a, -a + 173 = n - 0*n. Let t be -1 - ((-3)/2 + (-1500)/n). Is t smaller than 9?
False
Suppose 5*i + 4*b - 400 = 0, 0 = i - b - 129 + 49. Let x be 4 - 3 - i/10. Which is smaller: x or -2/57?
x
Let y = -36.5353 + -0.4647. Which is smaller: -149 or y?
-149
Suppose -7*h + 2 = -9*h. Let t = -10/375237 - -1892820637/4878081. Let v = 388 - t. Is v less than h?
False
Suppose 0 = -30*i - 40 - 69 - 11. Is i >= -74/17?
True
Let h be -7 + 4046/224 + 3/(-48). Which is smaller: h or -100?
-100
Suppose -5*q - 6624 = -17*q. Suppose q - 104 = -14*c. Let r be (-12)/c*72/42. Which is greater: 0 or r?
r
Let k = 10.947 + -51.777. Which is smaller: k or -1?
k
Suppose -3*c + 41 = -3*y + 17, 0 = 4*y - c + 11. Which is smaller: y or 17/88?
y
Let p(x) = 2*x - 2. Let n be p(2). Let y = -35 + 217/6. Is y at least n?
False
Suppose 4*p + q + 163 = -2004, 1073 = -2*p + 3*q. Which is bigger: -533 or p?
-533
Suppose 32 = 5*q + 3*y, 4*q - 5 = 3*y - 1. Suppose 0 = -3*z - 1 + q, -3*v + 5*z - 11 = 0. Do -40 and v have the same value?
False
Let a = -21246 - -127861/6. Is a >= 65?
False
Let f = -18.685 + -2.415. Which is smaller: 64/3 or f?
f
Let w(x) = -x**3 - 9*x**2 - 7*x + 11. Let s be w(-8). Let y = 24 + s. Suppose f - y = -a - 0*a, -4*f + 24 = a. Is 28 bigger than a?
False
Let v(x) = 3796*x**3 - 92*x**2 - 95*x - 4. Let a be v(-1). Are a and -15183/4 nonequal?
True
Let s = 18054 - 18054.0375. Is s equal to 1/7?
False
Let q(a) = 2*a**2 - 5*a - 8. Let f be q(3). Suppose 2*y + 3*y = 5*n + 20, 0 = n. Suppose 0 = 5*c + 5*j + 24 - 4, 25 = -5*c - y*j. Which is smaller: c or f?
c
Let m = 9373 + -1349717/144. Let a = 5 - 5. Which is smaller: m or a?
m
Let o(i) = 14*i + 2. Let c be o(-7). Let m be 9/12 + (-34)/(-8) - 3. Is m less than or equal to c?
False
Suppose -4*s + 0 = -4*r + 16, -4*s - 7 = -r. Suppose 4*m = -r*m + 35. Suppose -m*l - 14 = -54. Which is smaller: 7 or l?
7
Suppose 5*k + 84 = -556. Let u = 272 + k. Suppose -7*v - 31 - u = 0. Is -25 greater than v?
False
Let o = -6618 - -6612.9. Which is smaller: o or -13?
-13
Suppose 95 + 1 = 4*f. Let o be 36/54 + (-442)/f. Is -18 greater than o?
False
Let p = 128.07 - 128. Let b = -944 - -949.01. Let l = b + -0.01. Does l = p?
False
Let n = 11349 - 12801. Which is greater: n or -1453?
n
Let f = -0.06493 + -1.04507. Do -0.2 and f have different values?
True
Suppose 478 + 12 = -98*t. Which is smaller: t or -63?
-63
Let g = 204 + -204.317. Let h = g + 39.317. Does h = 0.2?
False
Let s(r) = 2*r + 1. Let b be s(5). Suppose 3*w + w = -4*n - 2148, 2*n = -3*w - 1609. Let m = w + 550. Does b = m?
False
Let w = 24589.32 - 25384. Let f = -787 - w. Is -1 at most as big as f?
True
Suppose -17*b + 20 = -31. Let x be 305/315 - (b + -2). Which is smaller: -1/3 or x?
-1/3
Let m = 366 - 301. Let q = 57.119 + -0.119. Let s = m - q. Do s and -1/3 have the same value?
False
Let p be 136 - 36/90*-10*1. Let n = 143 - p. Is n at most as big as -1.8?
False
Let n = -0.011 - -30.011. Let b = 140 - 168. Let o = b + n. Which is greater: -3 or o?
o
Let s be (-47 + (-28 - -76))/(2/4 - 1). Which is smaller: 3.519 or s?
s
Suppose 2 + 2 = o. Let t be (-4)/(o/(-88)*-2). Let d be t/(-55) + 3*(-3)/(-45). Which is bigger: -4 or d?
d
Let m = 413 + -416. Let u be ((-108)/77)/m + (-16)/56. Let d = -0.2 - -0.28. Is d greater than u?
False
Let j(b) = 2*b**2 + 5*b - 4. Let u be j(-4). Let c(r) = -7*r**2 - 25*r - 2*r + 2*r**2 + 3*r**2 - 17 + 55*r. Let z be c(13). Is u at least as big as z?
False
Suppose -2*u - 1 = b, -b + 3*u - 3 = 2*b. Let d = 3188 - 3188. Let t be (b + d)*0*(-9)/(-18). Do 3/34 and t have the same value?
False
Let z = -1538/15 + 1413437/13785. Is z >= 0?
True
Let m be (52/18)/2 + 1. Let x be (0 - -86)*1387/(-146). Let h = x - -819. Is h less than or equal to m?
True
Let k(g) = -3*g + 455. Let c be k(143). Which is bigger: 161/6 or c?
161/6
Let k(l) = -l**2 - 4*l + 11. Let u be k(7). Let a = u - -51. Let r be 16/(-10) + (-9)/a + 2. Which is bigger: r or 7/4?
7/4
Let q = 201 + -2089. Is -1888 bigger than q?
False
Suppose -2 = q + b, 30 = 5*q - 4*b + 22. Let u = 2054 - 55450/27. Which is bigger: q or u?
u
Let v = 27098.008 - 27201. Let i = v - -103. Let x = -0.122 - i. Which is greater: 0 or x?
0
Suppose 14*d - d + 390 = 0. Let k = -28 - d. Let i be k/(-13) - 126/(-143). Which is smaller: -2/3 or i?
-2/3
Let o(x) = x**3 + x**2 - 44*x - 128. Let y be o(-4). Which is bigger: 2/8517 or y?
2/8517
Let f(j) = j**3 + 13*j**2 - 16*j - 108. Let a be f(-11). Which is greater: a or 307?
a
Let r(u) = -u**2 + 9*u - 13. Let b be r(3). Let q be b + ((-545)/68 - -3). Suppose 2*f = -3*f. Which is smaller: q or f?
q
Let y = 33 - 33. Suppose 2*m - 2 = y, 2*m = s + 3*s + 66. Let t = 236 - 248. Is t less than or equal to s?
False
Suppose 6*v - 3*v + 23 = -4*m, 5*m = 3*v - 22. Which is smaller: -0.22 or v?
v
Suppose 0 = -85*m + 105*m. Which is smaller: -2/40847 or m?
-2/40847
Let p = 9027 + -9027.27. Is -20 less than or equal to p?
True
Let u be (1 - 0)/((-4)/24*-2). Suppose -u*d + 2*w = -1520, 4*d + 7*w - 3*w - 2060 = 0. Let z be (-6)/(-4)*4/d. Which is greater: 1 or z?
1
Let b be (-1)/(1 - -1 - 3). Let o be -11*230/(-253) - (-3 - 3296/(-252)). Is o > b?
False
Let g = -83 + 146. Let u = -67 + g. Let c = 0.08 + 0.02. Do u and c have the same value?
False
Suppose 93 = 36*o + 93. Is o at most -9/688?
False
Let x = -54 + 145. Suppose 0 = r - 4*y - 75, -16*y = r - 12*y - x. Let u = 73 - r. Which is bigger: u or -2?
-2
Let s be (8/6)/(6 + 1645/(-273)). Let q be 14/s*828/(-43). Let i = 68/13 - q. Which is smaller: i or 0?
0
Suppose -70*o + 64*o = -120. Suppose -25*v = -o*v + 5. Which is bigger: -14 or v?
v
Let y = -15/18572 - 5684189/4643. Which is bigger: -1225 or y?
y
Let k(b) = -209*b + 210. Let l be k(1). Let h = 2559/782 - 275/46. Let c = h - -424/119. Which is smaller: l or c?
c
Let a(d) be the second derivative of -d**4/12 + 5*d**3/2 + d**2/2 + 3*d. Suppose -7*l + 38 = -67. Let h be a(l). Which is greater: h or 2?
2
Let k = -378 - -304. Let g = k - -6. Which is greater: 0 or g?
0
Let x = 3129 - 2851. Which is greater: x or -1.4?
x
Let u = 64.56795 + 0.10205. Let k = u - 0.67. Let t = -63.98 + k. Is 0.8 at most t?
False
Let l be (-18)/(-1) + (-12 - -10). Suppose 4*p - l = 32. Suppose -2 = -5*c - 5*s + 3, -4*c = 2*s - p. Is 4 > c?
False
Let a(q) = -4*q**2 + q + 4. Let x be a(2). Let o be (4/x)/(11/(-220)). Let w be (-1*(-1)/(-4))/(69/o). Which is gr