prime number?
False
Let o(a) = -88*a - 12. Let z be o(-9). Suppose -4*n - 756 = 4*k, 4*k - 6*n + z = -2*n. Let v = 485 - k. Is v prime?
True
Let j = 11 - -2. Suppose -5 = -l + 2*c, 0*l - 4*c - j = -3*l. Suppose -l*t - 1332 = -3*f, -2*f = -t - 0*t - 889. Is f a prime number?
False
Let f(r) = -166*r**3 + 8*r**2 - r + 12. Let y be f(-4). Is (y/(-64))/(1/(-4)) prime?
True
Let n(r) = -r + 22. Let s be n(9). Suppose 0 = -s*b + 10*b + 6285. Is b a composite number?
True
Let w(p) = 26*p - 37. Let y be (-72)/(-7) + 48/(-168). Let u be (12/y)/(3/40). Is w(u) composite?
False
Suppose -39*n + 1780 = -14. Let l = -37 + 57. Let o = n - l. Is o composite?
True
Let j = -1801 - -3074. Is j a prime number?
False
Let i(b) = b**3 + 47*b**2 + 81*b + 66. Is i(-45) prime?
False
Let m = 179 + -42. Let q = m + 242. Is q prime?
True
Suppose -2*u - 3*u = -3*t + 81589, -4*t + u = -108808. Is t a composite number?
True
Let z = 273 - 93. Let o = -4 - -6. Suppose o*m - f = f + z, 2*m - 176 = 3*f. Is m a prime number?
False
Is (-13349732)/(-308) - 4/14 a prime number?
False
Let a be 4/(2 - 6)*-1. Is 1*a/(-1) - -143 composite?
True
Is (-56)/9 + 6 - 3017715/(-27) prime?
True
Suppose -m = -2*m - 5030. Let b = m - -7349. Is b prime?
False
Let m be -226*1/((-3)/6). Let r(v) = -107*v + 24. Let c be r(-6). Let z = c - m. Is z composite?
True
Let z(p) = -206*p - 125. Is z(-6) prime?
False
Suppose 3*i - 810 = i. Suppose 0 = 5*w - 1130 - i. Is w a prime number?
True
Let s = 47 + -54. Is ((-2)/(-8)*2)/(s/(-462)) composite?
True
Let x(g) = 92*g**2 - 11. Is x(4) a composite number?
True
Let t be 3 - (1 - 2)*-3. Suppose 2*i = -2, -3*i = 5*m - t*m - 282. Let q = m + -35. Is q a prime number?
False
Let w(v) = v**3 - 3*v**2 - 2*v - 4. Let o be w(4). Suppose -o*a + 93 = -a. Is a a composite number?
False
Suppose -4*l + o + 21449 = 6720, -2*l = 2*o - 7372. Is l prime?
False
Let v(n) = 65*n**2 + 5*n + 9. Let p be v(4). Let k = 852 + p. Is k prime?
False
Suppose -5*i + a + 4590 = 2*a, 0 = 4*i - 4*a - 3696. Is i a prime number?
True
Suppose 0 = -249*w + 250*w - 11917. Is w a composite number?
True
Suppose 5*b + 294 = 3*y, 3*b + 0*b = -4*y - 159. Let o = 414 - b. Is o a composite number?
True
Let u = 19610 - 6672. Is u prime?
False
Let p = 28 - 23. Suppose 2*v - t = -p*t + 454, -1105 = -5*v + 5*t. Is v composite?
False
Let h = 3660 + 3988. Let q = -3665 + h. Is q prime?
False
Suppose 257 = 5*l - 4*l. Is l a composite number?
False
Let p be (-2)/(((-1)/1)/80). Suppose 0 = -t + 4*d + p, t - 54 = -5*d + 88. Let n = 339 - t. Is n a composite number?
True
Let q(h) = 7*h**2 - 3*h - 5. Suppose -f + 4 = -0*f. Suppose f*n + 0 + 16 = 0. Is q(n) prime?
False
Is 20/(-12)*3 - -91678 prime?
True
Let c be (-5734)/14 - 24/(-42). Let w = -274 - c. Suppose -2*b + 536 = 4*u, -u - 5*b + 4*b + w = 0. Is u composite?
True
Let k be 43288/21 - 1/3. Suppose -3*x + 3*a - 7*a = -k, -a - 694 = -x. Is x a prime number?
True
Suppose 5*l - 28 - 37 = -5*z, 17 = 2*l - z. Suppose 4*j + 636 = l*j. Is j prime?
False
Suppose -2*j - 8 = -2*p - 22, 4*j = -3*p. Is 0 - (-1404 + 3 + p) a composite number?
True
Let s(m) = 15*m**2 + 11*m - 29. Let q(a) = -2*a**3 + 2*a - 3. Let u be q(-2). Is s(u) a composite number?
True
Suppose -b - 2*c - 1339 = 0, 5*b + 0*c = c - 6750. Let d = 1998 + b. Suppose 3*a = -5*w + 1103, -3*w = 5*a - 0*a - d. Is w composite?
False
Suppose 3*c + 8512 = 2*o, 0 = 3*c + 3*o - 8*o + 8509. Let d be 4/10 + c/(-30). Let b = 174 - d. Is b prime?
True
Suppose 0 = 2*k - 16 + 4. Suppose m - 4*m + k = 0, 2*p + 5*m - 592 = 0. Is p prime?
False
Let p(b) = -b**3 + 11*b**2 - 8*b - 12. Let n be p(10). Let l(m) = -8*m**3 - 7*m - 3*m**2 + 6*m**3 - 13 + 3*m**3. Is l(n) a composite number?
False
Let o(n) = -n - 9. Let l be o(-8). Let c be l/2 - 6/(-12). Suppose c = -5*z + 162 + 223. Is z prime?
False
Is (1 - 4 - -28198)*9/45 a prime number?
True
Let p = -33496 - -63483. Is p composite?
True
Let o be 82780 - (4 + (4 - 8)). Is 2/7*-1 - o/(-140) a prime number?
False
Let h(n) = 2*n**2. Let p(x) = -3*x**2 - 9*x + 1. Let w(b) = 4*h(b) + 2*p(b). Let f be w(14). Suppose -f = -2*j + 80. Is j prime?
False
Suppose -4*m + 2557 = -4*b + m, -3*b - 5*m = 1874. Let v = 1159 + b. Is v a prime number?
False
Let s(d) = 446*d + 1. Is s(3) prime?
False
Is 9/(36/28) + 3484 a prime number?
True
Let z = -3549 + 7676. Is z composite?
False
Let k = 3874 + 2373. Is k a composite number?
False
Suppose 9 = -3*n + 6*n. Let u(o) = 33*o - 2. Is u(n) prime?
True
Let u(t) be the third derivative of t**5/60 + 7*t**4/24 + 4*t**3/3 + 5*t**2. Let y be u(-6). Is (3 - -150*y) + -2 a composite number?
True
Suppose -1645 - 120 = -5*t - 5*u, 4*t + u = 1421. Let r be ((-5)/(-5))/((-2)/(-4)). Suppose 6*m - r*m - t = 0. Is m a composite number?
False
Let l(p) = -3*p**3 - 3*p**2 + 2. Let x(v) = 3*v - 3. Let b be x(-7). Let s be (b/(-30))/((-2)/5). Is l(s) a prime number?
False
Let p be -7*(76/28 + -3). Suppose -p*x + 541 = c, -1581 - 15 = -3*c + 3*x. Is c prime?
False
Let l(p) = 1550*p**2 + 13*p + 37. Is l(-4) composite?
True
Suppose 0 = 5*o - z - 31782, z + 3*z - 12704 = -2*o. Let w = -3415 + o. Is w a composite number?
True
Let o(b) = 144*b**3 + b**2 + 3*b - 4. Let q be o(-3). Let v = 6395 + q. Is v composite?
False
Let x(r) = 3*r**2 + r**3 + 3 + 4*r**2 - 3*r - 2*r**2. Let i = -11 + 7. Is x(i) prime?
True
Let y be ((-45)/(-12))/5 - 2/(-8). Let t(z) = -13*z**3 + 2*z**2 + 8. Let o be t(-4). Is o - (y + -5 - -5) prime?
False
Suppose -2*z - x + 10 = 0, z + 0*x - 4*x = 5. Let f be 66/4*208/12. Suppose z*d = 7*d - f. Is d prime?
False
Let g = 8 - 2. Suppose 0 = -4*i + 8, -i + g*i = 5*h + 10. Suppose h = 3*w - 65 - 28. Is w prime?
True
Suppose -2*l - 28 = -2. Is (-18)/(-117) - 15221/l prime?
True
Let a(l) = l - 1. Let v be a(6). Let h(m) = -1 + 40*m + 7 - 3. Is h(v) composite?
True
Let l(q) be the first derivative of 121*q**3/3 - q**2/2 + 2*q + 6. Let g be l(1). Let m = g - 69. Is m prime?
True
Is (-2 + 738/(-4))/((-5)/70) prime?
False
Let s(v) be the first derivative of -v**4/4 - 7*v**3/3 + 3*v + 8. Let i be s(-7). Suppose -q - 474 = -3*o + 82, 2*o + i*q = 389. Is o a composite number?
True
Let f be 5/3 - (-20)/60. Suppose 489 = 5*w - f*w. Is w composite?
False
Let p(j) = 89*j**2 - 2*j - 3. Let v(d) = d**2 + d. Let m(x) = p(x) + 5*v(x). Is m(1) a composite number?
True
Let k = 3268 + 5514. Suppose 3*t + 3*y - 13173 = 0, 5*y = -7*t + 5*t + k. Is t a prime number?
True
Let w(f) = -f**3 - f**2 - f + 44. Let h be w(0). Suppose -j - j = -h. Is (124/6)/(j/33) a composite number?
False
Let d = -7 + 9. Suppose 0 = p + d*o + 2, -5*p - 3*o = -8 - 10. Suppose 5*k - p = 4*k. Is k composite?
True
Suppose 3*i + 3*n = 156, -2*i + i = -4*n - 67. Let u = i - 17. Is u a prime number?
False
Let n be (-48)/18*(-3)/2. Suppose -4971 = -5*q - 4*i + 1870, -3*i - 5479 = -n*q. Is q a prime number?
False
Suppose 1422 + 753 = -5*d. Is (d/6)/(-5)*14 prime?
False
Let j(b) = -b**3 + 7*b**2 + 5*b + 25. Let t be j(8). Let d = 46 + -24. Let m = d - t. Is m a composite number?
True
Let b = 8776 - 4917. Is b a composite number?
True
Let j be -3*4/(-6)*-4. Let x = 11 + j. Suppose -4*n - 3*i - 4 = -5*n, 25 = x*n + 4*i. Is n composite?
False
Suppose -261 + 723 = j. Suppose -3*t = -j - 417. Is t composite?
False
Is (0 - (-7 - -3))*29246/8 prime?
False
Suppose -6 = 3*s - 4*s. Let b(n) = 6*n**2 + n - 8. Let z be b(s). Suppose 2*x + 5*u - 3 = z, -2*u + 442 = 4*x. Is x prime?
False
Let m be (-1)/(-2)*1000*2. Suppose m + 988 = 4*w. Suppose -2*q - w = -3*r, -4*r + 827 = r - 3*q. Is r composite?
False
Suppose -d = l - 2*d - 3, 3*d = 0. Suppose -c + 2*s + 334 = -0*s, -4*c + l*s = -1316. Is c a composite number?
True
Suppose 4*h = -b + 13811, 3*b + 11*h = 7*h + 41433. Is b a prime number?
False
Let o(v) = 361*v**2 - 3. Is o(2) a composite number?
True
Let t be (-4 + 3)/(-1) - -1. Suppose -t*v - 3*v = -565. Let u = -55 + v. Is u a prime number?
False
Is (-106)/(-4)*(56/8 + -5) a prime number?
True
Let l(h) = -2*h**2 + 5*h + 3. Let a be l(4). Let u = -4 - a. Suppose -u*o = -0*o - 455. Is o a prime number?
False
Suppose 0 = -3*j + 15, 3*h - 6*h + 4*j = -3118. Is h a prime number?
False
Let w(r) = -r**3 - 2*r**2 + 2*r. Let c be w(-3). Suppose c*t + 5*n = n + 261, -2*t + 174 = n. Is t a composite number?
True
Suppose -49 = -9*q + 1