 Is q(l) prime?
True
Suppose 3*k = 2*k + 2*j - 9, 2*j - 8 = 0. Is (k - -173) + -21 + 16 a prime number?
True
Let v(h) = -h**2 - 9*h + 22. Let m be v(-8). Suppose -m*b - 23116 = -34*b. Is b composite?
False
Suppose 11 - 29 = f - 5*j, 2*f = -2*j + 12. Suppose -f*x + 3*y - 1064 = -7*x, 0 = x - y - 208. Is x a composite number?
False
Suppose -4*c + 7560 = c. Suppose 2*t + 2*t - c = 0. Let k = t + -219. Is k a prime number?
False
Let t be 18/(-12)*(5 - 3). Let k(m) = 213*m**2 + 3*m + 7. Is k(t) prime?
False
Let v(p) = -4*p + 5204. Let y be v(0). Suppose -g = -3*b + y, 5*g = -3*b + 7*b - 6935. Is b a prime number?
False
Let y be (12/10)/((-6)/(-10)). Suppose -3*p = p - y*n - 4198, p - 1050 = n. Is p a prime number?
True
Let l(u) be the third derivative of 0 - 7/60*u**5 + 0*u + 7/6*u**3 + 1/24*u**4 - 4*u**2 + 1/120*u**6. Is l(8) a composite number?
False
Suppose -3*j = -j + 2. Let i be (99/15)/(j/(-55)). Suppose -i = -2*y - y. Is y a prime number?
False
Suppose -g + i = -0*g + 1, -5*g - 5*i - 5 = 0. Let m = 63 + g. Let q = -29 + m. Is q composite?
True
Let f = 296 + 1007. Is f a composite number?
False
Let d(o) be the second derivative of 1337*o**4/12 - 21*o. Is d(1) composite?
True
Let u(l) = -l**2 - 16*l + 5. Let n be u(-16). Suppose m + 740 = n*m. Is m a prime number?
False
Suppose j + 10 = 4*v, 2*j - 22 = -5*v - 3. Suppose 0 = -j*r - 0 + 14. Is (23/(-2))/(r/(-14)) a composite number?
False
Let m = -243 - -160. Suppose 0 = -3*d + d + 3*p + 240, 2*d - p = 236. Let o = m + d. Is o a prime number?
False
Suppose 0 = -4*r + r + 1476. Suppose 0 = -2*d + 1634 + 252. Let u = d - r. Is u a composite number?
True
Let r be 10 + 2 - 0/(-1). Suppose -10*c - 24 = -r*c. Suppose 7*n + c = 3085. Is n prime?
True
Let t be (114/10)/(23/3565). Suppose -i - 2*r = -t, i + 1777 = 2*i + 4*r. Is i composite?
True
Suppose 4 = -4*f, -23 = -4*s + 2*f - 7*f. Let m(w) = 1 + 43*w + 1 + 0. Is m(s) a composite number?
True
Let b be (5 - -3)/(-4) - -2. Suppose b = 7*r - 76 - 785. Is r composite?
True
Let g(z) = -z**2 - 14*z - 5. Let v be g(-6). Suppose 4*x = v + 73. Is (1 + x/2)*26 prime?
False
Let s be -2 + (-36)/(-16) - 3/12. Is ((-9)/9)/(s - -1)*-1273 prime?
False
Suppose -83*d = -92*d + 52227. Is d a prime number?
False
Let q(v) = 16*v**2 + 13*v - 106. Is q(-25) a composite number?
True
Suppose -15*b + 121519 = 43234. Is b prime?
False
Let c(w) = w**2 - 6*w - 10. Let t be c(7). Let d be (-9)/t*(-8)/6. Is 119 + (-3 - d)*-1 a prime number?
False
Let c(v) = -v**3 - 5*v**2 + 16*v + 18. Let g be c(-7). Suppose 5*m = 4*d + m - 1924, 0 = -m + g. Is d a composite number?
True
Is 55990 + 1 - (-14 - -20) a composite number?
True
Let d = -89 + 99. Suppose -2*f + 4452 = d*f. Is f prime?
False
Suppose 3*f - 131880 = -2*f. Suppose 15516 = 12*u - f. Is u prime?
True
Let z be (-2)/((-6)/(-5) - 1). Let h = 7 + z. Is h/(-4)*(91 - -1) a composite number?
True
Let l = -83 - -29. Let d be (4/12)/((-2)/l). Suppose 1 = 5*i - d, -59 = -3*r - i. Is r a composite number?
False
Suppose -4*m + 41419 = -4221. Suppose 0*z - 5*z = 5*a - m, 0 = 3*z + a - 6844. Is z a prime number?
True
Let u be 0 - ((-135)/(-1))/(-3). Suppose 0 = -5*t + v + 4683, 0 = -2*t + 3*v + 1836 + u. Is 8/28 + t/7 composite?
True
Let g(t) = t**2 + 17*t + 32. Let n be g(-15). Suppose n = l, -7*s - 38 = -8*s - 2*l. Is s a composite number?
True
Let p = 25 + -22. Let q(i) = -5*i**3 + 11*i**2 + 11*i**p - 10 - 7*i**3 + 7*i. Is q(11) a prime number?
True
Let y(g) = -110*g - 12. Let f be y(-8). Let m = -423 + f. Is m a composite number?
True
Suppose -3*p + 4*h = 562, 3*h - 761 = 3*p + p. Let t = p - -597. Is t composite?
True
Let d(i) = 343*i**2 + 3*i + 8. Let f be d(-2). Let q = f + -751. Is q a prime number?
False
Let v(z) be the second derivative of z**5/4 + 5*z**4/12 - z**3/3 + 5*z**2/2 - 6*z. Suppose 2*m + 8 = 4*m. Is v(m) composite?
False
Suppose -h + 4*b + 5 = 0, -2*h + 2*b + 35 = h. Is h prime?
True
Let d = -7095 - -12526. Is d composite?
False
Let r(o) be the third derivative of o**7/504 + o**5/20 - 6*o**2. Let h(c) be the third derivative of r(c). Is h(1) a prime number?
False
Suppose -5*q - 2*q + 14 = 0. Suppose 0 = -4*l + 2 + q. Is 97 + -1*(l - -2) prime?
False
Suppose -5*o + 8 = 3*t + 56, -3*o + 4*t - 23 = 0. Let g = 32 + o. Is g composite?
False
Suppose w + v - 1823 - 3537 = 0, -5*w + 2*v = -26779. Is w composite?
True
Suppose -t = -4*k + k + 20, -2*k = -2*t - 20. Suppose 5*m + k*y = m + 11943, -5*y = 5*m - 14935. Let n = m - 1151. Is n a composite number?
True
Let y(i) = 7 - 3*i + 2*i + 4 - 5*i. Is y(-7) prime?
True
Suppose 0 = -4*i - 0*i - 4*b + 4, -4*b = i + 11. Suppose 4 = 4*d, i*n + 1 = -2*d + 18. Suppose -n*k + 879 = 5*z, 0 = 2*k - z - 3*z - 608. Is k prime?
False
Let l(z) = 17*z**3 - z**2 - 3*z - 8. Is l(7) a prime number?
False
Suppose -5*h = -8*h - 15, 0 = 2*a + 3*h - 406811. Is a prime?
False
Let n = -21 - -34. Suppose -n*u = -9*u - 844. Is u a composite number?
False
Suppose -4*z - 2*d - 86 = 0, 4*z - 67 = 7*z + 2*d. Is (z - -20)*-1*(-346)/1 prime?
False
Suppose -191*b + 128065 = -184*b. Is b a composite number?
True
Is (-44298)/(-4) - 9/6 prime?
False
Suppose 4*t = 4*j + 32, 9 = 3*t + 2*j - 0*j. Suppose -2*r + t*q + 230 = -714, 5*r - 5*q = 2345. Is r a composite number?
False
Suppose -5*u = -2*i, -4*u + 2*i + 3 = i. Let a(o) = 286*o - 1. Is a(u) composite?
False
Let b be 706/10 - 27/45. Let g = 38 - 23. Let u = g + b. Is u a prime number?
False
Let i = -582 - -1201. Let l be (-60)/(-4) - 0 - -1. Suppose l + i = 5*a. Is a prime?
True
Is -2372*(6/(-45) + 111/(-180)) prime?
False
Suppose 8*s + 5*s - 48737 = 0. Is s a composite number?
True
Let z = 16 - 28. Let o = 15 + z. Suppose 5*f - 634 = o*f. Is f a composite number?
False
Let j(x) be the second derivative of x**5/10 - 11*x**4/12 + x**3 + 5*x**2/2 + 20*x. Is j(12) a composite number?
False
Let p(n) = 233*n - 626. Is p(39) a composite number?
False
Let y(x) = 709*x**3 - 2*x**2 - x + 2. Let w be y(1). Suppose 4*a + a = -895. Let i = w - a. Is i composite?
False
Let t(a) = 3*a**2 - 6*a - 2. Let c(f) = -6*f - 4. Let j be c(-5). Suppose -5*s = -j + 61. Is t(s) composite?
True
Suppose 0 = 4*t + f - 2688, 5*t - 5098 + 1737 = -f. Is t composite?
False
Suppose 12*h - 6568 = 4*h. Is h a prime number?
True
Let q(l) = 252*l**3 - 6*l - 4. Let s be q(-2). Suppose 2*w = -2*w + 2*y - 13562, 0 = 5*w + 2*y + 16939. Let u = s - w. Is u a composite number?
False
Let b(v) = 3*v - 11. Let q be b(5). Suppose 0 = -5*j + 5, -5*c + q*j + 73 = 2*j. Is (-2)/(-2)*1725/c a composite number?
True
Is (-167871)/(-22)*(0 + 2) a composite number?
True
Let x = -888 + 1270. Is x composite?
True
Let l = -11 - -8. Let v(u) = u**2 - 6. Let k be v(l). Suppose 3*f - 15 = 0, h - k*f = -2*h + 270. Is h composite?
True
Is (59/5)/(28/(-1610))*-2 a prime number?
False
Suppose 3*q - 36 + 9 = 2*h, -4*h - 4*q - 4 = 0. Let r be 3/h*2*-3. Suppose -2*g - k + 376 = -r*k, 0 = 4*g - 3*k - 755. Is g a prime number?
True
Let b = 16994 + -11053. Is b a composite number?
True
Let p = 21 + -17. Suppose 3 - 7 = -p*h, 3*o - 196 = 5*h. Is o composite?
False
Let q = -42 + 41. Let r(g) = 1686*g**2 + 4*g + 3. Is r(q) composite?
True
Suppose 7*d = 6*d + 3193. Let w = 5582 - d. Is w a prime number?
True
Let y be 0 + 4/5 - 755/(-25). Suppose -3*s + 1142 = m, -5*m + y = 6. Is s prime?
True
Let w = -4865 - -6907. Let u(b) = -b**3 + 3. Let p be u(0). Suppose 5*i - w = 3*h, h - p = -2. Is i prime?
True
Suppose -3*x + 5*x + 100360 = 2*r, -4*x = -3*r + 150543. Is r prime?
True
Suppose 5415 = -9*q + 17664. Is q a prime number?
True
Suppose -2*v - 944 = -2*p, -3*p + 2203 = -v + 793. Suppose -2*y = -9*y + p. Is y composite?
False
Suppose 0*a - 2*a - 6 = 0. Let j be -3*(-3 + (-1 - a)). Suppose 0 = -2*f - c + 2*c + 1159, j*c = -3*f + 1752. Is f a prime number?
False
Let w(q) = 2470*q**2 + 4*q - 37. Is w(4) prime?
True
Let o be (-34)/(-12) + 2/12. Suppose -3*d + 2*m = 15, o*d - 2*m + 25 = -2*d. Is (-2013)/d - (-14)/35 prime?
False
Suppose 8905 = 5*v - 5260. Is v a composite number?
False
Suppose -8*i - i = -31419. Is i a composite number?
False
Suppose 44*b - 30*b - 112490 = 0. Is b prime?
False
Suppose 5*p - 74 = 2*b, 47 = -b - 2*p + 10. Let q = 48 - b. Is q a prime number?
False
Let q(g) = -9*g + 1. Suppose -a + 3 = 4. Let y be q(a). Suppo