l = 2*m. Is m composite?
True
Suppose 15*t + 23*t - 288914 = 0. Is t a composite number?
False
Suppose 6*o = 10*o - 1664. Suppose -z - r + o = -538, z + 5*r - 958 = 0. Is z a composite number?
False
Let l(r) = 212*r + 445. Is l(17) a composite number?
False
Let l(m) = 526*m + 207. Is l(16) prime?
True
Let i = -28 + 28. Suppose 3*f - 8*f = i. Let b(p) = p + 49. Is b(f) a composite number?
True
Suppose 99967 = 11*n - 4*n. Is n prime?
True
Is (-30842)/(-34) + 4 + 840/(-204) a prime number?
True
Let m = 1494 - -4827. Suppose 8*u = m - 2329. Is u composite?
False
Suppose 12 = 2*r + 56. Let n be (14/3)/(r/(-33)). Let i(y) = 9*y + 4. Is i(n) prime?
True
Let s(u) = 2*u**2 - 10*u + 31. Is s(15) prime?
True
Let k = 69 - 69. Suppose k = q - 2001 - 1292. Is q a composite number?
True
Let j(u) = -u**3 + 11*u**2 - 7*u - 11. Let k be j(16). Let i = -970 - k. Let c = -242 + i. Is c a composite number?
False
Let q(j) = j**2 - 11*j + 4. Let x be q(11). Suppose 4*h + x*o - 3066 = 2*h, -o = -5*h + 7720. Is h a composite number?
False
Is 7115 - ((-136)/22 + 36/198) composite?
False
Let n = -7 - -2. Let o(u) = u + 9. Let x be o(n). Is 25305/75 + x/(-10) prime?
True
Let f(q) = q + 1. Let p be f(8). Let a = p + -2. Is 1/(-1) + 266/a a prime number?
True
Let l(t) be the second derivative of 7*t**3 + 3*t**2/2 - 2*t. Let r = -102 + 110. Is l(r) composite?
True
Is ((-2246)/3)/((-26)/39) a prime number?
True
Let l = -40 + 45. Suppose -l*r - 654 = -n, 4*r + 3165 = 7*n - 2*n. Is n prime?
False
Let d = 47 - 45. Suppose 2*a = -d*l + 2696, -2*a - 6705 = -7*l + 2*l. Is l composite?
True
Suppose -5*l - 332 = n + 310, n - 2*l + 656 = 0. Is (n/16)/(18/(-8) + 2) a composite number?
False
Let j be 9526/(-10) - (1 - 40/25). Let x = j - -1718. Is x composite?
True
Suppose -7 - 13 = -4*u. Suppose 0 = 4*i - u - 19. Suppose -i*z + 10*z - 1228 = 0. Is z composite?
False
Suppose 3*m + 6*g = g + 755, 0 = 4*m - g - 1045. Let w = -154 + 157. Suppose 781 = w*u - 2*z + 6*z, 0 = -u - z + m. Is u a composite number?
True
Suppose r + 13*u = 8*u + 16267, 3*r + 3*u = 48825. Is r a composite number?
True
Let h = -13 + 17. Suppose -h*t = 3 + 29. Is t/52 + 810/26 composite?
False
Suppose -18 = -3*d + 3. Suppose -379 = -8*z + d*z. Is z composite?
False
Let l(x) = -20*x**2 + 46*x**2 - 13 - 19*x**2 + 11*x. Is l(-10) prime?
True
Let y = -75 + 32. Suppose -5*r = -4*g - 500, -g - 146 = r - 12. Let d = y - g. Is d a prime number?
False
Let m(l) = l**2 + 10*l + 2. Let f be m(-10). Let k be (2 - 2)*-1 + f. Suppose -3*i - 15 = 0, -k*y - 2*y = 4*i - 1248. Is y a prime number?
True
Let r(v) = -49*v + 2. Suppose 9*a - 4*a + 60 = 0. Let w be r(a). Let l = 1453 - w. Is l a prime number?
True
Suppose 5*l = -3*s - 13038, 2*l + 2*s + 5216 = -0*l. Let n = -508 - l. Is n a composite number?
False
Suppose 6511 = 7*p + 41182. Is p/26*2/(-3) a composite number?
False
Suppose -4*o = -4*u + 31616, 5*u - 4*o - 16527 - 22992 = 0. Is u a composite number?
True
Suppose 0 = -5*s + 17052 - 3447. Let h = s + -820. Is h prime?
True
Let k(w) = 6*w**3 - 10*w + 1. Let u = 49 + -44. Is k(u) a prime number?
True
Suppose 0 = t - 3765 - 1409. Suppose 4*c = -u + 5591, 3*c + 957 - t = 4*u. Is c a prime number?
True
Let v(j) be the first derivative of 2*j**3/3 - 2*j**2 + 3*j - 7. Is v(10) a prime number?
True
Let i(n) = -2*n - 4. Let z = -7 - -4. Let l be i(z). Suppose -437 = -5*r + l*m, -5*m - 14 + 123 = r. Is r composite?
False
Suppose 554 + 106 = 3*l. Let s = l - 15. Is s prime?
False
Suppose 30595 = 5*n + z, 6*z = 9*z. Is n prime?
False
Let r = -114 + 1807. Is r a composite number?
False
Is 14/(-105) + (-10041)/(-45) prime?
True
Let r = 6 + 79. Is (-3771)/(-12)*(r/15 - 3) a prime number?
False
Let u(k) = -k**2 + k + 266. Let h be u(0). Let r = h - 177. Is r composite?
False
Let l = -22750 - -35183. Is l a prime number?
True
Let z(h) = -h**3 + 6*h**2 - 5*h + 4. Let m be z(4). Suppose m*x - 18*x = -262. Is x a composite number?
False
Let s(v) = 7*v**3 - 14*v**2 + 18*v + 40. Is s(9) a prime number?
False
Let w(z) = 47*z**2 - 6*z - 40. Is w(-9) composite?
False
Let n = -543 + 1156. Is n prime?
True
Suppose 0 = -4*k + 4, -4*k + 161526 = 4*z - 2*k. Is z a composite number?
True
Suppose 20613 = 4*n + 5*r, 3*r - 8793 + 34513 = 5*n. Is n a composite number?
False
Let p = 0 + 7. Suppose -p*j + 6520 = j. Is j prime?
False
Suppose 9 = 3*p, 3*d + 4*p - 78 + 0 = 0. Suppose -d = -96*r + 95*r. Is r a composite number?
True
Suppose -4*u = -a - 98360, 4*u + 3*a = -0*u + 98344. Is u a prime number?
False
Let l(w) = 4*w**2 - 57*w + 20. Let i(g) = 2*g**2 - 28*g + 10. Let p(n) = 5*i(n) - 2*l(n). Is p(16) prime?
False
Suppose 13*v - 6788 = 2481. Is v a composite number?
True
Let w = 14387 - 6484. Is w a prime number?
False
Let c = -23 + 21. Let y be 21*c/(-4)*2. Is (201/(-3))/((-3)/y) prime?
False
Let w(u) = 24*u - 2. Let b(a) = 2 + 2 + 1 - 69*a - 4*a. Let t(p) = 3*b(p) + 8*w(p). Is t(-10) a composite number?
False
Suppose -27594 + 1459 = -5*i. Is i prime?
True
Is 453666/(-4)*94/(-141) composite?
False
Let f = -6501 + 12015. Let s be f/9*9/6. Suppose s = c + 152. Is c a composite number?
True
Suppose -27479 = -3*r - 4*l, -3*r - r + 4*l = -36620. Is r a composite number?
False
Let x = -83 + 83. Suppose 4*p + 3*n = 4220, 4*p - 3*n - 3122 - 1098 = x. Is p prime?
False
Let a = 4005 - -386. Is a composite?
False
Suppose 3*w - 6*w + 36 = 0. Let m(t) = t**3 - 13*t**2 + 15*t + 1. Is m(w) a composite number?
False
Let x(f) be the second derivative of 37*f**5/120 + f**4/3 - f**3/2 - 6*f. Let q(z) be the second derivative of x(z). Is q(7) a composite number?
True
Suppose 0 = 3*b + 2 - 74. Is (57/4)/(18/b) a prime number?
True
Let o = 332 + 256. Suppose 4*v - o = 2*v. Is 1*(-2 + 3 + v) a prime number?
False
Let t be 3/(-12) - (-4683)/12. Let o = t + 668. Is o/5 - 3/5 composite?
False
Suppose 18*o = 20*o - 3602. Is o prime?
True
Is ((-9)/(-18) - (-3550 - 1))*2 a prime number?
True
Let q = 13281 - 5372. Is q a composite number?
True
Is (2 - 2)/(-5) - -5227 prime?
True
Is 29656 + (14/4)/(4/8) a prime number?
True
Let a(h) = -2*h**2 - 2*h + 1. Let b be a(-2). Let r(u) = 131*u**2 - 3*u - 6. Let j be r(b). Suppose 353 = 5*p - j. Is p composite?
False
Let g be (18/(-4))/(5 - 217/42). Let d = 92 - g. Is d composite?
True
Let a be 24*(0 - -364*3/(-9)). Is (-2)/4*a/16 composite?
True
Suppose 361*c - 367*c = -125094. Is c prime?
True
Let v = 278 + 161. Is v composite?
False
Is 648424/(-6)*(-15)/20 prime?
False
Suppose -4*t = -2*i + 4, 0*i - i - 13 = -5*t. Suppose -8*o = -10*o - i. Is (39/o)/(3/(-78)) prime?
False
Suppose -2*g - 56 = -3*g. Let m(o) = -7*o**2 + 2*o + 1. Let v be m(-2). Let b = g - v. Is b a prime number?
False
Let a = 15766 + 20823. Is a a prime number?
False
Suppose 24*b = 202907 + 128029. Is b a prime number?
True
Suppose -p = 5*d - 483, 0 = 2*d + p - 152 - 43. Let x = d - -257. Is x a composite number?
False
Let a(r) = 6*r**2 - 1. Let j = -5 + 4. Let n be a(j). Suppose 3*t + 1016 = n*l, -3*l = -4*l - t + 208. Is l a prime number?
False
Let o = 55106 + -21625. Is o a composite number?
True
Suppose l - 2*l - 3 = -4*j, -35 = -5*l - 5*j. Suppose -4*m = 3*q - 378, l*m + 0*m - 457 = 4*q. Is m a prime number?
False
Let r = -6 - -17. Let p = r + -12. Is -574*(p + (-4)/(-8)) composite?
True
Suppose -30*l = -32*l + 152474. Is l a prime number?
False
Let a(h) = -1 - 3*h**2 + h**3 - 5*h**3 + 3 - 2*h - 5. Let v be a(-2). Suppose 2*p - v = 3*d + 4, -2*d + 58 = 4*p. Is p a prime number?
False
Let d(l) = 2*l**3 - l**2 - 11*l + 5. Is d(9) composite?
False
Suppose 0 = k - 5*p - 27, 0 - 16 = 2*k + 4*p. Is 411 + 0 - k - -4 a composite number?
True
Let z = -25780 - -42273. Is z prime?
True
Let x(y) = 77*y**2 - 6*y + 4. Let p be x(5). Suppose -2*z + 1 + 5 = -s, 3*s = -3*z. Suppose z*g - p = -g. Is g composite?
True
Let v(h) = -714*h + 19. Is v(-1) a prime number?
True
Suppose -836 = -4*v + 184. Let s = v + -49. Let j = 367 - s. Is j composite?
True
Let z(s) = s + 5257. Is z(0) a composite number?
True
Let o(c) = -c**3 + 50*c**2 + 112*c - 40. Is o(47) composite?
True
Let r(a) = -a**2 + 5*a - 2. Let v be r(3). Suppose 2*w = -v*j - 438, 5*j - 2*w + 227 = -325. Let l = 165 + j. Is l a composite number?
True
Let u be (-12833 - 4)/((12/(-4))/3). Suppose 3*f + u = 6*f. Is f composite?
True
S