be y(2). Which is bigger: m or -1596?
m
Let d = 15382 - 15345. Is 34 smaller than d?
True
Let x be 22040/(-5516) + (-3)/(-4)*(-208)/(-39). Is 0 less than x?
True
Let y(q) = -q. Let s be y(2). Suppose 629 = 2*f + 607. Let i be f - (2/(-5) - 21/(-15)). Which is greater: s or i?
i
Suppose 14*j = 31 + 11. Let a(v) = -v - 2. Let w be a(j). Which is greater: w or 0?
0
Suppose 3*q = 39 - 1344. Let h = -473 - q. Is h smaller than -42?
False
Let i = -165358 - -101033828/611. Which is smaller: -1 or i?
-1
Let l be 12 - 12 - (156/(-42) + 4). Does -23 = l?
False
Let l = -57046 - -137766088/2415. Which is greater: l or -1?
l
Suppose 0 = 2*x + 3*g - 5778 - 21425, -7 = g. Which is smaller: 13613 or x?
x
Let y(u) = u**3 + 12*u**2 + 33*u + 57. Let w be y(-9). Suppose o + 3 = p, w*p = 2*p - o - 3. Let x be (-24)/(-423)*3/(-2). Is x greater than p?
False
Let i = 3 - 7. Let y be (-1)/(8/14 - 96/(-224)). Are y and i equal?
False
Let u = 2192 + -2310. Is -105 smaller than u?
False
Let f = 14432 - 15359. Let l = -0.02 - 0.08. Is f >= l?
False
Let b be (270/132 + 3 - 5)/(84/32). Is b >= -0.2?
True
Let t be ((-4)/3)/((-464)/(-348)). Let j = 257/6 - 6937/162. Which is greater: j or t?
j
Let q be (-2102 + -1)*(-1)/(-15). Let h = q + 140. Suppose -3*o + 7*o = 0. Which is bigger: o or h?
o
Suppose 132 = -12*p - 108. Is -15 greater than p?
True
Let d = -8 + -70. Let z = d + 5. Let r = -110 - z. Is r at most -39?
False
Let v = -75953/77 - -9281/7. Is v <= 338?
False
Suppose 28*b = -6 + 62. Suppose -308 = b*h - u - 71, 0 = -5*h + 2*u - 590. Which is greater: -115 or h?
-115
Let b = -5.1 - -145.1. Let d = b + -225. Is d >= 2?
False
Let u = 43.1528 + 0.0472. Let q = u - 4.2. Let a = -39 + q. Is a bigger than 0.1?
False
Suppose -4*z = 5*s + 7211, 2*z + s + 851 + 2750 = 0. Let u = -91754/51 - z. Is 1 > u?
True
Let q = -33536 + 33536.097. Is q >= 1.08?
False
Let k be 8/12 - (-2 - (-18632)/6924). Let j = k - -27934/9809. Let i = -1005/374 + j. Are 2/7 and i equal?
False
Let v be 86 - (5/(-25) - (-116)/60*-3). Is v less than or equal to -5/7?
False
Let r = -1523 - -1464. Is r smaller than -6?
True
Let g = 3 - -3. Let k be 59/(-118) + (-12)/(-32). Is k less than g?
True
Suppose 9*c - 3*l = 10*c - 1327, 2*l = c - 1302. Let g = -143010/109 + c. Is g bigger than -1?
True
Let x be -6*(-10 - (-1430)/142). Is 1 at least as big as x?
True
Let r be ((-1392)/290)/((-4)/50). Is r smaller than 57?
False
Let z be (-182372)/(-252) - (-13 - -14) - 4/(-9). Is 724 <= z?
False
Suppose -4*z = -8*z + 3*v + 21, -3*v = -5*z + 30. Let n be 15/(-10)*2 - (1 - 24). Let t be (5/n*-6)/(3/(-19)). Do z and t have the same value?
False
Let h = 0.2 - 0.24. Let f = -344.032 - -344. Let u = -0.432 - f. Is h > u?
True
Let d = -6345.305 - -6346. Is d at most as big as -6?
False
Let o be 1*3*(-9)/3. Let c be (-4)/(12/o)*(-10)/15. Let q(x) = x + 10. Let k be q(c). Is k at least -2/3?
True
Suppose 10*k + 0*k - 40 = -30. Is 3981 less than k?
False
Suppose 0 = -64*p + 63*p - 4*x + 8, -5*x = 5*p - 10. Which is smaller: -4/1521 or p?
-4/1521
Let c(h) = h + 3. Let l(s) = -s - 19. Let k be l(0). Let p(i) = i**3 + 17*i**2 - 38*i - 5. Let n be p(k). Let d be c(n). Which is greater: d or -5/9?
-5/9
Suppose -12*h + 1169 - 1013 = 0. Let x be (h - 19) + (0 - -5). Is -1/1656 at least as big as x?
True
Let f(n) = 5*n**2 - 68*n - 68. Let h be f(-1). Let y be 1/h + 3/15. Let q be 17/(-15) + (-2)/(-6). Is y less than q?
False
Let v = -5686 - -2466. Is v equal to -3221?
False
Let g = -27 + 192. Let n be (0 - -4)*(g/(-12) - 4). Is -69 <= n?
False
Let k be 10/((-15)/(-3)) - -4. Suppose 4*q - b + k*b = 4, 24 = -4*q + 2*b. Let i be ((-1)/q)/(-1) + (-627)/132. Which is smaller: i or -6?
-6
Suppose 155*t - 25 - 145 + 15 = 0. Which is smaller: t or 90.1?
t
Suppose -577*h + 174708 = -163*h. Do 4209/10 and h have different values?
True
Let t(i) = -9*i**2 + 7 + 7*i - 6*i**2 + 6*i**2 + i**3. Suppose 0 = 3*a - 12*a + 63. Let f be t(a). Is -42 greater than f?
False
Let r = 5546 - 5546. Which is greater: 3/2699 or r?
3/2699
Let r = 92/3 - 30. Let j be (8/(-44))/2 + 19304/836. Is r equal to j?
False
Suppose 0 = -3*m + 12 + 6. Suppose 14*h = m*h + 480. Let l = h + -70. Is -4 < l?
False
Let n be 11 + 2 + -5 + (-9979)/1088. Which is smaller: 0 or n?
n
Suppose 163*d - 1001 = -1243 - 1225. Let v = -320 - -1247/4. Is v equal to d?
False
Let k be (-2)/((-8)/3) - 21968865/5580. Let v = k - -3936. Which is greater: 1 or v?
1
Suppose 22*m + 13 = 5 + 8. Is m at most as big as -1/4661?
False
Let l = 3480 + -4494. Is -1015 at most l?
True
Suppose -370*g + 345*g - 6250 = 0. Which is bigger: g or -271?
g
Let b = 8738 + -4788. Is b bigger than 3948?
True
Suppose 0 = 13*o - 1454 + 388. Suppose p = 4*z - o, 4*z - 72 = -2*p - 2*p. Is 20 less than z?
False
Let t = -562/3 - -188. Let n = 6.8 - -0.2. Let c = n + 2. Which is smaller: t or c?
t
Let p = 11614 + -11666. Let x(n) = -7*n**3 + n**2 - 2. Let s be x(2). Does s = p?
False
Let k = -1/6913 - 6909/27652. Are k and 3/925 non-equal?
True
Let k be (-1 + -1)*(6 - 429/(-26)). Let h be (k/(-405))/((-7)/(-12)*-2). Which is smaller: 0 or h?
h
Let w = 556 - 535. Let f = w - 46. Is f less than or equal to -1?
True
Let o be ((-107)/15 - -7) + (-1682)/(-15). Let b(s) = s**3 + 13*s**2 + 14*s + 24. Let l = -42 - -31. Let m be b(l). Do m and o have the same value?
True
Suppose -3*c - 8 = -4*r, -53*c = -57*c - 3*r - 44. Suppose -w = -3, -30 = -5*k - 2*w + 86. Suppose -l - k = l. Which is greater: l or c?
c
Let h = 195 + -186. Let n = -18 + 20. Does n = h?
False
Suppose 15 = 3*u - 69. Suppose 6*n = 2*n + u. Let h = 8353 + -8350. Which is smaller: n or h?
h
Let k be (28/6 + -2)*-3. Let d = 245 - 344. Let t = d + 99. Which is greater: t or k?
t
Let f = -15.71 - -18.11. Are -3.6 and f nonequal?
True
Let y = -32.1 - -29.21. Let z = y - -2.79. Is z less than -423?
False
Let s = -9090.6614 + -1.3386. Which is smaller: s or -1/4?
s
Let u(z) = -104*z + 8546. Let y be u(90). Does -808 = y?
False
Let a(r) = -r**3 + 21*r**2 - 12*r + 73. Let c be a(11). Which is smaller: c or 0.4?
0.4
Let j = 13026 - 9840. Is j <= 3185?
False
Let w be (745/75)/(4/10). Let u = w + -25. Is 2/13 at least u?
True
Suppose 3*z + 4*r = -200, -3*z + 4*r + 99 - 283 = 0. Which is smaller: z or 0.4?
z
Let r = 1103/14 - 179/2. Let o be (-18)/(-4)*((-311)/144 + (-32)/512). Which is smaller: o or r?
r
Let x be ((-15)/8)/(21/28)*-2. Let y(v) = 3 + 2 + v + v**3 + x*v**2 + 3*v. Let r be y(-4). Is -1 at most as big as r?
True
Suppose 0 = 2*l - w + 8, -3*l = -2*l + 3*w - 10. Let i(m) = 12*m**2 + 4*m + 2. Let f be i(l). Suppose x = -o - 6, -3*x - o = -14 + f. Which is bigger: x or 0?
0
Let j be (-288)/56*(-147)/30*(6 + -1). Is -21 < j?
True
Let f be 1*-6*((-27)/(-567))/(4/(-14)). Let t be -1*(2 + -1 - -9). Let n be 4/t - (-18)/(-5). Which is bigger: f or n?
f
Let p(v) = 6*v + 10 + 26 - 3 - 5. Let s be p(-4). Which is bigger: -1 or s?
s
Let b = -5658 - -1106. Which is smaller: b or -4550?
b
Suppose -18*i = -18 - 54. Suppose -i*d + 2*y + 108 = 0, 3*y - 135 = 2*d - 7*d. Is 26 at least as big as d?
False
Suppose 88 = -7443*b + 7454*b. Do -71 and b have different values?
True
Let w = 3190 - 698. Is w > 2494?
False
Suppose 2*k + 4*i = 6, -5*k + i - 3*i = -23. Suppose -d = 3*d + k*o - 347, -2*o = -6. Do d and 83 have the same value?
True
Let a be (700/400)/((-4711)/56 + 2*1). Are -1 and a equal?
False
Let z be (3 - (-14)/(-4))/(11/(81865 - 3)). Which is bigger: z or -3722?
z
Let p = -19.8 + 22.62. Let t = 2.7 - p. Let f = t + 0.22. Is f less than or equal to 18?
True
Let b = 29 - 27. Suppose -b*f - 5*q = -43, -5*f + 28 = -q - 120. Is f not equal to 28?
True
Let u = -624557 + 5005861/8. Let q = 1173 - u. Which is smaller: q or -2?
q
Let h = 136/193 + -64144/93219. Which is smaller: 1 or h?
h
Let g = 115.85 + -116. Let o = g + 0.25. Which is smaller: o or -8?
-8
Let j(p) = -3*p**2 - 38*p - 120. Let k be j(-6). Which is greater: -167/3 or k?
k
Let a = 13/1387 - -2735/4161. Is a > 1897/6?
False
Let r(z) = -z**3 - z**2 + 2*z - 1. Let x be r(-2). Let v be (-66)/(-8602)*(-1968)/(-45). Let n = -6/17 + v. Which is smaller: x or n?
x
Let p = -20225 + 20214. Let y = -20 - -11. Which is bigger: p or y?
y
Let b = 2737 + -3891. Is b greater than -1154?
False
Let y be ((-14)/8 - (-1449)/252)*44/(-16).