
True
Let d be (-4)/(-30) - 22946/(-30). Let g be 4/(-14) + d/105. Suppose -10*q = -g*q - 2769. Is q prime?
False
Let w(j) = 24*j**2 + 233*j + 272. Is w(-17) prime?
False
Suppose 2*z = 28 + 66. Let k = 57 - z. Let h(l) = l**3 - 8*l**2 - 9*l - 7. Is h(k) a prime number?
True
Let d be (-32)/(-14) + (-14)/49. Let m be (0 - d)/(16/(-24)). Suppose -h + 722 = h - m*k, -3*h + k = -1076. Is h a composite number?
True
Let b be (5638/(-3) - -4)*(-21)/7. Let f = b - 317. Is f prime?
True
Let f(j) = 804*j**2 - 152*j + 19. Is f(13) composite?
False
Is 2943 - (3 - (-15 + 8)) composite?
True
Suppose 66 = 2*f - 5*f. Suppose -21*u + 28*u = 28. Is 6/u*-2 + (0 - f) composite?
False
Suppose -14 = -2*i, -52*w + 50*w + 77292 = 2*i. Is w composite?
False
Let n = 48 + -44. Suppose 14 - n = -5*l. Is 2 - (-991 + l + 4) prime?
True
Suppose -3*p + 162 = -2*x, -20*p + 4*x - 124 = -22*p. Is -2 - (-5458 + 2) - p/(-14) a composite number?
True
Suppose -8038042 = 46*j - 164*j. Is j a prime number?
False
Let d = 7682 + -2630. Suppose 10*c - d - 298 = 0. Is c prime?
False
Let g = 643 + -390. Is g - (4/(-34) - 180/(-85)) composite?
False
Let r(f) be the second derivative of -5*f**3/6 + 28*f**2 - 28*f. Let g be r(11). Is (-213535)/(-14) + g/2 prime?
False
Let x(h) = 446*h**3 + h**2 + h - 3. Let g(a) be the second derivative of -a**4/12 + a**3/2 + 12*a. Let z be g(2). Is x(z) composite?
False
Suppose 0*u + 2*u = -3*c - 921, u - c + 458 = 0. Let b = u + 857. Suppose g + 5*h - b - 1465 = 0, -7352 = -4*g + 5*h. Is g a prime number?
False
Let h(z) = 78*z**2 - 61*z + 66. Is h(-19) a composite number?
False
Let c = -11 + 13. Suppose 2*y + r = 12252, 3*y = -c*r + 3*r + 18383. Is y prime?
False
Let g be -975 + (-4 + 6 - -2). Let c = -1362 - g. Let f = c + 1194. Is f a composite number?
True
Suppose -3*a + 53840 = 2*u, 0 = 5*u - 4*a - 17214 - 117363. Is u a prime number?
False
Suppose s - 231109 = -w, -693325 = 148*s - 151*s - 2*w. Is s a composite number?
False
Suppose 0 = -5*l - 15, -5*s - 10*l + 1150 = -5*l. Let x = -196 + s. Is x a composite number?
False
Suppose 0 = -0*n + 4*n - 20. Suppose -4*s + 20 = -x, -5 = -s - n*x + 2*x. Suppose s*c - 1874 + 219 = 0. Is c a prime number?
True
Let x(i) = -18545*i - 1864. Is x(-7) prime?
True
Let u = -4 - 14. Is (-6)/u + 28216/6 a prime number?
True
Let l(d) = -4*d**2 + 24*d - 9. Let c be l(4). Suppose 30749 + 81054 = c*t. Is t a composite number?
False
Let l(b) = 275*b + 6. Let s(q) = -q**3 - q**2 - 3*q + 5. Let r = -62 - -62. Let n be s(r). Is l(n) a composite number?
False
Is ((-183528)/32 + 3)/(3/(-4)) composite?
False
Let w(v) = -v**3 + 79*v**2 - 43*v + 17. Is w(72) a composite number?
True
Let b be (3/(-5) + 1)/((-1)/(-35)). Let q(f) = 193*f + 17. Is q(b) a prime number?
True
Suppose 12*y - y = 367653. Suppose -u = 12*u - y. Is u composite?
True
Let u(x) be the first derivative of 44*x**3/3 - 21*x**2/2 + 23*x + 111. Is u(6) composite?
False
Suppose 3*j - 3*k = -6, 2 = -5*j + 3*k - 2*k. Suppose j*n - 3*a = n - 2578, -5*n + 2*a + 12805 = 0. Is n prime?
False
Let q(j) = 3*j**3 + 2*j**2 - 18*j + 18. Let a = 1 + 6. Is q(a) a prime number?
True
Suppose 0 = -3*m - r + 15, 0 = -m - 5*r + 1 + 18. Let s(q) = -3 - m + 3 - 2 + 8*q**2. Is s(5) prime?
False
Let x = 30 - 23. Let y = -11 + x. Is 1*(265 + (y - -2)) a composite number?
False
Suppose 0 = 2*h + 4*k - 32, -32 = -2*h - 2*k + 2. Let u be (-2)/(-9) - (22/h - 1). Suppose -3*t + 3288 = 5*f - 505, u = 3*t - 3*f - 3825. Is t a prime number?
False
Suppose 0 = 5*u + 3*s - 26716, -u + 1564 = 2*s - 3782. Let y = -1259 + u. Is y a prime number?
False
Let j(c) be the third derivative of 37*c**7/720 + 11*c**6/144 + 3*c**5/4 - 34*c**2. Let r(w) be the third derivative of j(w). Is r(12) composite?
False
Is 1/(35/(-15)) - 15252288/(-168) composite?
False
Suppose 0 = b - 3*n + 1361, -b - 3*n - 1377 = 2*n. Let r = 3538 + b. Is r a composite number?
True
Suppose -2*a + 68*h + 218394 = 70*h, 2*a - 218400 = h. Is a prime?
True
Let z = -4046 + 6146. Let d(p) = 4*p**3 + 4*p**2 - 4*p + 13. Let j be d(6). Let m = z - j. Is m a prime number?
True
Let s(u) be the first derivative of 2026*u**3/3 - u**2/2 + u + 43. Is s(1) a prime number?
False
Let z = 10259 + 55826. Is z a prime number?
False
Let w be 34/221 - (-15)/(-13). Let d(m) = 391*m + 8. Let j(u) = 1174*u + 23. Let a(f) = 11*d(f) - 4*j(f). Is a(w) a prime number?
False
Suppose -4*l + 40 = -0*l. Suppose -5*k = -r + 9 + l, -3*r = k - 9. Suppose 0 = -0*h + r*h - 13652. Is h a prime number?
True
Suppose -s - 2*k - 3044 = 0, 3490 = -4*s - 4*k - 8702. Let v = -685 + 681. Is s/(-8) - ((-6)/v)/(-3) prime?
False
Is (1 + 489805/(-15) + 4)/(10/(-15)) a prime number?
True
Let s = -30 - -33. Suppose -4247 + 16250 = s*v. Is v a composite number?
False
Suppose -62*l - 263176 = -64*l + 3*h, -5*l + 3*h = -657913. Is l prime?
False
Suppose 0 = -4*y - 110338 - 40314. Let c = 54908 + y. Is c prime?
False
Is ((54092/30)/(40/(-400)))/(4/(-3)) composite?
False
Let u(j) = -5*j**2 + 74*j + 17. Let c be u(15). Suppose c*k + 1275 - 3413 = 0. Is k prime?
True
Suppose 0 = 146*d + 113*d - 31712219. Is d composite?
True
Suppose -3*q + 14855 = -246412 - 130920. Is q a prime number?
True
Let g(y) = y**2 - 22*y - 48. Let j be g(24). Let n be (-25 - -20)*(-1 - j). Suppose -5*b + 5185 = 5*s, -4*b - n*s + 4152 = -3*s. Is b prime?
True
Let d be 86220/27 - (-2 - 3/(-9)). Suppose 40*v + d = 49*v. Is v a composite number?
True
Suppose 0 = 2*z - 20*k + 17*k - 7, -3*k + 5 = 4*z. Suppose 35982 - 5461 = z*o - 3*l, -3*l = 4*o - 60997. Is o prime?
False
Is 12330 - (-9)/(-18)*22 prime?
False
Suppose -920 = -3*q + 4*j + 1814, 4*q - 3652 = 2*j. Let p(v) = -2274*v + 1. Let s be p(-1). Let i = s - q. Is i a prime number?
True
Suppose -45*b + 78934349 = 161*b + 15*b. Is b a prime number?
True
Let g = -42 - -47. Suppose -g*b + 24 = -h, 2*b + h = 4*h + 20. Suppose 3*d - b*a - 712 = -d, 4*a + 4 = 0. Is d composite?
True
Suppose 2*i = 8 + 12. Suppose z - 3*o + o - 7 = 0, 5*o = z - i. Suppose z*b = -t + 2911, b - 5*t - 679 = -76. Is b a composite number?
True
Let d = -701626 + 992715. Is d composite?
False
Suppose -132 = 2*y - 46*y. Suppose -3*x = 6*b - 5*b - 1385, -1409 = -b + y*x. Is b prime?
False
Suppose -f + 22641 = -2*z, -6*z - 33949 = -3*z + f. Let w = 13523 - z. Is w a prime number?
True
Let f be (-42)/5*(-1 - 7/3). Suppose -26 = 3*d - o, 3*d + f = d - 2*o. Let j(b) = -3*b**3 - 30*b**2 - b. Is j(d) prime?
False
Let m(l) = 130*l - 27. Let n(s) = -s + 1. Let u(t) = -m(t) - 5*n(t). Let d be u(-9). Let o = 952 + d. Is o composite?
False
Let s be -2 + 6/3 - -2. Suppose 0 = -5*r + 3*a + 110, -3*r - s*a = -0*a - 66. Suppose -3*i + 1693 - r = 0. Is i a prime number?
True
Let t be ((-2)/12)/(2/(-24)). Suppose 3*o - 7570 = -4*i + 2842, 0 = 4*i + t*o - 10412. Is i composite?
True
Let y = 59454 + -15295. Is y composite?
False
Let f(y) = -2*y + 12. Let w be f(6). Is (-3 - -2) + 2418 + w/(-2) a composite number?
False
Let j(a) = a**3 - 15*a**2 - 14*a - 27. Let q be j(16). Suppose 0 = 5*o - 3*l - 10906, -q*o + 2*l = -0*o - 10909. Is o a prime number?
False
Let j = 509141 + -211098. Is j a prime number?
True
Is (240868/(-6))/((-451)/82 - (-116)/24) composite?
False
Suppose 0 = 7*u - 55*u + 435792. Is u a composite number?
True
Is (-21)/(-14)*(-1 + 616/(-36))*-978 composite?
True
Is 0 + 15 + (311165 - 123) a composite number?
True
Let c be 2*(-20)/(-8)*1. Suppose 0 = -c*o + 5*a + 8515, 4*o + a - 6800 = 2*a. Let m = o + -806. Is m prime?
False
Let s = -791 - -30202. Is s a prime number?
True
Suppose 0 = -2*z + 909 + 1291. Let k be 15/2*z/33. Suppose -4*u - 3*t + 340 = 0, k - 80 = 2*u + 3*t. Is u composite?
True
Let q be (-2)/10 - 2485/(-175). Suppose -q - 16 = 5*z. Is 5 - (6 - 784) - (z + 2) composite?
False
Let k(p) = 96*p**2 + 34*p + 405. Is k(-19) prime?
False
Suppose m = 2*k - 2*m - 24, -k = 2*m - 12. Let x = k - 9. Suppose -4*s - x*w - 2*w + 3629 = 0, -5*s = 5*w - 4540. Is s composite?
False
Let m(i) = i**3 + 3*i**2 - 4*i - 6. Let n be m(-3). Suppose n*j = 33315 + 19593. Is j a composite number?
True
Let g(m) be the third derivative of 133*m**5/15 - m**4/6 - 7*m**3/6 - 28*m**2 - 3. Is g(6) composite?
False
Let j(i) = i**3 + 5*i**2 - 8*i - 7. Let l be j(-6). Suppose 2*s + 3575 = 5*p, -l*p + 2743 + 817 = s. Is p a composite n