660. Are -50 and p nonequal?
True
Let x be ((-18)/2262)/((-16)/(-384)). Which is greater: x or -1?
x
Suppose 5*p + 0*p = 20, -9834 = d - 3*p. Let y = -107964/11 - d. Which is bigger: 7 or y?
y
Suppose 0 = -58*r + 8803 + 1115. Let i = -302 + r. Is -131 greater than i?
False
Suppose -35 = -b + 5*n + 22, -2*n + 294 = 4*b. Suppose -71*v = -b*v. Let y be 15/10*(v - 142/(-3)). Which is bigger: 72 or y?
72
Let c be ((-10188)/10181 + 1)/(36/(-9046547)). Let v = c + -1/40724. Let j = 173 - v. Is -6 at least j?
False
Let b = 7183/2 + -3710022/1033. Which is greater: -1 or b?
b
Let f = 147 - 162. Let d = 17 + f. Which is greater: d or -0.6?
d
Let z = 551.7 + -551.8. Do -3/6416 and z have the same value?
False
Suppose -5*p = 0, -2*j - 3*p + 5*p + 12 = 0. Let a be (-2)/j - 22806/(-54). Are a and 423 equal?
False
Suppose -274*y + 272*y + 28 = 0. Suppose 28*u + y = 35*u. Which is smaller: u or 36/23?
36/23
Suppose 0 = 5*x + 20 + 25. Let k be x/132 - (-2)/(-11). Let s = 21103 + -21150. Is k > s?
True
Let t = -7494 + 7493. Which is bigger: t or -2/7737?
-2/7737
Let l(j) = -3*j + 20. Let k be l(6). Suppose 7*c - k + 9 = 0. Let n be 10/(-58)*20/(-50). Are n and c equal?
False
Let g = 12293 - 61467/5. Do -0.4915 and g have the same value?
False
Let g be 80/(-225) - 24/54 - (-32412)/365. Let i be 2/(-5) - (-1346)/15. Is i != g?
True
Let r(y) = 6*y**3 - 2*y**2 + 5*y - 5. Let c be r(2). Suppose -11 = -14*n + c. Does n = -9/7?
False
Suppose 3*h = -8*k - 16, -h = -4*k - 6*h - 36. Suppose 2*i + 8 = 0, -y + 3*y + 2*i + 174 = 0. Let b be y/195 - (-4)/10. Is k greater than b?
True
Suppose 313 = 8*y - 255. Suppose 4*b + 6 = -n - 303, -n + y = -b. Which is greater: b or -78?
b
Let u = -1669.7 - -1670. Which is smaller: u or 428?
u
Let j = 4141 - 4076. Which is bigger: 7/5 or j?
j
Let c = 185/3 - 12401/201. Let a = -2930/603 + c. Is -5 less than a?
True
Let m = -43/2080488 + 181780565779/351602472. Let r = m - 517. Let q = r - 2875/338. Which is greater: q or -9?
q
Suppose 0 = -2*o - 3*w + 7*w + 142, 4*w = 8. Let h be 2/9 + (-1328)/(-18). Is h greater than or equal to o?
False
Let s(h) = -h**2 - 64*h + 10. Let o be s(15). Which is smaller: -1174 or o?
o
Let u = -250793/3850 - 1/550. Which is smaller: u or -64?
u
Let i(b) be the first derivative of -b**5/120 - 7*b**4/8 + 2*b**3/3 + 14. Let r(l) be the third derivative of i(l). Let n be r(11). Which is bigger: n or 1?
1
Suppose -8*f + 7*f = -9. Suppose 2*k + 3*k = 2*l + 6, 0 = 3*k - 3*l - f. Is -2/55 greater than or equal to k?
False
Suppose -2*l - 10 = -4*l. Let k = 5303 - 5303.5. Which is bigger: k or l?
l
Let l(t) = 3*t**3 + 7*t**2 + 6*t + 3. Let n be l(-4). Suppose 758 = -5*v - 29*v - 2676. Are v and n equal?
True
Let m be (-20)/(-5)*2/(-8). Let i = -13 - -3. Let h be (92/i - -8)/((-28)/10). Is m > h?
False
Let r be ((-6)/((-1416)/19))/((31 + -15)/80). Is r <= 1?
True
Let w(a) = -3*a**3 + 7*a**2 + 5*a - 15. Let h be w(5). Let v = 329 + h. Are v and 140 non-equal?
True
Let g = 773620 + -773620.15. Let k = -2 + 1.9. Let r = k + 0.3. Which is bigger: r or g?
r
Let a = 17.19 + -0.19. Let c = -39/1478 + 389/739. Which is smaller: c or a?
c
Suppose -20*m - 6971 = 1329. Let f = -448 - m. Which is greater: -32 or f?
-32
Suppose -3*l + 994 = 2*j, -5*l + 2367 - 377 = 4*j. Are j and 489 nonequal?
True
Let u be (-373)/(-34) - -16 - 8. Is u >= 18?
True
Let c be (-24)/4 + -3 + (-175)/91. Is -10 smaller than c?
False
Let d = -5.531 + 83.031. Does d = 1?
False
Suppose 0 = -2*u - 3*b - 2*b + 28, -68 = -2*u + 5*b. Let k be 12/150*15 - ((-476)/20 - -1). Is k greater than u?
False
Let v = -26.1 + -237.9. Let h = -298 - v. Do h and 7 have different values?
True
Let c(b) = b**3 + 24*b**2 + 33*b - 52. Let o(m) = -4*m**3 - 68*m**2 - 98*m + 155. Let d(r) = 7*c(r) + 2*o(r). Let y be d(33). Is y smaller than -28?
False
Let u = 29111 + -28283. Is u smaller than 4975/6?
True
Let a be 118086/(-13134) + (-486)/(-54). Which is bigger: 0 or a?
a
Let a = 2865 + -2864. Are a and -2/8849 unequal?
True
Let i(x) = -8*x**2 + 4*x**3 - 3*x**3 - 10 + 8*x + 1. Let g be i(5). Let f = g + 33. Is f at least -11?
True
Let v(w) = -1. Let x(g) = g - 8. Let z(l) = 5*v(l) - x(l). Let a be z(-9). Let b be (a/(-105))/(24/(-10) - -2). Which is bigger: b or -1?
b
Let t = -9605/957 - -19/87. Do -9 and t have the same value?
False
Suppose -2*u - 1 = -t - 3*u, -t + 3*u + 5 = 0. Suppose 3*i = 2*i + t. Let p be (-57)/i - (3 - (-21)/(-6)). Which is smaller: p or -26?
p
Let n = 165.7 - 148. Let j = n + -18.7. Which is smaller: 3 or j?
j
Let s(q) = 5*q**2 + 6*q + 2. Let i be s(-4). Suppose -1392 = -34*m + 10*m. Suppose -m = -p - i. Is p not equal to 3?
True
Let q(y) = -2783*y + 11131. Let m be q(4). Which is bigger: -32/343 or m?
-32/343
Let i(p) = 384 - 395 + 0*p**2 + p**2 - 12*p. Let t be i(13). Let j be (-7)/(-30) - t/5. Is 0.1 greater than j?
True
Suppose 2*u - 71 = 47. Suppose u*k - 14*k = -135. Let v = 14901/8 + -1865. Which is bigger: v or k?
v
Let m be 1 - 5/((-5)/2). Suppose -2*j - c + 455 = m*j, 260 = 3*j - 2*c. Let t(r) = 546*r - 9193. Let y be t(17). Which is bigger: y or j?
j
Let j(w) = -16*w**3 + 13*w**2 - 10 + 9*w - 8 + 17*w**3. Let t be j(-12). Let z be t/5 + 2 + (-32)/20. Which is smaller: z or -0.05?
-0.05
Let h(p) = 12*p. Let q be h(2). Let j be 104/884 + ((-4815)/(-51))/5. Is q < j?
False
Suppose 17 = 5*c - 8. Let h = 70 - 65. Suppose -c - h = -10*m. Is m > -1/109?
True
Let o = 4.929 + -4.629. Is o < 0.13?
False
Let i be (242606/(-1023))/(-91) - ((-2)/3 + 0). Is 3/8 at least as big as i?
False
Let g(i) = -i**3 - 5*i**2 - 5*i + 3. Let a be g(-4). Let f(x) = 13 + a - x - 7. Let n be f(6). Do n and 6 have different values?
True
Let g = 77 + -69. Suppose -g*l - 12 = -11*l. Suppose 5*t - 10 = -f, -5*f = -t - l - 20. Is t greater than or equal to 5/9?
True
Let s = -4.481 - -395.681. Let c = s + -392. Let d = -2 + 5. Is d at most c?
False
Let d(k) = k**2 - 1. Let i be d(-7). Suppose 7*a - 3*a + i = 0. Let n be -66*(40/a - -3). Is 24 > n?
True
Let g = -3.3 + -25.7. Let z = -43 - g. Is z equal to 0?
False
Let b be ((24/(-30))/((-12)/(-36510)))/2. Is -1209 != b?
True
Let o(q) = -2*q**3 - 40*q**2 - 119*q + 31. Let j be o(-16). Do -78 and j have the same value?
False
Suppose -480*p + 483*p + 1185 = 0. Let i = p - -415. Which is smaller: 21 or i?
i
Let d = -541.7 + 572. Let j = 30 - d. Suppose -13*w = -3*w - 30. Do w and j have different values?
True
Let b = -2432 + 1829. Is b at least -600?
False
Suppose -4*g - 3*x = -3, -21*g + 23*g - 2*x - 12 = 0. Suppose -14 = -k + w, 6*w = -k + g*w + 26. Is k < 114/7?
False
Suppose 0 = 4*v - 6*v - 16. Let i be ((-30)/v)/(-5)*-2*2. Let z be -4 - (i/42 - 4). Is z equal to 1?
False
Suppose -11762*m + 11765*m + 3*j = 804, -3*j = 5*m - 1316. Let d = 156 - -99. Is d <= m?
True
Let c = -7395 - -8068. Which is greater: 670 or c?
c
Let l(k) = -2*k**3 + 13*k**2 + 49*k - 331. Let h be l(6). Do 2/14587 and h have the same value?
False
Let k be ((-628)/52 + 12)*-13. Does 4/715 = k?
False
Let g = -10784/3 + 3684. Is 88 greater than g?
False
Let h = 703380/29 + -24266. Which is smaller: -11 or h?
h
Let i = -285 + 284. Let o be (179 + -182)/(i/(-10)*2). Does 7 = o?
False
Let l be (-12 - ((-3)/(-9) - 11))*(-9)/2. Which is smaller: l or 32?
l
Let k = -14695 - -2476. Which is greater: -12218 or k?
-12218
Let m be (-1 + 0)*(0 + 2). Let q = -16779/110 + 1668/11. Is m greater than q?
False
Let z = -2532731/89 + 28458. Which is smaller: z or -1?
-1
Suppose -15 = -2*h + 5*h, -4*y - 13 = h. Let i be (-220)/24 - (-6)/(-72)*y. Which is smaller: -7 or i?
i
Let q = -675.074 - 0.926. Let w = -675.7 - q. Let y = 0.17 + -12.17. Is w at most as big as y?
False
Suppose -11*u - 714 = -u + 33666. Is u greater than 1?
False
Let i = 223 + -175. Suppose -7*k = -8*k - v + i, -4*k = -v - 187. Are k and 43 nonequal?
True
Let q = 11858 + -11858. Which is smaller: q or -3/4895?
-3/4895
Let w = -16/9 + 194/99. Let n = -16 + 16.085. Let r = n - -0.015. Which is bigger: r or w?
w
Let x(j) = -5*j**2 + 3 - j**2 + 5*j - 14 + 7*j**2. Let g be x(-7). Suppose -2*c + g*c = -49. Which is smaller: c or -51?
-51
Suppose 0 = -31*q + 53*q - 352. Let p be 6/q + (-133)/312. Is p at least as big as 1?
False
Let h = 2763 + -2764. Is 21/127 <= h?
False
Let a(o) = o + 4. Let i = -19 + 5. Let s = 7 