*3 - 11*h + 25*h**2. Is w(s) composite?
True
Let i = -835 - -1752. Let g = i + -510. Is g a prime number?
False
Let z(a) be the second derivative of a**3/6 + 4*a**2 + 4*a. Let l be z(5). Is 1892/3 - l/(-39) a composite number?
False
Suppose 7*j - 3 = 46. Suppose j*f - 4580 = -k + 5*f, -9158 = -2*k - 5*f. Suppose -k - 911 = -7*h. Is h a composite number?
True
Let w(j) be the third derivative of j**6/120 - 2*j**5/15 - 3*j**4/8 + j**3/6 + 30*j**2. Let n be w(9). Let z = 76 + n. Is z composite?
True
Let b = 52 - 50. Suppose 0 = 2*n + 3*n + 3*v - 16, -b = 4*n - 5*v. Is 3/3 + (663 - n) a prime number?
False
Suppose -2 = -5*l + 13. Suppose -l*i + 7*i - 2*f = 1322, 0 = 2*i + 3*f - 649. Is i prime?
False
Let q = 166317 + -65945. Suppose 0 = -14*u + q + 37570. Is u composite?
True
Suppose 2*w = -t + 20, -5*w = -2*t - 2*t + 41. Let a = -543 + 545. Suppose -5*g - a*v + 1047 = 0, -g + 217 = -5*v - t. Is g prime?
True
Suppose o + 5 + 7 = 0. Is (-33450)/(-12) + 6/o composite?
True
Is (4638/20)/(18/468) - (-6)/(-15) composite?
False
Suppose -59*b - n = -58*b - 831039, -4*n = -4*b + 3324116. Is b composite?
True
Suppose f + 6*f = f. Is -4 + 5 + f + 1962 a composite number?
True
Let l(b) = -39*b**3 + 8*b**2 - 3*b + 26. Let y be l(-9). Is ((-2 - -2) + -1)/((-4)/y) composite?
False
Let n(l) = 67*l**2 + 18*l - 167. Is n(-14) a prime number?
True
Let y(q) be the second derivative of 37*q**5/20 - 5*q**4/12 + 8*q**3/3 - 13*q**2/2 - 47*q. Is y(5) a prime number?
True
Let b be (-3)/(-4) + (-800378)/(-8). Suppose 0 = -18*g - 39370 + b. Is g a prime number?
True
Is (-56)/(-7) + 471186/18 a prime number?
False
Let n = 609 - 607. Let u(q) = 75*q**3 - 3*q**2 + 5*q - 7. Is u(n) a composite number?
True
Let v(z) = -z**2 + 18*z - 60. Let a be v(13). Is -3 - 1347*a/(-15)*4 composite?
True
Suppose 2*m + 3*p = 5077, -7635 = -3*m - 257*p + 259*p. Is m composite?
False
Let r(u) = 2*u**2 - 23*u + 16. Let s be r(10). Is ((-7)/1)/s*2326 composite?
False
Let z = 46162 - -91375. Is z composite?
False
Let u = 10885 + -3112. Is u composite?
True
Let t be 4/26 - ((-84)/(-39) - 2). Suppose 8*h + 132624 - 732328 = t. Is h a prime number?
False
Let m = 2273 + 11868. Is m composite?
True
Let q(l) be the third derivative of 3*l**5/20 + l**4/3 - 4*l**3/3 - 2*l**2 + 15. Suppose 2*p - 11 = 5*b + 14, 0 = 2*b + 5*p + 39. Is q(b) prime?
False
Suppose -7*a + 2*q + 237442 = -q, -3*q + 169586 = 5*a. Is a a prime number?
False
Let r(h) = 210*h - 13. Let u(v) = -2*v - 1. Let t(q) = -q. Let z(k) = -t(k) + u(k). Let a(b) = r(b) - 3*z(b). Is a(5) prime?
False
Suppose 1062 = 8*u + 254. Let m be -1 + u + -5 + 4. Suppose 5*t - 844 = -m. Is t prime?
True
Suppose 9*t - 24 = 5*t. Let w(g) = 34*g**2 - 6*g - 14. Is w(t) composite?
True
Let k = -24 + 25. Let u be (k - -3) + 3 - (1 + -1). Suppose -u*p = -12*p + 1055. Is p composite?
False
Let c(l) = l + 92 - 43 - 2*l + 59*l**2. Is c(15) a prime number?
True
Suppose 3*i + 11 = 2. Let j be (3/(-2))/((i + 6)/(-6)). Suppose 1572 = j*v + 93. Is v a prime number?
False
Let m be (-167)/5 + -4 + (-154)/(-35). Let u be ((-1991)/m)/((-1)/3). Is (-4)/4*u - 2 a prime number?
True
Is ((-6)/15)/(42/(-49513065)) a prime number?
True
Let j be 318*((-6)/(-8) - (-4)/16). Let d = j - -11. Is d prime?
False
Let j(k) = 3233*k - 10. Let l be j(-3). Let a = 1264 - l. Is a a prime number?
True
Suppose 0*k = -4*k - 28. Let x(a) = -a**3 - 8*a**2 - 14*a - 42. Let y be x(k). Is (y*1)/((-173)/29 + 6) prime?
False
Suppose -5*s = -2*p - 8*s + 4, 4*p + s = 18. Is ((8/p)/(-2))/(4/(-970)) composite?
True
Let w = 217 - 42. Suppose -w*d + 182*d = 94654. Is d prime?
False
Suppose 3 = 3*v - 21. Suppose v*m = -2*m + 40. Suppose -2*a + 0*a + 3*q + 653 = 0, -m*a - q + 1327 = 0. Is a composite?
False
Let y = -7970 + 4569. Let z = y + 5464. Is z a prime number?
True
Let w be (-6)/(35/10*-1 + 2). Is w/16*-838*1*-14 a composite number?
True
Suppose -5*x = 2*o - 5341497, 2*o - 2*x - 4722962 = 618570. Is o a prime number?
True
Suppose -1469 = -r + 763. Let t = r - -2141. Is t prime?
True
Let j = 533 + -526. Suppose -4*a + 30349 = p, 121296 = 4*p + 3*a - j*a. Is p a composite number?
True
Is 39376/14 + ((-100)/25 - 62/(-14)) composite?
True
Let q = 49980 + -31076. Suppose -6*x + q + 4538 = 0. Is x composite?
False
Suppose -5*p + 7*p = g + 163517, 3*p = -3*g + 245271. Is p a composite number?
True
Let r(a) = -880*a**3 + 11*a**2 - 13*a - 29. Is r(-4) a composite number?
False
Suppose -2*k = -r - 8, 3*r = 2*k + r - 6. Suppose -5*i = -2*q + 18, 5*q - 45 = -0*i - k*i. Suppose q*d = 1783 + 170. Is d prime?
False
Let v be (-7 + 1)*(1 - 183/6). Let n(k) = v*k - 355*k + 166*k**2 - 17 + 170*k. Is n(-4) prime?
True
Suppose 0 = 102*s + 26*s + 29*s - 4028149. Is s a composite number?
False
Suppose 15*u - 13764 + 4734 = 0. Let x = u - 453. Is x a prime number?
True
Suppose -30*d + 115*d - 1318573 = -24*d. Is d prime?
True
Suppose 4627183 = -35*p - 39*p + 85*p. Is p prime?
False
Is 9/(-18)*-38866 - (-5 + (-3 - -2)) a prime number?
False
Let a be 4/(16/22)*-206*3. Let z = -2372 - a. Is z a composite number?
True
Suppose -417008 = -45*m + 177757. Is m composite?
False
Let q(y) = y**2 + 17*y + 5. Let k(i) = -2*i**2 - 2*i + 5. Let c be k(-3). Let j = 2 - c. Is q(j) a prime number?
True
Let v(u) = -39*u**2 + 13*u - 1. Let s(m) = -19*m**2 + 7*m - 1. Let h(l) = -9*s(l) + 4*v(l). Suppose 4*o - 105 = 2*c - 101, 0 = 5*c - 2*o - 30. Is h(c) prime?
True
Let v(u) be the first derivative of 835*u**2/2 + 8*u + 1. Let k be v(2). Suppose k = t + 4*o, -5*t - 4418 = -2*o - 12808. Is t prime?
False
Let v(l) = l**2 + 2*l - 13. Let k be v(2). Is 1637*((-28)/(-98) - k/7) a composite number?
False
Suppose 30668 = x + 2*x - 4*l, -2*x = 3*l - 20468. Let y = x - 6875. Is y prime?
False
Let r = 747 + 1432. Is r a prime number?
True
Let q(t) = 60*t**3 + 3*t**2 + 6*t + 2. Let w be q(5). Suppose -o + w = -0*o. Is o prime?
True
Let f = -9 + 12. Suppose 3*x + 3 = -f. Is 1 + (-436)/(-18) + x/9 prime?
False
Suppose 5*r = -10, i + r - 14 = -i. Suppose -2*m + i*f - 4*f + 42094 = 0, -5*m + 105220 = -5*f. Is m composite?
True
Suppose 0 = 8*u - 14*u + 14*u. Suppose 4*s + 646 - 2654 = u. Is s composite?
True
Suppose 0 = 18*k + 12835 + 7667. Let d = 2398 + k. Is d a prime number?
True
Let u be (-13685)/3 + (-4)/12. Let h be ((-495)/(-2))/(8/240). Let m = h + u. Is m composite?
True
Suppose 2*c + c - 27 = 0. Suppose 5*z = -4*m + c*m + 11245, -2*m + 2237 = z. Is z a prime number?
False
Suppose 215*l - 7282513 = 54*l. Is l a prime number?
True
Is 6*5/(-105) + 2455452/21 + 5 a prime number?
False
Let i = 60656 + -20605. Suppose -12*r - i = -23*r. Is r prime?
False
Let x(r) = 3*r**2 - 46*r. Let v be x(18). Let j = 233 - v. Is j a prime number?
True
Let n(l) = -54*l + 329. Let x be n(6). Suppose 11733 = 2*j - 5*d - 0*d, -5*d = x*j - 29245. Is j a prime number?
False
Let o(x) = 74*x**2 + 51*x + 2533. Is o(-42) a prime number?
True
Suppose -5*h - i = -5, -1 = 5*h + 3*i + 4. Suppose -11375 = -u + h*m + 8230, 2*u - 2*m = 39202. Is u composite?
False
Suppose -4*p - 4*d = -5*d - 12, -18 = -p + 4*d. Suppose 2*z - 1 = p*q - 7, z = 3*q - 9. Is -2*(1191/(-10) - q/(-5)) prime?
False
Suppose -7*l = 13*l - 29080. Is l prime?
False
Suppose 0 = 2*o + 1313 + 9941. Let c = -3304 - o. Is c a prime number?
False
Let u = -550924 - -1242995. Is u a composite number?
False
Suppose 3*y = r + 139398, 5*y - y + 5*r = 185845. Suppose -3*z = 4*p - y, 7 - 10 = 3*z. Is p composite?
False
Let w(f) = -3*f**3 + 7*f**2 + 4*f - 3 - 3*f - 2*f + 4*f**3. Let k be w(-7). Suppose k*d = -3058 + 13126. Is d a composite number?
True
Suppose 139*a - 115313 = -4*r + 136*a, 0 = -4*a - 4. Is r prime?
False
Is (-64234)/3*5/(-30)*9 a composite number?
False
Let h(q) = q**2 + 18*q + 4. Let y be h(-18). Let p be (-5)/(y + 65/(-10)). Is (p/6)/(15/13815) composite?
False
Let y = 220 - 250. Let z(q) = -206*q - 115. Is z(y) a prime number?
False
Let a(g) = 37804*g**3 - 2*g**2 + 8*g - 7. Is a(1) a composite number?
True
Let q(h) = 2*h**2 + 16*h + 43. Let m be q(-8). Suppose 0 = m*b - 46*b + 9111. Is b a prime number?
True
Suppose -5*h = 3*y - 45, -5*y + y + 16 = 3*h. Is h/84 + (-11577)/(-7) + 1 prime?
False
Let h(n) = 5*n**3 - 164*n**2 - 118*n - 13. Is h(40) a composite number?
True
Suppose -4*i + 4*w = -4, 2 + 4 = 3*w. Suppo