or -2/9993?
-2/9993
Let d(m) = 3*m**3 - 38*m**2 - 14*m + 301. Let o be d(12). Is o < -153?
True
Suppose 51*r = 58*r + 98. Let z(y) = y**2 + 20*y - 6. Let c be z(r). Let l be ((-4)/(-17))/((c/(-5))/6). Do 1 and l have different values?
True
Let u = 36.36 - -6.54. Is 1/2 less than u?
True
Let t(l) = 976*l - 47. Let f be t(-1). Is -1024 bigger than f?
False
Let k be ((-50)/3)/5*342/(-95). Suppose y = -k*y - 1014. Is -80 <= y?
True
Let y = 102.02 - 102. Let a = 1.02 - y. Which is smaller: -0.051 or a?
-0.051
Suppose 54 = -4*n - 2*n. Let r be -18*(2/n - 66/(-54)). Which is bigger: -17 or r?
-17
Let r = -8825 - -8825. Which is smaller: r or -2801?
-2801
Let s = -48.1 - -48. Suppose 3*x - f - f - 311 = 0, -5*x + 521 = -2*f. Suppose 0 = -j + 6*j - x. Is s < j?
True
Suppose 0 = 5*m - 5*w - 85, 3*m + 8*w - 16 = 4*w. Let k = 2.805 + -0.005. Let h = -2.8 + k. Is h at most m?
True
Let a be 2*11/((-22)/(-425)). Let m(p) = -20*p + 1. Let x be m(-1). Let k be a/1120 - 6/x. Which is smaller: k or 0?
0
Let x be (1/(-2))/(109/2003965) + -7. Is -9201 bigger than x?
False
Let p be (-4)/(-5) - (-450)/(-250). Which is smaller: 23/110 or p?
p
Let x(y) = -64*y - 9065. Let z be x(-152). Is z > 660?
True
Let x = -12415 + 19751. Which is greater: x or 7337?
7337
Suppose -6*c = 22*c - 131156 - 116840. Is c <= 8856?
False
Let f = 30.84 + -32.2. Let t = f - -1.56. Is 3 greater than or equal to t?
True
Suppose 2*i = -5*j + 3640, i + 3*j - 687 - 1133 = 0. Let u = i - 1016. Let m be (2/(-15)*-5)/((-8)/u). Is -67 greater than m?
False
Let p = -23 - -32. Suppose 7*t - p = 12. Let o(n) = n**3 - 4*n**2 + 4*n - 4. Let r be o(t). Which is smaller: -7/5 or r?
-7/5
Suppose 2*w = 8, k - w = -14 - 37. Let n(d) = -2*d**2 - 11*d - 7. Suppose -15*c + 9*c - 48 = 0. Let u be n(c). Is k bigger than u?
False
Let s be (5 + 678/10)*5. Suppose 3*p = -s - 194. Which is greater: 0 or p?
0
Suppose 8*r - 4 = 36. Suppose r*z - 35 - 50 = 0. Suppose 4*u + 2*a = 22, 2*u + u + 2*a = z. Which is bigger: 2 or u?
u
Let f be (294/(-20))/((3990/25)/7). Is 0 > f?
True
Suppose -3*u - 17*v = -2310, 2*u - 3*u = -4*v - 770. Is 770 less than u?
False
Let i be 30*143039/(-1391) + 2*2. Let v = i - -3081. Which is smaller: -1 or v?
-1
Let x(b) = 27*b - 647. Let a be x(24). Which is greater: 1/2397 or a?
a
Let z(n) = -5*n**2 - 29*n + 9. Let d be z(-6). Suppose -5*i + 3*i + 24 = 0. Let b(l) = -l**3 + 13*l**2 - 11*l - 11. Let s be b(i). Which is smaller: d or s?
s
Let d be 18/30*(-20 + (-7825839)/(-391293)). Which is smaller: -1 or d?
-1
Suppose r - 5*y = -20, -5*y - 12 - 8 = 3*r. Suppose u = m + 4*m + 290, -4*u + 5*m = -1100. Let k = -280 + u. Do k and r have the same value?
True
Suppose 19*k - 1009 - 55 = 0. Suppose 78*t - 71*t = k. Is 68/9 greater than or equal to t?
False
Suppose x - 3*c - 277 = 0, c + 3*c = -4*x + 1060. Let f be (2003265/132)/57 + (-1)/(4/(-3)). Is x equal to f?
False
Suppose 214 + 422 = -12*n. Let p = n + 196. Are 143 and p non-equal?
False
Let z = -11 - 2. Let u(f) = -f**2 + f + 32. Let q be u(5). Let c = q + z. Is -5/32 less than c?
False
Let x = -30 - -8. Let w be 1662/(-66) + (-4)/x. Which is smaller: -26 or w?
-26
Let y be ((-2)/14)/((-33)/(-99)). Let n = -6 + 8. Suppose 0*q = n*q - 5*m, -5*m = 0. Is q < y?
False
Let y = 12.89 - 12.99. Suppose 2*z + 107 = z. Are z and y non-equal?
True
Let j be (-2)/(-6) + 22/(-3). Let z(o) = 2*o**2 - 172*o + 293. Let r be z(84). Let t = r - j. Are -36 and t nonequal?
False
Let p be -134*-6*3/18. Is 127 less than or equal to p?
True
Let r be (-18)/4*26/(-195)*-7. Let c = 12 - 10. Suppose -3*d + 3*s = 3, 2*d - 5*s - 5 - c = 0. Which is smaller: r or d?
r
Let w be -3 + (-501)/(-133) - 10/(-35). Let v = 302/323 - w. Let z = 2 + -1.9. Which is smaller: z or v?
v
Let y = -121334 + 121384. Let j = 157 - 106. Which is greater: j or y?
j
Suppose 0 = 14*m - 4*m + 7330. Let s = m + 534. Which is greater: -200 or s?
s
Suppose 8*k - 7*k + 510 = 5*g, -3*k = 5*g + 1610. Which is smaller: k or -523?
k
Let i(b) = -b**3 - 4*b**2 - 2*b - 8. Let h be i(-4). Suppose 4*p + h*o + 402 = 3*o, -188 = 2*p + 5*o. Is p at least -99?
True
Suppose 0 = -6*p - 31 + 157. Let y be 1 - (-128)/(-7) - (-6)/p. Let c(i) = -4*i**2 - 1. Let n be c(2). Are y and n nonequal?
False
Let b be (4/3 - -4)*(-27)/(-6). Suppose -b*c = -26*c + 6. Suppose c*y - y + 12 = 2*r, y - 24 = -5*r. Is 7 != r?
True
Suppose 4*c + 4*s - 32 = 0, -7*c + 5*s + 20 = -6*c. Let j(n) = 9*n - 5. Let a be j(-5). Let l = c + a. Is -39 equal to l?
False
Let u(c) = c**2 - 25*c + 42. Let g be u(24). Let w be (-9)/6 + 27/g. Which is smaller: -2/13 or w?
-2/13
Let x = -1 + 2. Let m = -62761/25426370 + 1/30970. Let n = m - 515/125613. Is x < n?
False
Let p(d) = d**3 + 47*d**2 + 156*d - 46. Let c be p(-43). Is 643 > c?
True
Let g be ((-52)/650)/((-2)/25). Which is greater: g or -2/3915?
g
Let l be (146/21316)/(4/(-2) + (-308)/(-48)). Is 1 greater than l?
True
Let w = -72.318 + -0.182. Let g = w + 1.5. Let z = g - -70.7. Which is smaller: 14 or z?
z
Let p be (8 - -2)/(-4*6/912). Let i = 1519/4 + p. Which is smaller: -1/203 or i?
i
Let m = 3/2147 + 1009027/45087. Let a = m - 222/7. Let o = -4 + 3. Is a > o?
False
Let r(s) be the third derivative of -10*s**4/3 - 65*s**3/2 + 8*s**2 - 4*s. Let x be r(-3). Which is greater: 2 or x?
x
Let x(r) = 88*r - 3. Let n be 14/77*(8 - -3). Let i be x(n). Is i != 172?
True
Let g = 30 + -27. Suppose -5 = 5*q + 5, -176 = 5*a + g*q. Let r = a - -32. Is r at most as big as -7/5?
True
Suppose -7*g + 5*o = -10*g - 5, -o - 1 = -g. Let s be (-3 + -2)/(7/18 + g). Which is greater: -12 or s?
-12
Suppose -2*b = 3*y - 25991, -4*y = -b + 12727 + 230. Which is greater: 12984 or b?
b
Let t be ((-2)/(-4))/((-1)/(-4)). Let z be -8 - (-287)/35 - (-1348)/10. Let j be (-4)/((-100)/z) - 3. Is t != j?
True
Let o = -2020 + 1851. Is o equal to 1?
False
Let o be (-520)/78*(-576)/(-40). Which is greater: -29 or o?
-29
Let a = -990 + 317. Let b be 3 - (a/(-135) - 2). Is 1 at most as big as b?
False
Let m be 1008/32*(-32)/24. Is m at most -42?
True
Let m = -498 - -390. Let d be 0 - (-1 + 1) - 522/m. Which is smaller: d or 6?
d
Let p = -390 - -386. Let x(f) = 4 - 2*f + f + 0*f. Let h be x(7). Do h and p have different values?
True
Suppose -7*k + 9*k - 40 = 0. Let n = -2 - k. Which is smaller: n or -21?
n
Suppose 1022 = -3*b + 2*j - 867, 6*b + 3742 = -5*j. Let d = b + 623. Is d < -68/13?
False
Let d be (3799/(-58))/((-1349)/103) - 5. Let r = d - 723085/18886. Which is smaller: r or -38?
r
Let c = 0.2127 - 0.1147. Is 0.6 > c?
True
Let s = 0.0358 + -0.7328. Let n = 111.303 - s. Is n less than 0.2?
False
Let n(z) = -440*z + 3457. Let t be n(5). Is 5023/4 bigger than t?
False
Suppose y - 36 - 4 = 4*t, 4*t = -y - 24. Is y less than or equal to 87/11?
False
Let r(k) = -k**3 + 5*k**2 + 3. Let h be r(4). Suppose -5*n - h = y, 2*y = y + 2*n + 16. Suppose -y*t + t = -355. Do 72 and t have the same value?
False
Let f(v) = -10*v - 215. Let m be f(-22). Let n be (-6 - (-20)/m) + 67. Which is smaller: 0 or n?
0
Suppose -4*o - 23*d + 18*d = 296, -3*d = 2*o + 150. Is o >= -413/6?
False
Suppose 16*m = 1893 + 715. Let a = m + -1462/9. Let j be (0*(-2)/(-4))/(-1). Is j equal to a?
False
Let l(c) = -c**3 + 6*c**2 - 12*c. Let w be l(5). Let q be (180/(-35))/(-2*(-1)/(-21)). Let j be (1 - (-20)/(-12))*q. Which is smaller: w or j?
j
Suppose -r = 3*b - 14, 4643*r = 4640*r + 5*b - 70. Let q(h) = 3*h + 6. Let x be q(-5). Is x at most r?
False
Let k be -29 - (-9)/((-153)/(-272)). Are k and -137 non-equal?
True
Let h = 0.027 - 0.227. Let a be 180/(-8) - (-11 + 4). Which is greater: a or h?
h
Suppose -72 = -5*t + 13. Suppose 0 = -t*q + 14*q + 42. Suppose -q - 234 = 8*d. Is -30 <= d?
False
Let w = -85471/490 + 872/5. Which is smaller: w or 1?
w
Let o(l) = -l**3 + 38*l**2 - 45*l + 305. Let d be o(37). Let i be 2/(-3*4/(-114)). Which is bigger: i or d?
i
Suppose -212*s = 114*s - 400*s + 2368. Let z be ((2 - 0) + 2)*-13. Let x = z + 83. Are x and s equal?
False
Suppose -12*k = 1 - 85. Suppose 32 = -0*a + 4*a. Let z = a - -3. Which is smaller: k or z?
k
Let d = -77 + 50.6. Let g = -26 - d. Let y = -0.6 - g. Is y bigger than 0.17?
False
Suppose -8 - 1 = 3*i, -4*r - 85 = -i. Let l = -16 + 16. Suppose 8*v + 34 + 142 = l. Is r greater than or equal to v?
True
Suppose 986