s a prime?
True
Suppose 4*h = 2*v - 47458, -2*v + 1861 + 45597 = 5*h. Is v a composite number?
True
Suppose -3*y + 151107 = 5*d, 0 = 3*y + 61*d - 65*d - 151053. Is y a prime number?
True
Suppose 269*u - 31034847 = 212*u. Is u a prime number?
True
Let u = 3378 + 14023. Is u a prime number?
True
Let b = 26 + 2. Suppose -9*g = -2*g - b. Suppose -2*u + 6*u - o = 12808, 5*u = -g*o + 16031. Is u a prime number?
True
Let o be (0 + -2 - 11) + 3. Let w = o - -10. Suppose w*u - 313 = -n + 5*u, 3*u + 1201 = 4*n. Is n a prime number?
False
Let a be 0/(2 + (1 + -2)*1). Is 1737/2*((-4)/(-6) - a) a composite number?
True
Let f(z) = 736*z**2 + 2*z - 30. Let c be f(-7). Let w = c - 20011. Is w a prime number?
False
Suppose 143731 - 135822 = 4*d - 403087. Is d a composite number?
True
Let r(i) = 9185*i - 1106. Is r(3) a prime number?
True
Suppose 12*b = -3*b + 741435. Is b composite?
False
Let v be 11752/9 - -3 - (-8)/36. Suppose -5*c + 5184 = -c + 3*q, 4*q - v = -c. Is c a composite number?
True
Let r(q) = -312*q - 18. Let z = -54 - -50. Let a be r(z). Let s = a - 347. Is s composite?
False
Is (-267)/534*-1*(-76628)/(-2) a prime number?
True
Let s(x) = 2*x**2 - 27*x + 17. Let f = 34 - -30. Let q = f + -46. Is s(q) a prime number?
True
Let g(c) = -c**3 + 9*c**2 + 12*c - 19. Let q be g(10). Is q + (5 - 4) + 2417 a prime number?
False
Let u = 315435 - 179836. Is u a composite number?
False
Let l(a) = a**3 + 5*a**2 + 9*a + 9. Let u be l(-5). Let o = u + 32. Is -3 - -1 - (-660 + o) prime?
False
Let b = -663690 - -1128061. Is b a prime number?
True
Suppose 4*v = 4*v + 5*v. Suppose -2*d = -v*d + d. Suppose d = -22*q + 27*q - 2935. Is q composite?
False
Suppose 3*c - 2*v - 199031 = 0, 3*c + 3*v - 39042 = 160014. Is c composite?
False
Let u = -41 + 48. Let z(n) = -2*n**2 + 11*n**2 - 2 + u*n + 1 - 8. Is z(5) a composite number?
False
Let i be 184/1380 - 45058/(-15). Let o = -1565 + i. Is o composite?
False
Let w(j) = -132*j - 125. Let l(b) = -b. Let i(n) = -3*l(n) + w(n). Is i(-6) composite?
True
Let g(l) = 7678*l**2 + 31*l + 44. Is g(-3) a prime number?
False
Suppose 79641 = i + 2*m, -10*i + 9*i - 3*m = -79643. Is i composite?
True
Let t = 39312 + -21583. Is t composite?
False
Let q be (9/6)/(-3 - (-29025)/9676). Let f = -3214 - q. Let z = f - 1139. Is z composite?
True
Suppose 2*f + 5*i - 420057 = 85850, 252992 = f - 3*i. Is f a prime number?
True
Let a(b) = -423*b**3 + 8*b**2 + 11*b - 137. Is a(-6) a prime number?
True
Let g(a) = a**3 + 98*a**2 + 12*a + 1444. Is g(-59) prime?
False
Let p = 235887 - -1719212. Is p prime?
True
Suppose 10 = 8*v - 3*v. Suppose v*u - 1980 = 1106. Is u a prime number?
True
Let j be -21*((-496)/66 + (-4)/(-22)). Let w = j + 2417. Is w prime?
False
Let h(l) = -l**3 + 7*l**2 - 7*l + 6. Let p be h(6). Let b be 38/((-3 - p) + 0 + 1). Let a = b + 158. Is a a prime number?
True
Let z(a) = a**2 + 8*a + 7. Let h be z(9). Let i = h + -86. Is i prime?
False
Let t = -54389 - -113398. Is t a prime number?
True
Suppose -3*q = w - 13439, 4*q - 4*w = 4310 + 13630. Suppose -21769 = -8*b - q. Is b a composite number?
False
Suppose 5*x - 1317501 = 3*j, 0 = -32*x + 21*x + 4*j + 2898497. Is x composite?
True
Let r = -112793 + 233358. Is r a prime number?
False
Let q = -2396 - -6647. Let x = -9504 - -6512. Let l = x + q. Is l a composite number?
False
Suppose 0 = 15*l + 11*l - 549484. Is l a composite number?
True
Let j = 17022 - -2677. Is j prime?
True
Let b be (-4)/6 - 428/(-12). Is (-1)/(-5) - (1597414/b)/(-13) a prime number?
True
Let d(i) = 37*i**2 - 4*i - 1. Let b be d(4). Let t(q) = -q**3 - 12*q**2 + 17*q + 71. Let m be t(-13). Suppose m*p + b = 24*p. Is p a composite number?
True
Suppose 0 = 5*u - 24441 - 4494. Let m = u + -3175. Suppose -k + 5*k - m = 0. Is k composite?
False
Let q(i) = 6*i + 60. Let y be q(-12). Let h be (-12)/(-10) + y/(-15) + 540. Let o = h + 189. Is o a prime number?
False
Suppose -2*w - 3*a = 45975, 5*w + 5*a = a - 114927. Let p = -15386 - w. Is p a composite number?
True
Suppose 2*i + 354590 = -166*k + 170*k, -2*i = 4*k - 354570. Is k composite?
True
Let q be (5 - (-279)/(-54)) + (-62)/(-12). Suppose -2*a - o = -7*a + 42269, -4*a - q*o = -33792. Is a composite?
True
Let u(f) = 1363*f**2 - 40*f + 5. Is u(6) a composite number?
True
Suppose 2*y = -2*v + 74244, 4*y = 10*v - 8*v + 148470. Is y composite?
True
Let f be (-18*21/(-12))/(21/28). Suppose -24*o = -23*o - f. Suppose 45*x - o*x = 1977. Is x a composite number?
False
Let v be (-11580)/(-3) - (-5)/10*-6. Let r = v - 2208. Is r a composite number?
True
Let p = -160345 + 369056. Is p prime?
False
Let f(r) = -230 + 65*r**2 + 458 - 241 + 15*r. Is f(-6) prime?
True
Let m be (3 - -1)*(-6)/(-8). Suppose 2*f = -0*s + m*s + 30107, 3*f - 5*s = 45162. Is f a prime number?
False
Let l(q) = 10*q - 18. Let j be l(5). Suppose 19*u - 27*u = j. Let w(g) = 9*g**2 + 2*g - 15. Is w(u) prime?
False
Let h be 1/(((-18)/(-189))/2). Suppose 0 = h*l - 19*l - 5534. Is l composite?
False
Suppose 6*u - 8*u + 64180 = -2*g, -32078 = g + 2*u. Let h = -8117 - g. Is h a prime number?
False
Let i(f) = f**3 - 17*f**2 + 2*f - 39. Let n be i(17). Let p(w) = -9*w**2 - 9*w + 15. Let h be p(n). Let v = h + 234. Is v a prime number?
False
Suppose -3*n = -89*z + 84*z - 99003, 99003 = 3*n - 3*z. Is n a composite number?
True
Let o(r) be the second derivative of -5*r**7/168 - 11*r**5/120 - 5*r**4/24 - 37*r**3/6 + r**2 + 47*r. Let a(h) be the second derivative of o(h). Is a(-4) prime?
False
Let n(l) = 601*l**3 - 15*l**2 + 61*l - 19. Is n(8) composite?
True
Suppose -2*n + 14 = -j, 2*n - 5*j + 5 = 35. Suppose n*l = 5*w + 9225, -5*l = -2*w + 7*w - 9245. Is l prime?
True
Let h(f) = -554*f + 5. Let g be h(-3). Let i = g - -9414. Is i prime?
False
Let u be (9/(-54))/(((-1)/(-1))/(-6)). Let t(h) be the first derivative of 241*h**2 + 3*h + 1. Is t(u) composite?
True
Suppose 1805259 + 2896880 = 19*u. Is u a prime number?
False
Is 127854459/71 + 1608/(-57084) a prime number?
True
Let p = 315 - 311. Suppose -5*u + 4*l = -8373, 9*l - 6690 = -p*u + 8*l. Is u prime?
False
Is (-344)/86 + (-25928196)/(-44) + 4/(-22) composite?
False
Suppose -6*x - 62 + 110 = 0, 0 = -2*s - x + 7194. Is s a composite number?
False
Let o(a) = -a**3 - 5*a**2 + 6*a + 5. Let j be o(-6). Is 2 + j/(-3) - (-286550)/75 prime?
True
Suppose 5*c = 243 - 43. Let t = 163 + c. Is t prime?
False
Let a(o) = -o**2 - 7*o - 5. Let g be a(-4). Suppose -x - 4206 = -g*x. Is x a prime number?
True
Suppose -94*p - 4*p + 27415626 = -706552. Is p composite?
True
Suppose 5*y = -2*t + 45862, 2*y + 114655 = 5*t + 6*y. Is t composite?
True
Suppose 0 = 4*d - 12, -3*j - 5*d + 11 = -4*j. Suppose j*b + 31 = -3*w, -5*b = -3*w - w. Is (-2 + b - (-4)/1) + 1167 a prime number?
False
Let x = -156 + 156. Let w be (-1 - 4/(-2))*4347. Suppose x*i - q = -4*i + w, 5*i = 4*q + 5431. Is i composite?
False
Suppose 2042511 = 17*p + 20*p. Is p a prime number?
False
Let u = -51284 - -105685. Is u a composite number?
False
Let j(t) = 194197*t - 313. Is j(2) prime?
True
Let v = -36046 - -60259. Suppose 19*j - 22*j = -v. Is j prime?
False
Let p(z) = -z**3 - z**2 + z + 1. Let i(t) = -4*t**3 - 20*t**2 - 7*t. Suppose 5 = 7*x - 16. Let g(y) = x*p(y) - i(y). Is g(-14) composite?
True
Let u(w) = 8029*w - 18062. Is u(7) a prime number?
False
Let a = -60 + 62. Let p(f) = 5*f**2 + 2*f - 2*f - a*f + 3*f - 5. Is p(8) prime?
False
Let i = 94 + 330. Let u = 765 - i. Let b = 696 - u. Is b prime?
False
Suppose 0 = 30*f - 35*f - 35, -f = -3*b + 5779660. Is b prime?
False
Let o(z) = 1800*z**2 - 105*z + 1687. Is o(18) a prime number?
False
Suppose -667406 - 984468 = -14*j. Suppose 35*q - j = 53754. Is q a composite number?
True
Let a(r) be the first derivative of 23*r**4/4 + 8*r**3/3 - 8*r**2 + 25*r + 90. Is a(8) a prime number?
False
Let k = 106 - 102. Is ((-198)/k)/(19/(-266)) + -2 a composite number?
False
Let f(h) = h**2 - 1. Let x be f(2). Suppose x*p = 2*c - 0*p - 15, 3*p = -9. Suppose v + 0*v - c*w - 41 = 0, 0 = -5*v - 2*w + 188. Is v a prime number?
False
Suppose -42 = 12*x - 19*x. Suppose 3*y - w - 2*w + x = 0, 4*w = -y + 13. Is 97/2*4*y a composite number?
True
Suppose 0*l - l - 2*f + 115 = 0, -4*f - 8 = 0. Suppose g = -15 + l. Suppose 2980 = 108*o - g*o. Is o prime?
False
Let i = -3 - -7. Suppose i*x - 4 = 2*g