*i - 138. Is i prime?
True
Let q be (1 - 2)/((-2)/234). Suppose -371 = -2*a - q. Is a a composite number?
False
Let v(w) = -3*w + 24. Is v(-5) a composite number?
True
Suppose 2*y = 692 + 4350. Is y composite?
False
Suppose x - 4*s = 6*x - 2750, 2*x + 5*s = 1117. Suppose x + 641 = 4*v + 3*y, v - 4*y - 273 = 0. Is v composite?
False
Suppose 4*k - 3*l = 410, 2*l + 108 = k + 4*l. Suppose 0 = 3*b - 29 + k. Is (-8)/(-2)*b/(-4) a prime number?
False
Suppose 2310 = 6*b - 1728. Is b prime?
True
Suppose a - 4*a - 18 = 0. Let l(d) = -15*d - 5. Is l(a) composite?
True
Suppose 0*u = -d - u + 395, -4*u - 8 = 0. Is d a composite number?
False
Is (1 + -999)*(-3)/6 a prime number?
True
Let p(q) = q**2 - q - 3. Let u be p(3). Suppose 4*t + t + 784 = -4*r, -u*t + 12 = 0. Is (-3 + 1)/(6/r) a prime number?
True
Let l(v) = -31*v**2 - 3*v - 3 + 33*v**2 + 4*v - 3*v. Is l(5) a composite number?
False
Is (-98952)/(-32)*2 - 1/(-2) a composite number?
True
Suppose -3*m + 20 = -m. Let v = 18 - m. Is 47*-1*(-8)/v prime?
True
Let c(t) = 2 + 2*t - 3*t - t**2 + 8*t. Let j be c(7). Is 1/(j - 3)*-23 a prime number?
True
Let r(k) = -k**3 - 2*k**2 + 3*k + 4. Let j be r(-3). Let v = 8 - j. Suppose -v*o = -0*o + 16, 66 = 2*s + 2*o. Is s composite?
False
Suppose 3*c - 43 - 1 = -2*z, -4*z + 102 = -c. Let w = 172 + -100. Let b = w - z. Is b a composite number?
False
Suppose -4*p = -y + 1103, 4*y - 2*y - 4*p = 2218. Is y a prime number?
False
Let q(r) be the second derivative of 31*r**3/6 - 4*r**2 + r. Let c(n) = -32*n + 7. Let k(t) = -5*c(t) - 4*q(t). Is k(2) a composite number?
True
Let r = 29 + -19. Suppose -3*c = -115 + r. Is c composite?
True
Suppose v - 3*v - 4*z = -1278, z - 1272 = -2*v. Is v prime?
False
Let j(k) = -62*k + 1. Is j(-3) prime?
False
Let n = -108 + 938. Suppose -12*g + n = -10*g. Is g a composite number?
True
Suppose 4*g - 1199 = -307. Is g a prime number?
True
Suppose 5*h = -25, 0 = 5*l - 0*h + 2*h - 735. Is l a composite number?
False
Suppose 2*r + 802 = 2*g, 2*g + 2*g = 2*r + 1596. Is g a composite number?
False
Let p be 2 + -8 + 2/2. Let m = -21 - -31. Is p/m*76/(-2) composite?
False
Let m be 59*(-1)/(-3)*3. Suppose -8*k - m = -9*k. Is k prime?
True
Let m be 2*3/(-6)*4. Is (m - 12/(-4)) + 22 a prime number?
False
Suppose -5*n - 4*g = 368, n - 2*g = -2*n - 234. Let m = 110 + n. Let q = m + -9. Is q prime?
False
Let n(i) be the first derivative of 25*i**2/2 - 2*i + 6. Is n(5) a composite number?
True
Suppose 0*f + 598 = 2*f - 3*t, -5*t = 3*f - 859. Is f a composite number?
False
Suppose -5*i = -2*q - 24, -q + 14 = 5*i + 2*q. Let w be ((-350)/i)/(5/(-10)). Suppose 5*t - w = -g, 2*t + 0*t = -4*g + 88. Is t composite?
True
Let a(r) = -r**3 + 2*r**2 - 15*r - 7. Is a(-6) prime?
False
Let a(w) = 3*w. Let j be a(1). Let y = 64 - 28. Suppose -520 = -4*o - 3*c, -j*o = -c - 413 + y. Is o a composite number?
False
Let c be (-38)/(-12) - (-1)/(-6). Suppose -5*f - 20 = 0, c*f - 10 = -l + 75. Is l prime?
True
Let h = 4 + -8. Let x(r) = 15*r**2 - 4*r - 3. Let m be x(h). Let g = m + 304. Is g composite?
False
Let z be 36/15 + 2/(-5). Suppose -2*b + 6 = 2. Is (z/4)/(b/148) a composite number?
False
Let d = -16 - -19. Suppose d*a + 11 = 89. Is a prime?
False
Suppose -o + 3*o = 138. Is o prime?
False
Suppose 5*z + 410 = 5*g, -4*z + 15 = -z. Is g a prime number?
False
Is 6/(-21) - (-119092)/28 prime?
True
Suppose 347 = h - m - m, -2*m - 8 = 0. Suppose 3*z = -0*z + h. Is z composite?
False
Suppose -3 - 5 = 2*k, -4*z = -2*k - 5764. Is z a composite number?
False
Let m be 478/5 + 16/40. Let t(g) = 11*g**2 - 2*g + 3. Let z be t(2). Let p = m - z. Is p a composite number?
False
Suppose -q = -3 - 5. Suppose t - q = 113. Is t a composite number?
True
Let u(r) = -r**3 + 9*r**2 + 2*r - 13. Let w be u(9). Suppose -3*c = f - w*c - 31, f - 5*c - 46 = 0. Let o = 67 - f. Is o prime?
False
Let a(y) = 11*y**3 - 15*y**2 - 14*y + 12. Let r(f) = -9*f + 1 + 7 + 7*f**3 + 5*f**2 - 15*f**2. Let j(n) = 5*a(n) - 8*r(n). Is j(5) prime?
False
Let m = 580 - 273. Is m prime?
True
Is 7 + -6 - -1*586 a composite number?
False
Is (7/(35/(-30490)))/(-2) prime?
True
Is 3/((-12)/907)*(5 + -9) a composite number?
False
Let y(w) = -2*w**3 - 3*w**2 + 5*w + 4. Let s be y(-3). Suppose -x + 0*x - 4*c = -10, 0 = -5*x - 3*c + s. Suppose -4*p + 121 = 5*o, 0 = 3*o - x + 11. Is p prime?
False
Let u(g) be the third derivative of -1/15*g**5 + 1/4*g**4 + 5/6*g**3 + 3*g**2 + 0 + 1/120*g**6 + 0*g. Is u(6) composite?
False
Suppose 2*p + 0*p + 2 = 0, 0 = -s - 3*p - 9. Let h be -2 + 1/(-2 - -1). Let t = h - s. Is t a prime number?
True
Suppose -3*h + 1273 + 1910 = 0. Is h a prime number?
True
Let p(k) = k**2 - 2*k + 1. Let j be p(3). Let q(z) = 20*z**2 + 2*z + 3. Is q(j) a prime number?
True
Let a(l) = -38*l + 4. Let g be a(-8). Suppose 4*t - g = -0*t. Is t a composite number?
True
Let f = 3656 - 2531. Suppose 5*t - 560 = f. Is t a prime number?
True
Suppose -2*c = -7*c. Suppose -2*m + 2 = c, 6*m = 5*t + m - 1110. Is t a composite number?
False
Let a(y) = 28*y + 3. Is a(14) composite?
True
Suppose p = 2*p - 2. Suppose -3*i = 5*d - 573, 382 = p*i - 0*i - d. Is i a composite number?
False
Suppose 4*h = 76 + 156. Let c = h - -36. Is c prime?
False
Let p = 4144 - -819. Is p a prime number?
False
Let x(p) be the third derivative of -p**6/120 - p**5/20 - p**4/3 - 5*p**3/6 - 6*p**2. Is x(-5) prime?
False
Let o(h) = 13. Let a(y) be the second derivative of y**3/6 - 27*y**2/2 - 2*y. Let n(c) = -2*a(c) - 5*o(c). Is n(-9) composite?
False
Let i = 489 - -329. Is i prime?
False
Let q be 67/5 - 6/15. Suppose -3*z = 2*z + 10. Is -2 - (-4 - z - q) a prime number?
True
Is (32 - 34)/(((-4)/(-2018))/(-1)) a prime number?
True
Suppose -1960 = -2*z + 2*b - 0*b, 3*z + 4*b = 2933. Is z a composite number?
True
Is -211*(1 + -2) - 0 a composite number?
False
Let a = 4855 - 846. Is a prime?
False
Let t = 6 + -2. Let a = t - 0. Suppose -a*m = v + 4*v - 98, 0 = -2*m + 2*v + 40. Is m prime?
False
Let c = 122 + 465. Is c a prime number?
True
Let q(d) = -2 + d + d**3 + 0*d + 0*d**3 - 5*d**2. Let l be q(5). Suppose n - 4 = 0, l*p + n = -0*n + 907. Is p composite?
True
Let h = 8 - 6. Suppose -d + 3*u - 1 = -h*d, 0 = -4*u. Is 1*(-4 + d)*-7 prime?
False
Let k(p) be the third derivative of -p**5/60 - p**4/24 + p**3 - p**2. Let a be k(0). Let f(h) = 5*h**2 + 2*h - 5. Is f(a) composite?
True
Is -15*-2*(-2 - (-2578)/12) a composite number?
True
Suppose -36 = -3*c - 6. Is c*(-1)/(2/(-3)) composite?
True
Suppose 2*g + i = g + 24, 34 = g + 3*i. Is g a prime number?
True
Suppose -7*c - 8530 = -17*c. Is c a prime number?
True
Let f(b) = 3*b**3 - 11*b**2 + 25*b - 22. Is f(9) composite?
False
Suppose k + 92 = 3*k. Is k a prime number?
False
Is ((-99)/(-12))/(2/8) a prime number?
False
Suppose -2*j + 242 + 328 = -v, -3*j + 869 = 2*v. Is j a prime number?
False
Let a be (-3)/15 - (-84)/(-30). Let f(y) = -40*y - 7. Is f(a) composite?
False
Let p = -452 - -649. Let z = -287 + p. Let r = -56 - z. Is r composite?
True
Let j(t) be the second derivative of -t**5/20 - t**4/3 + t**3/2 - 11*t**2/2 + 3*t. Is j(-8) composite?
True
Let f(i) = -i - 1. Let v be f(-1). Suppose v = 5*x - 4 - 6. Suppose 5*y + 25 = x*m - 2, 5*m - 110 = 4*y. Is m prime?
False
Suppose -3*t = -9, 0*t + 525 = 4*k - t. Suppose 3*y - 10 = -2*y. Suppose -y*p = -2*a + 94, 5*a + p - 103 = k. Is a prime?
True
Let h be (-15)/6*-36 - -1. Let w = -36 + h. Is w prime?
False
Let q = 3921 + -2602. Is q a composite number?
False
Let f(j) = j**3 + 7*j**2 - 4*j + 7. Suppose 5*a + 1 + 9 = 0. Let l be (-1 - a) + 1 + -9. Is f(l) a composite number?
True
Let t(d) = -3 + 14*d**2 + 7*d**2 + 3*d - 7*d. Let f be t(-2). Is f - (-1 - (-3)/(-3)) a prime number?
False
Suppose 10 = -4*o + 2*x, -2*o - 7*x + 2*x = -13. Let r be (0 + 3)/(1 - 0). Is 38/3 - o/r prime?
True
Suppose -3*b + 1225 = 5*u, -2*b - 2*u = -3*b + 423. Is b composite?
True
Let c = -681 - -1858. Is c composite?
True
Let b = 34 - 24. Let k be 26/b + 4/10. Suppose -2*l + 56 = -l + o, 0 = 2*l - k*o - 107. Is l composite?
True
Let c = 4 + -1. Let m(t) = -21*t + 1. Let p be m(-4). Suppose -2*j + 159 = 5*q + 2*j, 0 = -c*q - 5*j + p. Is q a composite number?
True
Suppose 7 = 3*b - 11. Let i be 1*5*(b - 1). Is ((-165)/i)/((-1)/5) composite?
True
Suppose l + 4*l - 24 = 2*q, 5*q = -10.