 Is z composite?
True
Suppose -6*f - 3*f + 922064 + 1268455 = 0. Is f a prime number?
True
Is (-3269698)/(-14) - (30/(-56))/(375/(-600)) prime?
True
Let k(d) = 3008*d + 3901. Is k(24) composite?
True
Is 57/228*(3 - -53346)/((-3)/(-4)) prime?
True
Let t(h) = 58888*h**2 + 3*h - 8. Let y(d) = 294440*d**2 + 15*d - 41. Let p(i) = 11*t(i) - 2*y(i). Is p(1) composite?
True
Let s = 59190 + -38108. Suppose 5*k - 285 - s = 4*n, 4*n = -5*k + 21343. Is k prime?
True
Let l = 519662 - 325155. Is l a composite number?
False
Let i(h) = h**3 - 25*h**2 + 3*h - 61. Let q be i(25). Suppose 34965 = -q*m + 134575. Is m composite?
True
Suppose -90*b = -92*b + 1730. Is 2 + ((-468)/(-130))/(2/b) a prime number?
True
Is (-7 - 16)/(10304/10306 - (2 - 1)) prime?
False
Suppose -55*v - 91*v - 47*v = -4024243. Is v composite?
True
Let k be 3*2388 + 3/(-1)*-1. Let a = k - 4328. Is a composite?
True
Let j(f) = -2*f**2 - 20*f + 31. Let g be j(-15). Let b be g/35 + 9/(-15). Is 23/(b*4/(-112)) a composite number?
True
Is 1/((-10)/1398175*(1/(-2) + 0)) a composite number?
True
Let d be (-7 - 70/(-7))/(1/(-47)). Is d*(80/15)/(-8) a prime number?
False
Suppose 3*v = -w - 5, w + 1 = -4*w - 3*v. Let k(j) = 0*j - 6*j + 0*j + 510*j**2 + 7*j. Is k(w) composite?
True
Suppose -2*k + 115690 = 3*t, 2*k - 5*t = 60493 + 55165. Is k composite?
False
Suppose -4*g - 6 = -6*g. Suppose 2*d = g*l + 710, -7*d + 4*l = -2*d - 1782. Is d composite?
True
Suppose -5*l + 160 = 165. Is (l - 0)*(10 - (0 + 4607)) prime?
True
Let u be (-3)/(-4)*160/24. Let i = u - 8. Let c(j) = -60*j**3 - 2*j**2 + 3*j + 4. Is c(i) a prime number?
True
Let h(b) = -61*b + 9. Let x be h(5). Let q = 719 + -245. Let v = q + x. Is v composite?
True
Let n be 0 - (-6)/(-10) - 3760/(-100). Suppose 30*g + 68369 = n*g. Is g prime?
True
Let r = 361006 + -128573. Is r a prime number?
True
Suppose 3*r - 1425 = 3*j, -3*r = 2*j + 193 - 1618. Let i = 306 + r. Suppose -2*m - 3*x + i = 3*m, -m + x = -161. Is m a composite number?
True
Let z(q) = -37 - 7*q**2 + 3*q**3 + 67 - 14*q - 6*q**2. Let d be z(12). Let h = d + -1435. Is h a composite number?
True
Suppose -13*k + 11*k + 24 = p, -3*p = 4*k - 74. Is 304500/260 - 4/p a prime number?
True
Suppose 3*l - 1571280 = -t, -l + 4*t = 6*t - 523765. Is l composite?
False
Suppose 0 = 5*q - 3*b - 1834591, 0 = -7*q + 12*q + b - 1834603. Is (q/80)/((-2)/(-4)) a prime number?
True
Suppose 19*h + 35837 = 435958. Is h a prime number?
True
Suppose -3*u - 3*p = -1670 - 6055, 0 = -2*u - 5*p + 5144. Let x = 5134 - u. Is x prime?
True
Let q = 34917 + -18811. Is q prime?
False
Let a(p) = p**2 - 2*p. Let y be a(2). Suppose y = -30*z + 25*z. Suppose -3*l - o + 1707 = 2*o, 5*o + 10 = z. Is l prime?
True
Suppose -3*z - 358655 = -5*b, -2*b - 2*z - 89286 = -232748. Is b prime?
False
Suppose -19*t + 16*t = -2409. Let s = -442 + t. Is s prime?
False
Let d(t) = 2*t - 5*t**2 + 4 + 3*t + 0*t - t**2 + 52*t**3. Let h be d(2). Suppose 3568 + h = 2*v. Is v a composite number?
False
Suppose -l = -3*h - 2*h - 1968, 5*h + 5854 = 3*l. Suppose 0 = 18*p - 24985 - l. Let x = p - 819. Is x a composite number?
False
Suppose 0 = 2*z - n - 58889, 14*n - 18*n = 6*z - 176702. Is z prime?
False
Is 5/2*(-67413342)/(-435) prime?
True
Is 132546*69/12 + (-10)/((-220)/(-11)) prime?
False
Suppose -42 - 106 = -r - 4*m, 4*r - 5*m = 697. Let n be r/9 + 3 + 8/(-12). Is ((-20448)/n - (-4)/(-14))/(-2) a prime number?
True
Let p be ((-4)/14 - 348/(-42)) + -2. Suppose 4*l = -4*k + 17932, -p*l + 2*l + 17920 = -2*k. Is l prime?
True
Let o(m) = 127*m - 28. Let f(v) = 126*v - 29. Let n(l) = -2*f(l) + 3*o(l). Suppose 40*a - 1091 = -291. Is n(a) a composite number?
True
Is (-1 + 0)/(((-330)/260655)/22) a composite number?
False
Suppose 13*s + 378845 = 22*s + 5*g, -4*s - g + 168378 = 0. Is s composite?
True
Let m = -77 - -61. Let p(f) = -58*f - 63. Is p(m) a composite number?
True
Let k be 8/(-36) - (33/(-27) - 3). Suppose k*z + 936 = 2*z. Let s = z + 799. Is s prime?
True
Suppose -5*f + 138067 = -3*w, f + 3*w - 21181 = 6418. Is f a composite number?
False
Let u(t) = -541*t**3 - t**2 - t + 1. Let j be u(1). Let a = j + 931. Let f = -172 + a. Is f a prime number?
False
Let y = -28 + 34. Suppose y*o = 4*u + 4*o - 22, -4*o - 20 = 0. Suppose -578 - 164 = -4*n + 2*q, u*n = -4*q + 573. Is n composite?
True
Let c(g) = 6*g**3 + 15*g**2 - 3*g + 5. Let t be c(6). Suppose -y + 3844 = -t. Is y a prime number?
False
Is (-8324156)/(-84) - 14*(-3)/(-441) a prime number?
False
Let u = 356206 + -51195. Is u prime?
False
Let r = 139 - -32. Let b = -148 + r. Is b a composite number?
False
Suppose 9 = 5*g - s + 3, -2*g - s + 8 = 0. Let x be 7 - (-4 - -8) - (g - 9). Suppose -363 = -x*j + 22447. Is j prime?
True
Let a be (-2 + 1)/(2/(-49 + -5)). Suppose -a*i + 26*i + 202 = 0. Let o = i + 31. Is o a prime number?
True
Let w(b) = 103*b - 19 + 50 + 81*b - 54*b. Is w(4) prime?
False
Let m(h) = h + 5. Let c be m(-3). Suppose c*n = 45240 - 13486. Is n a composite number?
False
Let d = 59124 + -26585. Is d prime?
False
Let k = 83 + -74. Let m = -10 + k. Is ((-759)/6)/(m/2) a prime number?
False
Suppose -5*p - p + 12 = 0. Let a = 15 + p. Let o(w) = 48*w + 61. Is o(a) a composite number?
False
Suppose -72*w + 1921487 + 7920841 = 0. Is w prime?
False
Suppose 0 = -l - 3*r + 56, -3*r + 3 = -12. Let v = -40 + l. Is v/4 + (-1473)/(-12) a composite number?
True
Let g(a) = -1930*a**3 + 10*a**2 + 3*a - 49. Is g(-4) a prime number?
True
Let b = -534884 - -909837. Is b prime?
True
Let h be 55/2*59396/155. Suppose y + 2*g = 5*y - h, 2*g = -4*y + 10526. Is y composite?
False
Suppose 16*g - 347908 = -8*g + 1635716. Is g a composite number?
False
Let z(r) be the second derivative of r**3/2 - 51*r**2/2 - 28*r. Let k be z(17). Suppose k = 5*w + 3*p - 2404, 3*w + 0*w + 3*p - 1446 = 0. Is w a prime number?
True
Let p = -23 + 187. Suppose 5*j + 456 = -p. Let s = -73 - j. Is s a composite number?
True
Let c = 331 + -1089. Let p = 1329 + c. Let m = p - 312. Is m a prime number?
False
Let b(h) = 14114*h - 33. Let y be (-187)/(-77) + (50/14 - 4). Is b(y) composite?
True
Let f = 56 - 52. Suppose -2*r = f*x + 13394, 16755 = -4*x - x - 5*r. Let m = -141 - x. Is m a composite number?
True
Let t = 14 - 14. Suppose t = -26*r + 24*r + 230. Is r a composite number?
True
Let v(s) be the third derivative of 0 - 21*s**2 + 1/60*s**6 + 0*s + 1/6*s**3 - 1/15*s**5 + 0*s**4. Is v(7) prime?
True
Let k(q) = 5*q - 30. Let n be k(6). Suppose 2*x + 4 = 4*h - n*x, 0 = h - x. Is (h - 5) + 2 + 888 composite?
False
Suppose -2*f = 6 - 14. Suppose -f*o + 1538 = 3*t, -5*t - 560 = -3*o + 608. Suppose 3*u = -4*i + 1583, 4*i + o + 1157 = 3*u. Is u prime?
True
Suppose -228*p + 1027705 + 21900062 = -9*p. Is p composite?
False
Suppose 0 = -4*p - 5*l - 8443, 4*p - 2*l + 8452 = 2*l. Let j = 1259 - p. Is j a prime number?
True
Let o = 1504275 - 946124. Is o composite?
True
Let k(z) = 40*z - 3. Let y = -22 - -27. Let g be (4*7)/(y - 3). Is k(g) composite?
False
Is ((-28486)/20)/(17/(-170)) composite?
False
Suppose -21*h = -102*h + 1965789. Is h prime?
False
Let o = -25 - -35. Let g = 13 - o. Suppose -4*q + 23 = -g*s - 1529, 0 = -s + 4. Is q a composite number?
True
Let j(s) = -s + 16. Let g be j(5). Suppose -3470 - 45117 = -g*w. Is w a composite number?
True
Let h be 54519/(-561) - (-4)/22. Let u = h + 1440. Is u composite?
True
Let x = -492 + 493. Is x/8 + (-209955)/(-40) prime?
False
Let x = -26 - -28. Suppose 4*b - 16 = x*n, 8*b + 5*n - 44 = 4*b. Is (3*(-6)/(-27))/(b/5679) a prime number?
True
Let k(g) = -g**3 + 4*g**2 + 13*g - 15. Let z be k(6). Let d(j) = -j**3 + 3*j**2 - 8*j + 5. Is d(z) prime?
True
Is ((-114332673)/819)/(-1 + 2/3) prime?
False
Let v = -68 - -67. Let l = v + 8. Suppose -15389 = -18*h + l*h. Is h composite?
False
Suppose -3360*f - 1127708 = -3364*f. Is f composite?
False
Let f be 77851/6 + (-2 - (-22)/12). Let b = -8101 + f. Is b prime?
False
Suppose -4 = p, -2*w - 3*p + 160 = -8*p. Suppose -5718 = -w*h + 73*h. Let y = -1040 - h. Is y a composite number?
True
Let l be 170/((-7)/((-1827)/6)). Suppose -29*w - l = -24*w. Let h = -410 - w. Is h a composite number?
False
Let t(u) = u**2 + u. Let k be t(-2). Suppose 4*j - 25 = -d, -k*d = -5*j + d + 27. Suppose -2*p + j*x = x - 386, 2*p - 3*x = 394. Is p composite?
True
Let a(k) = 7*k