v(-17) composite?
True
Let a = 13 - 11. Let n = 9 - 5. Is 161 + (0 - n)/(a/(-1)) a prime number?
True
Suppose 31*t = 3*t + 392. Suppose -256130 = -24*q + t*q. Is q a composite number?
True
Let f = -121562 - -202161. Is f a prime number?
True
Suppose -i = -3*i - s + 5, 0 = 5*i - 3*s - 18. Suppose i*f = t + 2*t + 15, 5*f - 4*t = 23. Is 385*f - (8 + -4) composite?
False
Suppose 6929699 = 229*o - 210*o. Is o prime?
False
Suppose -2*m = -5*w - 1733777, -3*m - m + w + 3467527 = 0. Is m a composite number?
True
Let a(f) be the first derivative of 3*f**2/2 - 13*f + 23. Let r be a(5). Suppose 5*m + 3*j = 1920, -r*j + 288 + 103 = m. Is m composite?
True
Let w = 3511 - -597. Suppose 5*t + w = 3*u, t + 4058 = 3*u + 6*t. Is u a composite number?
False
Let q = -46354 - -86255. Is q composite?
False
Is (-1687238)/(-126) - 12 - (14/18 - 1) a composite number?
True
Suppose 5*n + r - 28 = 0, 3*r = -2*n + 2*r + 13. Suppose 2*k + 10522 = -0*k + 3*i, -26295 = n*k - 5*i. Let m = -3076 - k. Is m composite?
False
Is (-8)/(-44) + ((-213167990)/55)/(-2) a prime number?
True
Let s(p) = -2*p**2 - 25*p - 20. Let o(m) = m**2 - 20. Let z be (-385)/(-121) + (-5)/((-165)/(-6)). Let y be o(z). Is s(y) a composite number?
False
Let t(x) = 3*x**3 - 25*x**2 + 5*x - 56. Let m(q) = 2*q**3 - 13*q**2 + q - 29. Let b(s) = -7*m(s) + 4*t(s). Let i be (5 + -1)/(4/(-8)). Is b(i) composite?
True
Let i = -113292 - -200263. Is i prime?
False
Let v = 146 + -150. Is (-4)/22 - (v + (-13503)/33) a composite number?
True
Let g(i) = i - 16. Let q be g(10). Let v be (-224)/q + 12/(-36). Suppose 2*a - 2*h - 16 = 0, -5*a = -2*h - 18 - v. Is a prime?
True
Suppose -5*d = -5*h - 893385, 60*h - 57*h - 12 = 0. Is d prime?
True
Let w be -2*(-5)/((-15)/(-9)). Let k be w/15 - 904104/(-40). Suppose 7*x - k = 2520. Is x a prime number?
False
Let x be (-14030)/(-4)*1*(10 + -8). Is x + 5 + (-8)/((-40)/(-15)) a composite number?
True
Suppose 0 = -36*c - 22*c + 13*c + 19825515. Is c a composite number?
False
Suppose 5*q = -2*x + 20, -q - 2 = 5*x + 17. Let w(r) = 12*r**3 + r**2 - 5*r - 7. Is w(q) prime?
True
Let t = 15862 - 4503. Is t prime?
False
Suppose 6*p - 3*p = -4*l + 647963, -2*l = 13*p - 2807763. Is p prime?
True
Let a(l) = -521*l - 6. Let d be (5/4)/(7/(-28)). Is a(d) a composite number?
True
Suppose -20027 = -5*b + 16463. Suppose -18*m + b + 2332 = 0. Is m prime?
False
Let y(o) = 1297*o + 12317. Is y(60) a prime number?
False
Suppose 3*j - 17*j + 172620 = 0. Let x = j + -7309. Is x composite?
False
Let p(f) = 137*f**2 + 39*f - 4. Let a be p(-10). Let q = a - 1443. Is q prime?
True
Suppose -22*y + 13 = -16*y + 169. Let r be 6/(-27) + (-34)/9. Is 4710/r*y/39 composite?
True
Let d be (-11244)/(6/1 - 9 - -1). Let t = d - 1193. Is t a composite number?
True
Is 110/(-50) + (-2015136)/(-30) composite?
False
Let v(m) = 2*m**3 + 15*m**2 + 6*m - 22. Let s be v(-10). Suppose -3161 = -2*y - 5*t, 3*t = -t + 12. Let g = y + s. Is g prime?
True
Let g(y) = y**2 + 5*y - 2. Let a be g(-4). Let v(n) = n + 6. Let b be v(a). Suppose b = -8*p + 10*p - 1724. Is p composite?
True
Let v(j) = 2*j - 7. Let h be v(7). Let i be (-1)/(-3)*(-99)/6*-2. Suppose 1516 = -h*f + i*f. Is f a prime number?
True
Let j(c) = -366*c**3 - 324*c**3 - 308*c**3 + 5 - 4*c**2 - 328*c**3 + 4*c. Is j(-2) composite?
False
Let n = 114408 + -38477. Is n composite?
False
Is -655*((-40)/600)/(1*(-2)/(-1758)) a prime number?
False
Let p = 105 + -111. Let c be -422*2/p*9/3. Suppose 8*u - 6*u - c = 0. Is u a prime number?
True
Suppose 39 = -11*o + 12*o. Let p be (189/(-42))/((-3)/8). Is (o/p)/(6/48) prime?
False
Let c(l) = -80317*l + 1582. Is c(-3) a composite number?
False
Suppose -5*f - 23 = 4*m, -2*f + 18 = -3*m - 28. Let j(y) = -72*y + 2*y**2 - 5 + 4*y**2 + 69*y. Is j(m) a prime number?
False
Let m(u) = u**3 - 4*u**2 - 13*u + 9. Let z be m(6). Suppose i - 695 = -2*t + t, -3459 = -5*i + z*t. Let y = i - 400. Is y a prime number?
True
Let b(k) = k + 8. Let u be b(-5). Suppose u*c + 14 = 44. Let r(p) = -p**2 + 15*p - 3. Is r(c) prime?
True
Suppose 5*c + 2*c - 28 = 0. Suppose -c*k - 6 = -7*k. Suppose 0 = -2*f + 6, r - k*r + 44 = -5*f. Is r a prime number?
True
Suppose -4*g + 366 = -10170. Suppose 19*d + 2915 = 14*d. Let h = g + d. Is h prime?
False
Suppose 3*l - 4*n - 139 = 0, l + 23*n - 21*n = 33. Suppose 275 = 5*m - 5*t, -t - l = -2*m + 69. Is m a prime number?
False
Let r = 7150 + -2885. Suppose -2*g - 5032 - 32 = 0. Let d = g + r. Is d a composite number?
False
Let h = 1181422 - 764561. Is h a composite number?
True
Suppose 266518 - 65708 + 204690 = 100*y. Is y composite?
True
Let r(q) be the first derivative of 139*q**2 + 85*q - 76. Is r(9) composite?
True
Let c(o) = -40*o - 1343. Is c(-75) prime?
True
Let d(k) = 6*k**2 + 139*k - 41 + 25 - 164*k - 65. Is d(23) composite?
True
Let o be 2/((-3)/9 + 1). Suppose 9 = o*b - r, -4*b + r + 17 = -2*r. Suppose -b*k = -519 + 193. Is k a composite number?
False
Suppose 4*o - 2*s = -10, 4*o + 7*s + 17 = 2*s. Is ((-19931)/(-57))/((-1)/o) composite?
False
Is (-21)/18 - (-17184920)/48 - 11 a prime number?
False
Let h = 5 + -9. Is h/(-10) + (-70416)/(-60) a prime number?
False
Suppose -4*x = -4*n + 153732, -192157 = 35*n - 40*n + x. Is n composite?
False
Suppose -5*o = 10, -5*o + 53 - 11 = -2*r. Is (-640584)/(-312) + 4/r a composite number?
False
Suppose 0 = -x + 25*x - 1364136. Let c = x + -39066. Is c prime?
False
Suppose -39*q + 9443824 = -8*q + 3813015. Is q prime?
True
Suppose -2015*m = -2012*m - 892371. Is m a composite number?
False
Let n(j) = -17*j**3 + 8*j**2 - 11*j + 2. Let g be n(5). Let f = 4821 + g. Is f prime?
True
Let l = -108 - -108. Let m = -13 - l. Let z(u) = -12*u - 59. Is z(m) a prime number?
True
Let k = 215 + -201. Let r(m) = 47*m + 19. Is r(k) a composite number?
False
Suppose -u = 4*p - 185648, -5*u = -2*p - 0*u + 92846. Let w = -66897 + p. Is w/(-15) - (8/5)/(-4) composite?
True
Suppose 2*o = 8, 2*x = 2*o + 2162 + 4176. Is x a composite number?
True
Let m be (24/10)/(2/935). Suppose 8*i - 10*i = -m. Suppose -5*w - 4*l = -1665 - i, -2*w = l - 891. Is w composite?
True
Let y(i) = -533*i + 111. Let w be y(-39). Suppose -w = -8*a + 6806. Is a a composite number?
False
Is 332681 - 15/(-75)*-50 prime?
False
Let j be -6 - -2*(1 - -1). Let t be 1*j + -5 + 9. Suppose 4*v + 845 = 3*b, 2*v = 2*b - t*v - 558. Is b a composite number?
True
Let u be (-3106595)/(-171) - (-6)/(-27). Suppose -5189 = 18*t - u. Is t prime?
False
Let j(c) = c - 2. Let a(g) = 10*g**2 - 10*g + 15. Let h(b) = a(b) + 4*j(b). Suppose -o = -4*o - 12. Is h(o) a composite number?
False
Suppose 1725*q - 1715*q - 7610810 = 0. Is q a composite number?
True
Let a be (-26)/169 - 45/(-39). Is (-3 - 1)/a - -24121 a prime number?
False
Let n(o) = -83*o + 17. Let w(q) = 83*q - 17. Let h(a) = -5*n(a) - 4*w(a). Suppose 2*v - 5*m = v + 17, 0 = 2*v - 2*m - 26. Is h(v) prime?
False
Let o(v) = 87455*v**2 - 3*v - 7. Is o(-3) a composite number?
True
Let r(s) = 26*s**3 + 5*s**2 - 4*s + 3. Let l be 14/4 + 1*(-6)/4. Suppose 3 = j - l*m + 9, -3*m + 18 = 3*j. Is r(j) prime?
True
Is 9/(-9) - (-8 + 569808/(-8)) a prime number?
True
Let v(h) = -h**3 + 16*h**2 - 4*h - 34. Let d be v(15). Suppose 0 = 2*x + 4, n = -2*x + d - 38. Is n a prime number?
True
Let i = 1649 + 6697. Let s = i - 5411. Is s composite?
True
Let i(r) = -13*r - 32. Let o be i(-4). Suppose -482 - o = -2*z. Is z prime?
True
Let s be (-43700 + -2)*((2 - 4) + 1). Suppose 5*g - 9388 = s. Suppose -5*y = -147 - g. Is y a prime number?
True
Suppose -148*k = -14981387 + 2821739 - 6883364. Is k a composite number?
False
Let n be 3*2/12*-2*-2. Suppose 0*i + n*i - 3*s - 241 = 0, -4*i - 4*s + 492 = 0. Suppose i = 4*p - 350. Is p prime?
False
Let f(t) = 64*t + 7. Suppose 22 = 4*b - 14. Let m(l) = 2*l - 14. Let w be m(b). Is f(w) prime?
True
Let i(y) be the third derivative of 0 - 1/60*y**5 + 0*y - 35*y**2 + 0*y**3 - 1/24*y**4 - 199/120*y**6. Is i(-1) prime?
True
Suppose 2*i + 5*m = 242787, 0 = 2*i - 17*m + 13*m - 242832. Is i prime?
False
Let t = 43388 + 12774. Is t a prime number?
False
Suppose -285*n + 9111269 + 30073181 + 5255315 = 0. Is n prime?
False
Suppose 4*n = 8, -4*n = 4*p - 73596 - 108024. Is p composite?
False
Let m(l) be the first derivative of -439*l**2/2 - 229*l - 19. Is m(-12) a prime number?
