prime number?
True
Suppose y - 2*l = l + 3137, 5*y = -3*l + 15685. Is y prime?
True
Let k = 909 - -3728. Is k a prime number?
True
Suppose 0 = 3*q - 0*q - 9, -3 = -c - q. Let v(s) = 2*s + 38. Let b be v(-16). Suppose -4*p - 3*h - 2*h = -99, c = -2*h + b. Is p prime?
False
Let k(a) = -22*a + 29. Let l be k(-7). Is (l + -1 + 3)/1 a prime number?
False
Let d(r) = 467*r**2 + 24*r - 16. Is d(-5) prime?
False
Let d(n) = n**2 - 7*n - 9. Let y be d(9). Let k(x) = x**3 - 4*x**2 - 11*x - 11. Is k(y) prime?
False
Suppose 3*q - 227 - 37 = 0. Let u = -296 - -341. Let x = q - u. Is x a composite number?
False
Let s = -478 + 799. Let f be ((-6)/2)/((-12)/20). Suppose 0 = -d - j - 4*j + 168, 2*d = f*j + s. Is d a prime number?
True
Let y(d) = 4*d**3 - 13*d**2 + 18*d - 24. Let h(l) = -3*l**3 + 9*l**2 - 12*l + 16. Let o(j) = -7*h(j) - 5*y(j). Is o(7) a prime number?
False
Let h(v) = 1. Let g(x) = -4*x**2 + 6*x - 7. Let q(r) = -g(r) + 6*h(r). Is q(-7) a composite number?
False
Let n(a) = a**2 - a - 8. Let p be n(4). Suppose 5*c = -4*s - 20, p*s - 3 = c + 1. Let b(j) = j**2 + 35. Is b(s) prime?
False
Let w(d) = 29*d**2 - 4*d - 7. Let p be w(8). Suppose 217 + p = 3*k - 3*u, 0 = k - 3*u - 672. Suppose -3*s = j + 156 - 829, j + s - k = 0. Is j composite?
True
Let o(b) = 7 - 237*b + 402*b - 207*b. Is o(-25) prime?
False
Let x = -6 - -12. Suppose -5*p = -x*p + 437. Suppose -5*o + 1068 = -p. Is o a prime number?
False
Suppose -105 = -5*p + 10. Suppose -4*n + 21 + p = 0. Suppose 0 = -2*z, i - 8 - n = -3*z. Is i composite?
False
Let w(l) be the first derivative of l**4/4 - 2*l**3/3 + l**2 + l - 5. Let a be w(4). Suppose 2*z = -2*v + z + a, -z = -2*v + 51. Is v a prime number?
True
Let b = 45 + -45. Suppose b = 10*k - 12017 + 607. Is k a prime number?
False
Let k(y) = y**3 + 2*y**2 - 3*y. Let z be k(-3). Suppose 3*b - 6*b + 15 = z. Suppose 5*n = 10, -2*m = -4*m - b*n + 116. Is m a composite number?
False
Let v = 19729 + -12138. Is v prime?
True
Suppose 4*h - 5*h + 3*b = 9, 13 = -h + 4*b. Suppose -6*i = 5*d - 3*i - 3059, 5*d - h*i = 3071. Is d composite?
False
Is (-43)/(-2*(-6)/(-132)) a prime number?
False
Let d(y) = 10271*y**2 - 19*y - 65. Is d(-5) prime?
False
Let l(t) = -t**3 - 30*t**2 + 26 + 5*t**2 - 20*t + 15. Is l(-25) a prime number?
True
Suppose 0 = -5*g - m + 26911, 0 = 5*g + 2*m + 1802 - 28709. Is g a prime number?
False
Suppose 27*g - 1301194 + 451531 = 0. Is g prime?
True
Let n be -4*(9/(-6) - -2). Let p = -2 - n. Suppose p*x - 3*x + 111 = 0. Is x composite?
False
Suppose 16764 = 7*d + 433. Is d composite?
False
Let b(p) be the second derivative of -71*p**3/3 - 15*p**2/2 + 12*p. Is b(-7) a composite number?
True
Let v(p) = 88*p - 49. Let z be v(18). Suppose -29*m + z = -24*m. Is m prime?
True
Let y(q) = q - 12. Let v be y(-4). Let m = v - -24. Is (-12)/48 + 1434/m prime?
True
Let b = 812 - 553. Is b a composite number?
True
Suppose -5*l + 67210 = -34995. Is l composite?
False
Let f be 0/((-2)/((-2)/1) - 0). Suppose f*j + 3*j = 114. Is j prime?
False
Let i = -13 + 16. Suppose i*o + o = 1972. Is o composite?
True
Let q = 88 + -233. Let s = -61 - q. Is s/8*236/6 prime?
False
Let p = -255 - -358. Is p prime?
True
Suppose 0 = -4*n + 3*y + 21, -2*y - 18 = n - 5*n. Suppose -5*z + 25 = -2*g - 2*z, n*z = g + 20. Is (-1908)/(-15) - (-1)/g composite?
False
Suppose -2 = 4*t + 3*p, 0*p + 12 = -4*t + 2*p. Let r(f) = f**2 - f - 3. Let l be r(t). Suppose 2*u = 3*b - 863, 0 = l*b + 2*b + 4*u - 1431. Is b composite?
True
Let f(x) = x**3 + 11*x**2 - 6*x - 7. Let s(q) = 5*q - 2. Let l be s(-1). Let k be f(l). Suppose k = 2*w + w. Is w a composite number?
True
Let g(u) = 483*u**2 + 8*u + 1. Is g(-6) a composite number?
False
Let p(u) = -2*u**3 + 6*u**2 + 31*u + 83. Is p(-20) prime?
True
Let a(g) = -22*g - 17. Suppose -12 = 2*b + 4. Let x = -20 - b. Is a(x) composite?
True
Suppose -88*f = -84*f - 29644. Is f prime?
True
Let f = -71 - -100. Suppose 578 = 3*i - o, -2*i + 436 = -5*o + f. Is i composite?
False
Is 14813/((-70)/(-30) + -2) prime?
False
Let t(v) = 19*v**2 - 13*v + 2. Let z be t(-9). Let k = z - 2644. Let d = -423 - k. Is d a composite number?
False
Let l = 299 - -1238. Is l a prime number?
False
Let z(s) = 3438*s**2 + 10*s - 21. Is z(2) composite?
False
Suppose 5*d - 2*r = -0*d - 31, -2*d - 4 = -5*r. Let b = d + 14. Let w(i) = i**3 - 7*i**2 + 11*i - 6. Is w(b) a prime number?
True
Suppose 71134 = 30*t - 82016. Is t a composite number?
True
Suppose -7*x + 25 = -3. Suppose r - 25 = -x*r, 4*y = r + 1511. Is y composite?
False
Let y be (0/1)/(-8 + 10). Let j be y + 5 + -3 - 0. Suppose -j*a = -2*s + 380, -4*s + 5*a = -333 - 426. Is s a composite number?
False
Let c(d) = -14*d**2 - 14*d - 11. Let r be c(-17). Let i = 7018 + r. Is i a composite number?
True
Let a be (0 + 4/(-4))*0/2. Suppose -4*f + 4*t + a*t + 3184 = 0, t = 2*f - 1590. Is f composite?
True
Suppose 2*u = 5*f - 1120 + 336, -12 = -4*u. Let r = f + -109. Is r a prime number?
False
Let z(i) = 114*i**2 + 9*i - 7. Let o(l) = -25 + 0*l + 26*l + 341*l**2 + 5. Let h(t) = 6*o(t) - 17*z(t). Is h(2) composite?
True
Let r(f) be the first derivative of 33*f**2 + 17*f + 36. Is r(6) composite?
True
Let v be 3364 - (-4)/(-3)*(-9)/(-6). Suppose v = 4*t - q, -3*t + 5*q = -4*t + 851. Is t a composite number?
True
Suppose -5*l - l = 0. Suppose -2*j - 5*n = 9, 2*j - 13 + 1 = 2*n. Suppose 3*y + j*m - 216 = l, -y + 5*m + 84 = -0*y. Is y prime?
False
Let b(l) be the third derivative of 0 + 0*l + 4*l**2 - 2/3*l**3 + 1/60*l**6 - 1/6*l**4 + 1/12*l**5. Is b(3) composite?
False
Let k = -4204 + 8139. Is k prime?
False
Suppose -4*g + 40628 = 5*h - 2460, -4*g = -4*h + 34492. Suppose 2*l = 3*f + 3439, f - h = -5*l + 4*f. Is l composite?
True
Let p be (32/(-12))/((-2)/(-6)). Let z be 186/p + (-21)/28. Is ((-184)/z)/(2/30) a prime number?
False
Suppose 5 = -2*d + 15. Suppose 0 = -3*k + 2*m + 13, -7 = 4*k - 3*k + d*m. Suppose k*l = 7*l - 932. Is l a composite number?
False
Let g = 0 + 5. Suppose -g*d + d + 212 = 0. Is d prime?
True
Let c = 3937 - -69. Is c prime?
False
Suppose 0 = -8*w + 2*w. Suppose w = -6*x - 5090 + 13556. Is x a composite number?
True
Suppose -10 = -p - 7. Suppose -1413 = -3*w + 3*a, p*w + 5*a - 1381 = -0*a. Is w a prime number?
True
Suppose 6*s - 16768 = -4912. Suppose h = 4, -4*o + s = -2*o - 5*h. Is o prime?
False
Let l be (-8215)/(-11) - (-6)/33. Suppose -5*f + l + 988 = 0. Is f composite?
False
Let k(x) = 25*x**3 - 7*x**2 + 25*x - 131. Is k(8) composite?
False
Suppose 0 = -4*x - 9 - 7. Let f be ((-5)/x)/((-6)/72). Is (9 - 2)*(-2 - f) a composite number?
True
Let x = -518730 - -950459. Is x a composite number?
False
Let g be (-2)/(-3) + (-18)/27. Suppose 0 = 3*i - g*i - 1110. Is i/3 + 1/(-3) composite?
True
Suppose 39 = 4*f - n, 2*f - 2*n - 24 = -0*f. Suppose f = v + l, 4*v + 3*l + 0*l = 31. Suppose m - v*m = -2127. Is m composite?
False
Let n be ((-2)/6*23)/(30/(-90)). Let l be (-1 - 4)*2/(-5). Is n + -2 - l/1 composite?
False
Let f = 9 + -5. Let o = f - 2. Suppose 0 = -0*x - 3*x + 3*c + 501, -155 = -x - o*c. Is x a prime number?
True
Is 9304/(-16)*1*-2 a composite number?
False
Let p(h) = 12*h + 16. Suppose -3*x + 27 = 2*v, 5*x + 2*v - 16 - 25 = 0. Let c be p(x). Let k = 167 - c. Is k a prime number?
True
Let i(m) = -24*m - 159. Is i(-38) a composite number?
True
Let a be 2/1 - 96/(-6). Let u = a + 919. Is u a composite number?
False
Let s(x) = -15726*x - 37. Is s(-1) a prime number?
False
Let x be 2/(4/14) + -2. Suppose x*l - 4 = 11. Suppose l*t = -5*f + 21, -5*f + 0*t + 11 = -2*t. Is f a prime number?
True
Let m = -99 + 104. Suppose 5*r - 2245 = -m*u, 5*r - r - 1778 = 2*u. Is r a prime number?
False
Suppose -293 = r + m, 5*m + 267 - 1186 = 3*r. Let j(z) = 52*z - 1. Let c be j(-4). Let x = c - r. Is x a prime number?
True
Suppose 3*n + v - 5 = 0, 2*v - 1 = n - 5. Suppose n*l - 216 = -l. Let y = l - -347. Is y a composite number?
False
Suppose -4*x = -5*m + 4433, 5*x - 2*m = -3494 - 2060. Let z = 2199 + x. Is z prime?
True
Let x be -34 + (0 + 3)*-1 + 5. Is -1 - 14/(-8) - 61768/x prime?
True
Suppose -6*y - 198 = -0*y. Let o = y + 36. Suppose -5*j + 450 = 4*x - o*j, 0 = -2*x - 4*j + 222. Is x a prime number?
True
Let c(r) = -r**3 - 3*r**2 - r + 1. Let m be c(-3). Suppose -m*l - 298 + 930 = 0. Is l prime?
False
Is (28197/