 number?
False
Let m = 8099 - 5596. Is m a prime number?
True
Let a(h) = -304*h - 2. Let f be a(-2). Let b = 42 - 39. Suppose f = 2*k - 0*k - 4*c, -2*c = -b*k + 889. Is k prime?
True
Let x(s) = 2*s**3 - 13*s**2 - 2*s + 29. Let v(f) = f**3 - 7*f**2 - f + 14. Let c(b) = 5*v(b) - 2*x(b). Let j be c(9). Suppose -j*w = 2 - 233. Is w prime?
False
Let s(x) = -11 - 8*x + 2*x + 8. Let m be s(2). Is (-194)/10*m/3 a prime number?
True
Suppose 20 = -2*r + 6*r, r = 2*p + 25. Is 4/p - 3617/(-5) prime?
False
Let m be 3213/(-4)*84/21. Is (-1)/2 + m/(-6) composite?
True
Let x be 4/14*7/1. Suppose 0 = -3*r - 5*d - 220, x*r - d = 6*r + 316. Is -1 + 0 + r/(-1) a composite number?
False
Suppose 5*c - t + 411 = -4*t, 5*c + 405 = -5*t. Let y = c + 285. Is y prime?
False
Let d be (-6)/(-4)*(-8)/12. Let a be (9*d)/((-12)/(-8)). Let b = a - -15. Is b composite?
True
Suppose 6*q + 24 = 7*q. Suppose 4*r + q - 398 = -3*d, 3*d = -5*r + 379. Is d composite?
True
Suppose u - 18 = -6*y + y, 3*u = 3*y - 18. Let q(s) = -6 - y + 3 - 1 - 25*s. Is q(-7) a prime number?
True
Let d = -29082 + 60461. Is d prime?
True
Suppose -348633 = 35*o - 44*o. Is o a composite number?
False
Suppose -2*g + 494 = w, 5*w - 1407 = -5*g + 1073. Is (w - 1) + 2 + 0 a prime number?
True
Let s(v) = -45*v + 26. Let j(x) = -44*x + 25. Let h(p) = 3*j(p) - 2*s(p). Is h(-14) prime?
False
Suppose 4*j = 2*j - 3*i + 13, 2*i + 23 = 5*j. Let z(x) = -3*x**3 + 4*x + 40. Let q(t) = t**3 - t - 13. Let o(g) = 7*q(g) + 2*z(g). Is o(j) a prime number?
False
Let d be -3 + (-9)/(-12)*4 - 1099. Let f = 2042 + d. Is f prime?
False
Suppose 9529 = -4*t + 3*k - 2*k, -t = 2*k + 2380. Let h be 3/(-4) + t/(-8). Suppose -5*p + 3*u + h = 117, 176 = 4*p + 4*u. Is p prime?
False
Let p be (-668)/(-12) + 2/6. Suppose -74 = -2*t + p. Is t a composite number?
True
Is 1 + -2 - 1368/(-4) composite?
True
Let p(y) = 35*y - 6. Let i be (-4)/14 - 1/(-7)*93. Is p(i) a prime number?
True
Is (13506 - 3 - -2) + -17 + 13 a prime number?
False
Is 14785/5 - (4 - 10) a prime number?
True
Let y be 34/(-6) - (-2)/(-6). Let o(l) be the first derivative of 7*l**3/3 - l - 249. Is o(y) prime?
True
Suppose -17*m = -20*m + 6, 4*m + 21829 = 3*a. Is a composite?
True
Suppose -4*o = -2*x - 6, 0*x - 3*o - 3 = -3*x. Suppose 0 = 5*q + x*j - 1265, q - j = -2*q + 751. Is q a composite number?
False
Let m(n) = -3*n - 7. Let f be m(-3). Is (-318)/10*f*5/(-2) a prime number?
False
Let b be (1830/(-35))/((-1)/(-7)). Let h = 73 + 730. Let c = h + b. Is c composite?
True
Let t be ((-12)/(-8))/(-3)*-10. Suppose 0 = 4*v - t*v - 899. Let g = -608 - v. Is g a prime number?
False
Is 1104/108 + -10 - (-36093)/27 composite?
True
Suppose 2*g + 25 = -3*g. Let j(u) = u**3 + 5*u**2 + u + 7. Let v be j(g). Suppose 2*a = -a + s + 633, 2*a = -v*s + 422. Is a a prime number?
True
Let x = 7 + -6. Suppose -3*p + p - 2 = 0, -x = -v - 2*p. Suppose -5*n - 3*g + 947 = -0*n, v*n = g + 557. Is n prime?
False
Let y(u) = 34*u**3 + 3*u**2 + 21*u - 1. Let b be y(-11). Is b/(-21) - (5/7 - 1) prime?
False
Let u(m) = 55*m + 54. Let j(n) = 4*n - 25. Let z be j(12). Is u(z) composite?
False
Suppose r - 2*f + 814 = 0, -2*f = -r + 3*r + 1598. Let o = r - -1369. Is o composite?
True
Let r(m) = -319*m + 14. Is r(-17) prime?
True
Suppose 0 = 3*n - q + 2598, 4*n - q = 8*n + 3464. Let i = n - -1449. Is i a prime number?
False
Let k = -397 - -234. Let p = -284 - k. Let q = p + 250. Is q a prime number?
False
Let x = -48534 + 96271. Is x a prime number?
True
Let b(p) = -p**3 + 6*p**2 + 4*p - 1. Let q be b(6). Let i = 31 + -7. Suppose 2*x + g = q, -3*x + i = g - 3*g. Is x prime?
False
Suppose 31*h - 8*h - 298517 = 0. Is h a composite number?
False
Suppose 12*y = 11*y - 1655. Is y/((-2)/(-6)*-3) a composite number?
True
Suppose 2*a - 4480 + 1250 = 0. Let b = a + -906. Is b prime?
True
Let h(s) = -9*s**2 + 5*s - 7. Let t be h(2). Suppose 5*w + 91995 = -5*c + c, 5*c - 55234 = 3*w. Is w/t + (-2)/3 prime?
True
Let v(s) = s**2 + 13*s - 37. Suppose 97 = -5*f - 8. Is v(f) prime?
True
Let l(a) = -588*a + 117. Is l(-5) composite?
True
Let t(b) = 257*b**2 + 13*b + 14. Let z(i) = -129*i**2 - 7*i - 7. Let x(n) = -2*n - 1. Let f be x(-2). Let d(v) = f*t(v) + 5*z(v). Is d(-2) a prime number?
True
Let n = -30757 - -43808. Is n prime?
False
Suppose -6*n - 10 = 14. Is n*(-3)/12*191 a prime number?
True
Suppose 16 = -4*w, 35 - 252 = 5*a + 3*w. Let y be -118*3/6*a. Let f = y - 1466. Is f a prime number?
True
Let p(t) = -7*t - 5. Let l be (5 + (3 - 2))*-1. Is p(l) a composite number?
False
Let n = -45 - 66. Is (-2 - 9)/(3/n) composite?
True
Let f be 2/(-2) + 1 + 2716. Is (-4)/12 + f/12 a prime number?
False
Let x(b) = 3*b + 7. Let k be x(-4). Let a be ((-3015)/12)/k*-4. Let t = -110 - a. Is t composite?
True
Suppose -3*w + 1727 = u, -6*w + w + 2*u = -2860. Suppose 5*b - 3*b = w. Is b a prime number?
False
Let i(n) = n**2 - 3*n + 3. Let t(o) = o**3 - 2*o**2 + 4*o - 3. Let b(v) = 3*i(v) + 2*t(v). Is b(5) a prime number?
True
Suppose 0 = -11*w + 16*w - 26615. Is w prime?
True
Let z(c) = 4970*c + 491. Is z(34) a composite number?
False
Let p(b) = -41*b**2 + 7*b + 17. Let f be p(-5). Suppose 3*u - 1066 = -q + 3561, 5*q - 1547 = -u. Let w = f + u. Is w a prime number?
True
Suppose -3*j - 25 = 2*j, 5*g - 3345 = 2*j. Is g prime?
False
Is (0 - 70424/4)*13/(-26) a composite number?
False
Let g = -74 + -63. Let y = 66 + g. Is (12 - 11) + (-1 - y) a prime number?
True
Let d be (-95)/(-25) + 4/(-5). Suppose -2*p + 392 = d*p - t, 164 = 2*p + 2*t. Is p composite?
False
Let k = 2732 + 1091. Is k a composite number?
False
Suppose -14 = -3*p + p - 4*r, -2*p + 2*r = -20. Suppose 2833 = p*q - 5060. Is q composite?
False
Let a(r) = 4*r**2 - 11*r - 7. Let m be a(-7). Suppose -5*d - m = -2211. Is d a composite number?
False
Let x(o) = 2*o**2 - 15*o + 8. Let q be x(7). Is q/((-1 - 4)/(-14225)) a composite number?
True
Let q(c) = -777*c - 70. Is q(-19) a prime number?
False
Suppose 34 = p - 2*o, 0*o + 87 = 3*p - o. Suppose 2*s = -0*s + p. Is 1194/s + (-10)/35 prime?
False
Let c be (2 + -9)/(-1)*-1260. Let a = 12646 + c. Let n = a + -2709. Is n a prime number?
True
Suppose 129 + 6 = 9*o. Is (-1948)/2*o/(-6) a composite number?
True
Let k be 2/(0 - (-4)/10)*7. Suppose -k*u + 4486 = -33*u. Is u composite?
False
Suppose 2*x + 454586 = 24*x. Is x composite?
False
Suppose -63648 = -4*h + 3*h + 5*t, -2*t + 127284 = 2*h. Is h a composite number?
True
Is 1 + 2 - (-14 - 1176) a prime number?
True
Let u(z) = 78*z + 5. Let m be u(5). Let s = m + -204. Is s a prime number?
True
Suppose -6*i - 10 = -82. Is ((-5336)/i)/((-12)/18) composite?
True
Suppose 2*l = -3*u + 37850, 3*l + 4*u - 28532 = 28245. Is 2/(-9) - l/(-99) composite?
False
Suppose -2*p - 564 - 282 = 0. Let q = p - -728. Is q a composite number?
True
Let m(y) = -636*y**3 - y**2 - 6*y. Let u(w) = 1271*w**3 + 2*w**2 + 13*w. Let v(c) = 13*m(c) + 6*u(c). Is v(-1) a prime number?
True
Let f(i) = -i**3 + i**2 + 10. Let c be f(0). Is 7426/c + (-9)/15 + 1 composite?
False
Let n(v) = 20*v**2 + 11*v + 8. Let o(u) = 4*u + 50. Let j be o(-11). Is n(j) a prime number?
False
Suppose 2*k - 6*k = 60. Let f = -17 + k. Let v = f - -53. Is v composite?
True
Is 768312/12 + -2 + -5 composite?
False
Let p = 3 + -1. Let g be 3 - ((-3 - -2) + 4). Suppose 0 = 4*v - g*v + 5*r - 173, -3*r + 89 = p*v. Is v prime?
True
Let u(z) = -z**2. Suppose 0 + 1 = m. Let h(x) = 16*x**2 + 8*x - 1. Let a(y) = m*h(y) + 2*u(y). Is a(8) a composite number?
True
Let g be (5/30)/(2/12). Let s be (-2)/3*(g + -10). Suppose t + 185 = s*t. Is t prime?
True
Let l = 413 + 0. Suppose -2*d - d + 271 = 4*w, -4*d + l = -5*w. Let c = 61 + d. Is c a composite number?
True
Suppose 2*j - 4830 = 2*z, -4*z - 2581 = -3*j + 4668. Is j composite?
False
Let k = 17465 - 2874. Is k a composite number?
False
Let a(o) = -13261*o**3 - 4*o**2 - 2*o. Is a(-1) composite?
False
Let w(o) = 2*o**2 + 18 + o**2 + o**3 + 2*o**2 - 21*o + 11*o**2. Let u be w(-17). Suppose -132 = -3*t - b, -3*b = -3*t + 34 + u. Is t a composite number?
False
Let k(d) = 650*d**2 - 7*d - 3. Is k(4) composite?
False
Let k(q) = 72*q**2 - q - 35. Is k(6) a prime number?
True
Let i = 34 - 32. Suppose -i*n = -4*n + 8. Is n + (-7)/((-35)/1245) prime?
False
Suppose -5*s = 4*z + 43, -2*s - 6 = -0*s. Let a(r) be the sec