
Suppose -9258 = -5*w - w. Is w prime?
True
Suppose 0 = 7*a - 111212 - 10973. Is a a prime number?
False
Let a = 6 - 5. Let c(t) = 0*t + 11*t + 8*t. Is c(a) a prime number?
True
Suppose -107*p + 53*p = -836514. Is p prime?
False
Suppose -5*a - 4*h = -9*h + 4860, 5*a - h = -4840. Let g = a - -1488. Is g prime?
True
Suppose -6*v + 2*v + 16 = 0, -2*k = -5*v - 67458. Is k a composite number?
False
Let z(u) = -596*u - 1. Let x be z(-2). Suppose 6*k - 2*k + x = p, -3*k = -5*p + 5955. Is p prime?
False
Is 2454 + 3/1 - -2 a composite number?
False
Let n = -48392 + 68553. Is n a composite number?
False
Is ((-47811)/6)/((-9)/18) prime?
True
Let m(c) = c - 1. Is m(24) a composite number?
False
Let t(z) = -z. Let r be (-6)/15*2*5. Let f be t(r). Suppose 0*a + a - 9 = -o, 42 = f*a - 2*o. Is a prime?
False
Let m(p) = p**2 - 8*p - 7. Let f be m(9). Suppose -f*v = -6*v + 16. Suppose -v*x - 289 = -a, 6*x = 5*a + x - 1400. Is a composite?
False
Let u = -7 + 9. Suppose 4*b - 3 - 4 = 5*y, 2*y - 8 = -u*b. Suppose -b*k + 45 = -876. Is k composite?
False
Let i = 46439 + -27462. Is i composite?
True
Let p = -6 + 4. Is 2*((-359)/(-2) + p) a composite number?
True
Suppose -3*z + 636 = 3*n, 2*z - 419 = -2*n + 5*z. Is n a composite number?
False
Let s(d) be the second derivative of -80*d**3 - d**2/2 - 4*d. Suppose c = -c - m + 1, 0 = 4*c - 5*m + 19. Is s(c) prime?
True
Let d(i) be the first derivative of -i**4/4 + 10*i**3/3 - 7*i**2/2 - 5*i + 14. Suppose -2*r + 16 = -0*r. Is d(r) composite?
False
Let b(h) = 3*h**3 + 29*h**2 - 7*h - 19. Is b(-6) composite?
False
Suppose 5*p - 4*u = -0*p + 2, -6 = -4*p + u. Suppose 0 = 16*y - p*y - 3038. Is y a prime number?
False
Suppose 3*i + 3*b - 28322 = 26044, -b = -3. Is i a composite number?
False
Suppose -2*x = -3*c - 4123, 3*x - 5*c + 2*c = 6186. Is x composite?
False
Let r = 24297 + -5710. Is r prime?
True
Let t = -56853 + 186532. Is t prime?
False
Let q = -1355 - -2056. Is q a prime number?
True
Is 48/(-144)*(-15116 - 1) composite?
False
Let a = -2856 - 814. Let c = a + 5405. Is c composite?
True
Suppose 3*p - 5*p = 0. Suppose 6*s - 8876 + 1610 = p. Is s prime?
False
Let u(p) = 35*p**2 - 2*p - 5. Let k be u(-8). Suppose 8*c - 7*c - k = 0. Is c composite?
False
Suppose 5*a - 4 = -2*u, -4*u + 7 = a - 1. Suppose 2*n - u*h = 166, 158 - 16 = 2*n + 4*h. Is n composite?
False
Let b be (-3 - 391/(-4))*-4. Is (-23 - -25)/((-2)/b) a prime number?
True
Let n be (-92)/(-16) + 6/(-8). Suppose -f - n*h = -114, f - 142 = -3*h + 5*h. Suppose -3*b + 5*b = f. Is b a prime number?
True
Suppose -2*n - 18 = -j, -3*j = -3*n - j - 28. Let q(h) = -h + 2. Let x(d) = 23*d - 7. Let w(a) = -3*q(a) - x(a). Is w(n) a prime number?
False
Let s = -1191 + 1682. Is s a prime number?
True
Let n(k) = -2*k**3 - k**2 + 9*k + 5. Let t(v) = -3*v + 25. Let d be t(11). Is n(d) a prime number?
False
Let o(m) = 37*m + 3. Let n be o(13). Suppose -6*a = -1430 - n. Is a composite?
True
Suppose -380 = 3*s + s. Suppose 0 = 2*i - 110 - 258. Let w = s + i. Is w a composite number?
False
Suppose -3*o = -15, 2*o = 3*b + 33 + 4. Let h(s) be the first derivative of -s**4/4 - s**3 + 3*s**2 - 13*s + 1. Is h(b) a prime number?
True
Let h(i) be the second derivative of 295*i**3/3 + 7*i**2/2 - 18*i. Is h(2) prime?
True
Let m be 22/12 + (-3)/(-18). Suppose -m*c - 2*c = -12. Is (-4)/(c - -9)*-39 prime?
True
Let m = -23 - -22. Let z = 110 + m. Is z prime?
True
Let l(j) = 4*j**3 - 2*j**2 + 12*j - 2. Let b be l(5). Let h = -150 + b. Suppose -3*f + h - 73 = 0. Is f a prime number?
False
Suppose 0*x - 2310 = 3*x. Let v = -800 + 297. Let u = v - x. Is u prime?
False
Let a be (-14)/35 - (-524)/(-40)*-4. Suppose j + j = 4*i + 290, -5*i - 293 = -2*j. Let w = j + a. Is w composite?
False
Suppose -4*w - 787 = y, 3*w + 2 = -4. Let v = y - -1476. Is v composite?
True
Suppose 3*a = a + 6. Suppose -44 - 7 = -a*d. Let h = d + 206. Is h composite?
False
Suppose 0 = 3*c - 63 - 8268. Is c a composite number?
False
Let r(k) = -k - 3. Let y be r(-3). Suppose -4*l - 3*x - x = y, 0 = 2*l - 5*x - 14. Is ((-45)/(-27))/(l/66) prime?
False
Suppose -3*d = -4*d - 9. Let b(z) = -z**2 - 26*z - 4. Is b(d) a prime number?
True
Let h(k) = 22*k**2 - 6*k - 81. Is h(-5) prime?
True
Let o = -652 + 4478. Is o composite?
True
Suppose 0 = -10*a - 4070 - 5390. Let v = -515 - a. Is v a composite number?
False
Let k be 6476/((-3)/(-18)*4). Is k/4 - 16/(-32) composite?
True
Let g(d) = 517*d**2 - 3*d + 4. Let o be g(1). Let x = 1141 - o. Is x a composite number?
True
Let p = 77243 - 53044. Is p a prime number?
False
Let n(q) = -4*q**3 + 4*q**2 + 4*q + 2. Suppose -4*m = 1 + 7. Let o be n(m). Suppose o = z - 5*u, -2*u = 2*z - 0*u - 144. Is z prime?
True
Suppose -222 - 48 = -5*x. Let n = x - 1. Is n a prime number?
True
Let h = 12186 + 28111. Is h a prime number?
False
Is 15538/18 + (-260)/36 + 7 composite?
False
Let b = -2249 + 5425. Suppose 5*z + 3*z - b = 0. Is z prime?
True
Is ((-2)/(12/(-1221)))/(1/2) composite?
True
Suppose -1881 = -4*x + 3*x + 3*j, 0 = 3*x - j - 5603. Let t = 3523 - x. Is t composite?
False
Let w be 52/(-39)*((-9)/2)/3. Suppose 0 = 3*v - w*v - 2111. Is v prime?
True
Is (10/(-8) - -2) + (-315592)/(-32) prime?
False
Let h be (-2058)/8 - (-15)/(-20). Let i = h + 577. Is i a composite number?
True
Suppose 3*v + 0 - 11 = 4*k, 0 = -3*k - 2*v + 13. Is k - 1086/(-1 - 0) a prime number?
True
Suppose 3*y + y - 504 = 0. Suppose -2*z - 79 = h - 4*z, 4*z = -2*h - y. Let q = h - -150. Is q composite?
False
Let j = -43 - 53. Suppose -4*c = 3*v - 5, -5*v = -4*c + c - 18. Is v/((-9)/j) + -1 composite?
False
Suppose -3*k + z = -3*z - 6893, 0 = -k - 2*z + 2291. Suppose 6*j - k - 4731 = 0. Is j composite?
False
Let d = -9069 + 25798. Is d a composite number?
False
Let w(a) = -123*a**2 + 5*a - 3. Let l be w(2). Let s = l + 742. Is s prime?
True
Let x(k) = 2*k**2 + 9*k + 6. Let g be x(-3). Let a(z) = 37*z**2 - 5*z - 13. Is a(g) prime?
False
Let i(v) = 206*v - 10. Let x be i(5). Suppose -x = -4*n + 4*j, -n = 3*n + 3*j - 1048. Is n a prime number?
False
Let h = 21 + -21. Suppose 0 = -5*i - d - 5616, -2*i - 3*d - 2*d - 2251 = h. Let k = -500 - i. Is k prime?
False
Let k = 5 + -3. Let p be k/((-66)/(-32) + -2). Is 5976/p + (-2)/(-8) a composite number?
True
Let h = 4512 - 7853. Let s = h + 1138. Is (s/(-3))/(4/12) prime?
True
Suppose 3*d - 4*g - 12911 = -2*d, 2*d - 5154 = -g. Is d a prime number?
True
Let l(y) be the first derivative of y**3/3 - 3*y**2/2 + 3*y + 2. Let i = 22 + -35. Is l(i) prime?
True
Suppose 4*d - 3*l - 614 = -6*l, -4*d + 606 = -l. Let h = 774 + -491. Suppose h = 3*t - d. Is t prime?
False
Let p(j) = -1190*j - 2. Let q be p(-1). Let r = q - -5609. Is r composite?
True
Suppose 3*c - 4*y - 969 = 1976, -1969 = -2*c - 3*y. Is c a composite number?
False
Let b(c) = -c**2 - c + 1. Let l be b(0). Let d be -3 - (0 - 4 - l). Is -2 + 16 + d + 3 prime?
True
Let g(y) = 8*y + 7. Let n be g(-3). Let r = 26 + n. Suppose 7*z + 942 = r*z. Is z a prime number?
False
Let u(w) be the second derivative of 7*w**3/2 + 8*w**2 - 10*w + 3. Is u(7) a composite number?
False
Let a(f) = 5*f**2 - 3 - 7 + 7*f**3 + 5 - 2*f**2 - 10*f. Is a(4) a prime number?
False
Let q(u) be the first derivative of 2*u**4/3 - u**3/2 - 8*u - 6. Let b(z) be the first derivative of q(z). Is b(-7) prime?
False
Let a = 44778 + -15707. Is a a prime number?
False
Is 45/(-60)*(-21656)/6 composite?
False
Suppose 18*q + a - 6546 = 14*q, 5*a = -q + 1627. Is q a prime number?
True
Suppose -11*j = -7*j - v - 4823, -4*j - v + 4833 = 0. Is j a prime number?
False
Is 3 - 1 - (31 - 57364) prime?
False
Is (8 + 3282/(-18))/((-2)/174) a prime number?
False
Let o be -3 + -1 + (-15)/(-5). Let k be -1*(-2 - (-3 - o)). Suppose -h - 2*h + 2*m + 765 = k, -1024 = -4*h + 4*m. Is h composite?
True
Let f(k) = -186*k - 14. Let w(p) = -28*p - 5 + p - 35*p. Let n(b) = 4*f(b) - 11*w(b). Is n(-6) prime?
False
Is (-4547)/((-10)/(-3 - -1) - 6) a composite number?
False
Let d(a) = -a**3 - 8*a**2 - a - 10. Suppose 2*b + 13 = -3. Let r be d(b). Is -1 - -2*(-164)/r prime?
True
Suppose 2308 + 13 = 11*d. Suppose -6*x + d = -5*x. Is x prime?
True
Suppose -510 = -2*m + 8*m. Let v = 48 + -99. Let b = v - m. Is b a prime number?
False
Suppose -3*g = 3*w + 132, 5*w = 2*g + 10 + 85. Let v(p) = 3*p + 1. Let u be 