 23*d**2. Let r be k(0). Let o = -40 + r. Is o prime?
True
Let o(a) = 880*a**2 + 35*a + 120. Let c be o(-3). Suppose x = -4*q + 1539, -3*x - 3*q = -1923 - 2685. Suppose -c = -5*w + x. Is w a composite number?
True
Let y be 2/5 - 6109845/(-75). Suppose 12*p + 4173 = y. Suppose 3*k = 1068 + p. Is k a composite number?
False
Suppose -169*u - 10161031 + 18795139 = -35730251. Is u a prime number?
True
Let v = -140709 - -208376. Is v a prime number?
False
Let g be (-2)/(-3) + (-1856)/(-24). Let n = g - 78. Suppose n = y - 607 + 14. Is y prime?
True
Let x be (-809712)/(-60) - (-36)/(-30). Suppose -24*u + x = -133938. Is u prime?
True
Let q = -35 + 37. Let b(h) = -3*h + q*h - 79*h**2 + 1 + 183*h**2. Is b(-2) a composite number?
False
Suppose 5*p + 2*j = -10, p = -4*p - 3*j - 15. Suppose p = -4*d + 19 - 3. Suppose -5*w + 5752 = -m, -d*m - 3807 = -5*w + 1936. Is w a composite number?
False
Let f = -12008 + 22523. Suppose 18*b - 21*b = -f. Is b a prime number?
False
Let t(i) = -75*i**3 - i**2 + 9*i + 2. Let h(k) = 73*k**3 - k**2 - 8*k - 2. Let f(z) = -2*h(z) - 3*t(z). Is f(5) prime?
False
Suppose 4*k - 15 + 3 = 0. Suppose 3*o - 1591 = -5*b, 5*o - k*b = o + 2102. Is o composite?
True
Is (-12295)/(-3) - (-21)/35*(-20)/(-18) a composite number?
False
Suppose 4*b + 161266 = 7*b + 11*b. Is b prime?
True
Let s = 316 - 314. Suppose -s*f + 39183 = 6821. Is f composite?
True
Let z = -87577 - -157139. Is z prime?
False
Suppose 11*d - 12 = 8*d. Suppose f + d*q + 869 = 4*f, 0 = -4*q - 8. Let s = 32 + f. Is s composite?
True
Let b = -2541 + 72992. Is b a prime number?
True
Let m = 70792 - 40457. Is m a composite number?
True
Suppose 0 = 2*t + 5*j - 175022 - 85211, 0 = 4*t - 2*j - 520382. Is t composite?
False
Suppose -3*l + 7*l = j + 218, l + 4*j - 46 = 0. Suppose 6 + l = 4*x. Is (-5)/x + 1696/3 composite?
True
Let j(l) = 571388*l**2 + 3*l + 6. Is j(-1) prime?
False
Suppose 3*w = -3*v + 1573891 + 2993174, 0 = -5*v + 30. Is w composite?
True
Let v(b) = -b**3 + 3*b**2 - 4*b + 6. Let q be v(2). Suppose -2*w - q*g + 10 + 12 = 0, 5*w - 47 = 3*g. Suppose -w*y - 457 = -11*y. Is y composite?
False
Suppose 4*i = -10*i + 19*i. Suppose f + 20*f - 375963 = i. Is f a prime number?
True
Suppose 0*p = 11*p - 0*p - 13937231. Is p a prime number?
False
Let q = 22 - 66. Let c = q - -14. Let u = c - -40. Is u a prime number?
False
Is 102777/(((-99)/44 - -1*2)*-4) composite?
True
Let w(h) be the third derivative of 11*h**5/30 + h**4/6 - 7*h**3/3 + 4*h**2. Let b be w(-9). Suppose 0 = 3*z - 2*q - 5123, 2*q = -5*z - b + 10297. Is z prime?
False
Suppose -a = 5, k + a = 6*k - 35. Suppose -k*g + 4 + 8 = 0. Suppose -y + 3936 + 801 = g*t, -2*y + 11845 = 5*t. Is t prime?
True
Let q = 24 - -390. Let x = q + 617. Is x a composite number?
False
Is 5/((-27905251)/(-2325433) + -12) prime?
True
Suppose 11*c + 2 = 35. Let t be 4*39/36*c. Is 4*3/78 - (-765)/t composite?
False
Let a = -29 + 33. Let w = a + -1. Suppose 3*d + 5351 = 4*g, w*g = 4*g + 4*d - 1333. Is g a prime number?
False
Let k be (0/3)/(0 + -2). Suppose k = -24*y + 31*y - 13559. Is y a prime number?
False
Let l = 12967 + -12344. Is l a prime number?
False
Let m(w) = 32*w + 25. Let r(f) = 123*f + 95. Let q(s) = -124*s - 96. Let v(z) = -6*q(z) - 5*r(z). Let n(c) = -9*m(c) + 2*v(c). Is n(-14) a composite number?
False
Let t = 52569 + -22490. Is t prime?
False
Suppose 8*x - 4846 = 5*x + u, -u = 2*x - 3234. Suppose 5*a = 26329 + x. Suppose -a = -6*z - 1083. Is z prime?
True
Suppose 96*k - 46*k = -381*k + 35399323. Is k a composite number?
True
Suppose 0 = -2*l - 6. Let m be (7 - 3) + l + 9/3. Suppose -2 = -u, m*o - 3842 = -0*u - 3*u. Is o a prime number?
False
Suppose 18*g - 23*g = -20. Suppose -r = -1, -2*w - g*r = -3*r - 9. Suppose 2*t - 56 + 8 = -4*a, w*t - 83 = 5*a. Is t a composite number?
True
Suppose 13*d = -12*d - 25*d + 7053850. Is d a composite number?
True
Suppose 71*q + 48*q - 7238851 = 18323896. Is q a composite number?
True
Suppose o - 5*t = -2631, o - 10434 = 5*o - 2*t. Let y = 3399 - o. Is y a composite number?
True
Let g(s) = 297*s**2 - 155*s - 25. Is g(-9) composite?
True
Suppose -3*x = -2*x + 1, -3*x = -2*j + 7. Suppose -7152 = -2*m - m. Suppose -2*c = 4*z - 1134, m = 4*c + j*z + 122. Is c a composite number?
True
Let v(j) = -31*j - 202*j + 5*j - 1. Suppose -4*b + 21 = -2*q + b, 2*b - 6 = 0. Is v(q) a composite number?
False
Suppose -2 + 6 = -r. Let b be (-26)/r + (-6)/12. Is 2666/b + (-2)/(-3) a prime number?
False
Let g be 32/20 + (-20)/(-50). Suppose -g*u = -2, 7072 = -27*o + 30*o + u. Is o a composite number?
False
Let w be ((-2)/(-4))/(7 + (-362872)/51840). Let h = w - -1463. Is h composite?
False
Let n(g) = g**3 + 23*g**2 + 25*g - 41. Let u be n(-21). Suppose 7*b - 9211 = u. Is b composite?
False
Let p(i) = -6691*i + 26. Let s be p(-10). Is ((-2)/(-3))/(16/s) composite?
False
Let g = 115 + -131. Is (-13014)/g + (-120)/320 composite?
True
Let y be 1/((-2)/16*-4). Suppose h = 2*x - y*h - 19, -3*h = 3*x - 51. Suppose -x*q + 10*q + 580 = 0. Is q a composite number?
True
Suppose -l - 20 = -5*l. Let z = -2 + 89. Suppose s + l = z. Is s prime?
False
Let b = 1359968 - 758415. Is b a prime number?
False
Let y = 91877 + -50964. Is y prime?
False
Let k = 72 + -32. Let p be (((-4197)/(-6))/(-1))/((-4)/k). Suppose -17*m + 12*m + p = 0. Is m composite?
False
Is 13*(-6)/((-1638)/23523213) a composite number?
False
Let h(v) = -v - 5. Let j(r) = 3*r + 14. Let u(n) = -17*h(n) - 6*j(n). Let i be u(7). Is ((-6)/(-15))/(i/(-4755)) a composite number?
False
Let x(y) = -y**2 + 10*y + 5. Let o be x(10). Is -2 - (o + -22163)/6 a composite number?
False
Suppose 657041 = 4*k + 3*q, 0 = 466*q - 469*q - 27. Is k a composite number?
False
Let z(r) = -2329*r - 521. Is z(-10) composite?
False
Let f(o) = 11 + 8 - 9 - 39 - 70*o. Is f(-22) composite?
False
Suppose -17 = 2*x - 3*x. Suppose 0 = -6*g + x*g - 99. Suppose 1286 = -g*t + 6047. Is t composite?
True
Suppose 270 = -2*x - 320. Let j = 4756 - x. Is j prime?
True
Suppose 22*d - 12840 = 17*d. Let n = d + 3943. Is n composite?
True
Suppose 5*d + 5*n = 51840, -d + 468*n = 472*n - 10389. Is d a composite number?
True
Suppose 12 = 2*b, -i + 5*b + 14734 + 7567 = 0. Is i a prime number?
False
Let x(k) = k**3 - 14*k**2 - 14*k - 3. Suppose 8*p - 3*p = 2*f - 48, 0 = 2*f - p - 32. Let u be x(f). Let v = 410 + u. Is v prime?
True
Let v(o) = -438*o - 2. Let d(y) be the second derivative of -875*y**3/6 - 3*y**2/2 - 4*y. Let j(f) = -3*d(f) + 7*v(f). Is j(-2) composite?
False
Let c(y) = 106*y**2 - 5*y - 7. Let u = 22 - 16. Let o = 10 - u. Is c(o) a prime number?
True
Suppose -g - 11341 = n, 2*n - 129 = 3*g + 33869. Let j = g + 16207. Is j a composite number?
False
Suppose 4*v - 675 = 1177. Let t = -78 + 171. Suppose v = 10*h + t. Is h composite?
False
Suppose -37971 = 26*f - 35*f. Let z = -1292 + f. Is z a composite number?
False
Suppose 0 = -5*t - 4*t + 2034. Suppose 0 = -5*n, -218 = r + 3*n + t. Let o = r - -1235. Is o a prime number?
False
Let f(v) = -1323*v**2 - 56*v + 203. Let d(b) = 662*b**2 + 27*b - 101. Let i(h) = -5*d(h) - 3*f(h). Is i(3) prime?
False
Is 711483/18 + (-75)/90 a composite number?
True
Suppose 32*t + 3594 = 29*t. Let j = t - -4127. Is j a prime number?
False
Let o = -16572 + 98399. Is o composite?
True
Suppose 0 = -5*s + 5*c + 40, 0 = 3*s - 7*s - 4*c. Suppose -373 = -f - 2*l, 2*f + 9*l - s*l - 750 = 0. Is f composite?
True
Suppose -57*w + 54*w = -27. Suppose 12104 - 665 = w*p. Is p composite?
True
Suppose 0 = -4*v - 5*j + 780819, 4*v + 2*j - 482501 - 298333 = 0. Is v prime?
False
Let j = -11589 - -94582. Is j a composite number?
True
Let f be 111620/12 - (-9)/27. Suppose -13*y + 6155 = -f. Is y a composite number?
True
Let h be -1*2*1450/(-20). Let v be h/(-4)*(-60)/(-15). Let t = 642 + v. Is t a composite number?
True
Let g = 6388 + 7785. Is g prime?
True
Let b = 797149 + -503192. Is b composite?
False
Let u(q) = -32*q**2 + 6*q + 3. Let i(a) = 3 - 2 - 4 + 13 - 97*a**2 + 17*a. Let p(w) = -4*i(w) + 11*u(w). Is p(6) a prime number?
True
Let t(z) be the third derivative of 0 + 0*z + 1/8*z**4 + 13/20*z**5 - 5/6*z**3 - 2*z**2. Is t(2) a prime number?
True
Let j be 28/(-10)*(-40)/8. Suppose 4*y - 29 = -5*z, 11*y - j*y - 4*z + 22 = 0. Is y a prime number?
False
Let z = 233 + -233. Suppose -4*c =