a prime number?
False
Let o = 295 + 142. Is o a prime number?
False
Let v(m) = -17*m**2 - 9*m. Let u(k) = 1. Let h(z) = u(z) - v(z). Is h(5) a prime number?
False
Suppose 0 = -4*f + 3*c - 3445, -2*f - 2*c - 4335 = 3*f. Let k = f + 1262. Is k prime?
True
Suppose -2*s = -5*u - 0*s - 97, u + 5 = 4*s. Let n(a) = -a**2 - 25*a + 37. Is n(u) prime?
False
Let g = 942 - 671. Suppose -1454 = -5*f + 446. Let p = f - g. Is p composite?
False
Let x be 22/(-3) - 20/30. Suppose -2*j - 16 = 2*j. Is 33/(2/x*j) prime?
False
Let f = 16866 - 3935. Is f prime?
False
Let m be 30/7 + 2/(-7). Suppose 3*o + a - 1 = 0, -6*o = -m*o - 4*a + 4. Suppose o*v + 753 = 3*v. Is v prime?
True
Let a = 569 + -356. Is a prime?
False
Let v(q) = -3*q**3 + 2*q**2 + 2*q + 4. Let r = 4 + 1. Let l = -8 + r. Is v(l) prime?
True
Suppose -t + 2*y = -10, 3*y - 50 = -7*t + 2*t. Suppose -5*u = -u + 5*d - 9357, t = 2*d. Is u composite?
False
Let y be ((-98)/4*10)/(14/(-84)). Let v = y + -897. Is v composite?
True
Let i be -1*1 + 90/15. Suppose z + 4*v = 3*v + 1473, 0 = -3*z + i*v + 4451. Is z a prime number?
False
Let a(i) = -2*i**2 + 12*i - 3. Let k be a(5). Suppose -k*s - s = -4216. Is s prime?
False
Let d be (-44)/(-8) - 6/4. Suppose v = -2*r + 14, -8*v + 76 = -3*v + d*r. Is (-7)/((-28)/v) + 595 a prime number?
True
Suppose -10*b + 20*b - 16780 = 0. Is b composite?
True
Let c(k) = k**3 + 37*k**2 + 4*k + 61. Is c(-30) a composite number?
True
Let c(w) = -37*w**3 + 3*w**2 + 7*w + 4. Suppose 0 = -s - 0 - 3. Is c(s) a composite number?
False
Let u be -2 + (-1 - -2)*-11. Let c = -11 - u. Suppose -w + 2*w = c*x + 113, -3*w + x + 334 = 0. Is w composite?
True
Let g(j) = -2*j - 5. Let n be g(-4). Suppose -p - c - n = 0, 4*c = -p - 19 + 1. Suppose -196 = -2*a - p*a. Is a a composite number?
True
Let s = -7765 - -12954. Is s a prime number?
True
Suppose -9 = -4*z + 3. Suppose 3*u + k = 828 - 181, 0 = -z*k + 15. Is u a composite number?
True
Let v(p) be the first derivative of p**2 + 6. Let b be v(0). Suppose -c + 194 = -u, 0 = -b*c - 4*c - 4*u + 752. Is c prime?
True
Is (-21)/(-81)*31965 - 2/9 prime?
True
Suppose -3*v - 3*m = 111, v + 5*m = 2 - 47. Is (-886)/(-7) - (45/v)/3 a prime number?
True
Let w(c) = 4*c**2 - 1. Suppose 4*h = 3*n + h + 9, -5*n - h = 3. Let r be w(n). Suppose -o = -i - 222, -5*o + r*o - 2*i = -424. Is o a prime number?
False
Suppose 0 = 4*c + 2*c - 162. Suppose -32*a = -c*a - 65. Is a prime?
True
Suppose 0 = -5*o + j + 15585 + 18315, 0 = o + j - 6774. Is o a composite number?
False
Is (((-6)/(-4))/(-1))/((-54)/20052) a composite number?
False
Suppose -4973 = -5*x + 21642. Let y = x + -2270. Is y a prime number?
False
Let i = -33958 + 54855. Is i a composite number?
False
Let t be 19056/(-28)*(3 - (-76)/(-2)). Suppose 3225 = -3*q + t. Is q prime?
False
Suppose 6*j - 11*j = -10. Suppose j*w + 3 = 3*u - 3, 0 = 4*u - 5*w - 1. Is 522/u + 9/18 prime?
True
Suppose -187*d + 44085 = -182*d. Is d composite?
True
Is (-5)/3 - (-323176)/87 composite?
True
Suppose -5*q = -32 + 2. Let p = -5 + q. Is p*2 + (-113)/(-1) prime?
False
Suppose 3*q = -5*o + 191479, -o + 4*q + 18187 + 20118 = 0. Is o composite?
True
Suppose -3*p + 4*n = 5*n - 5442, 0 = 2*p - 2*n - 3628. Is p prime?
False
Suppose 39*s - 42*s + 21573 = 0. Suppose -5*l - 3593 = -2*a, -4*a - l = -6*l - s. Is a a prime number?
False
Let x = -49 + -62. Let b = -52 - x. Is b a composite number?
False
Is (-2)/((-3)/(79410/20)) composite?
False
Suppose 2*l = -1 + 11. Suppose 3*n - n - 10 = 0, 0 = l*x - n - 6640. Suppose 6*t - x = 3*t. Is t composite?
False
Is ((-72591)/(-21))/((-13)/(-91)) a composite number?
False
Let y(d) be the third derivative of -d**4/24 - d**3/2 - 6*d**2. Let p be y(-6). Is (-6)/45*p*-5 a composite number?
False
Let r be 4 - 1 - 4/(-4). Suppose -r*j = -4*g - 12, 5*g - 7 + 22 = -3*j. Is (4 + g)/((-3)/(-333)) prime?
False
Let i = 151 - 1. Let a = 769 + i. Is a a prime number?
True
Let f(v) = 283*v**2 + 57*v + 1. Is f(-8) a prime number?
True
Let d be 2/(-4)*2*-103. Suppose 2*q - 19 = -d. Let i = q + 89. Is i composite?
False
Suppose 16*a - 3900 = 20756. Is a prime?
False
Suppose -s = -2*o + 513, 2*s + 742 - 224 = 2*o. Let l = -151 + o. Is l prime?
True
Let s = -50 + 70. Let i be ((-6)/(-4))/(15/s). Suppose -7*p = -3*p - 20, 3*m = -i*p + 283. Is m a prime number?
False
Let s be (-56)/(-9) + 30/(-135). Suppose -4*y - 9290 = -4*j - s*y, 0 = 3*y - 9. Is j a composite number?
True
Let d(h) = 97*h**3 + 23*h**2 + 15*h - 12. Is d(7) a prime number?
False
Suppose 12 = 4*q - 2*a, -5*q = a - 0*a - 1. Let i be q/((-159)/81 - -2). Suppose -g + 26 = -i. Is g composite?
False
Let s(m) = 34*m**2 - 6*m + 3. Let c = -14 - -18. Is s(c) composite?
False
Suppose -m + 1189 = 2*c, -6*m = -4*c - m + 2343. Let w = c + -105. Is w a composite number?
False
Let w(b) = -5*b**3 + 4*b + 3. Suppose -3*u + 0 - 6 = 0. Let f be w(u). Suppose 3*t - 67 = f. Is t a prime number?
False
Suppose -g + 3*z + 693 = 0, -2*z - 3*z - 10 = 0. Let w = g - 448. Is w a prime number?
True
Let n(t) = -t + 7. Let g be n(-9). Let d = g - 12. Suppose -d*b = -2*b - 28. Is b a composite number?
True
Let r(f) be the third derivative of f**6/120 + 3*f**5/20 + f**4/3 + 4*f**2. Let j be r(-8). Suppose 4*x - 1035 - 1697 = j. Is x a prime number?
True
Let t be (-4)/8*23/2*4. Is (0 + -1)*244651/t composite?
True
Let w(k) = -k**3 - k**2 + k. Let z be w(-2). Suppose -2 = -z*t + 8. Is ((-262)/t)/((-2)/5) a prime number?
True
Let o(q) = 2*q - 6. Let p be o(4). Suppose -195 = -p*y - 45. Let a = -18 + y. Is a a composite number?
True
Let q = 19378 - 12779. Is q composite?
False
Let a be (11/(-4))/(14/(-56)). Suppose -a = -5*j + 4. Is ((-1)/j)/(2/(-2370)) a composite number?
True
Let x(l) = -l**3 + 2*l**2 - 3*l - 3. Let u(c) = -c**2 - 8*c - 7. Let k be u(-6). Let d be 28/(-70)*1*k. Is x(d) prime?
True
Let a(d) = 217*d**2 - 109*d + 17. Is a(-10) a composite number?
False
Suppose -g + 2*w = 2, -5*g - 2*w - 66 = 2*w. Let k(h) = 17*h + 12. Let s be k(g). Is -2*5/(20/s) a composite number?
False
Let k = 9 + -4. Suppose -i + 3*q + 1 = 0, -k*i + 13 = -5*q - 2. Let f(t) = 14*t**2 - 5*t + 5. Is f(i) a prime number?
False
Let k(v) = 5*v - 2. Let i be k(1). Suppose -2*r - 283 = i*l, -2*r + l = 6*l + 277. Let n = 15 - r. Is n a prime number?
False
Let n(y) = 9*y + y**3 + 3*y**2 - 3*y**3 + 45 - 20*y**2 - 16. Is n(-15) a composite number?
False
Suppose 5*o - 4187 = 22698. Suppose 3*k = t - o, 3*t - k - 16145 = k. Is t prime?
False
Suppose 0 = -5*z - 3*s + 36595, -2*s = z - 492 - 6827. Is z a prime number?
False
Suppose 0 = 6*r - 14 - 10. Is (-8)/16 - (-1342)/r a prime number?
False
Let x = -11848 - -21834. Is x composite?
True
Let l = -638 + 3174. Is (5 - (-33)/(-6))/((-2)/l) composite?
True
Let z(l) = 10*l**2 - l - 5. Let v be -6 - (3 + 1)/(-2). Is z(v) a prime number?
False
Let s(a) = -15739*a - 12. Is s(-1) a composite number?
False
Let k(m) = -2376*m + 31. Is k(-3) a composite number?
False
Suppose 2*n + 8 = 3*n. Suppose n = 2*d, 2*z - 7356 = -2*z - 4*d. Suppose -2*h = 3*h - z. Is h a composite number?
False
Is (104/(-28) - -4) + 45510/14 a composite number?
False
Let n = -152446 - -253037. Is n a composite number?
False
Suppose -2289 - 2511 = -4*g. Suppose g = 5*c - c. Suppose 0 = 2*t + d - c, 3*d = t + d - 145. Is t a prime number?
True
Let h = -10 - -1. Let f = 1 - h. Is 4/f + 383/5 prime?
False
Let u = 45867 - 20170. Is u a prime number?
False
Let b(m) = -40*m**2 - 16*m - 48. Let l be b(-5). Let k = l + 1489. Is k a composite number?
False
Let l(m) = -m**2 - 3*m + 2. Let d be l(-3). Suppose -3*v - d*y + 16 = 0, -v - y + 7 = -0. Suppose -308 = -2*g - v*g. Is g a prime number?
False
Let h(q) = -q**3 + 11*q**2 - 9*q + 4. Let u be h(9). Let a = 288 - u. Is a a composite number?
True
Suppose -2*u = -6*u + 12. Suppose 0 = -u*y + 581 - 218. Is y a prime number?
False
Let g = -22 + 26. Let j be 2*((-18)/g + 4). Is (0 - j)/((-1)/(-79)) composite?
False
Let s = -91 + 17. Let g = s + 2407. Is g prime?
True
Let i(n) = 43*n**2 - 3*n - 5. Let z be i(-3). Suppose -4*h - 5*l - z = -2072, -3*h = -4*l - 1253. Is h prime?
True
Suppose 0 = p + 3*q - 2*q - 5, p = 3*q - 15. Suppose p*f + 3*f = 0. Suppose -3*k - l + 3*l + 397 = 0, -3*k + 5*l + 403 = f. Is k a prime number?
True
Let k = -2 + 4. Suppose -2*w - 10 = -2*h 