prime number?
True
Let a be ((-6)/8)/((-76)/32 - -2). Suppose 0 = -7*y + a*y + 19235. Is y a prime number?
True
Let q(p) = -p**3 - 9*p**2 + 14*p + 42. Let z be q(-10). Is ((-204948)/198)/(z/(-22)) composite?
True
Let n(q) = -156*q + 41. Let d(y) = -158*y + 42. Let l(t) = -4*d(t) + 5*n(t). Is l(-9) prime?
False
Suppose -40 = 16*w + 24. Is (((-90)/w)/(-5) - -5)*6982 a prime number?
True
Suppose -47*p = -53*p + 18. Suppose i + 329 = u, -695 = -p*u + 5*i + 298. Is u prime?
False
Let m = -42 + 45. Suppose 7*y - m*y = -2*x - 8, 3*y + 20 = 2*x. Is (-2)/x - (-2175)/2 composite?
False
Let d(j) = 5617*j + 1669. Is d(60) composite?
True
Is 1698*485/10*1*(-1)/(-3) a composite number?
True
Let k = 35 + 53. Let w = -132 + k. Is (w/(-16))/(1/116) prime?
False
Let t(f) be the second derivative of -7*f**3/6 - f**2 - 11*f. Let j be t(-1). Suppose -j*b = -0*b + 10, -y - 5*b + 487 = 0. Is y a prime number?
False
Suppose 0*q - 34290 = -5*q + 5*p, 20614 = 3*q + 5*p. Suppose q = 19*t - 3720. Is t a composite number?
False
Let u be 4 - (2 - 6 - -4). Suppose 6 = -5*c + 2*c + u*t, 2*c = t + 1. Suppose c*w - 5*n - 257 = -2*n, 0 = 5*n + 5. Is w a prime number?
True
Suppose 55 = 3*v + 2*t - 1, 3*v + 3*t - 57 = 0. Suppose 2*i + v = -i. Is ((-28)/i)/(4/114) a composite number?
True
Let a = -83 + 64. Let w = 24 + a. Suppose -y - 2*r = r - 334, 5 = w*r. Is y a composite number?
False
Let o = 4198 + 44. Suppose 20678 = 7*p + o. Is (4 + 28/(-8))/(2/p) prime?
True
Suppose f - 60 = -9*f. Is (((-12)/(-5))/f)/(6/97365) a composite number?
False
Suppose -7*p + 6395 = -3496. Suppose -915 - p = -2*t. Suppose 5*x - t = x. Is x composite?
True
Let r = 25 - 22. Let v be 6/(r/680*(-35)/(-14)). Let b = 1863 - v. Is b prime?
True
Let r(p) = -3*p**2 + 11*p - 9. Let n be r(7). Let z be 6 - (133 + -2 + 9). Let q = n - z. Is q composite?
True
Let w(n) = 6212*n + 6701. Is w(12) composite?
True
Let f(j) = -2 + 2 + 1338*j**2 + 2 + 3*j. Let x = -2576 - -2575. Is f(x) a composite number?
True
Let y(g) = 42*g**2 + 55*g + 179. Is y(68) prime?
True
Let p(u) = u**3 - 4*u**2 - 6*u + 8. Let y be p(5). Suppose m + 3*k - 15 = 4*m, -15 = 4*m - y*k. Is m + 1 + 0 - -898 prime?
False
Let l(z) = -z. Let h be l(-4). Suppose h*g - 2*u + 2073 = 6067, -5*u + 5 = 0. Is 4/(-3)*g/(-18) a prime number?
False
Suppose 12*g - 174158 = 652318. Is g prime?
False
Let m be (2 - 2)/(15 + -13). Suppose 3*c - 31081 - 86942 = m. Is c a prime number?
True
Let t = 10 - 10. Suppose -2*p - 8 = t, m + 5*p = -m - 20. Suppose -3*w + 877 = -2*l + 7*l, m = -5*w + l + 1443. Is w composite?
True
Let i(s) be the first derivative of -s**4/4 + 2*s**3/3 + s + 3. Let v = 244 - 248. Is i(v) a composite number?
False
Suppose -14 = -4*g + 14. Let j = 231 + 3. Suppose 235 = g*v - j. Is v a composite number?
False
Let y(q) = -16*q + 224. Let a be y(14). Suppose x - 2*r = 14529, 3*x + 3*r = -a*r + 43542. Is x a composite number?
False
Suppose -360 + 140 = -4*i. Suppose 2*w = 3219 + i. Is w composite?
False
Is (572/(-156))/((-77)/1904763) composite?
False
Let o(p) = 9*p**2 - 18*p + 19. Let y(b) = -2*b + 15. Let l be y(-20). Let u = l - 49. Is o(u) a composite number?
True
Suppose -313610 - 1512007 = -116*r + 4036675. Is r prime?
False
Let y be (3/9)/(4 + (-285)/72). Suppose 10 = -a + y. Let o(l) = -151*l + 5. Is o(a) prime?
True
Let p = 32007 + -20230. Is p a composite number?
False
Let q(i) = 6*i**2 - i + 11. Let v(d) = d**3 - 25*d**2 - 27*d + 12. Let l be v(26). Is q(l) prime?
True
Let s(b) = -39341*b - 1006. Is s(-3) a composite number?
False
Let a = -37595 - -26619. Let i = 21163 + a. Is i a prime number?
False
Let x(v) = -447*v - 1. Suppose d = -j, 0*d + 2*j = 2*d - 4. Let n be (-16)/16 + (1 - (2 - d)). Is x(n) composite?
True
Suppose -4*k = k + 10, 0 = 3*v + 4*k - 25. Suppose -17*a + 8058 = -v*a. Is a a composite number?
True
Suppose 188163 = 34*h - 218375. Suppose 23*n - h = 123260. Is n prime?
True
Let x = 60 - 55. Is 18985/x + ((-10)/5 - 2) composite?
False
Let t = 283 - 285. Let d(k) = 3 + 12*k**3 + 2*k**2 - 109*k**3 + k - 6 - 3*k. Is d(t) a prime number?
False
Let x be (-4)/(-2)*7/(-7). Is (1 - x) + 5012/7 composite?
False
Let n = 115 + -106. Let l = n + -13. Is -1 + 1797 + l + 1 + 2 prime?
False
Let f(q) = 5*q**2 - 37*q + 181. Let g = 435 - 394. Is f(g) a composite number?
False
Let p(t) = -12*t + 4. Let b be p(2). Let g be (-15434)/(-10) - (24/b)/(-3). Suppose 1754 = 3*y - 2*q - g, -2*y - q = -2191. Is y prime?
True
Let k(a) = 4*a**2 + 15*a + 94. Let t be k(-18). Suppose 2*s - 4*h - 1146 = 0, -5*h = -3*s - 10*h + 1664. Let y = t - s. Is y a composite number?
False
Let b = -8 + 4. Let o(t) = -1410*t + 2820*t - 1408*t + 21 + 36*t**2. Is o(b) prime?
False
Let i be (-5 - (0 - 2))*-1. Suppose 4*w = i*w + 3. Suppose -l - 4*p + 290 = 0, p = w*l + 5*p - 886. Is l composite?
True
Suppose 0 = 104*k - 30393 - 27535. Is k a composite number?
False
Suppose -4*p + 5*m = -195879, -2*m - 100325 = -3*p + 46586. Is p a composite number?
True
Let c(y) = y - 21. Let v be c(18). Let k be ((-9)/v + 1)/(1/(-10)). Let o = 661 - k. Is o a composite number?
False
Let r(q) = 2*q**3 + q**2 - 7*q + 8. Let t be r(7). Let o be (2 - (-84)/(-30))*(1 + t). Let j = o + 807. Is j a composite number?
False
Let o be (-8)/(32/60)*(-2)/5. Let i(w) = w**3 + 3*w**2 - 14*w + 31. Is i(o) prime?
True
Let q(l) = -15*l + 6*l + 7*l + 30. Let r be q(14). Is 1*r/6*(-8793)/(-3) composite?
False
Let l be (-639)/(-284) + (-10)/8. Let j(a) = 18016*a**3 - 3*a**2 - 2*a + 2. Is j(l) prime?
True
Let h = -210 + 225. Is 5/h*-3*-18743 prime?
True
Let h = 175 - 169. Let b(u) = 657*u - 109. Is b(h) a composite number?
False
Suppose l + 4*l = 315. Suppose 5*c - 2*n = l, -3*n - 12 = -4*c + 44. Let y(u) = 50*u + 3. Is y(c) prime?
False
Let a be 25/(-25) + (0 - 6). Let p = a - 17. Is 4145/4 - p/32 prime?
False
Suppose -4*y - 38421 + 258313 = 4*l, 2*y + 109938 = 2*l. Is l a prime number?
False
Let m(j) = 2*j**2 + 2*j + 1. Let k(p) = -5*p**2 - 4*p - 2. Let s(d) = 6*k(d) + 13*m(d). Let c be s(-1). Let x(t) = -t**3 + 5*t**2 - 2*t - 21. Is x(c) composite?
False
Let x(f) = -3*f**2 - 67*f - 18. Let m be x(-22). Suppose 9*n = 5*n - 12, 4925 = r + m*n. Is r prime?
True
Let o = 634 + -417. Suppose -2*m + o + 2305 = 0. Is m a prime number?
False
Suppose -12*x + 137*x = 8890321 + 13000804. Is x a prime number?
True
Let z(g) = 5*g - 17. Let v be z(4). Suppose -v*f + 10560 = 3*x, 9*f = 7*f + 2*x + 7032. Is f a prime number?
False
Suppose -15*v + 29*v + 8556193 = 103*v. Is v composite?
False
Let b = 141 + 608. Suppose -9*d + b + 1960 = 0. Is d composite?
True
Let i(u) = 15*u**2 + 14*u - 362. Let t be (7 - 2)/((-2)/18). Is i(t) a prime number?
True
Suppose -2*h - 4*x = -5205 - 13039, -3*h - 5*x + 27370 = 0. Suppose -7*g + h = 3*g. Is g prime?
False
Suppose 621519 = -61*n + 15116009 + 919661. Is n a composite number?
False
Let n(w) = 6*w**2 - 24*w + 29. Let o(k) = 7*k**2 - 25*k + 28. Let d(i) = 3*n(i) - 2*o(i). Is d(10) a composite number?
False
Let f(j) = j**3 + 7*j**2 - 9*j - 11. Let n be f(-8). Let s be -2 + n - (-112)/2. Suppose -45*u + s*u - 10938 = 0. Is u prime?
True
Let d(i) = -6*i**3 + 20*i**2 + 12*i - 11. Let z be d(8). Let c = -488 - z. Is c composite?
True
Let k = -14180 + 52947. Is k a prime number?
True
Let p(l) = -28*l**3 + 6*l**3 - 6*l + l - 15*l + 3*l + 11*l**2 + 11. Is p(-9) prime?
True
Suppose -r - 2*b - 2*b - 85 = 0, -2*r = 3*b + 185. Let j be (-2 - -2)/(-1) - 0. Let v = j - r. Is v prime?
True
Let i be ((-207)/(-15))/1 + 60/50. Is (14 - i)/(2/(-46370)) a prime number?
False
Let h = -97 - -97. Suppose -5*n - i + 13345 = 0, n - 3*i + 5*i - 2669 = h. Is n composite?
True
Let a(v) = -5*v**3 + 2*v**2 + 3*v + 7. Let r be a(-6). Suppose 7*i - 210 + r = 0. Is (i/57)/(1/(-3)) a composite number?
False
Let s be -1 + -31 - (-10 - -10). Let z = s - -36. Is (-4 - (-20)/z)*1049 a prime number?
True
Let v(b) = 262*b - 103. Let q = -276 + 282. Is v(q) composite?
True
Suppose 22*t - 33*t - 22 = 0. Is t/(((-32)/(-11166))/(-8)) a prime number?
False
Let v(a) = 104*a**2 - 272*a - 7. Is v(61) prime?
False
Suppose 0 = -3*p - 4*q + 4922553, -6563408 = -4*p + 216*q - 220*q. Is p composite?
True
Let d be (4/(-10))/((-24)/30)*50. Is (-4)/22 - 2295/(-55)*d prime?
False
Let b(f) = -f + 1. Let y be b(0). Suppose -j - y = -7. 