407 = -v. Is v composite?
True
Let x(n) = -43*n + 86. Let o be x(2). Suppose 37469 = 5*z + 2*l - 3*l, o = 4*z + 4*l - 29956. Is z composite?
True
Let a(i) = -13*i + 117. Let w be a(9). Is (w + 615/(-20))*4/(-1) composite?
True
Suppose -237 = -3*d + 6. Let g be (-2)/6*-13 - (-54)/d. Suppose g*o + 6275 = 28200. Is o a composite number?
True
Suppose 24*f + 92160 = 6*f. Let j = -421 - f. Is j a composite number?
True
Let a = 3966988 - 2338239. Is a a prime number?
False
Let l(t) = t**3 - 14*t**2 + 22*t + 12. Let h be l(12). Let c = h + 22. Suppose -3667 + 19337 = c*r. Is r a prime number?
True
Let y be ((10/(-25))/(-1))/(1/150). Let w be (-878)/(-4) - y/24. Suppose 0 = -u + 2*d + 401 + w, -3*d + 608 = u. Is u composite?
True
Let z(r) = 231*r - 79. Let y be z(-39). Let b = y - -21669. Is b composite?
True
Suppose 0 = -s - 5*n - 0*n + 158, 0 = 5*s + 3*n - 724. Let c be 3*(-1)/4*504/(-189). Suppose -c*v = -v - s. Is v a prime number?
False
Let a = -171981 + 248188. Is a prime?
True
Let v(n) be the first derivative of n**2/2 - 13*n - 13. Let k be v(8). Let s(o) = 7*o**2 + 4*o - 6. Is s(k) prime?
True
Suppose h - 23 + 18 = 0. Suppose 5*l - 2*x + 37 = 0, -h*x - 38 = -2*l + 4*l. Let v(c) = 12*c**2 - 3*c + 10. Is v(l) a composite number?
False
Let y(l) = 29422*l - 543. Is y(2) a composite number?
True
Suppose 0 = -4*o - 3*q + 160348 + 340167, 5*q + 15 = 0. Is o a prime number?
True
Suppose 0 = 5*i - 10, -3*y - 4 = -y - 4*i. Suppose -1086 = -y*g + 180. Is g composite?
True
Suppose 7 - 1 = -2*b, -62 = -x - b. Suppose 5*g - x = r, 3*g + 5*r - 3 - 8 = 0. Suppose 603 - 159 = g*a. Is a composite?
False
Let g(v) = 38*v**3 - 25*v**2 - 9*v + 16. Let x be g(9). Suppose -4*b = -8640 - x. Is b composite?
False
Let m(q) be the second derivative of 1/2*q**3 + 3/2*q**2 + 27*q + 0 + 1/12*q**4. Is m(13) prime?
True
Suppose -3*o - 18708 = o. Let p be (-188)/((144/(-136))/(-9)). Let l = p - o. Is l a prime number?
True
Suppose 6*f - 79275 = -f. Suppose 3*w + f = 2*x, 3*x + 2*x = 3*w + 28326. Is x composite?
True
Let x(t) = 21*t**2 + 7*t + 2431. Is x(76) composite?
True
Suppose -12080886 = -1777*o + 1715*o. Is o a composite number?
True
Is ((-352210)/(-4) - (-33)/(-44))/((-10)/(-40)) composite?
True
Is 19/(-475) + (-24575782)/(-175) composite?
True
Let p be -2 + (-6)/((-24)/20). Suppose 0 = 5*o + 4*b - 16377, 0*b - 6 = p*b. Is o a prime number?
False
Let b be (-238)/(-68) - 1/2. Is b + 3 + 1 + 12190 composite?
False
Let b = 3030 + -2065. Let g = b - 634. Is g a composite number?
False
Let a be 80612*(5/(-45))/((-2)/9). Suppose -124987 + 24222 = -5*k - 3*q, 0 = 2*k + 3*q - a. Is k a composite number?
True
Suppose 5*o + 3*x - 8*x - 75 = 0, 3*o + 3*x - 63 = 0. Suppose -o*q - 46344 = -42*q. Is q prime?
True
Suppose 0 = -j + 2*o + 44, -3*o + 0 = 12. Let r(i) = 191*i + 31. Is r(j) prime?
True
Suppose -13*d = -35 + 347. Is 19851/104 - 3/d composite?
False
Suppose l - 3*l = -6. Let p(v) = -3*v - 9. Let q be p(-4). Suppose 828 = 3*f + l*w, q*f + w + w = 826. Is f a composite number?
True
Let r(j) = -115*j**3 + 7*j**2 + 21*j + 25. Is r(-6) a composite number?
True
Let h = 3776 + -11205. Let u = 15284 + h. Is u prime?
False
Suppose 0 = -x + 3*r + 268, -4*x - r + 1050 = -2*r. Let k = 279 - 276. Suppose k*q + 4399 = 4*w - x, 2314 = 2*w + 4*q. Is w a prime number?
True
Suppose 0 = 10*m - 15 - 15. Suppose -5*j = m*c - 3*j - 3007, -2008 = -2*c - 3*j. Suppose 0 = -3*n + c + 1858. Is n a prime number?
True
Suppose 124694 = 2*f - 4*i - 207928, 4*f = -3*i + 665288. Is f prime?
True
Is (20 + 344/(-18) + 2/18)*226571 composite?
False
Let g(i) = -i**2 + 4*i + 1. Let u be g(2). Suppose 2*q - 6147 = -2*q - u*n, -4*q - 2*n + 6162 = 0. Is q a composite number?
False
Suppose 1110 = 93*z - 83*z. Suppose -122*q + z*q + 48037 = 0. Is q composite?
True
Let t(k) = -k + 1. Suppose 0 = -2*s + 5*s + 12. Let b be t(s). Suppose -5*v + 3910 = 5*g, 807 = v + b*g - 9*g. Is v a prime number?
True
Let a(i) = i**3 + 19*i**2 + 19*i - 2. Let o(z) = -7*z**2 - 8*z - 3. Let w be o(-2). Is a(w) composite?
False
Let v = -3648 + 5268. Let w = -813 + v. Let k = w - -100. Is k a composite number?
False
Suppose -7456*h - 7445*h + 14885*h = -29085136. Is h a composite number?
False
Let g(n) = -3*n**2 + 15*n + 6. Let d be g(2). Is (-8)/d + ((-26751)/(-9) - -2) a prime number?
False
Let v = -6614 + 31053. Is v a prime number?
True
Let r = 48981 + -22522. Is r prime?
True
Is 1/((-4)/((-54712)/14)) composite?
False
Is 0 - ((-285964)/44 - (-14)/77) a prime number?
False
Is 1/(-6)*324738/(-3) prime?
True
Let v(b) = -64*b + 62*b + 15 + 5. Let x be v(12). Is (4 - (-62)/x)/(2/(-236)) a composite number?
True
Let p = 299 - 298. Is (p/(3 + -2))/((-1)/(-10077)) composite?
True
Suppose -l - 19*l + 3760 = 0. Let w = 114 + 483. Let s = w - l. Is s prime?
True
Let v(h) = 2433*h**3 + h + 1. Let o be ((48/9)/(-8))/(2/3). Let y be v(o). Let t = y + 3534. Is t composite?
True
Suppose -j = -2*j + 678. Suppose -112 = y + 81. Let u = j + y. Is u composite?
True
Suppose 0 = -2*u - 4*h + 228842, 115*u + h = 111*u + 457677. Is u prime?
True
Let l = -15 + 9. Let m be (-268192)/306 - (-8)/18. Is 3 + l - (4 + m) composite?
True
Let r be (212 - -3) + (1 - -1). Let j(a) = -28*a - 184. Let c be j(-8). Let w = r + c. Is w prime?
True
Let c(j) = 563*j**2 + 6*j + 7. Let r be c(-5). Suppose r = 13*b - 2627. Is b composite?
False
Let a(w) = -7*w**3 + 11*w**2 + 9*w + 76. Is a(-27) composite?
False
Let v(i) = -32819*i - 281. Is v(-2) a composite number?
False
Suppose 2*i + 3*i - 1250 = -5*k, 5*k = -3*i + 760. Let g be (-7)/(i/(-15)) + 20/(-14). Let c(d) = -378*d**3 - d**2 - 3*d - 1. Is c(g) a composite number?
False
Suppose -4*t = -68*t + 2091968. Is t a prime number?
True
Let h(c) = 140*c**3 - 5*c**2 + 12*c - 3. Let v be -1*(-111)/21 + 6/(-21). Let w be h(v). Suppose 4*n + 4*n - w = 0. Is n prime?
True
Suppose -5*v - 5*d + 2 + 13 = 0, -5*d = -5*v + 65. Suppose -6*r = -v*r - 950. Let c = 764 + r. Is c composite?
True
Is 1/(((-2)/(-10))/(774054/18)) a composite number?
True
Suppose 3*k - 68 = 4*a + 4*k, 51 = -3*a - 4*k. Let o = 58 - a. Suppose -907 = -4*t + 3*d - o, -12 = -3*d. Is t a composite number?
False
Let r(t) = -3*t**2 + 72*t + 113447. Is r(0) composite?
True
Is 679346/19 - (-10)/2850*-15 a prime number?
False
Let k = -1058 - -8770. Suppose 0 = 5*x - 3*s - k, 3*x + 4*s = -x + 6176. Is x prime?
True
Let x be (19690/(-6))/(7/(-21)). Let n = -6264 + x. Is n a prime number?
True
Let y be 251/(-4)*(-17)/((-51)/36). Let k = y - -1606. Is k a prime number?
True
Let j(l) = 1525*l - 1288. Is j(89) a prime number?
True
Let o be -494 - (-5 + 5)/3. Let t = 3850 + o. Suppose -5*m + t = -3*a, 144 - 1487 = -2*m + a. Is m a composite number?
False
Suppose -119077004 + 87611523 - 143753524 = -195*s. Is s a composite number?
True
Let m = 285 - 289. Let b(k) = -5 - 3 + 4*k - 1 + 120*k**2 + 0. Is b(m) a prime number?
False
Let v = 2012 + 41. Is v composite?
False
Let s be (-9)/(72/16)*-2. Let h(x) = 1768*x**2 - 24*x + 85. Is h(s) a prime number?
True
Let g(w) = -w**3 - 11*w**2 - 11*w - 3. Let x be g(-10). Let s(j) = 2*j**2 - 2*j**3 - 16*j**2 + 3*j - x*j - 3. Is s(-11) prime?
True
Suppose 2286 = -6*t + 19566. Suppose 6292 = 2*j - t. Suppose 65*d = 67*d - j. Is d composite?
False
Let b be ((-194)/2*-14)/(-1). Let p = b + 2301. Is p a composite number?
True
Let g = -33 - -36. Suppose -131 = c + g*d, 3*c - 157 = -2*d - 515. Let o = 915 + c. Is o prime?
False
Let a(r) = -3*r**3 + r**2 - 2. Let g be a(-1). Suppose 0 = 4*l + 20, -g*i + 4*l = -3*i + 3923. Is i prime?
True
Suppose 7*d + 333 - 249 = 0. Is (-179976)/(-36)*d/(-8)*1 prime?
True
Let b be 0 + 48/8 + -6. Suppose 14*k - 3576 - 116278 = b. Is k composite?
True
Let v(n) = -2*n + 23. Let o be v(11). Let u be 2 - (-8)/(-3 - o). Suppose -4*z - 3*z + 518 = u. Is z prime?
False
Suppose -4*n - 2*v = -646, -7*n + 6*n + v + 157 = 0. Let k = 467 - n. Is k composite?
False
Let h(o) = -1 + 7174*o + 0 + 7 + 2 - 2941*o. Is h(11) a prime number?
False
Let s = 3922 - 1773. Is s a composite number?
True
Suppose 0 = 5*m + m - 396. Let j be (-272)/44 - (-12)/m. Is j*(-1 - (-665)/(-30)) composite?
False
Is 691593/(-7)*(-2*(-3)/(-18) - 0) a composite number?
False
Is 3/(-1*12/8 + (-969330)/(-646180)) composite?
False
Let z(o) = 248*o**2 - 3*o - 21