 i - 85. Is v a prime number?
True
Suppose -5*d - 11 = -1. Let z be ((-4)/(-12))/(d/(-90)). Is z/(-20) + (-350)/(-8) prime?
True
Let b = -8525 + 24983. Let z = -11369 + b. Is z prime?
False
Let o be 0/(42/(-7)) + 8/2. Suppose k + 3*g = 130, k + 3*k + o*g - 512 = 0. Is k a composite number?
False
Suppose -3*b + 35 = -5*s, s + 0 = -4. Let c(a) = -1630*a - 8. Let l be c(b). Is (-6)/(-21) + l/(-14) composite?
True
Let l = 24 + -28. Is ((-4584)/(-30))/(l/(-10)) a composite number?
True
Suppose 0 = 26*f - 27*f + 4781. Is f prime?
False
Let s(r) = 74*r**2 - 23*r - 10. Is s(4) composite?
True
Is -1 + (29841/(-58))/((-6)/32) a prime number?
False
Let z(y) be the second derivative of -1/2*y**2 - 1/2*y**3 - 1/6*y**4 + 3*y + 0 + 13/20*y**5. Is z(4) a composite number?
False
Let i = -185 - -260. Let h = 4 + i. Is h a composite number?
False
Let m(t) = 227*t - 20. Is m(11) composite?
False
Suppose -5 = 3*v + 2*v. Let w be v*(1 - 1263/3). Suppose 94 - w = -2*c. Is c prime?
True
Let k(n) = n**3 + 10*n**2 - n - 4. Let v be k(-10). Let d be ((-28)/v - -4)*-6. Suppose -462 = 2*s - 4*s - d*c, 2*s + 3*c = 465. Is s prime?
False
Let z be 12/(-6)*((-60)/8 + 2). Suppose -3*q + 16 = -z. Is q composite?
True
Let q(r) be the third derivative of 3*r**4/4 + 5*r**3/6 - r**2. Let p be (4/(-8))/(1/(-8)). Is q(p) a prime number?
False
Let a = 3141 - -2017. Is a*((-6)/(-9) + (-1)/6) prime?
True
Let w(f) = -2*f**2 + f + 451. Is w(0) composite?
True
Let g = 3554 - 2025. Is g prime?
False
Let p(o) = -4 - 5 + 3*o**2 + 2*o - o**2. Let k = -22 - -32. Is p(k) composite?
False
Let y = -349 + 171. Let t = y - -372. Suppose -t = -f - f. Is f a prime number?
True
Suppose 5*f = -4*x + 60745, 106*f = 108*f + 4*x - 24298. Is f composite?
False
Let h = -265 - -414. Suppose -69 - 341 = -5*a. Suppose -5*s = 4*p - h, -2*p + 0*p - 4*s + a = 0. Is p prime?
True
Suppose 18*s - 16*s = 5910. Let z = s + -434. Is z a composite number?
False
Suppose -3*n + 1518 = -3*r, 0 = 2*n + 4*r - 5*r - 1008. Is n prime?
False
Let u be (-1)/2*(6 + -8). Is ((-14)/(-21))/(u + 471/(-477)) prime?
True
Suppose 0 = 10*f - 12*f - 1182. Let g = -400 - f. Is g prime?
True
Suppose 25 = 5*d, 0*d + 7 = -2*q + 3*d. Let h(k) = 20*k - 9. Is h(q) a prime number?
True
Let r = 23433 + 6158. Is r composite?
True
Let k(o) = -4*o**3 + 3*o**3 + 109 - 3 - 3*o. Is k(0) a composite number?
True
Let z be 3*(0 + 8/6). Suppose 3*x + 5973 = z*g, -4*g - 2*x + 3004 = -2*g. Is g a composite number?
True
Suppose 4*j = 7*j - 5*x - 2850, 2*j - 2*x = 1904. Is j a composite number?
True
Suppose 0 = 2*y - 2*a + 3*a - 29909, 74762 = 5*y - a. Is y a composite number?
True
Is 0 + (-6)/(-27) - 819518/(-18) prime?
False
Suppose 6 = 2*q - 2. Let v(w) be the second derivative of 83*w**3/6 + 3*w**2/2 - 17*w + 2. Is v(q) prime?
False
Is (6028 - -10) + (-77)/(-7) a prime number?
False
Suppose 4*z = 7*z - 3*w - 187383, 0 = z + 5*w - 62449. Is z a prime number?
True
Let h(s) = 118 - 128*s - 135 + 34*s. Is h(-15) prime?
False
Let x = 4647 + -1232. Is x composite?
True
Suppose x = 3*x - 14. Suppose 4*r - 5 = x. Suppose r*c + y = 3*y + 431, -3*c - 3*y = -441. Is c a prime number?
False
Let n be -2 + 5 + (-2*1 - -2). Suppose 0 = -d - 2, 2252 = 2*s - n*d. Is s prime?
True
Is (-4)/(-12)*(-871806)/(-26) composite?
False
Is ((-2)/(-6))/(18/495774) a composite number?
False
Let d(y) = y**2 - 9*y + 10. Let x be d(8). Is (-1 + 0)*(x + -165) prime?
True
Let a(x) = -x + 4. Let p be a(2). Let l(n) = 47*n**p + 3*n - n - 43*n**2 - 3. Is l(-4) prime?
True
Is (1187 + -3 + 3)*1 a composite number?
False
Let u = 45 - 40. Let w(o) = 327*o - 2. Is w(u) composite?
True
Suppose u = 5*s - 37385, -s - 4904 = 2*u - 12381. Is s a composite number?
False
Let i = 20 - 20. Suppose 5*u + 0*u + 5 = 0, -5*d + 5*u + 235 = i. Is d prime?
False
Let t be 20/(-8 + 3) - 20. Let u be (3 + 0)/(t/(-3112)). Let a = -250 + u. Is a composite?
False
Let b = 7874 - 1095. Is b a prime number?
True
Suppose 0 = 1076*j - 1078*j + 22514. Is j composite?
False
Let z be (114 - -2 - 1) + -5. Let i = z + 411. Is i a prime number?
True
Is (1/4)/(2 - (-136183)/(-68092)) composite?
True
Let b be 36/(-3) - 2 - -3. Let a = b + 10. Is ((-1)/a)/(4/76) a composite number?
False
Suppose -1549 = -17*n + 118114. Is n a composite number?
False
Let l(a) = 9*a**2 - 72*a - 5. Is l(-14) composite?
False
Is ((-554040)/9)/(-9) - -7 a prime number?
False
Suppose -3364 - 6671 = -5*n. Let h = n + -812. Is h a prime number?
False
Suppose 0 = -2*z - 2*y - 20314, -4*z - 44088 + 3469 = -5*y. Is (z - 2)*(-65)/78 prime?
False
Suppose 0 = -l - 0*l. Suppose u - 399 - 171 = l. Let b = 952 - u. Is b prime?
False
Let a = -12646 - -20361. Is a a prime number?
False
Let m = 3597 - 1820. Is m composite?
False
Is (-14581 - 2)*(-4)/12 prime?
True
Suppose 0*q - 1204 = 4*q. Let k = q - -432. Is k prime?
True
Suppose 3*g + 551 = 4*w, -w + g = 3*g - 135. Suppose 2*x = 377 + w. Is x a prime number?
True
Let t(j) = 297*j**3 + 1. Let b(i) be the first derivative of i**2/2 + 11*i + 12. Let p be b(-10). Is t(p) a prime number?
False
Suppose 5*u = 2*h + 14, -6 = 2*u + 3*h + 2*h. Is 22/(u + (-768)/386) prime?
False
Let x = 29 + -24. Suppose -4*z - x*g = -5, 4*z - 2*g = z + 21. Is z/(20/(-8)) - -35 a composite number?
True
Let n be ((-4)/8)/((-2)/4). Is 1/(n/1666) + 3 a composite number?
False
Let i(v) = -v**2 + 16*v + 21. Let c be i(17). Is c/30 - 15052/(-60) composite?
False
Let s(r) = -724*r + 5. Is s(-27) composite?
False
Is ((-1266)/12)/((-1)/58) prime?
False
Let s(z) = 5*z**3 - z**2 + 3. Suppose 4*a - 58 = -4*b + 18, 0 = -4*a + 2*b + 58. Suppose -3*f + a = 5*n - 4, -3*f = 0. Is s(n) a prime number?
True
Is 3 - ((-30)/(-70) - 60346/14) prime?
False
Suppose 2*q - 10 = 0, -14*v + 12*v + 2*q + 11058 = 0. Is v a prime number?
False
Is (8612/20)/((-4)/(-20)) a composite number?
False
Let f = 21764 - 10585. Is f prime?
False
Let b(l) = -l**2 - 4*l + 13. Let p be b(-8). Let g be p/(-3)*(-4 + 7). Suppose -74 + g = -5*f. Is f composite?
False
Let f = -9 + 10. Let h be f - (-1 - -4) - 16. Is (-1577)/(-4) - h/24 a prime number?
False
Let b = -490 - -785. Let c = -2 - -8. Suppose -l - b = -c*l. Is l a composite number?
False
Let n(c) = -c**3 - 4*c**2 + 4*c. Let o be n(-4). Let s be ((-24)/(-18))/((-70)/72 - -1). Is ((-2388)/s)/(2/o) prime?
False
Suppose 0*u - 3*n - 13 = u, -4*u - 2 = 2*n. Suppose -u*m = 3*m - 445. Is m a prime number?
True
Suppose 13*v + 24 = 21*v. Suppose -7*a + 124 = -v*a. Is a a composite number?
False
Is ((-58154)/10*-2)/(26/65) composite?
False
Let x(w) = 2*w**2 - 2*w - 2. Let g be x(2). Let o = -310 + 439. Suppose -s - g = -o. Is s a prime number?
True
Suppose 36010 = 4*j + 4*z - 41734, -5*z + 19416 = j. Is j prime?
True
Let q = -7 + 11. Suppose 7*b - q*b = 1431. Let f = b - 314. Is f prime?
True
Suppose -t + 198894 = 5*h, -2*t = 4*h - 7*h + 119339. Is h prime?
True
Suppose -9*a = -4*a - 25. Suppose j - 536 = 3*k, 5*j = -0*j - a*k + 2660. Is j a composite number?
True
Let w(b) be the first derivative of -b**4/4 + 8*b**3/3 + 7*b**2 - 11*b - 2. Suppose -l = -3*i - 3*l + 35, 0 = -2*i + l + 14. Is w(i) composite?
True
Suppose 29*d - 7*d + 62656 = 0. Let f = 6677 + d. Is f composite?
True
Suppose -2*k - 3*s + 1774 = 0, 2*s + 799 = 2*k - 975. Is k prime?
True
Let w(u) = -u + 17. Let d be w(7). Let y = 43 - d. Let h = 92 - y. Is h a prime number?
True
Suppose -11984 = -4*p + 4*k + 14752, 5*k + 26733 = 4*p. Suppose 6*y - 4767 = p. Is y composite?
True
Suppose -12 = -3*m - i, -2*i = -5*i. Suppose -2*x + k = -1259, x = 5*x + m*k - 2536. Is x prime?
True
Let o be ((-1 + -4)*1)/((-3)/(-3)). Let j(f) = -9*f**3 - 4*f**2 + 7*f - 11. Is j(o) a composite number?
True
Suppose 3*d = -47*d + 3695350. Is d a prime number?
True
Suppose 31 + 81 = 4*d. Suppose -52 - d = -4*u. Suppose 16*a = u*a - 556. Is a composite?
False
Let u(p) = 2*p + 5. Let n be u(0). Suppose -389 = -2*m - 3*j - 0*j, 2*j = n*m - 925. Is m prime?
False
Suppose -7*b = -405 - 512. Is b composite?
False
Let w(g) = -3*g - 3. Let h be w(-2). Suppose 5 + 1 = -h*k. Let o(v) = -18*v + 1. Is o(k) a composite number?
False
Is 6/(-8)*2564/(-3) composite?
False
Let n(f) = -25*f**3 + 11*f**2 + 14*f + 5. Is n(-3) composite?
True
Let u(d) = 0 - 2*d**2 - 2*d + 3*d**2 + 2. Let n be u(4). Let m(z) = -z**2 + 19*z + 1