t a composite number?
True
Suppose 4277 = -4*i + 20205. Let h = i + -529. Suppose 68*v - h = 65*v. Is v a prime number?
True
Is 6/9*9*(-10 - 3295470/(-90)) a prime number?
False
Let f(y) = -83*y**3 + y**2 + 2*y + 35. Let s(x) = 42*x**3 - x**2 - x - 18. Let r(v) = 3*f(v) + 5*s(v). Let q be r(-5). Let d = q + -3354. Is d a prime number?
True
Suppose -15*n + 1300019 = 2*f - 1379286, 3*f = -4*n + 714469. Is n prime?
True
Suppose -2407041 - 510922 = -13*t - 723524. Is t prime?
True
Suppose o = -3*d + 428396, -169*o + 428394 = 3*d - 166*o. Is d a composite number?
False
Let q(s) = -11*s + 12. Let w be -11 - 1*(-8 + 2). Is q(w) a prime number?
True
Let g(d) = -2*d**2 - 15*d + 325. Let h be g(-23). Suppose 3*t - 675 = o + 511, 4*t = 4*o + 4768. Let r = h - o. Is r prime?
False
Let k be (-1472)/10 + (-44)/55. Let d = 907 - k. Is d composite?
True
Let f be (-2914)/(-4)*(-3 + (-15)/(-3)). Let o = -282 + f. Suppose -6*w - o = -9317. Is w a prime number?
False
Let b be ((-2)/(-4))/((-19)/(-76)). Let i(y) = 11*y + 2. Let m be i(2). Suppose 0 = b*z - 134 - m. Is z a prime number?
True
Suppose 0 = 4*r - 3*c - 751316, 16*r - 563445 = 13*r - 3*c. Is r a prime number?
True
Is 1212729 - 1 - (9 - 39)/10 composite?
True
Let v(r) = 17*r**2 - 1238*r - 61. Is v(94) a composite number?
True
Suppose 0 = -2*m + 7 - 1. Let s be (6/2)/(m/5). Suppose -2*v - 3*t = -0*v - 502, -s*v + 4*t + 1278 = 0. Is v prime?
False
Let h be -2*(-1 + 15/10) - -4476. Suppose -30322 = -3*z + h. Is z a composite number?
True
Let k(x) = -1941*x + 38. Let c(o) = 5*o - 135. Let i be c(26). Is k(i) a composite number?
False
Let u be 10*10*(7 + 17)/3. Suppose 2*n + u = 2*c, c = 5*n + 94 + 294. Suppose -3*h = -5*j - c - 768, 0 = j - 4. Is h a composite number?
False
Suppose -140*j = -95*j - 216279 - 489366. Is j composite?
True
Suppose 22474 - 34386 - 44948 = -4*i. Is i prime?
False
Suppose -2*n + 148 = -6*n - 2*y, -64 = 2*n - 4*y. Let i be (-8)/n + 83/(-9). Is (24/i - -2)/((-6)/3411) prime?
True
Let p = 4772 + -3709. Suppose -5*u + 2025 + 805 = 0. Let f = p - u. Is f a composite number?
True
Let o = 9 - 5. Let n be -9 - (o - 4)/2. Let q(u) = -63*u + 6. Is q(n) prime?
False
Let u(c) be the first derivative of -c**4/2 + c**3 + 69*c**2/2 + 3*c + 81. Is u(-7) prime?
True
Suppose -t - j - 1955 = 0, -3*t + 2823 = -4*j + 8667. Suppose -2*d - 16*p - 1188 = -11*p, 0 = -5*d - p - 2947. Let s = d - t. Is s prime?
False
Let z(t) = -12653*t - 2471. Is z(-30) composite?
True
Let n be (1 - (-6374)/6)*36/24. Is (-4178)/(-5)*(n/(-2))/(-29) composite?
True
Let y be (21/(-2))/(-3 + 87/30). Suppose y*t = 111*t - 57966. Is t a prime number?
True
Suppose 11*u = -2*u - 569725. Is -7*(u/(-35))/(-5) a composite number?
False
Suppose 10*d = 2*j + 11*d - 1038869, -6 = -2*d. Is j prime?
True
Suppose 165 - 51 = 19*t. Let k(u) = 451*u**2 + 11*u - 9. Let b be k(t). Suppose 5*r - 20366 = -0*a + a, -a = -4*r + b. Is r a composite number?
False
Let d = 4 + -4. Suppose -5*f + 10*f - 1855 = d. Suppose m - f = 4*t, 0*m + m + 2*t - 365 = 0. Is m prime?
True
Suppose 0 = 136*r - 85560939 + 7309123. Is r prime?
False
Let k(s) = -s. Let i be k(-5). Suppose 20440 = i*u + 2*u. Suppose 4*n = 4*x - n - 11667, -u = -x - 2*n. Is x composite?
True
Suppose 5*n = -5*a - 5, -7 = -3*n + 4*a + 11. Suppose 0 = 3*s + n*s - 1815. Suppose -7*u - s = -2666. Is u a composite number?
True
Suppose -217*o = -209*o - 1543672. Is o a composite number?
True
Let g = 571731 + 150428. Is g a composite number?
False
Suppose -r + 3*p = -25, -r - 45 = -6*r - 5*p. Suppose 0 = -27*h + r*h + 1021846. Is h a prime number?
False
Suppose 0 = 12*p - 323750 - 458230. Is p prime?
False
Let g = -8 - -88. Let m = g - 60. Suppose -17*a - 6495 = -m*a. Is a a prime number?
False
Let x = -9063 - -22562. Is x a prime number?
True
Let z(d) = 1856*d + 5721. Is z(65) composite?
True
Is (-317118)/8*(-1160)/870 prime?
False
Is 361121/2*(-448)/(-224) composite?
True
Let a = -913 + 921. Is 0 - (-10828 + 3 + a) prime?
False
Let x be (1 + 8/10)*430170/117. Suppose -5*f - 8*m + 5*m = -11024, -3*m + x = 3*f. Is f composite?
False
Let u(p) = -16215*p - 307. Is u(-4) a composite number?
False
Suppose 13*z - 160667 = 11*z + 3*l, 0 = l + 3. Is z a composite number?
False
Let h = 16185 + 47260. Suppose -15993 = 4*q - h. Is q a prime number?
True
Suppose 65*w = 1155440 - 3560847 + 12585252. Is w composite?
True
Suppose 436822 + 2374389 = 47*q. Let d = -41266 + q. Is d a composite number?
True
Suppose 5*h - 2*r = 611, -3*h = -0*h - 3*r - 372. Let z = 559 - h. Let d = z + -233. Is d a composite number?
True
Let j = 14868 + -10391. Let q = j - 2676. Suppose 8*w - q = 7*w. Is w composite?
False
Let w(t) = -56*t**3 - 4*t**2 - t - 13. Suppose -6 = 5*m + 14. Is w(m) a prime number?
True
Is 2970801/6*45/(-27)*4/(-10) prime?
False
Suppose 4*h - 10 = h - 2*z, h + 2*z - 10 = 0. Suppose 0*p - 5*p + t + 33 = h, -p - 3 = 3*t. Is p/10 + 786/15 prime?
True
Let o = -379 + 379. Let c be (-6082)/(-9) + 2/9. Suppose o = -2*z - 2*p + c, 7*z - 3*z - 1348 = -3*p. Is z prime?
False
Let y be 39976/16 - -1*4/(-8). Is y - (5/(-5) - -1) prime?
False
Suppose -22*w = -21*w - 4*h - 3269, -4*w + 2*h = -13160. Is w composite?
True
Let v be (-7316)/6 + 0 - (-76)/(-114). Let w be -4404*(2 - (-5)/(-2)). Let g = w + v. Is g composite?
True
Let p = 87346 + 23325. Is p a composite number?
True
Let j = 39 + -24. Let h = -3 + j. Suppose 21 = -h*o + 249. Is o prime?
True
Let v(j) = -j**2 - 9*j - 15. Let q be v(-6). Suppose 0 = 3*d + 3*s + 3741, -7*d - 6225 = -2*d + q*s. Let f = 323 - d. Is f prime?
False
Suppose 2*n = 4*q - 12374, 3*n + 3*q + 10376 = -8158. Let k = -924 - n. Is k a composite number?
True
Let n be -1 + 0/(3 + 0). Let t(k) = -908*k**2 - 4*k - 4. Let c(r) = -r**2 + 1. Let x(b) = n*t(b) - 5*c(b). Is x(2) composite?
False
Let i = 6 - 4. Let n(g) = -12*g + 928. Let j be n(40). Suppose j = -h + i*h + t, t = 3*h - 1340. Is h prime?
False
Let g(u) = -u**2 - 10*u + 25. Let m be g(-12). Let w be 297/m - 120/30. Let o = -36 + w. Is o prime?
True
Let d(a) = -420*a**3 + 24*a + 17. Is d(-7) a composite number?
False
Suppose -4*c - 2*n + 276670 = 0, 41794 = c + 3*n - 27381. Is c a composite number?
True
Suppose -5*b = -4*m - 12, 3*b = 4*m + 6 - 2. Suppose -5*n = -3*w + 65, m*w = 2*n + 2*n + 44. Suppose -w*q - 2307 = -23*q. Is q a prime number?
True
Is (-5970)/(-210) + -28 - (-426206)/7 prime?
True
Let k be 1*3/(3 + 0) + 2. Suppose 0 = 3*r - k*x + x - 72579, 6 = -2*x. Is r a composite number?
True
Let z = 4550 - -56707. Let c = z - 28714. Is c composite?
True
Is -3 - -89208 - 5*(-10)/25 a composite number?
True
Let p be (-385)/2 - (14/4 + -3). Let j be (-4)/(((-42)/171)/(-7)). Let b = j - p. Is b composite?
False
Let b(w) = 3190*w - 10. Let o be b(1). Let i = o - 1235. Is i a prime number?
False
Let s(k) = 6*k**2 - 14*k + 21. Let w = 24 + 3. Let p = w + -34. Is s(p) a prime number?
False
Let f be (-1)/1*0/2. Let k(y) = -2*y**2 + 126*y - 358. Let p be k(3). Suppose 3*a + 2*a + 10 = 0, 3*w + p*a - 2675 = f. Is w prime?
False
Suppose -2*y + 20 + 34 = 3*g, -2*y - 18 = -g. Suppose -g*n - 8654 = -20*n. Is n prime?
True
Let m(q) = q**3 + 22*q**2 - 24*q - 12. Let b be m(-23). Suppose -4*i + 6*s + 160789 = b*s, -2*i + 80362 = -4*s. Is i prime?
False
Let u = -50 - -81. Let s = u + -34. Is 839/s*(7 + -10) a prime number?
True
Let i be 72*(169/(-52) - (-3 - 1)). Suppose 0 = -43*v + i*v - 4609. Is v a composite number?
False
Let m be (-1)/(637/(-210) + 3). Suppose 12394 = 2*g - 2*x, -g + 6197 = -m*x + 28*x. Is g a composite number?
False
Let q = 1050005 - 628956. Is q composite?
False
Let m = -51 + 1123. Let v = m + -179. Is v composite?
True
Suppose 2*i + 27 + 3 = 0. Let d be (2/(-3))/(5/i). Is (-4503)/6*-2 - d a prime number?
True
Let v = -41192 - -123247. Is v composite?
True
Let g(f) = -8 + 96*f + 20*f**2 - f**2 - 101*f - f**3. Is g(13) composite?
False
Let i be (11/44)/((-2)/(-8)) - 1. Suppose i = 4*o + t - 0*t - 9, -5*o = 5*t. Suppose -2*m + 1615 = o*m. Is m prime?
False
Let g(h) = 21*h**2 - 12*h + 8. Let q be g(4). Suppose -q = 5*a - 41. Let s = 242 - a. Is s a composite number?
False
Suppose 2*n + 2691511 = 3*i, -3*i - 368*n + 364*n + 2691535 = 0. Is i composite?
True
Let v(k) = 149*k + 120755. Is v(0) a composite number?
True
Suppose -2*p = -