9) a prime number?
True
Let l = -2206 - 39264. Let v = -29103 - l. Is v a prime number?
False
Let m(r) = -r**3 - 35*r**2 - 51*r + 5. Suppose -5*v - 119 - 51 = 0. Is m(v) a prime number?
False
Let p(f) = -10*f**3 + 5*f**2 + 93*f + 61. Is p(-14) a prime number?
True
Let m(h) = -49617*h**3 + 7*h**2 + 13*h + 2. Let w(g) = -g**3 + 2*g**2 + 2*g + 2. Let o(v) = -m(v) + 4*w(v). Is o(1) prime?
False
Suppose 2*l + 5*u = 22, 6 = 3*l + u - 1. Suppose 2*x - l - 3 = 0. Is (x - 5) + 0 + 1168 composite?
True
Suppose -3*r = -5*p + 32, 0*p + p + 4*r - 11 = 0. Let i be p + -9 + 4890/2. Suppose -2*q - 4*t + 2*t + 4910 = 0, i = q - 5*t. Is q composite?
True
Let o(d) = -d**2 - 11*d - 9. Let u be o(-8). Let g be 5 + -2 - 5/(u/(-2916)). Suppose -n + 1642 = 5*j - 2*n, 3*j = 4*n + g. Is j prime?
False
Is (-150)/(-250) + (-500204)/(-10) a composite number?
False
Let m(h) = h - 30. Let f be m(39). Is f + (-2 - 7) - 1*-685 prime?
False
Let v(i) = i**2 - 17*i + 2. Let w be v(19). Let r = w + -36. Suppose -5*a + 1580 = -5*u, -2*u + 1273 = r*a + 3*u. Is a a composite number?
False
Let w(n) = -41*n + 5. Let s be w(-4). Let m(z) = 118*z**3 - 2*z**2 - 11*z + 13. Let y be m(1). Let g = s + y. Is g composite?
True
Let v(x) = -2*x - 8. Let o be v(-6). Suppose -r = -3*f + 10, 191*f = 196*f + 4*r - 28. Suppose 0 = 3*i - f*s - 941, o*s + 33 + 270 = i. Is i composite?
True
Is ((-49)/14)/((-966182)/(-87836) - 11) composite?
True
Suppose -8*s + 22 + 18 = 0. Let d(z) = -s + 305*z + 24 + 0 - 2. Is d(6) prime?
True
Let y(g) be the third derivative of 117*g**5/10 - 5*g**4/8 - 8*g**3/3 - 7*g**2 + 5*g. Is y(-1) prime?
True
Let w = 74041 + -49849. Let v = 52023 - w. Is v composite?
True
Let p = -312 + 297. Let n(a) = -119*a - 134. Is n(p) a prime number?
False
Let l = 2869 - 1563. Suppose -l = -5*f + 729. Is f a prime number?
False
Suppose -2*g - 127 = 5*u, -2*g - 7*u = -6*u + 115. Is (-7)/g - (-406122)/48 composite?
False
Let k(y) = 17*y**2 - 20*y + 125. Let a(n) = -2*n**3 - 44*n**2 + 12. Let w be a(-22). Is k(w) prime?
True
Is 10/290 - 2156320/(-116) a prime number?
False
Suppose q = 2*g - 3 - 5, -12 = -4*g + q. Let c(y) = -84*y**3 - 4*y + 3. Let x be c(g). Let p = 1300 + x. Is p a composite number?
True
Is 1/(11 + 11168/(-1016)) a composite number?
False
Let d be 2 + 258052/(-16) + 5/20. Is -1*((-1)/(-2))/(11/d) composite?
False
Let t(d) = 14*d + 8. Let p be t(1). Suppose -p*k + 6695 = -36711. Is k a composite number?
False
Suppose 2*n + 10*g + 33731 = 3*n, 2*n + 4*g - 67318 = 0. Is n composite?
True
Let z = -870 - -526. Let y = -97 - z. Is y a composite number?
True
Let c = -25 - -28. Let d(p) = 155*p - p**3 - c - 158*p - 4 - 5*p**2. Is d(-10) prime?
True
Suppose -5*s - 17 = -4*q + 6, -5*q - s + 7 = 0. Let y be 1700/(-255)*(-3)/4. Suppose q*h - y*h + 555 = 0. Is h a prime number?
False
Suppose 5*r - 7308 - 2992 = 0. Let s = r - -718. Let n = -1737 + s. Is n a prime number?
False
Let n be -4 + 4 + (-3)/3 + 5. Suppose 0 = k + 7*i - n*i - 22, -2*k + i + 23 = 0. Suppose k*b + 527 = 14*b. Is b a prime number?
False
Suppose 27*r - 71340 = -250350. Is 1/(-2) + r/(-4) composite?
False
Let s be 15*4/9*(-24)/(-32). Suppose 3*y = -4*x + 29753, -3*y + 37192 = s*x - 0*y. Is x prime?
False
Suppose 4*r - 4 = 8. Suppose -r*t + 3*j - 3 = -6*t, 0 = 2*j + 10. Is (-15)/5*(-1282)/t composite?
False
Let z = -260 + 372. Let p = z + -23. Is p a prime number?
True
Suppose 2848 - 36080 = -8*h. Let b = -2227 + h. Is b a prime number?
False
Let h(b) = 13*b**2 + 14*b + 365. Is h(-108) prime?
False
Let z be (-29070)/18 + (-2 - -3)*-2. Let h = z + 2756. Is h prime?
False
Let u be -6 + (-4 - -9) - 386*2. Let h = 1435 + u. Suppose 0 = 10*a - h - 4868. Is a composite?
True
Suppose 36*y - 15448701 - 2281893 = -2791206. Is y a prime number?
False
Let g(x) = -3*x**2 - 14*x - 15. Let w be g(-5). Is (-3 - w/8)*-3314 a composite number?
False
Suppose 7*o = 12*o + 7820. Suppose -3*w - 1033 = -4*c - c, w - 2*c = -343. Let h = w - o. Is h composite?
False
Suppose 98202 = 2*w + 12*o - 10*o, -w = -4*o - 49111. Is w prime?
True
Suppose 3*y - 38890 = -3*x + 114896, 5*y - 256270 = 3*x. Is y a composite number?
False
Is 634736 + (10 - 105/15) a composite number?
True
Let u = 32032 + -13919. Is u prime?
False
Let d = 53 - 51. Suppose d*k - 4*g - 2632 = -98, -5*k + 6307 = -3*g. Suppose -3*m - 3278 = -5*p, -4*p + 2*m + 1363 = -k. Is p prime?
False
Suppose -206025 = -18*i - 60963. Is i composite?
False
Let j(b) = -b**2 - 21*b - 94. Let f be j(-15). Is 11636 + (-6 - -1 - (f + 2)) prime?
True
Let n(w) be the second derivative of 433*w**4/12 - 7*w**3/6 - 17*w**2/2 + 3*w - 15. Is n(-3) a composite number?
True
Let c = 27 + -15. Let k be (-3834)/c - 6/(-4). Let v = k + 700. Is v a composite number?
True
Let b = -117154 + 167355. Is b a composite number?
True
Let v(y) = -2*y**2 - 5*y - 31. Let m be v(13). Let s = 3211 + m. Is s a composite number?
False
Let y(w) = 10*w**3 - w**2 - 6*w + 13. Let b be y(8). Let i be b/5 - ((-8)/(-5))/8. Let p = 278 + i. Is p prime?
False
Let x = 403 - 400. Suppose 4*a - 9989 + 2253 = -x*s, -s = -4. Is a prime?
True
Suppose 2*o - 280190 = -4*x, -3*x + o + 29114 = -181036. Is x a prime number?
False
Let g = 324731 - 184014. Is g a composite number?
False
Let b(a) = -5283*a + 3739. Is b(-8) a composite number?
True
Let n be -1*(-1 - 4) + -3362. Let o = -1426 - n. Is o a composite number?
False
Let m(f) = 2*f**3 - 7*f**2 - 19*f + 30. Let c be m(5). Let p(d) = 20 + 10*d + 19 + 57*d. Is p(c) a composite number?
False
Let q be (2/2 - -3)*20/16. Suppose -q = -2*g + 33. Suppose 17*p = g*p - 574. Is p composite?
True
Let q be ((-18)/(-16) - 1) + 990729/248. Let m = 7000 - q. Is m prime?
False
Let x(y) = 19846*y**2 + 34*y + 34. Let t be -4 - (-5 - (-12 + 5 - -5)). Is x(t) prime?
False
Let d = -1548270 + 3524723. Is d prime?
True
Let l(q) = -q**2 + 21*q. Let h be l(21). Suppose h = 23*d - 19*d - 4876. Is d composite?
True
Let v = -1626 - 950. Let l = 105 + -528. Let r = l - v. Is r prime?
True
Suppose -5*v + 23 = 2*i, -40*v + 44*v - 16 = -4*i. Is (1 + (-24431 - -3))*i a prime number?
False
Let s = 133668 + 12263. Is s a prime number?
True
Let j(s) = 870*s + 15. Let h(u) = -1738*u - 29. Let b(w) = -2*h(w) - 5*j(w). Is b(-6) composite?
False
Let b be -3 - (-2 + 0 + -4). Suppose 0*c + c = m + b, -c - 4*m - 2 = 0. Suppose -c*p = 4*p - 5754. Is p composite?
True
Let x be (-2)/(-8) + 133/76. Suppose 3*q + s = -q + 641, s + 325 = x*q. Is q a prime number?
False
Suppose -3*d - 60 = -225. Let s be d/(-22)*(-22)/(-5). Let v(r) = -157*r + 32. Is v(s) prime?
True
Suppose -n + 3 = 8, d + 3*n = -13. Suppose d*q + 25 = 2*i + 7*q, -2*q = i - 11. Suppose -i*r - 901 = -5586. Is r composite?
False
Let n(k) = 3727*k**2 + 7*k - 5. Let h(q) = 3*q + 5. Let w be h(-1). Is n(w) a prime number?
False
Let a(j) = j**3 + 25*j**2 + 153*j - 1. Let t be a(-12). Suppose 271147 = -12*z + t*z. Is z composite?
False
Is (-5118)/(-4)*(-9522)/(-621) a composite number?
True
Let c be -2 + 4 - (-4 + (-5 - 624)). Let t = c + -1476. Is (t/(-29))/(12/10 + -1) a prime number?
False
Suppose 5*s + 3996 - 1476 = 4*t, -3*t + 2*s = -1883. Let y = 924 - t. Suppose -463 = -6*i + y. Is i prime?
True
Let h(c) = -c**2 - 13*c + 8. Let z(s) = 5*s + 26. Let q be z(-8). Let l be h(q). Is (-1276)/l*(-63)/(-42) a composite number?
True
Suppose -m - 3*m = -76221 - 29015. Is m composite?
False
Let k(c) = -c**2 - 2*c + 4. Let j be k(-2). Let s be 0 + j/2 - (2 + -3). Suppose -s*d + 3715 = 2*d. Is d composite?
False
Suppose 6*s - 1480 = 7778. Is s prime?
True
Suppose 0 = -4*x - 4, 4*x = 5*n - 6535 - 2604. Let m(l) = 96*l**3 + l**2 + 9*l - 10. Let v be m(3). Let b = v - n. Is b a prime number?
False
Let l be (-9)/(-1) + -18 + 10 - (1001 + -1). Suppose -5*b + 8156 = 2*w, 2*b - 2229 = -3*w + 1040. Let y = l + b. Is y a prime number?
True
Let i be (2 - 0)/(11/22). Suppose 5*s - i*a + 2757 = 0, 2*a = s + 707 - 158. Let r = 414 - s. Is r prime?
True
Let o(k) = k**3 - 15*k**2 + 4*k - 51. Let n be o(15). Suppose 0 = -n*w + 28339 + 148430. Is w composite?
True
Let b(l) be the second derivative of 4729*l**4/12 - 3*l**3/2 + 9*l**2/2 - 8*l - 1. Is b(1) prime?
True
Suppose 0 = -4*m + 3*m - 60. Is 9*878 + (-55 - m) composite?
False
Suppose -6*y = -192 + 102. Suppose y*p + 425906 = 41*p. Is p prime?
Tr