a prime number?
True
Suppose 0 = 5*q - q - 1196. Is q a composite number?
True
Let a(n) = 108*n**2 - 4*n - 5. Is a(-3) composite?
True
Let g(u) = u - 161. Let a be g(0). Let r = -108 - a. Is r prime?
True
Suppose -f + 2*f - 59 = 0. Is f composite?
False
Suppose 5*x - 6*x + 391 = 0. Is x composite?
True
Suppose 3*v - 16 = -3*t + 11, 0 = 2*t - 3*v - 3. Suppose -a + 580 = t*i - 2*i, 4*a + 145 = i. Is i prime?
False
Let q(w) be the first derivative of w**5/120 - w**4/12 + w**3/3 - 2. Let o(j) be the third derivative of q(j). Is o(8) a prime number?
False
Suppose 0 = 4*n + 2*z - 14, z = -0*n + 2*n - 13. Suppose n*p - 13 - 12 = 0. Let l(v) = 2*v**2 + 5*v + 4. Is l(p) a prime number?
True
Let k = -6 - -9. Suppose -k*d - 20 = -197. Is d prime?
True
Let f(g) = 6*g**2 + 2*g - 1. Let k be f(1). Let r(u) = u**3 - 8*u**2 + 7*u + 2. Let o be r(k). Suppose o*s = -2*t + 30, 4*t - 14 = 6. Is s prime?
False
Let z be (5 - 8) + 1 + 1. Let s(r) = 8*r**2 - 2*r - 1. Is s(z) composite?
True
Suppose -940 = -3*j + 428. Suppose -4991 + j = -5*r. Is r a prime number?
True
Let j be (6/(-9))/((-4)/18). Suppose -6*v = -5*v - j. Suppose -v*g = -7*g + 316. Is g composite?
False
Is 503 + 72/34 + (-24)/204 composite?
True
Suppose -6*l - 4*i = -2*l - 964, 0 = -i + 5. Suppose -59 = -5*w + l. Is w a prime number?
True
Is (0 + -506)*(-2)/4 composite?
True
Let c = 16214 - 3361. Is c prime?
True
Suppose 1129 = 8*x - 1263. Is x a composite number?
True
Let f(y) = 2 + y - 4 + 5*y**2 + 3. Is f(-3) a prime number?
True
Let x(c) = 11 + c + 19 - 23. Let v = 9 - 14. Is x(v) a prime number?
True
Suppose 2*i - 5*p = -187, -3*i + 3*p + 58 = 334. Let d = i - -166. Suppose x + 4*x = d. Is x composite?
True
Let g(h) = h**2 - h**2 + 4*h + 3*h**2 + 3 - h**2. Let c be ((-1)/(-2))/(1/(-12)). Is g(c) composite?
True
Let l = -235 - -3268. Let x be l + -2 - 0/1. Is (-2)/(-5) - x/(-35) prime?
False
Let j(n) = n + 5. Let x be j(-5). Is 31/(x + 1 - 0) prime?
True
Let k be (-8)/(-52) - 3621/(-39). Suppose t + 3*q - 62 = k, 3*t - 3*q - 489 = 0. Is t a composite number?
True
Let y(j) = 113*j**2 + 4*j + 4. Is y(-3) a composite number?
False
Let f(l) = l**3 + 3*l**2 + 2*l - 1. Let a be f(-2). Let z be 2/(-3 - 5/a). Suppose -3 - z = -d. Is d prime?
False
Let r(q) = q**3 - q**2 - q + 1. Let d be r(2). Is 30 + (-1)/(d - 4) a composite number?
False
Let o = 258 + 1365. Is o composite?
True
Let n(f) = -f**3 - f**2 - f - 47. Let s be n(0). Let o = s + 185. Suppose b - o = -b. Is b a prime number?
False
Suppose -3484 = -17*q + 13*q. Is q prime?
False
Let t = 100 + 72. Let q = 291 - t. Is q prime?
False
Let d be ((-3)/6 + 0)*-44. Suppose 2*s - d = -g, -3*g + 4*s = 3*s - 66. Let k = 27 + g. Is k a composite number?
True
Suppose 2*n - 3*n - 3*u = -12, -3*n - 3*u = -18. Suppose 12 = n*q - 5*d, -3*q = q - d - 16. Suppose 2*o + 3*z - 71 = 0, 2*z - q = 2. Is o a prime number?
True
Suppose 4*s = 2954 - 450. Is s a composite number?
True
Let v be (-1641)/(-15) - 2/5. Suppose 5*x = v + 46. Is x a prime number?
True
Is (4/10 - 0)/((-15)/(-2175)) composite?
True
Let h = -11 + -2. Let p be 7/(2 - h/(-7)). Suppose 0 = -2*q + 3*q - p. Is q prime?
False
Let n = 146 - -111. Is n a prime number?
True
Let k = -140 - -252. Let f be (k + -1)*10/5. Let l = -127 + f. Is l a composite number?
True
Let q(m) = 2*m - m + 1 - 3. Let v be q(7). Suppose 2*h - 28 = -2*x, v*h + x - 70 = 3*x. Is h composite?
True
Let w(a) = 5*a - 2 + 92*a**2 + 9 - 73*a**2. Is w(-3) a composite number?
False
Let a be 1884/8 - 3/(-2). Let f(j) = j**3 + 8*j**2 + j + 10. Let m be f(-8). Suppose c - a = -m*c. Is c composite?
False
Let d(k) = 9*k**2 + 4*k + 3. Let z be d(-2). Suppose 0 = 4*s - 219 + z. Is s a prime number?
True
Suppose 4*q + 5921 = 23101. Is q prime?
False
Let l = -17 + 24. Suppose 3*m - l*m = 0. Suppose m = 2*d - 4. Is d a prime number?
True
Let s(o) = o**3 - 6*o**2 - o + 8. Let v be s(6). Suppose -3*p - 128 = -5*h, -29 = -v*h - 2*p + 19. Is h a composite number?
True
Suppose -1482 = -2*l + 4*m, 3*m - 4 = m. Is l composite?
True
Let t = 9 - 9. Suppose 5*d + t*d = 2065. Is d a prime number?
False
Is (10821/(-3))/(-1*(-2)/(-2)) a prime number?
True
Suppose 7 + 1 = 2*c. Suppose 1655 = c*l - m, -l + 2071 = 4*l - 2*m. Is l prime?
False
Let v(p) = 3*p**2 - 2*p + 1. Is v(6) prime?
True
Suppose 5*z = 643 + 1482. Suppose 0 = 4*d - z + 117. Is d composite?
True
Suppose -2*x + 3*i + 11 = 0, -4*x - 6 - 17 = 3*i. Let p(c) = -c**2 - 3*c + 1. Let m be p(x). Suppose m*v - 63 - 222 = 0. Is v a composite number?
True
Let k(m) be the first derivative of m**2/2 + m + 4. Let o be k(-1). Suppose -2*d + 252 = 2*q - 0*q, q - 3*d - 106 = o. Is q composite?
True
Let g be 3/(1*(-3 + 2)). Let c = g + 4. Is (-8)/(-4) - c*-17 composite?
False
Let p be ((-27)/(-18))/((-2)/(-4)). Suppose -509 = -p*v - r, 949 = 5*v - r + 106. Is v a composite number?
True
Let y = 10 + -7. Suppose 4 = y*c - 5. Suppose -c*g + 12 + 34 = 2*u, g = 0. Is u prime?
True
Suppose -7*t = -2*t + 20. Let j = t - -18. Suppose 2*r - 60 - j = 0. Is r a prime number?
True
Suppose 3*m - 16 = -5*z, -3*m + 2*z - 8 = 11. Let q(y) be the third derivative of y**6/120 + y**5/10 + y**4/8 + y**3/6 + y**2. Is q(m) a composite number?
False
Let u = -14 + 47. Suppose 0*j - 5*j + 2*w = -u, 5*j - w = 29. Suppose -v + j*i + 25 = 0, 2*i = -3*v + 35 + 6. Is v composite?
True
Suppose 5*g = -0*g + 5, -5*s + 5*g = -20. Suppose -5*a = 2*c - 37, 0 = 2*a - 2*c - 0*c - 26. Suppose s*j - n = 96, 2*j + n - 46 = -a. Is j composite?
False
Let r(b) = b**3 + 12*b**2 + 9*b + 3. Is r(-8) composite?
True
Let m be (2 - 3)/((-3)/15). Let u(c) = -29*c**2 + 7*c + 1. Let i be u(m). Let y = -454 - i. Is y composite?
True
Let r(o) = -176*o - 2. Let z(g) = -g - 1. Let q(t) = r(t) - 3*z(t). Is q(-2) prime?
True
Let l = -6 - -9. Is l/(-2)*(-28)/6 a prime number?
True
Let l be (1 - -2)*(-16)/(-6). Suppose -2*p - 3*h + l*h = -20, 3*h = -p - 1. Suppose -49 = -2*j - p. Is j prime?
False
Let k(v) = 73*v + 6 - 7 + 139*v - 4. Is k(3) a composite number?
False
Suppose -2*u + 0 = j - 7, 4*u + 91 = 5*j. Is j a composite number?
True
Let v = 42 + -25. Suppose 3*z - 5*c + 3 = 0, -4*c = -v + 5. Suppose -71 = -3*r - 2*m + z, -3*m = -2*r + 37. Is r a composite number?
False
Suppose -5*d + 364 = -d. Is d composite?
True
Let d be 5/3 - 4/6. Is (59/(3/3))/d prime?
True
Suppose a - 78 = -5*m, 5*a - 3 = 4*m - 48. Is m composite?
True
Suppose 5*x + 2 = 2*x - w, 4*w + 8 = 3*x. Suppose -m + 7 - 19 = x. Is (67/(-4))/(3/m) a composite number?
False
Let d = -1 + -6. Is 9/(-1)*d + 2 a prime number?
False
Suppose -364 = -4*b + 3*w, 4*b - 4*w - w - 364 = 0. Let u = b + 94. Is u composite?
True
Suppose -5*f = b + b - 4337, -2*b + 2*f = -4316. Is b composite?
False
Let u = -260 - -658. Let c = 592 - u. Suppose 3*w = 845 - c. Is w a prime number?
False
Let k = -22 + 14. Let i(p) = -14*p**3 - 24*p**2 + 13*p + 26. Let h(t) = -5*t**3 - 8*t**2 + 4*t + 9. Let u(j) = 11*h(j) - 4*i(j). Is u(k) composite?
False
Suppose 3*l + 15 = -y, -4*l - 20 = -y - 2*y. Suppose y = n + 2*n + 219. Let s = -4 - n. Is s composite?
True
Let q be (4 - -8)*(-1)/(-2). Suppose 4*w + q*k - 35 = k, 50 = 5*w + 5*k. Suppose -4*l + 45 = -w. Is l composite?
True
Suppose a - 501 = -2*x + 228, 2*x = -4*a + 2886. Is a prime?
True
Let u(b) = -2*b + 4. Let y be u(4). Let k = 8 + y. Is -2 + k + 259 + -2 prime?
False
Suppose -3*k + 2*k = 4*n - 5, -7 = -2*n + k. Suppose 5*l + 3*v - 6*v = 291, 0 = v + n. Is l prime?
False
Let u be 6 - 5 - (1 - -2). Let k be u/(2*3/(-12)). Suppose 69 = -k*l + 5*l. Is l prime?
False
Let y be -3*2/((-6)/149). Suppose -3*z = -y + 47. Suppose 3 - z = -t. Is t composite?
False
Suppose 3*d - 1576 = -d. Is d a composite number?
True
Let w(h) = h - 3. Let k be w(-5). Let i(b) = b**2 - 5. Is i(k) a prime number?
True
Suppose -h - 3*h + x + 325 = 0, 2*h - x = 165. Suppose -3*g = -h + 17. Suppose 4*y - 31 = g. Is y a composite number?
False
Is 5210/6 - (-8)/48*4 a prime number?
False
Let x be ((-16)/(-6) - 2)*-3. Let f be 1 - (-1 - (-4)/x). Suppose -f*p = -0*o - 4*o + 596, 5*o - p = 745. Is o a prime number?
True
Let d be -1*(-2 - -3)*-1. Let s = d + -1. Suppose 5*z - 55 = 5*j, s = -3*z + 6*z + 4*j - 61. Is z composite?
True
Suppose v - 6*l = -2*l + 114, 0 = -l + 1. Suppose 0 = 4*q + 3*f - f - v, -4*q = 3*f - 115