 a or 1?
a
Let g(j) = -j**2 + 39*j - 368. Let z be g(23). Is -517/6 != z?
True
Let p be (6/(-9))/((-2)/(-12)). Let t be (1/3)/((-2)/p). Let x be (640/56)/(-40) + (-174)/(-756). Which is smaller: t or x?
x
Suppose 5*u = -3*d - 0*d + 216, -3*d + 234 = -u. Let q be -4 - -1 - 317/(-4). Let f = q - d. Which is greater: f or 0?
0
Suppose -6 = 3*a + 3*x, 41*a - 40*a + 3*x = -8. Which is greater: a or 2/53787?
a
Suppose 7*u + 3*u - 100 = 0. Let z be (-390)/725 + u/25. Is z less than 1?
True
Let a(q) = 967*q + 967. Let c be a(-1). Is 5/322 greater than c?
True
Suppose -4*r + 66904 = 4*d, -2*r = d - 6777 - 9951. Is 16723 greater than or equal to d?
False
Suppose 16*h - 11*h + 140 = 0. Let i(k) = -30*k**2 + 1. Let f = 29 - 28. Let z be i(f). Which is greater: z or h?
h
Let x = -43.9 + 50. Let i = x + 14.9. Let t = 47 + i. Which is smaller: -0.1 or t?
-0.1
Let o(x) = -21*x - 732. Let k be o(-33). Which is bigger: -2 or k?
-2
Suppose -4*w + 207*j = 203*j - 3204, -4*j = w - 781. Is 797 at most w?
True
Let h(d) = -8*d - 4. Let l be h(-3). Let k(b) = b**3 - 132*b**2 - 1128*b + 1141. Let m be k(140). Is m at most l?
False
Let z(l) = l + 3. Let r be z(7). Suppose i - s = -3*s - 14, 5*i + r = 5*s. Let c = -5 - i. Which is greater: c or 1/26?
c
Suppose -2 = -3*l + 1. Let s = 26 + -31. Let r be l*-3 - (0 + 3 + s). Which is greater: r or 0.3?
0.3
Suppose -2*w = 5*g - 2, 6*g + 24 = 3*w + 3*g. Suppose -4*s + 32 = -w*p + 10*p, -4 = -s. Which is smaller: 13 or p?
p
Suppose -8*q + 47 + 193 = 0. Is 251/8 < q?
False
Suppose -3*f + 32 = w, -51 + 3 = -5*f - 3*w. Suppose -3*y - 4*c = 81, -f = 8*c - 4*c. Let q be 6*10/(-15) - y. Is q <= 19?
True
Suppose 23*h + 3*h = -12*h + 64942. Is 1711 != h?
True
Let r = 211/21 + -31/3. Let s = 13.3 - 14.47. Let j = s + 4.17. Is r at most as big as j?
True
Let j be -1 - ((-22)/(-99) - 1786/18). Let y be 20/(-10) - j/(-10). Let q = y + -367/40. Which is smaller: q or 0?
q
Suppose -r = -5*f - 1874, 284*r - 279*r - 9322 = f. Which is smaller: 1862 or r?
1862
Suppose 26 = 7*d - 6*d. Suppose -4 = -x, -4*f - x + d = 110. Let p be ((-33)/12)/((-5)/(-40)) - 1. Is f at most p?
False
Suppose -43*u - 2192 - 7599 = -30. Is -226 > u?
True
Suppose 0 = 5*m - 2*q + q + 33, 0 = -4*m - 2*q - 18. Let f = -341 - -59. Let k = 284 + f. Are k and m equal?
False
Let v(n) = -n**3 - 7*n**2 - 10*n - 6. Let b be v(-5). Suppose -4*k - 11 = -19. Let j be (k/b*1)/(55/1914). Is j less than or equal to -11?
True
Let p = 1535/1768 + 3/442. Let g = -199 + 174. Let y = g - -25.1. Is y != p?
True
Let d be -6 + 9/((-72)/(-88)) - -2. Is d not equal to 107/13?
True
Let k be (-71 - -68)/((-3)/(-40)) - 6. Are -7 and k unequal?
True
Let v = -1495 + 1351. Which is smaller: -18 or v?
v
Suppose 5*m = 6*m + 356. Let o(r) = 4*r - 947. Let v be o(148). Is v equal to m?
False
Let v = -386873/15 + 25806. Is v bigger than 13?
True
Let k = 1345 - 6697/5. Which is greater: k or -49?
k
Suppose -676 = -313*l + 512 + 1942. Which is greater: l or 633?
633
Let h = 8.01 + -0.01. Let g = -5.38 - -5.18. Which is smaller: g or h?
g
Let a(m) = -m**3 - 2*m**2 - m - 17. Let i be a(0). Let d be (-16 - -1)/(i/51). Which is smaller: 48 or d?
d
Let x be (-8 - (-189)/18)*2/5. Let h(z) = 2*z**2 - 13*z - 2. Let u be h(7). Suppose 43 = u*l + 8. Which is greater: x or l?
l
Let u = -40 + 44. Suppose -u*t - 4*s + 6 - 2 = 0, -2*t + 3 = s. Suppose 4*v = -0*v + 2*h + 84, t*v + h = 34. Is 20 greater than v?
True
Suppose -500 - 2679 = -17*r. Let f = r + -104. Which is greater: f or 2?
f
Suppose -80 = 2*w - 3*b, -5*w - 3*b = 2*b + 225. Let c = w + 35. Let n be c + 7 + -3 - -24. Which is greater: n or 19?
n
Let a = 607 - 417. Suppose -3*g - 4*l + 8*l - a = 0, 0 = g - 2*l + 64. Which is greater: g or -61?
-61
Suppose 0*m + 3*m + 9 = 0, -4*z + 3*m + 13 = 0. Let a = 38.82 + 2.68. Let j = 30.5 - a. Which is greater: j or z?
z
Suppose 4*h - 90 = 2*o, h = -2*o - o + 33. Suppose j - h = -21. Suppose 8*p = j*f + 3*p - 12, -5*p - 16 = f. Which is smaller: 4/11 or f?
f
Let m be (16/4 - -2)/(9/(-6)). Let f be 15/(-40)*3*m/42. Suppose -4*k - v - 4 = 0, -1 = k + 3*v - 0. Which is smaller: k or f?
k
Let u = -50.46 + 54.66. Which is smaller: -193 or u?
-193
Let l(y) = 10*y**2 + 100*y - 97. Let t be l(-11). Let r be (-2 + 1)/1 + 0. Let w be 12 - 1*(-2 - r). Is w at most as big as t?
True
Suppose -859*a + 894*a = 35. Is a less than or equal to 16664?
True
Let t = 30654082734759949/3192102 - 9603102512. Let r = -8720984591/865059642 + t. Let z = r + 272/27. Which is smaller: z or 0?
z
Let o = 65.387 - 3.387. Which is greater: 39/4 or o?
o
Let m be 4 + (4 + -4)/5. Suppose -s = m*u + u + 73, 4*u + 64 = 2*s. Let d be -2 - -3 - (12 - -4). Is u less than or equal to d?
True
Suppose 5*w - 13 = 3*c + w, c - 4*w = -15. Let h = -421142 - -5469051/13. Let x = h - -446. Which is greater: c or x?
c
Let r = -103.17 - 1.83. Let o = -103 - r. Which is greater: 0.16 or o?
o
Let q be 0*-15*11/(-495). Which is bigger: q or 8/2459?
8/2459
Let m = -12.2 - 0.8. Let a = 11 + m. Let y = -304/7 - -87/2. Which is greater: y or a?
y
Let b be 1/(-2)*(11 - (-8 - -17)). Let z be (9/172)/(12/(-32)). Which is smaller: z or b?
b
Suppose -7*s = -19*s + 12. Let d be 219 + -3 - (-5)/s. Is d at least as big as 220?
True
Let m = -298 - -301. Suppose -4*a = 3*n - 25 + 18, -n + m = 2*a. Is 3/14 at least as big as n?
False
Let m = -63 + 36.5. Let o = 11.6 + m. Which is smaller: -2 or o?
o
Let n(m) = 25*m**3 - 4*m**2 - 6*m + 4. Let q be n(-2). Let c = q + 3402/17. Which is smaller: c or -1?
-1
Suppose 0 = -7*i - 32 + 4. Let k = -12 + i. Let t be 0 + (4/(-18) - k/(-90)). Which is smaller: t or -1/15?
t
Let z = -1640 - -1641. Which is smaller: 3.84 or z?
z
Suppose -7*k = -61 - 163. Suppose -y + k = -38. Is y equal to 70?
True
Let y = 10049 + -14922. Let v = 39035/8 + y. Let l = v - 851/136. Do l and -6 have different values?
True
Let r be (-3)/2 + (-18)/(-8)*2. Suppose r - 8 = 5*d. Let q be (-1)/(-3) - (-266)/(-834). Which is bigger: q or d?
q
Suppose 0 = -2*k + 5*k + 6, 0 = 2*n + 4*k. Suppose n - 8 = 2*w. Suppose -u = 2 + 2. Is w less than u?
False
Let o = -921 - -909. Let c be -13 - (42/(-56) - (-2)/(-8)). Does o = c?
True
Suppose -3*l = -4*n - 78, -3*l + 72 = n - 3*n. Let v be (-4)/l - (-1520)/11. Is 138 at most v?
True
Let s be (-6 + 0 - -1) + 172 + 72/24. Is 166 <= s?
True
Suppose -c + 47*s - 43*s - 104 = 0, -s = 3*c + 377. Is -743/6 greater than or equal to c?
True
Let t = -4290 + 4291. Is -4/3573 at most as big as t?
True
Let v(j) be the first derivative of 57*j**2/2 + 151*j + 92. Let d be v(-7). Which is smaller: d or -249?
-249
Let s = -27547 - -30916. Which is smaller: s or 16844/5?
16844/5
Let v = 251.816 + 0.184. Let k = -246 + v. Is -17/2 < k?
True
Let d = -5553911/192 + 86798/3. Which is smaller: 7 or d?
d
Let u be (6494/24)/17 + (-2)/12. Let q = -961/60 + u. Which is bigger: q or 0?
0
Let k = -2834/283 + -1802375/3679. Let q = -501 - k. Let n be (0 - 1)*(-1 + 1). Which is bigger: n or q?
n
Suppose -3*s - k = -11, -3*s + 5*k - 1 + 18 = 0. Suppose -3*z = -s + 1. Suppose -3*o - 7 = -5*q, 0 = -3*q + 4*q + 4*o + 17. Is z greater than or equal to q?
True
Suppose -25*t = -i - 18*t + 43, -t = -3*i + 29. Is -2.076 bigger than i?
False
Suppose -10 - 3 = 12*y + 11. Which is smaller: 280.6 or y?
y
Let k = -6 - 1. Let b be (-6)/(-14) - (-66)/k. Let t be (120/150)/((-2)/5) - 7. Is t at least b?
True
Let y be ((-3)/((-27)/(-6)))/(14/21). Let t be ((-4)/6)/(y/(-18)). Is t at least as big as -11?
False
Let g(c) = 13*c - 25 - 7*c + 66. Let d be g(-7). Let y = 9/17 + -201/187. Which is greater: y or d?
y
Suppose -3*l = 4*n - 128, 2*n = 3*l - 7*l + 154. Which is smaller: l or -44?
-44
Let j be 369/(-2) + (-11)/22. Let l(d) = d**2 + 23*d + 66. Let b be l(-13). Let x = b - j. Which is smaller: x or 0.1?
0.1
Let p(k) = 2*k**2 + 20*k + 21. Suppose 2*d - 2*v + 14 = 0, 31 = -4*d + 2*v + v. Let l be p(d). Let i = l + -29. Is -8 less than i?
False
Let j = -12581/34 + 370. Suppose -p - 5*d = -44, 3*d = 2*p + d - 52. Let u = 28 - p. Is u < j?
True
Let f = -8743.956 - -8794. Let h = f - 0.044. Let t = -429 + 429. Which is smaller: h or t?
t
Let c = 852 - 3325/2. Which is bigger: -811 or c?
c
Let n(s) = 2314*s - 13. Let m be n(1). Is m at most 2300?
False
Let j(b) = b**2 + 2*b. Let w be j(-2).