5*t + 7. Is o(q) prime?
True
Suppose 44*r = 14*r + 1470. Suppose 41*n = r*n - 16648. Is n a prime number?
True
Let d(y) = 1977*y + 1739. Is d(40) a prime number?
True
Let p = 4333929 - 3040556. Is p prime?
True
Let l = -40 + 46. Suppose l*r = 9*r + 24. Is (-6)/r*-2 - 4858/(-4) prime?
True
Let u = -524 + 758. Suppose 4*h - u - 78 = 0. Let f = h + -64. Is f a composite number?
True
Is 8/(-12)*(-3)/4*148514 composite?
False
Suppose -2*j - j - 4074 = 0. Let s(b) = b**3 + b**2 + b + 2329. Let f be s(0). Let h = f + j. Is h a composite number?
False
Let f(l) = 2*l**2 + 51*l + 31. Let s be f(-25). Suppose -3*p = 3*y - 28776, s*p - 8*p = -10. Is y a prime number?
True
Let b(s) = 895*s + 55. Let h be b(5). Suppose 22*f - h = 5348. Is f prime?
True
Let m(i) be the first derivative of 87*i**2 + 5*i - 123. Is m(18) a composite number?
False
Suppose -121*v - 73455662 = -186*v - 213*v. Is v a prime number?
False
Suppose -3*x - 419 = -59012. Is x a composite number?
False
Suppose -86*x + 12071387 = 2734143 - 279362. Is x a prime number?
True
Suppose 2 = 5*x + 5*a - 3, a - 5 = 0. Let q be -1*-1*(x + 155). Let n = 60 + q. Is n prime?
True
Suppose 2138959 - 695952 = 4*k + 5*u, -u = -k + 360736. Is k a prime number?
False
Is ((-897)/6)/13*(-2 - (-2100)/(-1)) composite?
True
Let y = 12216 - -20891. Is y prime?
True
Let d be 4400/5 + 5 - 3. Suppose -3*f + 14631 = d. Is f a prime number?
True
Let i be (29 - 11)/(3/(-1446) + 0). Let c = -5737 - i. Is c a prime number?
True
Is (-2)/(1 - (-28220)/(-28228))*(15 - 16) prime?
True
Let w(l) = 2717*l**3 - 2*l**2 + 4*l - 3. Let g be w(3). Suppose 9*b = 34263 + g. Is b composite?
True
Let b be 75/21 + (-12)/21. Suppose -9 = -b*u + 30. Let a = 360 - u. Is a prime?
True
Let c be 0/(1/1) + -19. Let l(d) = -8*d + 9 + 4*d + d**2 + 11 + 15 - 3. Is l(c) prime?
False
Let i(a) = 212*a**2 - 315*a - 52. Is i(27) composite?
False
Suppose 28*r - 29*r = 30. Let c(u) = -u**3 - 16*u**2 - 16*u - 59. Is c(r) composite?
True
Let v = -97502 + 145975. Is v a prime number?
True
Let r(z) = 2163*z**2 + 15*z + 23. Let t = 285 + -288. Is r(t) a composite number?
True
Suppose -37*o = -14*o - 7613. Is o composite?
False
Suppose n = 5*w + 7, -4*n - 1 = -5*n - w. Let m be n - (-168)/16 - (-1)/(-2). Is m*1214*(-5)/(-40) a composite number?
True
Let o = 1274192 - 734053. Is o a composite number?
False
Let t = 50 + -46. Suppose -6*u - 1267 = -8*u + 3*c, -t*u = -5*c - 2535. Is u prime?
False
Is 194202 - ((-903)/126 - 3/(-18)) composite?
True
Let w(j) = -18 + 3*j + 6 + j**2 - 10. Let i be w(-7). Suppose -i*a = -1886 - 2692. Is a a composite number?
True
Suppose -6 = 3*a - 4*a. Suppose 24*x = a*x + 39006. Is x a prime number?
False
Let n(v) = v**2 + v + 1. Let z be n(-1). Let i(c) = -2 - 259*c + z + 1479*c. Is i(1) a composite number?
True
Let w(f) = 6858*f**2 + 8870*f**2 + 3428*f**2 - 4 - 2*f + 7 + 0*f. Is w(1) a composite number?
False
Let f(z) = 779*z**3 + 3*z**2 - 10*z + 71. Is f(3) a composite number?
False
Suppose 23 = 4*r + 5*b, -3*b + 9 + 6 = 3*r. Let z = r + 3. Suppose 3*l - 3379 = -3*j + l, 4*j = z*l + 4467. Is j composite?
False
Let t = 260302 - 149280. Is t prime?
False
Let s(q) = 316*q - 3. Let f be s(3). Let a(k) = 94*k + 2824. Let o be a(-30). Suppose -5*y - 3*d = -4777, -y + o*d + f = 2*d. Is y a prime number?
True
Let t = -532612 - -993383. Is t a composite number?
False
Is (103645 - -2) + (-260 - -256) a prime number?
True
Let v(n) = -48*n - 4. Let l be v(-1). Let s = 38 - l. Is (-22 + 0)*(s - (-150)/(-12)) a prime number?
False
Suppose 0*r = 3*r - 9. Suppose 5*v = r + 7. Suppose 5*t = -5*g + 5220, 1026 = g - 7*t + v*t. Is g prime?
False
Let c = 14811 - 5204. Is c a composite number?
True
Is ((-832)/(-60) - 14 - (-236807)/15)*5 prime?
False
Suppose -5*g + 21829 = -t + 4*t, -t - 17470 = -4*g. Is g composite?
True
Suppose 123*k = 6277034 + 1405792. Is k composite?
True
Let v(m) = 226*m + 79. Suppose -38*t + 9*t = -377. Is v(t) prime?
False
Let w(a) = -484*a**3 + 3*a**2 + 50*a + 440. Is w(-9) a prime number?
True
Let a = 22 - 20. Suppose -a*b + 31060 = 642. Is b a prime number?
False
Suppose -443*l + 4168513 = -3673030. Is l a prime number?
False
Suppose 6*m = -m + 14. Suppose 10*o + 2 = 12*o. Is (o + 28/(-12))*(-753)/m a composite number?
True
Let x(i) = -24*i + 192. Let y be x(8). Suppose 5*g - 6*g - o + 18827 = y, -o = -3*g + 56465. Is g a prime number?
False
Let k(f) = 2*f + 365. Let y be k(0). Suppose -5*j + 1855 + y = 0. Suppose 2*o + j = 6*o. Is o a composite number?
True
Suppose 7*t = -20*t + 324. Is (67/2)/(6/t) a composite number?
False
Let s be (2/(-3))/((-10)/165). Suppose 9*z + 13565 = s*z - 3*v, 3*v - 33944 = -5*z. Is z a prime number?
False
Let y = 32742 + -18337. Let k = y - 8482. Is k a prime number?
True
Let k = -61 - -89. Suppose 25*s = k*s - 15657. Is s prime?
False
Let v be 10/20 + (-70)/8*-54. Let b = -729 + v. Let j = b - -1811. Is j a composite number?
True
Let o = 4986 + -1822. Let v = -2201 + o. Let k = v - -106. Is k a prime number?
True
Suppose 112*o + 6 = 113*o, -4*i - 3*o + 330182 = 0. Is i a composite number?
True
Let o(r) = 4*r**2 - 34*r - 10. Let p be o(-10). Let v = p + -285. Is v composite?
True
Suppose 3*o = 7*j - 1932745, 0 = -5*j + 6*j + 2*o - 276087. Is j composite?
True
Let l = 2699 + -2727. Suppose -5*p + 428 + 1157 = 0. Let x = l + p. Is x composite?
True
Let u(v) = v**3 - 11*v**2 + 15*v - 8. Let d be u(15). Suppose -q + d = 5*w, 0 = 4*q - 0*q - 5*w - 4493. Let f = q + -325. Is f a composite number?
False
Suppose 30*h = 34*h + 1212. Let a = -148 - h. Let m = a - 64. Is m prime?
False
Suppose 2*w = 3*d + 4094, 21*w - 2048 = 20*w + d. Let a = w - -1087. Is a a composite number?
False
Is 2*(-20 + 18 - (-24557)/2) prime?
False
Is -3 + 11*(5 - (-1243791)/99) prime?
True
Let d = 1431879 + -511772. Is d a prime number?
True
Let l = 74998 + -18803. Is l composite?
True
Let a = 849 + -849. Suppose -4*i - 7 + 3083 = a. Is i composite?
False
Let s = -364 + 369. Suppose 59253 = s*q - 2*v, q - 35550 = -2*q + 3*v. Is q a composite number?
True
Suppose -i - 3*c = 12, 7*i - c - 4 = 2*i. Suppose -9*s + 19123 + 4322 = i. Is s composite?
True
Suppose 2*i - 18*i + 48 = 0. Suppose y + y - o = 14458, -4*y + i*o = -28916. Is y prime?
True
Suppose 3*x = 2*i + 205301, 5*x - 492637 = 2*i - 150462. Is x composite?
False
Let h(p) = p**3 - 7*p**2 + p - 5. Let w be h(7). Suppose 7*f = w*f. Suppose f = 8*m - 12*m + 356. Is m composite?
False
Suppose -5*w - 4*x = -13 - 21, -5*x + 17 = 2*w. Suppose -2*h + 2*c - 2 = 0, 3*h + 5*c = 7*h + w. Is h - 0 - -2 - (-1248)/6 a composite number?
False
Suppose 3*v = 7 - 1. Suppose 0 = 4*x - v*n + 5*n - 17881, -3*n = -4*x + 17863. Suppose 2*d - 4 = -4*r + 2230, 4*d - 5*r = x. Is d a composite number?
False
Let a be (16/(-10) - -2) + (-398374)/10. Let n = a - -57530. Is n a prime number?
False
Let l(u) = -u**3 - 10*u**2 + 11*u + 4. Let d be l(-11). Suppose -2*t + 5029 = -3*k, d*t - 3*k = -k + 10054. Is t a composite number?
True
Let a(n) = -32*n**2 - 7*n + 4. Let y(l) = l**2 - l + 1. Let m(w) = -a(w) + 6*y(w). Let f be m(6). Let z = f - 979. Is z a composite number?
False
Let q(s) = s**3 + 12*s**2 + 2*s + 30. Let u be q(-12). Is (-879218)/177*(u/(-4) - 0) prime?
True
Suppose 6 = 4*n - 2*b - 2, 4*b = 0. Let d(c) = -c**2 + 9*c + 14. Let x be d(10). Suppose -i + n = 0, -7*l - 5*i + 17827 = -x*l. Is l a composite number?
False
Let u(n) be the second derivative of 107*n**3/6 + 8*n**2 - n. Let m(h) = h**3 + 13*h**2 - h - 10. Let w be m(-13). Is u(w) a composite number?
False
Let a = 486 + -492. Is ((-218972)/a - 1) + (-36)/27 a prime number?
True
Let n be 5/(-20) - 27/(-12). Suppose -2*y + 24 = -n*a, 33 = 5*y - a - 31. Let z(i) = i**3 - 8*i**2 - 29*i - 17. Is z(y) a prime number?
False
Let y = 29255 + -14134. Is y composite?
False
Suppose 18*h - 89004 - 26682 = 16272. Is h a composite number?
False
Let r(j) = -5*j**2 + 25*j + 4. Let w(h) = -11*h**2 + 51*h + 8. Let x(o) = 13*r(o) - 6*w(o). Let q be x(-19). Is (-2098 - 0 - 1)*q/(-4) a prime number?
True
Suppose 2*c = -11 + 11. Let s(t) = 9*t - 2. Let r be s(c). Is (r/(-2))/(3/(-14685)*-5) a composite number?
True
Let f(v) = 5*v**2 - 4*v. Let j(p) = 5*p**2 - 4*p - 1. Let w(h) = -5*f(h) + 4*j(h). Let i be w(8). Is (0 - 1 - i) + 2 prime?
True
Let s = -324 +