q a composite number?
False
Let l = -151 - -312. Is l composite?
True
Suppose 0 = 2*y + 9 + 3. Let w be 3/(3/y - -2). Suppose 4*k = -5*n + 104, 2*n = -w*k + 25 + 25. Is k a prime number?
False
Let l = 228 + -93. Let q = l - 64. Is q a prime number?
True
Suppose 0*a + 8 = 2*a. Let n be 0 - 2 - (-7 + a). Let d(t) = 52*t + 1. Is d(n) prime?
True
Let f = -3 + -2. Let m = 0 - f. Suppose -4*k = -4*r + 8*r - 392, 4*r + m*k - 393 = 0. Is r a prime number?
True
Suppose -5*h - 3*z = -5, -2*h = 3*h - 3*z - 35. Suppose h*i = -p + 845 + 732, -2*i + 4*p + 802 = 0. Is i prime?
False
Let c be 126/2*10/15. Suppose -105 = -3*u + c. Is u composite?
True
Let k(a) = 2*a - 3. Let h be k(3). Let d be -2*h/6*-2. Suppose -3*p + 4*p - 2*w = -3, -5*w = d*p - 39. Is p a prime number?
True
Is (-1)/3 - (-142464)/36 composite?
True
Suppose -k = 2*q - 19, -4*k = -2*k - 5*q - 38. Suppose -d + 115 = 3*x, k = x - 2*d - 10. Is x a prime number?
True
Is 956/6*27/18 prime?
True
Let g(t) = -6*t + 5 + 4*t**2 - t**2 + 2*t + t**3. Let w be g(-4). Suppose -5*m - 4*q = -149, 0*m + w*q + 119 = 3*m. Is m a prime number?
False
Suppose -3*o = -3*i - 303, 2*o = -o + 5*i + 299. Is o composite?
False
Is ((-106)/(-4))/((-2)/(-28)) a prime number?
False
Let h(o) = -2*o - 12. Let n be h(-5). Is (-718)/(-14) + n/7 a prime number?
False
Let w(z) = z**2 - 2*z. Let l(k) = 2*k**2 - k. Let f be l(-3). Suppose 3*m = 3*h - f, 0*h = h + 4*m + 13. Is w(h) composite?
False
Let y(d) = 10*d - 6. Let i be y(9). Is ((-6)/8)/((-3)/i) a prime number?
False
Let s(i) = 5*i**2 + 3*i + 11. Is s(11) composite?
True
Suppose 14 = -2*s - 10. Let z be 1/2*4/(-1). Is (7/z)/(2/s) composite?
True
Suppose 3*d + 2*m - 517 - 253 = 0, -4*d + 5*m + 996 = 0. Is d prime?
False
Let j(m) = 4*m**2 + 7*m - 10. Is j(-9) composite?
False
Let k(s) = -s - 4. Let w be k(-7). Suppose -w*h - 5*j + 106 = 0, -2*h = 4*j - 65 - 5. Suppose 0*c - h = -c. Is c composite?
False
Suppose 2*i + 3 = v - 2, -5*v = -15. Is ((-5)/15)/(i/507) a composite number?
True
Let p = 4445 - 2072. Suppose -6*g = -9*g + p. Is g composite?
True
Suppose -5*d = -15, -m + 1498 = -5*d + 2*d. Is m a composite number?
True
Suppose 4*d - 1392 = -68. Is d prime?
True
Suppose 4*y + 3*z = y + 2307, -5*y = -2*z - 3838. Suppose y = 4*q - 548. Is q a composite number?
True
Let v(w) = 3*w**2 - 4. Is v(3) prime?
True
Let i = -9 - -14. Suppose 0 = -3*n - v + 485, -i*v - 343 - 166 = -3*n. Is n a composite number?
False
Let g be 1/(-1)*(-5 + 3). Suppose 2*b = -v - 4*v - 2, g*v = 5*b - 53. Is b a composite number?
True
Let j = 16 - 13. Suppose -5*y + 398 = -j*y. Is y prime?
True
Suppose s = 2*s + 7. Let c(t) = -t - 4. Let v be c(s). Suppose -p = 2*p - w - 11, -5*p = v*w - 23. Is p a prime number?
False
Let o(u) = -u**2 + 12*u - 6. Let p be o(11). Suppose 51 = -p*g + 2*n, 25 + 40 = -5*g - 5*n. Let a(i) = i**2 + 3*i - 2. Is a(g) prime?
False
Suppose 2*d - 76 = 5*d + 4*s, -3*d = s + 73. Is (5/2)/((-4)/d) a composite number?
True
Let b be 4/(-10) + 1160/25. Suppose 0 = -v + 23 + b. Is v prime?
False
Suppose p + 11499 = 4*p. Is p composite?
False
Let j(f) = -f - 4. Suppose 2*v = -2*m + 2 - 16, 5*m = 4*v - 26. Is j(m) a prime number?
True
Suppose 5*y - 4*q - 14 = 0, 0*q = 5*y + 3*q - 7. Suppose -3*t + 5*l - 27 = 0, 0 = -3*l + 4 + 5. Is y/(1/((-38)/t)) a prime number?
True
Suppose 0 = -6*l + 3*l + 420. Suppose 0 = -0*b - 4*b + l. Is b a composite number?
True
Let n(s) = 10*s**2 - 3. Is n(4) a prime number?
True
Suppose a - 985 = -2*a - 4*h, 0 = 3*a + 5*h - 980. Is a prime?
False
Suppose 9 + 15 = 3*c. Suppose -c = -m - 0. Let j(p) = 2*p**2 + p + 7. Is j(m) a composite number?
True
Let c be ((-796)/6)/(6/(-9)). Suppose -3*f + 4*d + c = -18, 3*f - 205 = d. Is f composite?
False
Let l be (-4)/14 + 3588/14. Let p be l + -1 + 2 + 1. Suppose 4*w - p = 58. Is w a composite number?
False
Suppose 0*a + a = 4. Suppose -2*r + 300 = -4*r - a*x, 3*r - 5*x + 472 = 0. Let c = r - -389. Is c a composite number?
True
Suppose -2*t + 2*w = 0, -5*w = -2*t - 0*t. Suppose 5*o + k = 2*k + 1099, t = 3*k + 12. Is o a composite number?
True
Let m(t) = -15*t**3 + 3*t**2 + 3*t - 4. Is m(-3) prime?
True
Let p(c) = -c**3 - 7*c**2 - 3*c + 3. Let d be p(-7). Let n = d + 7. Is n a composite number?
False
Suppose 0 = 3*c - 42 - 27. Suppose 2*f = -5*j + 43, f + j - c = -f. Let w(g) = -g**3 + 10*g**2 - 10*g + 11. Is w(f) a composite number?
False
Suppose -2*f = -3*f + 3*i + 258, -f + 274 = i. Let y be 11 + -4 + (-3 - -3) + -2. Suppose -5*z - y*q = -f, -z - z = -q - 93. Is z prime?
False
Suppose -2 = -o - 7. Is 144 + -1 + (-3 - o) composite?
True
Suppose b + 5*w = 92, -b + 0*w + 2*w + 57 = 0. Suppose 0*d + 2*j = d - 32, b = 2*d - 3*j. Suppose 4*s - d = 2*s. Is s a prime number?
True
Suppose -4*a + 3*j + 764 = 0, a - 388 = -a + 3*j. Suppose -a - 463 = -3*x. Is x composite?
True
Suppose -2*c = 4*b - 878, 5*c + 10*b - 5*b = 2205. Is c composite?
False
Suppose 0 = -11*s + 6*s + 145. Let m = s - -4. Is m prime?
False
Let g(d) be the second derivative of -11*d**5/20 - d**3/6 + d**2/2 + 4*d. Is g(-2) prime?
False
Let z be (7*-29)/(-2 - -1). Is (z/(-3))/(1/(-3)) a prime number?
False
Is (-7)/((-14)/(-2))*(-127 - 0) composite?
False
Suppose 1 = f - 2. Is f composite?
False
Suppose 4*x + 3*j - 81 = 3*x, -3*j + 345 = 5*x. Suppose 61 = r - x. Is r prime?
True
Let h = -6 + 3. Is (-46)/((9/3)/h) a prime number?
False
Suppose -2317 = 6*w - 13*w. Is w a prime number?
True
Suppose 90 = 6*w - w. Suppose l + w - 69 = 0. Is l prime?
False
Is (88/20)/(2/515 - 0) composite?
True
Let a(n) = 11*n**2 - n. Let h be a(-2). Is (21/6 + -3)*h a composite number?
False
Let b = 23 + 60. Let o = -37 + b. Is o a prime number?
False
Suppose 19*l - 1505 = 14*l. Is l a composite number?
True
Let l = -291 + 425. Is l a prime number?
False
Let f be (-3 - -2)*-5*20. Let n = f + 19. Is n prime?
False
Suppose 5*o + 25 = 5*i, 0 = 4*i - 0*i - o - 14. Suppose -2*v + 110 = i*v. Is v composite?
True
Suppose -5*l + 6 = -3*l. Suppose -2*o = l*o - 170. Is o prime?
False
Suppose -2*s + 3 = s. Let d be s + (-2 - 0)*-1. Is (d + -4)*-34*1 a prime number?
False
Let j = 8 - 4. Suppose q = j + 3. Is q a composite number?
False
Suppose r + 4*r - 4440 = 0. Suppose 0 = -3*u + j + r, 8*u = 4*u - j + 1177. Is u prime?
False
Let i(v) = v + 69. Is i(-16) a composite number?
False
Let d = 2799 - 1256. Is d composite?
False
Let l = 1081 + -524. Is l composite?
False
Suppose 4*u - u = 9. Let b(o) = 4*o - u + 3 + 10*o**2 + 3. Is b(-2) a composite number?
True
Let b(w) = w. Let k be b(-6). Let q = k + 9. Let v = 56 + q. Is v prime?
True
Let i = -139 - -228. Is i prime?
True
Let r(m) = -262*m + 3. Is r(-1) composite?
True
Suppose -3364 - 89 = -3*o. Is o a composite number?
False
Suppose s = -0*s - 2*m + 2751, -4*m = -3*s + 8203. Is s composite?
False
Let c = 5 - 2. Let u(s) = -29*s + 6. Let i(x) = -6*x + 1. Let w(j) = -11*i(j) + 2*u(j). Is w(c) a composite number?
True
Let t(y) = -y**3 - 5*y**2 + 5*y + 1. Suppose -3*o = 7 + 11. Is t(o) composite?
False
Let k = 49 + -8. Let v = -28 + k. Is v prime?
True
Suppose 5*v - 160 = -2*o + o, -5*o + 5*v = -950. Is o a composite number?
True
Let t be 14/2 + 20/(-5). Suppose 254 = -0*k + k - q, -t*k + 4*q + 757 = 0. Is k prime?
False
Let s = 2 - 5. Let q(y) = -y**3 - y**2 + 1. Let f(b) = 4*b**3 + 2*b**2 + b - 6. Let x(v) = f(v) + 6*q(v). Is x(s) composite?
True
Is 4/(-6)*(1 - 70) a prime number?
False
Let c(i) = 315*i**2 + 2. Is c(1) prime?
True
Let u be 4*4*(-21)/2. Let z = -326 - -31. Let h = u - z. Is h composite?
False
Suppose 6 = 4*w - 14. Suppose -4*y = -w*x + y + 2880, -4*x + y = -2304. Let l = x - 371. Is l a composite number?
True
Suppose 12 = 2*l - 0*l. Suppose l*n - 10*n = -956. Is n a composite number?
False
Suppose 0 = -5*d - 4*g + 2306, -3*d + 5*g + 626 = -765. Suppose z + z = d. Suppose 8*b - 2*n = 3*b + z, 0 = 2*b - 2*n - 90. Is b a composite number?
False
Let v(s) = -s**3 - 5*s**2 - 4*s - 6. Let w be v(-4). Is 4/w - (-335)/3 a prime number?
False
Let g(t) = -46*t + 9. Let m be 1/6*14*-3. Is g(m) a composite number?
False
Let o be (-12)/(-5) - 8/20. Suppose 7*q - g = o*q + 70, -4*q = 5*g - 27. Is q composite?
False
Let n(z) = z**3 + 20*z**2 - 12*z + 35. Is n(-18) a prime number?
False
Is -2 - 3/(-3) - -268 a prime number?
False
Let k(z) = 25*z