Is s a prime number?
True
Let m = 425 - 419. Suppose -3*v + 34461 = m*v. Is v a prime number?
False
Suppose 2*c - 5 = -1, -3*c + 6 = 4*j. Suppose -6*a = -4*a - 5*l - 9626, -2*l = j. Is a composite?
False
Suppose 6*n - 1372104 = 5*l, -l = -2*n + 3*l + 457382. Is n a composite number?
True
Let g = 44 - 58. Let s(v) = -2*v**3 + 14*v**2 - 12*v - 33. Is s(g) prime?
False
Suppose -4*n + 4 = -5*a + 105, a - 18 = 3*n. Let s be (-7)/((-70)/8)*20. Suppose -s*p + a*p = 335. Is p a composite number?
False
Let l = -11799 + 20656. Is l a composite number?
True
Suppose 20 = 2*f + 2*f, -z + 13128 = -f. Is z prime?
False
Let x(z) = -4901*z**3 - 5*z - 7. Is x(-2) prime?
False
Suppose 400049 = -3929*j + 3942*j. Is j a composite number?
False
Suppose -41590016 = 291*x - 154377833. Is x prime?
True
Suppose -106*c + 1831662 = -104*c + 2*u, 3*c - u = 2747525. Is c prime?
True
Let w(v) be the second derivative of 272*v**3/3 - 11*v**2/2 + 3*v + 14. Is w(3) a composite number?
False
Let p(h) = 5*h - 56. Let j be p(11). Is j + 3 - (-231 + 28) a composite number?
True
Suppose -1020*i - 496265 + 4356 = -1031*i. Is i prime?
False
Suppose -8*k + 213 = 3*s - 11*k, -67 = -s + 3*k. Is ((-3)/((-12)/8530))/(s/146) a prime number?
False
Let l = 4 + 1. Suppose -1808 = -w - 2*x + 2903, 5*w + l*x = 23535. Is w composite?
False
Let b be (-16)/(-104) + (-5103)/(-39). Let q = 740 + b. Is q composite?
True
Let v(l) = -7*l + 46*l + 98*l + 25. Let b be v(6). Let q = b + -438. Is q a composite number?
False
Let f = 43 + -37. Let b be -6*1/f*-3. Is 2/b*942/4 a composite number?
False
Let m(y) be the first derivative of y**4 - 7*y + y**2 - 2/3*y**3 - 14. Is m(6) composite?
False
Let m be (-4 + -6)*(-3 - 428/8). Let b = -339 + m. Is b a prime number?
False
Suppose 12*k - 57 = 11*k. Let y = k + -69. Is (y/4 - -2)*1 + 702 prime?
True
Suppose 191088 = -43*f + 2904517. Is f composite?
False
Let q(d) = 17367*d**3 + 2*d**2 - 3*d + 3. Is q(3) composite?
True
Let n be -8 + (-55)/(-2)*52/130. Let d = -4 - -8. Suppose -n*i = -6, -3*a + 186 = d*i - 995. Is a a composite number?
True
Let l = -471579 + 1115198. Is l a prime number?
True
Suppose -70 = -5*n + 5*f - 9*f, 5*n - 55 = -f. Suppose -32864 - 60006 = -n*t. Is t a composite number?
True
Is -3 + 6 - (-834530)/20*4 prime?
True
Suppose -2031*s - 743931 = -3*f - 2027*s, -6*f - 2*s = -1487922. Is f composite?
True
Let h(j) be the second derivative of 2*j**5 + j**4/4 + j**3/3 - j**2/2 - 14*j. Let x be h(4). Is (-14)/(-56) + (-1 - x/(-4)) a prime number?
True
Let g = -20 - -20. Suppose -3*b - b + 732 = g. Let l = 392 - b. Is l a prime number?
False
Let h = -8635 + 28794. Is h a prime number?
False
Let c = -44 + 39. Is 6*(c - (-1467)/6) a prime number?
False
Let b = 98 + -70. Let l = 26 - b. Is -4 - l/((-2)/(-323)) composite?
True
Let k(i) = -1391. Let o(q) = -q + 4175. Let t(u) = 8*k(u) + 3*o(u). Is t(0) a prime number?
False
Suppose 5*d = 3*m - 20408, -2*d + 11507 = 5*m - 22496. Suppose -16*y = -21*y + x + m, -2*x = -5*y + 6797. Is y prime?
True
Suppose 5*k - 476042 = -4*h - 81294, -78964 = -k + 4*h. Is (-3)/5 + k/20 a prime number?
True
Suppose 0*u = -5*u - 3*h - 19, 27 = -5*u + h. Is -149*(3 + u - 3) a prime number?
False
Let o(y) = 3*y**2 + 10*y + 9. Let f be 4/3 + (-620)/15. Let i = f + 20. Is o(i) composite?
False
Is (-306429)/(-2)*(1633/69 + -23) a composite number?
True
Let y(u) be the third derivative of 19*u**5/30 - 3*u**4/8 + 11*u**3/6 + 27*u**2. Is y(8) prime?
True
Is (-27)/(-45) + (-1419616)/(-40) composite?
False
Let i = -580852 + 963439. Is i composite?
True
Let v = 67 + -62. Suppose 11 - 51 = -4*f - p, v*f - 50 = -p. Is f composite?
True
Let p = 9431 - 3090. Is p a composite number?
True
Let q(x) = 210*x**2 - 116*x + 5. Is q(14) a composite number?
False
Let r be (-2089513)/(-15) + (-118)/(-885). Suppose r = 19*v - 487566. Is v a prime number?
True
Suppose -10*b + 446554 - 310575 = -4801091. Is b a prime number?
False
Let m = 728 - 1521. Let p = m + 1564. Is p a prime number?
False
Let m(k) = -1449*k + 1. Let l be m(3). Let h = 8305 + l. Is h prime?
False
Suppose 0 = -3*h - 0*h + 3*z + 1752, 0 = -5*h - 4*z + 2884. Let j be -11 + 13/1 + 3. Suppose j*s - s = h. Is s prime?
False
Let j = -359 + 707. Suppose -9*n + 16*n = -161. Let i = j - n. Is i a composite number?
True
Let u(m) = -4*m**3 - 4*m**2 - 8*m - 31. Let x be u(-5). Let t = x - -996. Is t composite?
True
Let a = -494760 - -792667. Is a composite?
False
Suppose -232*n + 259*n = 411183. Is n a prime number?
False
Is (-49)/(-14)*(6 + (-1996904)/(-49)) prime?
True
Suppose -z + 12 = 5*z. Suppose -3*u + 35 = z*u + 5*l, -2*u + 4*l - 10 = 0. Suppose 5*a - 770 = -5*s, -4*a - u*s + 609 = -10. Is a prime?
True
Let u = -37 - -33. Let h be u + 2 + (1 - 294). Let b = 740 + h. Is b a composite number?
True
Suppose -29*v = -20*v + 71775. Is (v/(-25))/(3 - 2) composite?
True
Is (-3 - 1477655/(-15))*(11/2 - 4) a composite number?
False
Suppose 5*c = 4*j - 58, 5*c = -4*j - j + 95. Let o(i) = -13*i + 44 + j*i - 31*i. Is o(-10) a composite number?
True
Suppose -5*v + 30 + 65 = 0. Suppose 9*l - v - 26 = 0. Suppose 3*g + l*s - 648 = 0, -223 = -4*g - 5*s + 636. Is g composite?
False
Suppose 30*f - 558118 - 225589 - 355063 = 0. Is f prime?
False
Let w = -17993 - -59836. Is w a composite number?
False
Let s(n) be the second derivative of 9*n**3/2 - 20*n**2 + 4*n - 63. Suppose -4*b + 2*b - 49 = -3*i, 0 = i - 4*b - 13. Is s(i) a prime number?
True
Suppose 110 = 2*s - 52. Suppose -85*h + s*h + 32308 = 0. Is h prime?
False
Let v(z) = 131*z + 4. Let l(s) = s**3 - 2*s**2 - 5*s + 6. Let w be l(-6). Let d be ((-4)/(-6))/(-7*8/w). Is v(d) a composite number?
False
Let r(b) = -b**2 + 20*b - 10. Let i be r(19). Suppose -h + k = -3 - 4, -k = h - i. Suppose h*j - 5313 = 9751. Is j a prime number?
False
Let s(v) = 3*v**2 - 9*v - 5. Let i(r) = -8*r - 17. Suppose 7*o = 2*o - 15. Let c be i(o). Is s(c) a prime number?
True
Let j be (-1 - 1) + -2 + -8 + 15. Suppose 0*s = j*s - 231. Is s a composite number?
True
Suppose 2*s + 4*h = 1381013 + 532585, -5*s + h + 4783940 = 0. Is s a prime number?
True
Let x(b) = 4146*b**2 + 201*b + 1219. Is x(-6) composite?
False
Let k(m) be the third derivative of -23*m**4/12 - 71*m**3/3 - 310*m**2. Is k(-8) prime?
False
Let c(w) = -w**2 + 18*w + 74. Let s be (8 - 2 - 69)*2/(-6). Is c(s) a composite number?
False
Is -37 + 28 + (-4248984)/(-12) composite?
False
Let l(y) = -102*y + 6. Let w be l(-9). Suppose -103*s + 105*s - 8 = 0. Suppose -3*r = a - 914 - w, 3*r - s*a - 1813 = 0. Is r a composite number?
True
Let u(a) = a**3 + 9*a**2 + 18*a - 18. Let j be u(-6). Let h(k) = -1236*k - 239. Is h(j) a prime number?
False
Let w(z) = 243*z**3 + 6*z**2 - 6*z + 6. Let j be w(4). Suppose -16 = -2*f + 4*k, 17*f + 7*k = 16*f + 8. Suppose j = 7*h + f*h. Is h a composite number?
True
Suppose 0 = 2*p - 3*c - 15704, -4*p + 13907 = -5*c - 17503. Let w = -4248 + p. Is w a prime number?
True
Let w = 488426 + -255285. Is w composite?
False
Let z = 115325 - 67824. Is z a prime number?
True
Is -13*(777486/(-78) - -4) a prime number?
True
Let u(w) = -9*w + 8. Let f be u(4). Let l = -14 - f. Is (-24)/13 + l/(-91) + 108 prime?
False
Let l(j) be the second derivative of 23*j**4/6 + j**3/3 - j**2 - 10*j. Let m be l(2). Suppose -4*s + 2*f + 348 = 0, -s + 4*f + m = s. Is s a prime number?
False
Let u(n) = n**2 + 1309. Suppose 15*c = 10*c. Let o be u(c). Let i = -430 + o. Is i prime?
False
Let h(l) = 9*l**3 + 2*l**2 + 9*l + 7. Let q be 12 - 19/(133/42). Is h(q) composite?
True
Let f(i) = -i**3 - 63*i**2 - 87*i - 1405. Is f(-92) prime?
False
Let w = 4153229 - 1912242. Is w a prime number?
False
Suppose -15*a + 13*a = -p - 85, 0 = -4*a - 2*p + 190. Is (15/a)/((-2)/(-207486)) a prime number?
False
Suppose -4*c = -5*p - 1791, 5*c + 0*p = -p + 2217. Suppose c = -k - 551. Let l = k - -1846. Is l a prime number?
False
Is (-212)/(4953/(-377) - -13) a composite number?
True
Suppose -3*l = 4*n - 6*n - 202, -360 = 4*n + 5*l. Let i = n + 102. Suppose 3*h + u - 1135 = 0, -6*u - 756 = -2*h - i*u. Is h composite?
False
Suppose -5*m + 10349 = x, 4*m + 10365 = x + 5*m. Is x a composite number?
False
Suppose 0 = 19*l - 538 - 11793. Let o = 2306 - l. Is o prime?
True
Let p = 46 + -43. Suppose 2*y = -2 - 4, -p*x + 4*y + 540 = 0. Suppose 271