m - -268. Is s a prime number?
True
Let v = 14 - 9. Suppose v*z + 0*z = -4*l + 163, -l = 4*z - 49. Is l a composite number?
False
Suppose m - 4*t - 7 = 13, 3*m - 5*t - 25 = 0. Suppose 4*p - 256 = -2*n, m = -2*p + p - 3*n + 59. Is p prime?
False
Suppose 4*k + 65 = 5*y + 160, -4*k + 86 = -2*y. Suppose -k = -2*a + 110. Is a prime?
False
Let m(v) = v**3 + v**2 + v + 4. Let n be m(0). Let h be 2/n*12/3. Suppose 0 = -h*q + 9 - 3. Is q a composite number?
False
Suppose 4*n + 5*p - 133 = 0, -3*n + 4*p = 2*p - 117. Is n composite?
False
Let r be 9615/10 + (-3)/(-6). Suppose 0 = 6*o - r - 1624. Is o a composite number?
False
Let a = 22 - -105. Is a prime?
True
Let a = -37 - -280. Let z = a + -166. Is z a prime number?
False
Suppose 0*q - 26685 = -15*q. Is q a composite number?
True
Suppose d = 5*d - 12. Suppose d*x - 84 = -x. Is x a prime number?
False
Is (-4)/(-4*1/58) prime?
False
Let o(v) = 6*v**2 + v - 4. Let y(h) = -h**3 + 2*h**2 + 1. Let n be y(2). Let j be (n/(-1))/((-1)/(-3)). Is o(j) a prime number?
True
Let x(a) = a + 11. Let b be x(-8). Suppose b*i = 5*i - 110. Is i composite?
True
Let n(w) = -w**2 + 5*w - 6. Let s be ((-8)/(-20))/((-3)/(-30)). Let u be n(s). Is 35 - (0 + u - 0) a prime number?
True
Suppose 9*a - 12*a = -33. Let h = a + 8. Is h prime?
True
Is (2/3)/((-2)/(-309)) a prime number?
True
Let t = -45 - -263. Let v = 148 - t. Let y = v - -123. Is y a composite number?
False
Suppose -5*n - 4*v = -2128, -580 = -2*n - 4*v + 276. Suppose s - n = -s. Let l = -145 + s. Is l a prime number?
True
Let s(o) = 5*o - 1. Let a(f) be the third derivative of f**5/20 + f**4/24 - f**3/6 - 2*f**2. Let u be a(1). Is s(u) prime?
False
Suppose 3*x = -11*x + 10766. Is x a composite number?
False
Let s = 690 - 401. Is s prime?
False
Suppose 8*h - 6069 - 11219 = 0. Is h a composite number?
False
Suppose -4*u + 5*k + 36 = 0, -k = 4*u - 3 - 9. Is (-3)/u + (-453)/(-12) composite?
False
Let u(l) = -44*l + 5. Let q be u(-11). Suppose a - 4*a + q = 0. Is a a prime number?
True
Is (-143 - (-8 - -4))/(-1) prime?
True
Let y be (-14)/(-3)*(-6)/4. Let w = -7 - y. Is 69 - (w/1 + 2) a prime number?
True
Let k(a) = 3 - a + 3 - 1. Let j be k(6). Is j/(((-6)/(-154))/(-3)) prime?
False
Let t(n) = n + 9. Let g be t(-7). Suppose -g*i + 6 = 0, 2*c + 4*i + 83 = -111. Let d = c - -182. Is d composite?
False
Let n = -3518 + 6895. Is n composite?
True
Let t(f) = 18*f - 1. Suppose 3*g = 2 + 4. Is t(g) prime?
False
Let j = 17 - 16. Let a(v) = 7*v + 0 + 0. Is a(j) a composite number?
False
Is (-3)/12*(-5 + -2279) composite?
False
Suppose -978 = u - 4*u. Is u a composite number?
True
Let s(o) = -1437*o + 2. Is s(-1) a composite number?
False
Suppose -29 - 4 = -3*u. Suppose 0 = -4*o + u + 13. Is 2/4*(o + 16) composite?
False
Let q = -20 + 4. Let v = q - -35. Is v prime?
True
Let n = 112 + -30. Is n a composite number?
True
Let v(p) = -6*p**3 - p**2 + 4*p + 3. Let w be -8 + (-2 - -2)/(-2). Let c = w + 6. Is v(c) prime?
False
Let o = 455 - 289. Is (-1*o)/(2/(-1)) composite?
False
Let j(l) = -l**2 - 7*l + 9. Let m be j(-8). Is 3 + -5 - (-16 - m) a composite number?
True
Let u = 281 + 1082. Is u a composite number?
True
Let m(a) = 2*a**2 - 2*a + 1. Let t be m(2). Suppose t*u = 2*u + 30. Is u composite?
True
Suppose j + 3*j - 182 = -2*a, -2*a - j = -170. Is a prime?
True
Let o(v) be the third derivative of 14*v**5/15 + v**4/8 + v**3/2 + 7*v**2. Is o(-2) a prime number?
False
Let z be (-3 + 0/(-2))/(-1). Let a = -3 + z. Is (1 - 20)*(-3 - a) composite?
True
Let v(f) = f**2 + 3*f + 3. Let p be v(-3). Suppose -4*q + 13 = -s, 4*q - 7*s = -p*s + 4. Is (q - 3)/(1/85) a composite number?
True
Let l(m) = -m**3 + 3*m**2 + 5*m - 6. Let p be l(4). Let y be p*1/(-2)*63. Suppose o = 4*o - y. Is o prime?
False
Suppose -2*s + p = -1094, -4*p = -3*s - s + 2188. Is s a prime number?
True
Let v = -10 + 15. Suppose 0 = v*q + 2*i, 4*q + 2*i = 2*q - 6. Suppose 3*h - q*f = 25, 0*f + 3*f - 1 = -h. Is h composite?
False
Suppose 0 = -3*b + 1902 + 765. Is b prime?
False
Is 3 + (3 - 2) + 1633 prime?
True
Let n be (1 + 0)*-9*7. Let q = -30 - n. Is q prime?
False
Let o(t) = -t**2 - 6*t - 4. Let p be o(-6). Is (p - -3)/((-2)/118) composite?
False
Suppose -4*d = 10 - 30. Suppose -6 = 2*m, -d*m + 64 + 9 = 2*x. Let k = 91 - x. Is k prime?
True
Is (1 + -3)*2 - -101 prime?
True
Suppose -14 = -4*l + 2*r, 4*l - 5*r - 30 = -7. Let i(s) = 17*s**l + 1 + 20*s**2 - s + 0*s. Is i(1) a prime number?
True
Let j be 2/4*8/1. Let n be 1/(2 + (-105)/51). Is j/(-2) - (n + 1) a prime number?
False
Let i = -1 - -6. Suppose -j = -i*j + 28. Is j composite?
False
Suppose -t = 4*t + 15. Let a be (-18)/2*1/t. Suppose -5*c + 251 = 2*d, a*d - 5*d = c - 55. Is c prime?
False
Let q = 0 - -4. Suppose -264 = -0*y - q*y. Is ((-4)/(-6))/(4/y) composite?
False
Let i(p) = p**2 - 8*p - 1. Let q be i(6). Let g = 1 - 1. Let j = g - q. Is j prime?
True
Let x(d) = -92*d + 3. Is x(-2) a composite number?
True
Suppose 0 = -7*r + 895 + 400. Is r a prime number?
False
Suppose 0 = 4*y + y - 295. Let h(w) = w**2 + 8*w + 13. Let r be h(-9). Let p = y - r. Is p a composite number?
False
Let j(k) = k**3 - 3*k**2 - 12*k + 11. Is j(10) composite?
True
Suppose -17 + 4 = -l. Suppose -l - 17 = -5*y. Is y composite?
True
Suppose -9 - 3 = -2*g. Let k = g - 1. Suppose -k*h + 5*c + 80 = -2*h, -5*h + 2*c + 127 = 0. Is h prime?
False
Suppose 3*d = -3, -5*d - 3 - 2 = 3*a. Is (-129 - -2)*(-1 + a) a composite number?
False
Suppose -2*i + 3*m = 2*m - 1357, -2*i - 4*m = -1342. Is i prime?
True
Suppose -4*w - 21 = -g, -5*g - 4*w + 0*w = -9. Suppose 245 + 685 = g*z. Is ((-4)/12)/((-2)/z) a prime number?
True
Let a(x) = -2*x**3 + x**2 + 1. Is a(-2) a prime number?
False
Let m(o) = 18*o - 1. Suppose -2*r = -2 - 4. Is m(r) a prime number?
True
Let p be -1*(-1011)/3 - -3. Let r = p - -217. Is r prime?
True
Let o be ((-2)/3)/((-2)/(-6)). Let l(z) = 3*z**3 + z**2 - 2*z + 1. Let r(j) = 6*j**3 + j**2 - 4*j + 1. Let s(w) = 7*l(w) - 4*r(w). Is s(o) a prime number?
False
Suppose 4*b + u = 4290, -b - b + 2136 = 5*u. Is b a prime number?
False
Suppose 575 = -3*d + 8*d. Is d prime?
False
Let k be ((-10)/(-6))/(8/888). Let i = -19 + 27. Suppose -k = 3*o - i*o. Is o prime?
True
Let o(y) be the third derivative of -y**4/12 + y**3/6 + y**2. Let m be o(-1). Suppose -79 = -m*k + 2*k. Is k composite?
False
Suppose -1195 = -3*p + 2066. Is p composite?
False
Let q be (-14745)/(-20) + (-3)/(-4). Suppose -2*i + i + q = 0. Is i/14 + 4/14 composite?
False
Suppose -2*i = -p + 2, -2*i + 4*p + 4 = -0*i. Let w(n) be the third derivative of -n**6/60 - n**5/15 - n**4/12 - 2*n**2. Is w(i) composite?
True
Let y(d) = -1 - 3*d + d**2 + 15*d**2 + 4*d. Is y(-4) prime?
True
Let y be (4/8)/((-3)/(-6)). Is y - (0 + 3 - 45) prime?
True
Let g be 95/15*(0 - -3). Let v = 29 - g. Is v composite?
True
Is ((4 - 0) + -3)*1 - -18 composite?
False
Let o(p) = -p**3 - 4*p**2 + 8*p + 5. Let t be o(-5). Is (8/t)/(2/(-205)) prime?
False
Suppose 5*r = n + 6, -5*r = 4*n - 4 - 22. Is (11/r)/(3/66) prime?
False
Suppose 0*b = 2*b + 3*z - 71, 5*b + z = 171. Is b composite?
True
Let m(o) = 27*o + 11. Is m(2) a prime number?
False
Let j = -260 - -654. Suppose -5*k = -3*x + 232, -5*x + 0*x + k + j = 0. Is x a prime number?
True
Is 26/26 - 2*-39 a composite number?
False
Let x be 0 - (-12)/(-1 + 0). Let w be 6/(-4)*(-8)/x. Is -59*(-1 + -1 - w) prime?
True
Let v(r) = -68*r - 21. Is v(-2) prime?
False
Let o(a) = 14*a**2 - 7*a + 11. Let u(g) = 13*g**2 - 8*g + 11. Let y(c) = -3*o(c) + 4*u(c). Is y(8) composite?
False
Let c(q) = 33*q**3 + 3*q**2 - 4*q + 2. Let y be c(2). Suppose t = 5*t + 2*b - y, t - 81 = -5*b. Suppose 0*h = -3*h + t. Is h a composite number?
True
Let q(i) = -319*i**3 + i. Let f be q(-1). Let c = f + 16. Is c a prime number?
False
Let u = -255 - -1616. Is u a prime number?
True
Let f(t) = 8*t**2 - 5. Is f(-3) a composite number?
False
Suppose -a - 3*h = 2*h - 25, -a - 4*h + 29 = 0. Suppose 0*z = 2*z. Suppose -4*p + 2*w + 90 = z, -3*p + a = 3*w - 18. Is p a prime number?
False
Let j(u) be the second derivative of u**7/840 + u**5/120 + 37*u**4/24 - u**3/6 - u. Let x(k) be the second derivative of j(k). Is x(0) composite?
False
Let m = 8 - -38. Suppose -3*b = r - m, 3*r = 2*b - 5*b + 144. Is r prime?
False
Let z = -145 - -263. Is z prime?