c be s(-9). Let k(d) = -5 + 80*d + 45*d - c*d - 170*d. Is k(-2) a composite number?
True
Let n(g) = -39*g**3 - 2*g**2 + 32*g + 51. Is n(-10) composite?
True
Let f be (48/15 + -2)/((-12)/(-160)). Suppose f*y = 16015 + 16833. Is y a composite number?
False
Is 41954/10*(80 - 75) a composite number?
True
Let b = -8 + 10. Let t(j) = -4 + 3 + 8*j**3 - j**2 - 7*j - j**b. Is t(4) composite?
True
Let d = 73624 - 21700. Suppose -d = -44*i + 32*i. Is i a prime number?
True
Let b = 513 - 511. Suppose 3*i - 3009 = -4*j, -14*i + 9*i = b*j - 1501. Is j composite?
True
Is 7/35*-5*-115697 prime?
False
Let h = -727 + 732. Suppose -4*q + 2*i + 1006 + 13400 = 0, -h*q + 18000 = -i. Is q a prime number?
False
Let m = 11 - 1. Suppose -m = 5*l, z + 4*l - 43 = -3. Suppose z*g - 398 = 46*g. Is g prime?
True
Let m = 1226 - -589. Let x = m - 444. Is x composite?
True
Let n(v) = -3*v**2 + 3*v + 5. Let w be n(5). Let x be (-124498)/w + (-2)/(-5). Let s = x - 885. Is s prime?
False
Let f(w) = 12*w**2 - w - 1. Let o be f(-1). Suppose -q - 3*v - o = 0, -4*q + 3*q + v = -4. Suppose q = -5*d - 1388 + 5603. Is d a composite number?
True
Suppose -5*q - 7*g + 3*g = 0, -g = 0. Suppose 4*f - 5*n = 18, q = -4*f - 0*f + n + 10. Is ((-2)/f)/(((-1)/(-79))/(-1)) a composite number?
False
Is 12/(-15)*32955255/(-162) a composite number?
True
Let j(k) be the third derivative of -k**4/12 + k**3/3 - 4*k**2. Let a be j(0). Is 108 - a*(-2)/4 composite?
False
Let o(w) = 9043*w - 2748. Is o(5) a composite number?
False
Let q(l) = -7681*l + 8. Let x(v) = -7681*v + 6. Let a(r) = -3*q(r) + 2*x(r). Is a(1) composite?
False
Let b be (-45)/120 + -3*(-118)/48. Suppose b*y - 3*y - 25396 = -4*c, -c - 2*y = -6349. Is c a composite number?
True
Let c(y) = 574*y. Let g be c(-1). Let w = g - -26. Let p = w + 1071. Is p a prime number?
True
Suppose 0 = -9*z - 21*z + 360. Suppose 1003 = 9*a - 572. Let r = a - z. Is r a prime number?
True
Let d(q) = 1115*q**2 - 393*q - 5485. Is d(-14) a composite number?
True
Let w be 4699 - (4/(-14) + (-45)/(-35)). Let h = -3043 + w. Is h composite?
True
Suppose 5*v - 262 - 153 = 0. Suppose -8*c = -3*c + 25, 2*o - v = -c. Is -2 - (3 - o*3) a composite number?
False
Suppose 12 = 8*t - 5*t. Suppose t*v - 532 = -4416. Let n = 2502 + v. Is n composite?
False
Suppose 77621 = 3*v + 5*q, -290*q = 4*v - 292*q - 103460. Is v a prime number?
True
Suppose 4*y = 4*i + 209056, -50*y - 3*i + 104503 = -48*y. Is y composite?
False
Suppose -322898 - 523501 = -14*z + 123983. Is z a prime number?
True
Suppose 8*j - 5 = 3*j. Let u be (-2)/((-1)/(-2)*(-2)/j). Suppose 5*r + 645 = 4*a + a, -4*r = -u*a + 262. Is a prime?
True
Suppose -50*l + 3501486 = -2258564. Is l a prime number?
True
Suppose 50 = b + 45. Suppose l + l - 6 = 0, -2*l = -b*s + 1019. Is s a prime number?
False
Let t = -336 - -296. Let m(q) = -345*q + 73. Is m(t) composite?
False
Suppose -v + 6*v - 5*g - 1429705 = 0, 4*v - 1143728 = -5*g. Is v prime?
True
Suppose -5*t + 9652 = d, 5*d + t - 48370 = -2*t. Is d prime?
True
Suppose 81*s = 78*s + 9339. Suppose 10*d - s = 11537. Is d composite?
True
Suppose -u = 3*u + 2*h + 62, 4*h - 110 = 5*u. Is 1/(-3) - (2 - (-5640)/u) prime?
True
Suppose 0 = 2*w + f + 120, w = -0*f + 5*f - 60. Is 8/5 - 8484/w composite?
True
Is ((0 - (-247814)/(-4)) + 1)/(1/(-2)) prime?
False
Let u = -1100 - -2439. Let q = -176 + u. Is q prime?
True
Let g = 9498 - -23000. Is g a composite number?
True
Suppose -70770 = -5*c + 3*s, -11*s - 28308 = -2*c - 10*s. Let w = -4019 + c. Is w prime?
False
Let p(n) = 16*n + 8. Let i be (-34)/(-2) + (-13)/((-78)/12). Let x be p(i). Let m = x - 193. Is m prime?
False
Let p(q) = 2*q**2 - 63*q + 41. Let t be p(31). Suppose t = 2*m, -m = 5*f + 2*m + 13765. Let a = -1747 - f. Is a composite?
False
Let c = -2638 + 2749. Is c a prime number?
False
Let s(c) = -2*c**3 + 43*c**2 - 7*c + 307. Is s(-48) a prime number?
True
Suppose -8969*v + 8943*v + 1172418 = 0. Is v composite?
True
Suppose -23*z + 11747381 = -32950152. Is z a prime number?
True
Let t be (5 + -5)/(44/11). Suppose -2*n - 48*z + 43*z + 51690 = t, n - z - 25831 = 0. Is n prime?
False
Let y be 5 + (5 - -7)*75/(-12). Let g(n) = 93*n. Let v be g(1). Let i = v + y. Is i a prime number?
True
Let u = 25 + -21. Suppose -4*q = -2*d + 20, -u*q - 2*d + d = 26. Is 1/(q/(-12)*(-2)/(-221)) prime?
False
Suppose 192 = -49*g + 37*g. Is (57478 + (1 - 3))*(-4)/g a prime number?
True
Suppose -128*m + 125*m = 4*b - 4288162, 3*m - 6 = 0. Is b prime?
True
Let v = -265 + 3353. Suppose -4*l - 13 = -33. Suppose l*t - 6777 = v. Is t a composite number?
False
Let u(m) = 2719*m**2 + 14*m - 7. Let o(w) = -2720*w**2 - 13*w + 4. Let j(d) = -4*o(d) - 3*u(d). Is j(-2) prime?
False
Let c(o) = 179*o**2 + 66*o**2 + 260*o**2 - 75*o**2 + 11 - 200*o. Is c(6) a composite number?
True
Suppose 5*q - 25 = 3*d, -3*q + 7*d - 6*d + 11 = 0. Suppose 5*c = q*i - 14698, -2281 = -i - 5*c + 5068. Is i a prime number?
True
Let h(n) = n**3 + 6*n**2 + 6*n + 1. Let u be h(-4). Suppose -69 = -c + u. Suppose c = 3*a + 3*r, 0*a - 4*r = 2*a - 52. Is a prime?
False
Let k(y) = 7*y + 127. Let b be k(-17). Is 25869 + 18 - b*1 prime?
False
Let t be 407 - 1/(-2 - -1). Suppose -506 = 9*m + 1933. Let w = t - m. Is w prime?
False
Let k(b) = -2*b**2 - 4*b + 14253. Suppose -22*c = -15*c. Is k(c) a composite number?
True
Let t = 36 - -76. Is (-6753)/2*t/(-84) a prime number?
False
Let m(n) = -4*n**2 + 85*n - 132. Let i be m(30). Suppose -12*k + 8*k = -13108. Let h = k + i. Is h a composite number?
True
Let m(r) = -10855*r + 784. Is m(-19) prime?
True
Let o(b) = -b**3 + 33*b**2 + 43*b + 57. Let d be o(28). Let h = d + -3220. Is h composite?
True
Let a = 84230 + -6097. Is a a composite number?
True
Let l be 27/(-45) - 1445544/(-15). Suppose 14*t = t + l. Suppose 2*h = 5*d - t, -5*d + 70 = -h - 7339. Is d prime?
True
Let r(v) = v**3 + 7*v**2 - 34*v + 1. Let g be r(-10). Let a = 4226 + g. Is a a prime number?
False
Suppose -308*g + 305*g + q + 1236239 = 0, 3*g + 4*q - 1236259 = 0. Is g a prime number?
True
Suppose 7*x + 57 = 449. Let z = 5 + x. Let t = z - -30. Is t a prime number?
False
Suppose -33*s + 1037778 = -1118409. Is s composite?
True
Let i be (-7 + 27)/(10/2795). Let t = i + 783. Is t a prime number?
True
Suppose 5*k + a - 7 = 7*k, -4*k + 5*a = 11. Is 1151/2*(-5)/10*k prime?
True
Suppose -170*u + 45297 = -169*u. Suppose -4*f + 5*r = -36246, 5*f = -14*r + 15*r + u. Is f a composite number?
False
Suppose 1105894 = 2*g + 2*f, 27*f - 1105870 = -2*g + 29*f. Is g a composite number?
True
Let t(q) = -24*q + 1. Let m be t(-1). Let v(c) = -8*c + 9807*c**3 + 36*c - 2 + 28*c**2 - 9808*c**3. Is v(m) prime?
False
Let k(g) = -g**3 - 6*g**2 - 2*g + 12. Let t be k(-6). Suppose t*y - 3948 = 37980. Is y a prime number?
True
Let d be 92/(-4)*(0 - 1). Let p = d - 21. Is (1271 - (6 - p)) + 0 a prime number?
False
Let j(w) = -3*w**3 - w + 4*w**3 + 11*w - 6*w**2 - 16*w**2 + 3 + 34*w**2. Let b = -34 + 23. Is j(b) prime?
False
Let t(p) = -107413*p - 92. Is t(-3) a prime number?
False
Suppose 0 = -31*q + 38691 + 209402. Is q prime?
False
Suppose 9*t + 5342 = 8*t. Let n = -1915 - t. Is n prime?
False
Let r(l) = -80*l**3 + 2*l**2 + 10*l + 11. Let f = 125 - 128. Is r(f) a prime number?
False
Let q = 1143 - -243. Suppose 2*s - q = 2*x - 394, -s - 3*x + 508 = 0. Is s prime?
True
Suppose 3*g + 3*a - 7*a = 27, 3*a - 9 = -g. Let x(s) = -11*s + 5*s + 0*s + g. Is x(-10) composite?
True
Let f(h) = -3*h + 9. Suppose 5*t + g - 2 = 0, -8*t + 3*t + 2*g - 4 = 0. Let u be f(t). Let a = u - -40. Is a prime?
False
Suppose 4*q + 5*o - 501462 = 72962, -4*q + 574460 = -4*o. Is q prime?
False
Let w(o) be the second derivative of o**5/20 + 13*o**4/12 - 8*o**3/3 + 25*o**2/2 - 2*o - 11. Is w(-14) composite?
False
Suppose -28 = -4*z - 0*z. Let u(l) = -72077*l + 72092*l + 1 - 12*l**2 - 15*l**3 + 18*l**3. Is u(z) composite?
False
Suppose 19547*c - 19555*c = -210616. Is c a prime number?
False
Suppose 0 = 3*m + 12, -7*v = -10*v - 5*m + 498853. Is v prime?
False
Let a be (-2)/(-14) + 14*(-40)/(-196). Suppose 5*g - s = -2992 + 14781, g + a*s = 2345. Is g prime?
True
Is (14 - -684531) + -2*(-3)/3*-1 a composite number?
True
Let z be 6 - 3*12/18. Suppose -3*g + 1831 = z*y - 436, 2*g + 2*y = 1514. Is g a prime number?
True
Suppose 60*m - 86*m - 186342