-1 composite?
False
Let x(u) = -22*u. Let t be x(-1). Suppose 4*i - 17 = -65. Let l = i + t. Is l a composite number?
True
Suppose 559 = -q - 131. Let d = q + 477. Is d*((-7)/3 + 2) composite?
False
Is (-353220)/(-54) + (-18)/162 a composite number?
True
Is 2851*6 + (-6 - (-8 - -1)) prime?
True
Let s(p) = 5*p**3 + 9*p**2 + 26*p - 63. Is s(13) prime?
True
Let l = 46 - -10. Is 6796/14 + (-24)/l a prime number?
False
Suppose -3 = -n + 1, 0 = -4*d - n - 812. Let g = d - -67. Let m = g + 234. Is m a composite number?
False
Let z(q) = 379*q. Let b = 13 + -8. Let t(n) = n - 4. Let g be t(b). Is z(g) composite?
False
Is 1*4 + (16 - -4011) composite?
True
Suppose -4*d + 5 - 1346 = -5*q, 0 = 2*d + 3*q + 643. Let z = 2214 - d. Is z a composite number?
False
Let s = 235 + -124. Suppose 4*p + 3*c = s, 0 = -4*p + 2*c + 60 + 26. Let j = 43 - p. Is j prime?
True
Is ((-4)/10 - 465378/30)*-1 a composite number?
True
Let l(p) = 525*p - 4. Let v(d) = 524*d - 3. Let c(t) = -5*l(t) + 6*v(t). Let o(m) = -2*m - 1. Let x be o(-1). Is c(x) a prime number?
True
Let b = 786 - 783. Let z be 44*(0 - (-10)/4). Is 1/(b - z/37) prime?
True
Suppose -3*u + 0*u - 26 = 5*l, -30 = 5*l + 5*u. Let d be (-22)/l - 2/4. Suppose 1552 = d*p + 87. Is p a composite number?
False
Let s = -565 + 2748. Is s prime?
False
Suppose 2*f = -3*s + 11, 2*f + 3*f - 22 = -2*s. Let g(z) = 2154*z**2 - 1. Is g(s) composite?
False
Suppose -676521 = 1551*s - 1560*s. Is s a prime number?
True
Let w(h) = -h**3 + 5*h**2 + 10*h - 11. Let a be w(9). Let n be a/(-28) - 1/(-4). Let v(r) = -r**2 + 13*r - 13. Is v(n) a composite number?
False
Suppose -6*u + 12*u - 21558 = 0. Is u composite?
False
Suppose 0 = 26*k - 6*k - 1340. Is k a composite number?
False
Suppose -165 = -4*o + 3*k + 4, -2*o + 5*k + 67 = 0. Suppose -3*h - t = -o, h = 2*h - 2*t - 6. Is 8/(-28) - (-6570)/h composite?
True
Let j be 2 + 1 + (70 - -2). Let m = j - -64. Suppose -d = -m - 62. Is d composite?
True
Suppose 5471 + 3768 = t. Is t a prime number?
True
Suppose 2*y - 4*m - 2806 = 0, 4*y + 3*m - 2154 = 3425. Is y prime?
False
Suppose 0*j = -j. Suppose j = -5*l + 4*k + 7962, -k + 0 = -2. Suppose -l = -3*y + y. Is y prime?
True
Suppose -2*l = l, 3*a - 17619 = -2*l. Is a a prime number?
False
Is 5/(-2)*143874/(-45) a prime number?
True
Suppose 5*j - 323477 = -6*j. Is j composite?
True
Let j(a) = 35*a + 5. Let o(x) be the second derivative of -35*x**3/6 - 2*x**2 + 5*x. Let w(y) = -4*j(y) - 3*o(y). Is w(-9) composite?
False
Suppose -13*c + 17*c = 62564. Is c a prime number?
True
Let x(n) = n**3 - 7*n**2 + n - 9. Let k be x(7). Let h be (-2)/(0 - k)*0. Is h + (-2)/(8/(-844)) a prime number?
True
Let i = -14 + 23. Suppose 3*h = i + 3. Suppose h*u + 145 = 5*q - 262, -u - 330 = -4*q. Is q a prime number?
True
Suppose -7*b = -6*b. Let k be 2 - (3 + (b - 153)). Is k/2 - (-5 + 2) prime?
True
Let l = 4 - 1. Suppose 20 = c + l*c. Is (-6)/10 - (-1198)/c prime?
True
Let s(r) = -209 + 205 - 6*r - 2*r**2 + 3*r**2. Is s(9) prime?
True
Let s(n) = 4*n**3 + 2*n**2 + 1. Let v be s(3). Let m = -98 + -398. Let x = v - m. Is x prime?
False
Let h be (-7 - -4)*(-1 + 4 - 4). Let n(t) = 164*t**3 - 2*t**2 + 2*t + 1. Is n(h) prime?
False
Let f(g) = -737*g + 63. Is f(-10) a composite number?
False
Let d = 58 + -55. Suppose -5*h = -0*m + d*m - 620, h = -3*m + 112. Is h composite?
False
Suppose 8*t = 9*t - 7. Suppose 8*b - 635 = t*b. Is b a prime number?
False
Let a = -2574 + 5296. Is a a composite number?
True
Let j(w) = -3*w**3 - 7*w**2 + 5*w. Let b be j(-7). Suppose 2*n + 131 - b = 0. Suppose 2*g = 4*z - 468, -3*g + 18 - n = -2*z. Is z a composite number?
True
Let n(o) = -399*o + 19. Let x be n(-4). Let z = x - 878. Is z a composite number?
True
Let b = 89 + -68. Is b composite?
True
Suppose 296 = -0*v - 2*v. Suppose 3*i + 20 = -3*s + i, 19 = -4*s + 5*i. Is s/(-4)*v/(-6) a prime number?
True
Let h = -91 - -81. Let g(j) = -48*j - 7. Is g(h) composite?
True
Is (-8548)/6*9/(-6) prime?
True
Suppose -5*j + 4756 = 4*k - 2*k, 0 = 5*j + 5*k - 4765. Suppose 4*w - 2*g = 2*w + 392, 0 = -5*w - g + j. Is w composite?
False
Let m(t) = 67*t**3 - t**2 + t - 1. Let i be m(1). Let h be ((-8)/6)/(-2)*6. Suppose w - 83 = -h*p, 3*p - 3*w = -0*p + i. Is p a prime number?
False
Let q(k) = -150*k + 71. Is q(-19) a prime number?
False
Let w = -446 - -708. Let k = -963 + 1403. Suppose 4*p - w + 108 = -2*f, -5*f + p + k = 0. Is f a prime number?
False
Let z be ((0 - 1)*1)/(22/(-154)). Let a(x) = x**3 - x**2 - 6*x + 1. Is a(z) a prime number?
False
Is 27706/5 + 2/(-10) prime?
False
Let r be (3/6)/(-1)*(-7 + 1). Suppose 0 = -4*v + t + 2526, -v = r*t - 491 - 134. Is v a composite number?
False
Let t be 34*1 - (-3 - (-63)/9). Suppose t*b = 33*b - 4911. Is b a prime number?
True
Let g(z) = 462*z**3 + z**2 - 15*z + 1. Is g(5) a prime number?
False
Let o = 11 + -4. Let y(a) = 16*a - 29. Is y(o) a prime number?
True
Let f(x) = 28*x + 162. Is f(14) composite?
True
Suppose 0 = -2*t + 4*c - 20, 0 = 3*c - 4 - 11. Suppose t*j - j = -81. Suppose -j = -2*a - 19. Is a a composite number?
False
Let z = -15 + 36. Suppose 4*r = 2*x - 2, -7*x + 2*x = -2*r - z. Is (r/(-2) + -286)/(-1) a composite number?
True
Let p(r) = -r**3 + 4*r**2 - 3*r + 4. Let v be 3 - -1 - 3 - -2. Let q be p(v). Suppose -q*u = u - 1455. Is u prime?
False
Suppose 507 = -2*k + 5*k. Suppose 3*s - k - 17 = 0. Suppose s = -4*t + 6*t. Is t a composite number?
False
Let n(g) = 130*g**2 - 6*g - 26. Is n(5) a prime number?
False
Suppose 40*s + 4116904 = 128*s. Is s a prime number?
False
Let b = -192 + 298. Is b prime?
False
Let v(x) = 108*x**2 - 131*x - 26. Is v(31) a composite number?
True
Let j(p) = 86*p**3 - 9*p**2 + 49*p - 7. Is j(6) composite?
False
Let g(r) = r + 5. Let q be g(-5). Suppose 0 = 11*y - 17*y + 1482. Suppose 3*d - 4*t + q*t = y, -t - 173 = -2*d. Is d composite?
False
Suppose t = 3*s - 3, s - 3*s - 5*t + 19 = 0. Suppose -4*p = -3*r - 18, s*p - r - 11 = -p. Suppose u + 2*u + 4*w - 133 = 0, -p*w = 3*u - 138. Is u prime?
False
Suppose 0 = x + 290 + 84. Let g = 756 + x. Suppose -4*i = -2*i - g. Is i prime?
True
Suppose 5*o + 2*r - 37639 - 46710 = 0, 0 = 5*o - 4*r - 84337. Is o composite?
True
Let g(o) = -253*o - 133. Is g(-20) prime?
False
Let w(t) = 210*t - 301. Is w(13) a prime number?
False
Is (-48952)/(-8) + (3 - (-21)/(-7)) composite?
True
Is ((-2)/4)/((-25)/7450) a composite number?
False
Let v be 16/3 + -5 + 5/3. Suppose 7*l - v*l - 9685 = 0. Is l prime?
False
Suppose 0 = 17*k - 5143 + 876. Is k a composite number?
False
Let y = -55 - -57. Is (-68*y/(-4))/((-4)/(-94)) composite?
True
Let l = 13536 - 5347. Is l a prime number?
False
Let g(u) = -u**3 - 7*u**2 - 5*u - 7. Let y be g(-5). Let o = -28 - y. Let f(a) = 71*a + 9. Is f(o) a composite number?
False
Is (-15)/(-9) + 24120/27 a composite number?
True
Let f(s) = 12*s + 72. Let r be f(-6). Let l(d) = 44 - d**3 - 7 + 0*d**3. Is l(r) composite?
False
Let z(y) = 511*y + 40. Let t be z(21). Suppose -4*m + 5*m - 10775 = -3*j, 2*m = -3*j + t. Is j prime?
True
Let u = -79216 - -117365. Is u composite?
False
Suppose -3*c + 0*c + k + 17 = 0, 5*k + 15 = c. Is -2 - (0 - c) - -110 a composite number?
False
Let d(z) = -136*z + 18. Let k be d(-2). Let h = k + -25. Is h a composite number?
True
Let b = -15 + 15. Suppose 2*m - 3*s = b, -3*m - 17 = 2*m + s. Is (86/m)/(2/(-21)) a composite number?
True
Let k = -20 - -22. Suppose -22 + k = 5*c. Is c/4 + 38*1 prime?
True
Let t = -222 + -127. Let f = -126 - t. Is f a composite number?
False
Let r be (3262 + -2)*(-10)/4. Is 2/(-12) - r/12 composite?
True
Let t(c) = -c**3 - 4 + 11 + 4*c**2 - 6. Let q be t(4). Is (q - 3)/(2/(-37)) prime?
True
Let o = -591 - -220. Let b = -2250 - -3278. Let l = b - o. Is l composite?
False
Suppose 0*h + 4*h - m - 1035 = 0, 0 = 5*h + 2*m - 1297. Is h a prime number?
False
Suppose 5 = -2*f - 9. Let r = 9 + f. Suppose -u + 1257 = r*u. Is u prime?
True
Suppose 0 = -0*d + 5*d + 2*v - 21, 24 = 5*d + 3*v. Suppose 3*y = 7*y - d*r - 13, -y + 9 = 5*r. Suppose y*w = -w + 1055. Is w a composite number?
False
Is (6/(-5))/((-80)/95800) a prime number?
False
Let g = 29 - 25. Suppose 4*k - 3681 = -4*q - 737, 0 = 3*k - g*q - 2229. Is k a composite number?
False
Suppose -195 = 5*y + 8*y. Let a(l) = -188*l - 41. Is a(y) prime?
False
Let d(p) =