 - 48871520/168589. Let w = d + b. Which is bigger: -2/3 or w?
w
Let f = -122.741 - -123. Let z = 0.259 - f. Which is greater: z or 16?
16
Let f be 4/(1 - 0/1). Suppose -4 + 5 = 5*c - 4*o, -5 = -f*c - o. Let n = -11942 - -11940. Do n and c have the same value?
False
Let j be (45/(-6))/(6/8). Let w be 7/70 + 1/j. Which is smaller: w or 2/151?
w
Let v be (-18)/22*(-18)/27 - 32/(-22). Let b be (1 - (-2)/(-2)) + 3. Suppose -2*z - 2 = 4*t + v, -b*t - 4 = z. Is -8 equal to t?
False
Let o(v) = -v + 8. Let n be o(16). Let x be (30/(-45))/(-2 - n/6). Which is smaller: x or 22/37?
22/37
Suppose 0 = -5*t - 4*a + 9, 4*t - 32 = -a + 4*a. Let g = 615/28 + -6063/364. Is g at most t?
False
Let s = -19.7 - -10.99. Let y = 6.71 + s. Is -1.33 less than or equal to y?
False
Let h(r) = 69*r - 3931. Let o be h(57). Is o not equal to 100/101?
True
Let x be 0/((-2)/1 - 0). Suppose x = 5*g + 72 + 58. Let z(i) = -2*i**2 - 25*i + 636. Let a be z(13). Do g and a have the same value?
False
Let m be (-969)/6460*(-10)/51. Let u = 2 + 1. Suppose u*z = 8*z. Are z and m non-equal?
True
Suppose 4*w - 19 = 3*w + 5*a, 0 = -3*w + 4*a + 24. Let n = 54 + -48. Suppose -2 = -4*t + 2*v + 3*v, w*t = v - n. Is t != -3?
True
Let s = -6713 + 6712.83. Which is greater: s or 18/13?
18/13
Let x(b) = -49*b - 50. Let z be x(-2). Let v be 7 - (-8 + z)/5. Are v and 2/359 nonequal?
True
Let j be (-16)/(-136) - 104686/578. Let h = -383 + 201. Is j at most as big as h?
False
Let s = 1 + -1. Let w be 8/12*1 - 165/(-9). Suppose 6*f = 2*c + 3*f + 11, -4*c + 3*f = w. Which is smaller: c or s?
c
Let s be 154 + -147 - (2 - 4192). Which is smaller: 4198 or s?
s
Let m = -1/1040 - 86839/1040. Are -83 and m equal?
False
Suppose -2*b - 4 = -l, 3 - 8 = -b. Suppose -l*i = 83 - 13. Is 4 < i?
False
Let r = 143 + 872. Is r at most as big as 1016?
True
Let h be 202/(-48) + 2/(-3). Let d = -522 + 531. Suppose 0 = s - 4*i + d, -s + 7*i = 11*i + 1. Is h > s?
True
Let l = 64 - 63. Let b = 960.3 + -1436.3. Which is greater: l or b?
l
Let c = -372 + 790. Let r = c + -406. Which is smaller: -0.3 or r?
-0.3
Let u be 12/(-40) - 7231/(-70). Let l be 4/12*-2 + u/6. Which is smaller: l or 17?
l
Suppose -724 = 8*h - 3644. Suppose -359*m = -h*m. Which is smaller: m or -1/158?
-1/158
Suppose 2*r = 3*r - 2*d - 12, -2*d - 10 = 0. Suppose -r*g - 8 = -0*g. Let h = 1.087 - 4.087. Which is greater: h or g?
h
Let i be 3/(27/(-90)*-10). Is i less than or equal to 2/3561?
False
Let a = 113 - 112.978. Let l = a + -0.018. Let b = -1.004 + l. Is -1 less than b?
False
Let t = -182.59 - -183. Suppose -2 = -3*x - 5. Is x != t?
True
Suppose 0 = j + 5*c - 2297, -4089 - 481 = -2*j - 2*c. Which is smaller: j or 2279?
2279
Let d = 1887 - 190585/101. Let m be 3/((-312)/(-10)) - 18/(-117). Which is smaller: d or m?
d
Let a(n) = 8*n**3 + 71*n**2 - 18*n - 68. Let l be a(-9). Let g = 7/17 - 57/221. Which is greater: g or l?
l
Let j be (-2)/8 - 122/(-552). Let m = 77758 + -77758. Which is smaller: m or j?
j
Let s = -61 + 94. Suppose 220*f + 1728 = 274*f. Which is smaller: f or s?
f
Let p = 93 - 93.4. Let d = p - -35.4. Is d not equal to -2?
True
Suppose -1411 = -5*q - z + 5*z, 5*q - 5*z = 1410. Let n = 325 - q. Is 42 equal to n?
True
Let o = 193 - 192. Let h be (o/(-3))/((-5)/165). Which is bigger: 10 or h?
h
Let v(o) = 4*o**3 - 2*o**2 + 2*o - 1. Let s be v(1). Let l be (8 - 0) + 0 + s + -5. Suppose -c = l*c. Which is bigger: c or 3?
3
Let w be (-33)/(-9) + 4/6. Suppose 4*h + 4*n - 240 = 0, -4*n - 340 = -5*h - n. Let d = -61 + h. Is d at least w?
False
Suppose u + u - 272 = 0. Suppose 0 = 7*p - 4*p + p - 544. Is u > p?
False
Let t be (1 - 0) + (-12)/3. Let w = t + -3. Suppose 11*h + 88 = 11. Is h at most w?
True
Let h = 48436 - 48200. Do h and 0.013 have the same value?
False
Let d = -11966 - -11949. Which is smaller: 1/348 or d?
d
Let u(g) be the first derivative of g**3/3 - 13*g**2/2 - 137*g + 245. Let q be u(-10). Is 90 less than or equal to q?
True
Let o = 0.3 - 0.3. Let g(p) = 2*p**3 + 75*p**2 + 298*p + 9309. Let j be g(-37). Is o >= j?
True
Let u = -16000 - -15998. Which is smaller: 7/230 or u?
u
Let f = -251/414 + -59/46. Suppose 5*n + 2 = -3. Which is greater: n or f?
n
Suppose 0 = 5*c - 4*w - 1690, -88*w = -5*c - 90*w + 1690. Is -18 < c?
True
Let q be 38 - 33 - 212150/(-94). Let a = q + -2262. Which is bigger: a or 1?
1
Let x = 1369 - 1360. Is 19 >= x?
True
Let f = 4766 - 4883. Which is smaller: f or -121?
-121
Let o = -17 + 13. Suppose -2 = 9*h - 10*h. Suppose -a = 3*a - h*w - 10, 0 = -3*w - 15. Which is greater: a or o?
a
Let j be (83/(-3))/(20/15 - 1). Let s = 62 + j. Let k = 107/5 + s. Is k at most as big as 16/13?
True
Let u = -6920 + 5956. Is u != -962?
True
Suppose 2*a + 4*x - 6 = 2*x, -a + x = -3. Suppose a*t = -t + 124. Which is greater: t or 30?
t
Let h be (-1153)/(-21) - (((-3355)/(-231))/5 - 3). Do 65 and h have the same value?
False
Let w be (0 - -2) + (-576)/(-4). Let d = 37285 - 37140. Do w and d have the same value?
False
Let c = -14 + 25. Let f = 650.376 + 0.424. Let x = f + -651. Are x and c nonequal?
True
Let g(p) = -1155*p - 328. Let y be g(9). Is y >= -10723?
True
Suppose 4*t = 3*y + 11, -9*t + 14 = -2*y - 5*t. Suppose -152 = -5*k + y*k. Suppose 2*q - 19 = 3*g, 6*q + 5*g - k = 3*q. Is 19 > q?
True
Suppose 2*r + 3*h - 86 = 0, -h + 78 = -0*r + 2*r. Let z = r + -33. Suppose -11*q + 7 = -z. Is q < 1/41?
False
Suppose -40*h - 7*h - 26630 = 2792. Which is smaller: -636 or h?
-636
Let g(j) = -j**2 + 10*j - 3. Let p be g(9). Let c(s) = s**2 - 3*s - 6. Let d be c(-4). Let l = d + -24. Is p not equal to l?
True
Let n be (-1)/(-7) - (-26)/(-182). Which is smaller: n or 8/79?
n
Let n be (17/(-3) - (-2)/(-3)) + -1. Let m(f) = f**3 - 15*f**2 + 13*f + 6. Let z be m(14). Let r = z - n. Is r != -7?
True
Suppose -3*g - t - 4*t = -30, -t + 20 = 2*g. Let u(m) = -14*m + 7. Let r be u(-2). Suppose -5 + r = 3*w. Is g <= w?
True
Let i = -252 + 111. Let c = i - -140.6. Is 1 bigger than c?
True
Let t(a) = -2*a**2 + 5*a + 229. Let b be t(12). Which is smaller: -8/665 or b?
-8/665
Suppose -16*i + 19*i = -153. Let s = -43 - i. Is 7 at most as big as s?
True
Let q = -32853 + 32600. Is -228 at most as big as q?
False
Let r(j) = j**3 + 6*j**2 + 6*j + 5. Let f be r(-5). Suppose 0 = -2*w - 3*a + 42, f*a + a = 3*w - 85. Let k = 38 - w. Which is smaller: k or 14?
k
Let a be ((-42)/8)/21*(-5 - -1). Which is smaller: a or 12/173?
12/173
Let g be (0 - 0)*(12 + -11). Suppose g = -6*m + 72 + 24. Is 21 smaller than m?
False
Suppose -3*m + 3832 = 5*m. Suppose 121 = 10*z - m. Let q = -54 + z. Is q at most as big as 5?
False
Let h = 20846 - 26405. Does 2 = h?
False
Let z = 0 + 0. Let i be 17/(-17)*-366*(-3)/(-6). Which is greater: z or i?
i
Let u = -3/125300935795 - -7723925587180202/82239890898754505. Let j = u - 39/421. Is -1 < j?
True
Let r be (80/120)/((-8)/4044). Which is smaller: -340 or r?
-340
Let m(b) = -b**2 - b + 182. Let l be 13/4*(-3 - -17 - 10). Let c be m(l). Which is smaller: 1/275 or c?
c
Let v = -218 + 234. Let w be 3/6 - ((-2728)/v + -1). Is 171 equal to w?
False
Let y(r) = r**3 - 2*r**2 - 6*r + 6. Let m be y(4). Let w be -44 + (2/2 - -1). Let g be (-28)/w*(0 - 6/4). Is g equal to m?
False
Let p = -94.75 + 66.9. Let r = -28 - p. Let u = 0.05 + r. Is u less than -23?
False
Let v be (2/6)/(((-156)/(-5112))/13). Let z = v - 155. Is z equal to -12?
False
Let l(q) = -2*q**3 - 8*q**2 + 5*q - 1. Let k be l(-5). Let f be ((-50)/k - (-10)/(-15))*-2. Let t(v) = v**2 + 7. Let i be t(0). Is f != i?
True
Let d be 1 + -220 + 0 - (3 - 2). Let m = -96 - d. Let i = m + -73. Is 50 equal to i?
False
Let d(g) = -50*g**3 - g**2 - 3*g - 1. Let b(k) = k**2 - 12*k - 41. Let q be b(15). Suppose 7 - 11 = q*a. Let j be d(a). Is -1 less than or equal to j?
True
Let m be 16 + (-288)/16 - -1365. Which is smaller: m or 6822/5?
m
Let l be (8/6)/(4/330). Let o(q) = -445*q - 3006. Let i be o(-7). Which is smaller: i or l?
i
Let u = 55 - 32. Let b = 359/30 - 123/10. Is u at most b?
False
Let k = -228 + 228. Is k at most 1/10612?
True
Suppose 2*i = 24*h - 27*h - 245, -i - 142 = -5*h. Which is smaller: -134 or i?
-134
Let r be 22/3 - (11 - 320/30). Suppose 3*o = 5*s + 39, -r*o + 4*o = 2*s + 3. Let g be 94/(-20) - (-1)/(-2). Which is greater: g or s?
g
Let z(k) = -k**2 + 23*k + 30. Le