 - q = -3*j, 3*j - 68 = 2*j - 3*w. Is j a composite number?
False
Let t = 844 + 445. Let h = -595 + t. Is h prime?
False
Let k(v) be the second derivative of -37*v**6/720 + v**5/120 - 2*v**4/3 - 5*v. Let s(l) be the third derivative of k(l). Is s(-6) composite?
False
Let p be 1/(2 + 3/(-2)). Let i be (-7)/(p - 100/52). Let z = 202 + i. Is z composite?
True
Suppose -6 = d - 2. Let n be d/5 - (-28)/10. Is ((-15)/(-6))/(n/44) prime?
False
Suppose 5 = -0*j + 5*j. Let u be 33/6*(-46)/j. Let x = u - -398. Is x prime?
False
Let u(r) = -1 - 7*r**2 - 2 - 14*r**3 - 2 - 9*r + 13*r**3. Suppose 3*f - f + 4 = 0, j + 3*f = -14. Is u(j) a prime number?
True
Let k(a) = -9*a**3 - 3*a**2 + 12*a + 14. Let i be k(-4). Suppose 0*r = 5*f - 3*r - i, 5*r = -2*f + 179. Is f composite?
False
Suppose 5*d - 312680 = -5*z, -2*z - 66293 - 58759 = -2*d. Is d composite?
True
Let r(x) = x**3 - 5*x**2 + 5*x - 4. Let n be r(4). Suppose -t = -3*p + 452, n*p - 2*p = 2*t - 288. Is p a prime number?
True
Let o = -6 + 8. Let s be 2 - (-1)/o*2. Suppose n - 6*n = 4*b - 124, 2*b + s*n = 62. Is b a prime number?
True
Is ((-7)/(224/(-8)))/((-1)/(-193796)) a prime number?
True
Let s = -398 + 5059. Is s a composite number?
True
Let u be (-4 - -8)/(2*1). Let h = 16 + -12. Suppose -3*w + 677 = -0*f + 4*f, 0 = u*w - h*f - 438. Is w composite?
False
Suppose -3*b + 7000 = -4535. Is b a composite number?
True
Is (176616/8 + 4)*1 a composite number?
True
Suppose 4*d + 708 = -4*a, 0*a + 4*d - 876 = 5*a. Let v = a - -299. Is v prime?
False
Let a be 8*((-14)/(-4))/7. Suppose -a*j - 99 + 415 = 0. Is j prime?
True
Let l be (3/(-4))/(22/(-176)). Let t(u) = 48*u + 1. Is t(l) composite?
True
Let v(c) = c**3 - 7*c**2 + c - 4. Suppose -2*n + 19 - 5 = 0. Let k be v(n). Suppose -3*t = -3*p + 96, 3*p - 86 = -4*t + k. Is p a prime number?
True
Let d = -216 + 470. Suppose h - 3 = -1. Suppose -i = -b - 127, 0*i = -h*i + b + d. Is i a composite number?
False
Let c = 3095 - 286. Is c composite?
True
Suppose 1009 - 377 = 8*i. Suppose -u - 829 = i. Let m = u - -1465. Is m a prime number?
True
Suppose 2*j + 10 = 2*g, 0 = -2*j - 9*g + 4*g + 25. Suppose -k = -7 - j. Suppose 477 = -k*h + 10*h. Is h composite?
True
Suppose -932*s + 926*s = -65838. Is s prime?
True
Let i = 56 + -46. Suppose i*p - 91977 = 3293. Is p a prime number?
False
Let z(q) be the first derivative of 6*q**3 + 5*q**2/2 + 13*q + 17. Is z(-6) a prime number?
True
Suppose -3*x = -0*x - 327. Suppose -x = -p + 108. Let u = 326 - p. Is u a prime number?
True
Is (-4)/(-22) - (-5556759)/429 composite?
False
Is (-508167)/(-55) - (-2 + 48/20) a composite number?
False
Let n(u) = -2*u + 3. Let o be n(-2). Suppose -5*q = -o*q - 24. Is 2/q + (-331)/(-6) composite?
True
Let b(k) be the second derivative of -k**3/6 + k**2/2 + 9*k. Let u be b(-1). Is u/((-6)/361)*-3 a prime number?
False
Let b be 4 + 2 + (-6)/3. Suppose 0 = 4*k + b, 3*r + 4*k - 4 = 1. Suppose v = r*v + 5*n + 1, v - 4*n = 6. Is v composite?
False
Let v(s) = s**2 - s. Let j(p) = -p**3 - 5*p**2 + 8*p + 9. Let i(q) = j(q) - 3*v(q). Let u be i(-9). Is 3/(-2)*3210/u a prime number?
False
Let l(f) = -2*f**2 - 8*f + 3. Let c be l(-4). Suppose 0 = -o + 1 - c, 193 = y - 4*o. Is y a composite number?
True
Suppose -r - 468 = 2*r + 3*c, 0 = -4*r + 4*c - 632. Suppose 5*f - 32 = -4*v, -2*v + 2*f - 2 = -0. Is r/v*(-11 - -8) composite?
False
Let j = -1 + 3. Suppose 142 = j*u - 0*u. Is u composite?
False
Let w be 3/(-4) + (-63)/(-4). Suppose 3*h + 3*j = -0*h, w = -5*j. Suppose -h*t = -2*k + 203, 2*k + 0*t - 188 = -2*t. Is k a prime number?
True
Let g(k) = -14*k**3 - 2*k**2 - 2*k - 29. Is g(-9) a composite number?
True
Let t be 4/16*-2*-2*1. Is (-3 - -2)/(t/(-3453)*3) a prime number?
True
Is 10012/2*49/98 composite?
False
Let g = 19436 + -13875. Is g a composite number?
True
Let m = -411 + 1088. Is m a prime number?
True
Let c = 9 - 6. Is (c - -2)/((-4)/(-388)) prime?
False
Let b(p) = 395*p - 182. Is b(5) a prime number?
False
Suppose 7*d - 3047 = 40703. Let m = -4005 + d. Is m prime?
False
Let g = 7 + -5. Suppose -17 + g = 3*h. Let x(c) = c**2 - 4*c + 1. Is x(h) composite?
True
Suppose 86461 = o + 5*l + 23515, 251709 = 4*o + 5*l. Is o composite?
False
Suppose 3194 = 5*v - 3*u, 4*v = 5*u + 3119 - 556. Suppose v = 7*l + 6*l. Is l prime?
False
Suppose 10*h - 28 = 3*h. Suppose -4*o - h = -4*a, -4*a + 12 = -0*o + 4*o. Is (a - 313/3)*-3 a prime number?
True
Suppose 5*n = 3*n. Suppose -v + 2 - 6 = n. Is 10/5*(-998)/v a composite number?
False
Let y be 13876/(-6) + 5/(-15). Suppose 4*z - 4 = -0. Is (z/1)/((-9)/y) composite?
False
Suppose -2*z + 4*z - 96 = 0. Suppose -r + z = r. Suppose -27*s + r*s + 711 = 0. Is s composite?
True
Suppose 2*w - 2*f - 9 = -3*f, -3*f + 2 = w. Suppose 12 = 2*n + n. Suppose -w*i = -n*i - o - 336, 5*o + 25 = 0. Is i a composite number?
False
Let h(u) = 51*u + 8. Suppose -3 = -t - n, -2*n + 6 = 2*t - 4*n. Suppose 15 = 3*x - t*j, 0*x = 5*x + j - 49. Is h(x) composite?
False
Suppose b - 2587 = -4*w, 5*b - 11157 = -3*w + 1693. Is b a prime number?
False
Suppose 4497 = -11*h + 14*h + g, -5*g + 7495 = 5*h. Is h a composite number?
False
Suppose 0 = o + o + 3*d - 5051, 5*o + 2*d = 12611. Is o composite?
False
Suppose 2*o - 5 - 10 = -3*l, -5*l = -4*o - 3. Is (13170/o)/5 + -1 a prime number?
True
Let g(h) = 7*h + 2. Let i be g(11). Let d = i - 157. Is (6/18)/((-2)/d) a composite number?
False
Let i(s) = s**3 - s**2. Let b be i(2). Is 3/6 + b/8 + 2052 a prime number?
True
Suppose -4*u = -6*u + 2162. Let n = u - 374. Is n prime?
False
Let c = -3310 + 19437. Is c prime?
True
Suppose 0 = -4*j + 2*u + 16450, u - 16453 = -4*j + 4*u. Is j a composite number?
False
Let h(d) = -2*d. Let g be h(-5). Let q be ((-15)/g)/((-3)/16). Suppose q = 4*m, 3*i = -i + 2*m + 168. Is i prime?
True
Is (0 + 0 + -1)*-1271 prime?
False
Suppose 131366 = 25*o + 13*o. Is o composite?
False
Let j(q) = 129*q**2 + q - 13. Let u be j(-5). Suppose -75*t = -78*t + u. Is t a prime number?
True
Suppose 23 = 2*r + 5*f, 2*r - 2 = -0*r + 2*f. Suppose r*d = 3*j - 657 + 2197, 3*d - 1126 = -5*j. Suppose -4*v + d = -350. Is v prime?
False
Suppose 801 = -4*l + 9801. Suppose -5*t - 5*x + l = 0, 3*t = 7*t - 5*x - 1773. Is t a composite number?
True
Let o = 52277 - 18322. Is o a composite number?
True
Let y(u) = u**3 - u**2 - 33. Let t be y(0). Suppose -4*k = -4*d + 821 + 135, -2*k + 4*d - 484 = 0. Let q = t - k. Is q composite?
True
Suppose -9821938 + 211464 = -34*w. Is w composite?
False
Let h(g) = 14*g**2 - 3*g - 4. Suppose 0*b - 4 = -b. Let a be (-2 + 17)*b/12. Is h(a) prime?
True
Let o = 2368 + -651. Is o composite?
True
Let j(l) = 53*l**2 + 2*l + 4. Let o be j(-2). Suppose 4*m = -0*m + o. Is m a composite number?
False
Let z(o) = 3*o**2 + 9*o + 33. Let m be z(10). Suppose -m - 354 = -7*a. Is a composite?
True
Let o(n) = -n**3 - 8*n**2 - 3*n - 19. Let b be o(-8). Suppose 14 = u + g, -g = -2*u - b*g + 30. Is u a prime number?
True
Suppose 7*s - 392181 = 98120. Is s a composite number?
True
Suppose 12 = -2*x + 6. Let w(t) = -t + 1. Let l(o) = -16*o**2 - 7*o - 3. Let a(k) = -l(k) + 4*w(k). Is a(x) prime?
False
Suppose -o + 10 - 4 = 0. Suppose o*g - 1879 - 1127 = 0. Is g a prime number?
False
Let n = 668 - -923. Is n a prime number?
False
Let g = 41 - 59. Let u be (-2)/(-9) + (-3200)/g. Suppose -s + u + 463 = 0. Is s composite?
False
Let m(o) = -2*o**2 + 651. Let h be m(0). Suppose -4*u = 5*n - h, 77 = n + 2*u - 58. Is n a composite number?
False
Suppose 31959 = 16*m - 7*m. Is m a prime number?
False
Let q = 5853 - -7460. Is q prime?
True
Let d = -5 + 10. Suppose -4*o = -d*o. Suppose -c = 2, c + 2326 = -o*u + 4*u. Is u prime?
False
Suppose -248 = q - 2*c, -2*q - 5*c + 248 = -3*q. Let u = q + 760. Suppose p + u = x + 4*p, -4*x + 3*p + 2093 = 0. Is x a prime number?
True
Let w(j) = -j. Let r(a) = 301*a - 23. Let k(p) = -r(p) + 3*w(p). Is k(-6) a composite number?
False
Let v(t) = 127*t + 109. Is v(18) prime?
False
Let t = 10 - 8. Suppose -4*w + 72 = t*y, 3*w + 30 = 5*w + 4*y. Suppose -w = 2*r - 273. Is r prime?
True
Let q = 66627 - 14298. Is q prime?
False
Let o = -18 + 23. Suppose 0*y = o*y - 20. Suppose 9*x = y*x + 1265. Is x composite?
True
Let b(v) = -2*v**3 - 22*v**2 - 6*v + 17. Is b(-14) composite?
False
Suppose -5*t - 3 - 20 = 2*h, 0 = t + 3. Let 