 Let j be y(0). Suppose 18 = -j*p - 38. Let i(r) = -14*r + 29. Is i(p) a prime number?
True
Suppose 13*u - 464 = -3*u. Suppose -u*q + 31*q = 622. Is q composite?
False
Let h = 627 - 619. Suppose -5516 = -h*m + 33372. Is m a composite number?
False
Let f(o) = 3*o**3 + 56 - 9*o**2 + 9*o - 6*o**3 - 2*o + 2*o**3. Is f(-27) a composite number?
True
Let p(v) = -7*v + 49. Let j(s) = 32 - 252*s + 243*s + 15. Let k be j(7). Is p(k) composite?
True
Let q(j) = -59*j - 174. Let u be q(-3). Suppose -1 + 7 = 2*i, u*t + 2*i = 12123. Is t prime?
False
Suppose -19*j = 6*j + 800. Is 1/(-4) - 123112/j a prime number?
True
Suppose 3*s - 237404 = -5*p, 4*s + 47490 = -28*p + 29*p. Is p composite?
True
Let b = -40173 - -156514. Is b a prime number?
True
Let d(l) = 593*l**2 + 3*l - 26. Let c be d(-5). Suppose 6*i - j = 4*i + c, 4*j - 7401 = -i. Is i composite?
False
Suppose -207 + 183 = 3*q. Is -2*(-6036)/q*(-2)/3 a prime number?
False
Suppose -4*m - 114*t = -117*t - 3480, -4*t = 16. Let y = -1461 + 1043. Let u = m + y. Is u a composite number?
False
Suppose o + 0*o = 64. Let k be (-10)/4*o/(-20). Is (-4171)/(-11) + k/(-44) composite?
False
Let f be (-5 - -3152)*(-2)/(-6). Let u = f + 4654. Is u prime?
False
Let i be (-65)/10*-106 + -9. Suppose 3*p - 219 = -696. Let h = i + p. Is h a composite number?
False
Suppose 4306 = -5*v + 24211. Let b = v - 365. Let f = b - 1821. Is f prime?
False
Is (21188/6)/(11/165*2) composite?
True
Is 6*(-130)/60 + 183866 prime?
False
Let g(h) = -99*h + 139. Let n = -80 - -63. Is g(n) composite?
True
Suppose 14*c + 104*c + 59*c - 74317521 = 0. Is c prime?
True
Let d(b) = -58 + 194*b + 249*b + 206*b - 150*b - 14*b. Is d(7) a prime number?
False
Let l(g) = 22*g**2 + 25 - 13 + 7*g - 21*g**2. Let w be l(-5). Suppose -2*v - v + w*a = -251, 3*v = -2*a + 247. Is v prime?
True
Let d = -10425 - -18807. Suppose 4*g = 7774 + d. Is g prime?
False
Let j = 199 - 196. Is (-1 - (4 - j)) + -5 + 6456 a prime number?
True
Suppose -5*r + 5*v - 10580 = 0, 0*r + 4*v - 2131 = r. Let o = -334 - r. Is o composite?
False
Suppose -91*p + 2950464 = 1947497 - 3067372. Is p a composite number?
False
Suppose 5*k + 423 = 2*m + 4*k, 5*m - 3*k - 1060 = 0. Is 142/(16/m + (-4)/(-38)) composite?
True
Let k = -288 - -3549. Let j(z) = -29*z**3 - 3*z**2 + 6*z + 1. Let s be j(-4). Suppose 6*v - s = k. Is v a prime number?
False
Suppose 0 = -3*t - 0*r + 3*r + 51, 0 = 4*t + 5*r - 41. Suppose t*z - 67225 = 32469. Is z a composite number?
False
Suppose -j - 4*v = 18, 3*j + 12 = -j - 4*v. Suppose 22 = 4*z + j. Suppose 4*r - 4*q = 5*r - 183, z*q = 5*r - 965. Is r composite?
False
Suppose -6*i = 2*a - 4*i - 10, 2*a - 25 = 3*i. Suppose -a*y + 27 + 69 = 0. Is 4721/4 + 9/y a prime number?
True
Is (-63)/42*(1430885/(-15) + 1) composite?
True
Suppose 4*k = -49*j + 54*j + 576792, -5*k - 4*j = -721031. Is k a prime number?
True
Let q be (3/(-2))/1*8/(-3). Let p be 3/2*((-160)/(-15))/q. Suppose -p*g + 2535 = 5*k, 4*k + g - 295 = 1744. Is k a prime number?
False
Suppose 191*f + 2*x - 82011 = 190*f, -4*f - 4*x = -328028. Is f composite?
False
Let l be 5*1/(-1)*-1. Let k(o) = 12*o + 89. Is k(l) prime?
True
Suppose -b - 3*f + 19 = f, 3*b - 121 = 4*f. Suppose -291 - b = -u. Suppose 3*c - c = u. Is c prime?
True
Suppose 0*v + 29 = 2*v + 3*y, -y + 40 = 5*v. Let q be 60*v*52/(-16). Let z = q + 2260. Is z a composite number?
True
Suppose -21492*i - 568298 = -21494*i. Is i prime?
True
Let d = 123 + -118. Let v(n) = 355*n - 14. Is v(d) prime?
False
Suppose 2*g - 4*b - 197817 = -60699, 3*b - 15 = 0. Is g composite?
True
Let v(c) = -2323*c - 5287. Is v(-72) a prime number?
True
Suppose -48*l + 196*l = 122551980 + 39936776. Is l prime?
True
Let m(v) = 7*v**2 + 26*v - 272. Is m(-29) prime?
True
Let b = -42 + 43. Let y be (-48060)/(-30)*(-1 - 1). Is 1 - 0 - (y + b + -1) prime?
False
Let i = -106463 + 199882. Is i composite?
False
Suppose -2*d + 1905 = 5*q - 3719, 3*d - 8445 = -3*q. Is d*6/6 - -2 a composite number?
False
Let k = -38 - -58. Suppose -30 = 3*a + 3*h, -3*a + h - k = a. Is -758*(0 - (-3)/a) a prime number?
True
Let n = 281 + -263. Let l(f) = 56*f + 130. Is l(n) a prime number?
False
Suppose 92*x = -2*w + 88*x + 11430, 11450 = 2*w - x. Is w prime?
False
Let f = 562495 - 174702. Is f a prime number?
False
Suppose 0 = 3776*q - 3780*q + 448468. Is q prime?
False
Suppose 26012421 + 6332157 = 136*n - 5836742. Is n prime?
False
Is -2 - ((-132021)/8 - (-39)/(-104)) a prime number?
False
Let c be (14/(-5))/((-69)/345). Suppose -c*i + 2*j = -12*i - 4196, -3*i - j = -6298. Is i prime?
True
Let z be (-8)/(-35 + 3) - 7503/(-4). Let g = 8 + 1. Suppose 13*w - z = g*w. Is w a composite number?
True
Suppose 12*k = 797406 + 398310. Is k a prime number?
True
Let z(l) = 238*l**2 + 16*l + 449. Is z(-21) composite?
False
Let g = -201853 + 502295. Is g composite?
True
Suppose -3*p - 3*o = -10794, 4*o = 4*p + 2*p - 21538. Is p a prime number?
True
Let p(w) = -330*w**3 - 2*w**2 + 2*w - 1. Suppose -2 = 4*h - 6*h. Let c be p(h). Let g = -182 - c. Is g a prime number?
True
Suppose 31 + 14 = 9*u. Suppose 0 = u*w - 16189 - 3756. Suppose -b + 2*b - w = 0. Is b composite?
False
Let k(j) = -13*j + 12*j**3 - 3 - 22*j + 37*j - 2*j**2. Is k(2) a composite number?
False
Let b(y) = 4672*y**2 + 89*y - 396. Is b(5) a prime number?
True
Let f(d) = -d**2 - 7*d - 5. Let z be f(-7). Let b be z + 1 - (-12452)/11. Is (-6)/4*(-2 + b/(-9)) a prime number?
True
Let x = -97 - -91. Is 1324/8*(-1 - -1 - x) a prime number?
False
Suppose 21*g - 5 = 79. Suppose -6*l + g*w = -2*l - 132, 33 = l + 2*w. Is l composite?
True
Let k be (8/9)/(-3 + (-58)/(-18)). Is 30192 + k*72/32 a prime number?
False
Suppose s = 2*t - 5, -54*s - 20 = 3*t - 50*s. Suppose -148*x + 159*x - 129481 = t. Is x prime?
False
Let v(x) = 46*x**2 - 3*x - 2. Let q be v(-1). Let w = q + -45. Is (12/24)/(w/3980) a prime number?
False
Let g(a) = a**2 - 7*a. Let k be (-25)/(-4) - (-9)/12. Let u be g(k). Suppose u = 7*w - 477 - 1000. Is w a composite number?
False
Let s = -1358 + 401. Let n = 1495 + s. Is n a composite number?
True
Suppose 0 = -u - 3*h - 4, -3*u + 6*u = -3*h. Suppose -s + 17 = 2*n - 0*n, -s = -u*n + 27. Suppose 4006 = n*a - 9*a. Is a a composite number?
False
Suppose 153*m - 6*m - 718683 = 0. Is m prime?
True
Let p(s) = -11 - 2*s**2 + 4*s**2 - s - 3*s**2 - 23*s. Let w be p(26). Let n = 2748 + w. Is n a composite number?
True
Suppose -28*q = -4*q + 23*q - 18271579. Is q a composite number?
False
Let g(n) = -n**3 + 36*n**2 + 115*n + 91. Let h be g(39). Suppose 0 = 3*r + 15, 2*f + h*r - 10289 = 12*r. Is f composite?
False
Suppose -420643 = -y - 2*m, m = -5*y + 134221 + 1968994. Is y a composite number?
True
Let i be 6/4*12/18. Let v be (i - -2)*12/4. Suppose 5*n + 16 + v = 0, 563 = q + 4*n. Is q a prime number?
False
Is 0 + -787*(-50 - 12/6) + 3 composite?
False
Let i(f) = -3368*f**3 + 5*f**2 - 16*f - 33. Is i(-2) composite?
True
Suppose -2*q + 8627 = f, -6763 = -f - q + 1870. Is f composite?
True
Suppose -2*u - 32*v = -29*v - 5642, 8469 = 3*u + 6*v. Is u composite?
True
Is (1287205281/1116 - (-1)/(-4)) + 5/(-2) a prime number?
False
Let q be 23414 + (-15)/9*3. Let o = -13892 + q. Is o a composite number?
True
Is (10*6294 - 1)/(0 + 3 + -2) a prime number?
True
Let o = 3581 + -2416. Suppose 4513 = 2*q + o. Let d = q + -979. Is d a prime number?
False
Let h(p) = -551*p**3 + 2*p**2 - 11*p - 22. Is h(-4) a composite number?
True
Suppose -934709 + 371163 = -12*r + 1149538. Is r a composite number?
False
Let g = 27968 - 18771. Is g composite?
True
Let c = 114521 + -55054. Is c prime?
True
Let m = 3728 + -3669. Is m composite?
False
Suppose 4*u - 3*v = 231478, 30*v = 25*v + 10. Is u prime?
False
Let l(j) = 2*j + 29. Let q be l(-13). Suppose 2*d + q*d = -3*s + 10, 0 = -s + 5*d + 10. Is s/((3 - 2) + 140/(-142)) a composite number?
True
Let l(t) = -8575*t**3 - 2*t**2 + 3*t + 3. Let d be l(-1). Let g = d - 3184. Is g a prime number?
False
Suppose 2*c + 2*c + 2*n + 228 = 0, 4*n = c + 75. Let w = c + 23. Is 3 + (-9)/(w/1640) composite?
True
Suppose -3*v + 675772 = -n, -2*v + 5*n - 204827 = -655346. Is v prime?
True
Let c(i) = 2*i**3 - 56*i**2 + 11*i - 54. Let h be c(38). Suppose 0 = 3*f - 3*n - h, -6*f + 7*f - 2*n = 9753. Is f prime?
True
Let o(f) be the first derivative of 9*f**3 + 11