 prime number?
True
Suppose -2*g + 3 + 7 = 0. Let x = 1 - g. Let o = 0 - x. Is o composite?
True
Let r(l) = l**2 + l + 3. Let u = -5 + 5. Let z be r(u). Suppose 2*p + 4*i = 290, -2*i + 86 = z*p - 357. Is p composite?
False
Is 10/4*13412/35 composite?
True
Is 507 + (-4 + 4 - -4) a prime number?
False
Let a be -3*(-6)/(-9) - -102. Suppose -5*h + h = -a. Suppose 2*j + h = 3*j. Is j prime?
False
Suppose -5*p = -2468 - 4437. Is p a composite number?
False
Suppose c - 835 = -4*z, -5*z = -c - 4*c + 4175. Is c a prime number?
False
Suppose -3*h + 67 = -2*f - 19, 0 = f + 1. Suppose 5*w = 123 - h. Is w composite?
False
Suppose 2817 = 2*w - 97. Is w prime?
False
Suppose 3*r - r - 12 = -2*u, 2*u + 5*r - 15 = 0. Suppose u*d - 3*d - 422 = 0. Is d a composite number?
False
Is (1 - 0)*-4*25304/(-32) composite?
False
Let g = 56 - -195. Is g a composite number?
False
Let s(o) be the second derivative of -o**4/12 + 4*o**3/3 - 7*o**2/2 + 2*o. Let n be s(7). Suppose 134 = 2*i - n*i. Is i composite?
False
Let c(t) = 84*t - 4. Let a be c(-4). Is (2 - a) + -1 + 0 composite?
True
Suppose -2*f + 113 = 3*s, 2*s + 3*s - 115 = -2*f. Suppose -8*t = -3*t + f. Let o(b) = -5*b - 16. Is o(t) prime?
False
Let y(s) = -15*s - 2. Let b be y(2). Let t = 82 + b. Suppose -3*h = -h - t. Is h prime?
False
Let s = 13 + -26. Is s/91 - (-540)/7 a prime number?
False
Let a = 165 + 212. Is a a prime number?
False
Let v(n) = 1 + 0 - 2 + 34*n**2. Let m be v(-1). Suppose 2*j + 3 = d + m, -3*j = d - 45. Is j a prime number?
False
Let r(c) = -c**2 - 2*c + 11. Let z be r(-5). Is 8*(-1 + (-57)/z) composite?
True
Let s(m) = -m**2 + 3*m + m + 2*m + 3. Let f be s(6). Suppose 0*h + 30 = f*h. Is h prime?
False
Let i(w) = -3*w - 5*w - 9*w. Is i(-7) a prime number?
False
Let l = -8 + 11. Suppose x - l*z = 19, 4*x + x + 4*z = 19. Suppose 5*f + 5*d = 55, d + 0*d + x = f. Is f prime?
False
Let d(t) = -84*t + 1. Is d(-1) prime?
False
Let z = -1 + 3. Is (1/3)/(z/138) prime?
True
Let z = 7 - -44. Suppose 7*k - 580 = 2*k. Let j = k - z. Is j composite?
True
Let s(p) be the second derivative of 17*p**4/4 + p**3/6 - p**2/2 - p. Is s(1) a prime number?
False
Let c = -575 + 922. Is c a prime number?
True
Suppose 4*n - 1070 = 5*g + 791, 3*g = n - 460. Is n composite?
True
Let b(x) = -x**3 + 23*x**2 + 3*x + 28. Is b(23) a composite number?
False
Suppose 2*g + 8*g - 1180 = 0. Is g prime?
False
Let p(z) = z**2 + 10*z + 13. Let h be p(-9). Suppose h*t = 342 + 142. Is t a composite number?
True
Let b = -2 + 2. Suppose 2*k + 1 + 1 = b. Is (0 + -1)/k*127 prime?
True
Let b(z) = -2*z**3 + z**2 + z + 2. Let t be b(4). Let o = t + 161. Is o prime?
False
Is ((-31)/4)/(17/(-6052)) composite?
True
Let l(i) = i**3 + 17*i**2 + 19*i - 31. Is l(-15) a composite number?
True
Let c(y) = y**3 + y**2 - 1. Let z(w) = -w**3 - 3*w**2 - w - 3. Let p be z(-3). Let j = 4 - p. Is c(j) composite?
False
Suppose -3*t = -7*t - 56. Let k(f) = f + 24. Let q be k(15). Let d = q - t. Is d a composite number?
False
Suppose -7*x = -p - 3*x + 145, 5*p - 4*x - 773 = 0. Is p prime?
True
Let x be (3 - 1) + 2/(-2). Let s(n) = -x - 2*n + 6 + 4*n + n**2. Is s(-4) prime?
True
Suppose 3*f = f. Suppose -t + 66 + 145 = f. Is t composite?
False
Suppose -184 = -k - 5*q, 3*k - 250 = -q + 232. Is k composite?
True
Let k(v) = 3*v**3 + 3*v**2 - 3*v + 3. Suppose 5*f - 6 = 2*f. Is k(f) a composite number?
True
Suppose -x + 15 = 2*x. Suppose c + m = -0*m - x, 3*c + 4*m = -18. Is c/9 + 168/27 a prime number?
False
Let h = 3210 + -1163. Is h composite?
True
Is 24483/6 - (-18)/(-12) prime?
True
Suppose 4*u = 5*y + 1048, 5*u + 3*y + 248 = 1521. Suppose -v - a + 269 = 0, -a - a - u = -v. Is v prime?
False
Suppose 3*j = 4*o - 27973, 4*o + 4*j = -j + 28013. Is o prime?
True
Let m = -60 + 934. Suppose -m - 74 = -4*t. Suppose b + 5*v - 139 = 0, 2*b - t = v - 3. Is b composite?
True
Let h = -20 + 20. Suppose 2*n - 5*n + 305 = 4*d, h = 5*d - 5*n - 355. Is d prime?
False
Suppose 2*c + 2 = -6, c = 2*h - 2274. Is h prime?
False
Let g(n) = 269*n**2 + n + 1. Let j be g(-1). Let a = 515 - j. Suppose a = 2*r - m - m, -r + 4*m + 135 = 0. Is r composite?
True
Suppose -330 = -2*w - 0*w. Suppose -t = 3*l - 653, 0 = 3*t - l - 1764 - w. Suppose 3*n - 7*n = -t. Is n composite?
True
Let w = 11 - 7. Let g(m) = 6*m**2 - m + 2. Is g(w) composite?
True
Suppose -3 - 9 = -4*o. Suppose 2*a - 8 = -4*w + 72, 4*w - 70 = o*a. Is w composite?
False
Let l(c) = 27*c**2 - 4*c + 2. Is l(3) a composite number?
False
Suppose 4*s - 94 = -0*o - 2*o, -3*s - 209 = -5*o. Suppose 2*r + j = 6*j + 88, -r + o = -2*j. Is r composite?
True
Suppose -4 = 8*d - 36. Let x = -3 + 6. Suppose 0*q = 5*c - 2*q - 285, -d*q = x*c - 145. Is c a composite number?
True
Let u = -197 - -288. Is u a prime number?
False
Suppose 0 = -g - 4 - 8. Let x = g - -27. Is x prime?
False
Let s(u) = -4*u**2 - u - 2. Let p(z) = -17*z**2 - 5*z - 8. Let a(k) = 2*p(k) - 9*s(k). Let m be a(3). Let g = 26 - m. Is g a composite number?
True
Suppose -4 = z - x + 4*x, -14 = -2*z + 5*x. Suppose -5*y + 996 = -z*y. Suppose 0 = s + 3*s - y. Is s prime?
True
Let k be (-1 - (-21)/15)*15. Suppose g + n = 0, -4*n + 2 - k = 3*g. Suppose -g*v - i + 29 + 62 = 0, -4*i + 88 = 4*v. Is v composite?
False
Let d = 7 - 4. Suppose 0 = a - 7 - d. Is a prime?
False
Let r be 5 - 1 - 1*3. Is (573/6)/(r/2) composite?
False
Let a be (27/15)/(3/10). Suppose 4*i - t - 537 = 0, 5*i - 634 = -5*t + a. Is i a composite number?
True
Suppose 0 = 12*a - 16*a + 2948. Is a a prime number?
False
Suppose -16*k + 12*k + 2524 = 0. Is k composite?
False
Suppose c - 5*p = 89, 2*p = 3*c + p - 323. Is c prime?
True
Suppose -120 = -4*v + 32. Is v prime?
False
Let g be (-2)/4 + 14/4. Suppose g*q - 20 = 103. Suppose 4*h - 35 - q = 0. Is h composite?
False
Let z(a) = -a**3 + 12*a**2 + a + 1. Is z(7) a prime number?
False
Suppose 0 = 4*y + c - 21, 2*y + c = y + 9. Suppose -y*z + 207 = -137. Is z prime?
False
Suppose -2*s + 6*s = 72. Suppose 0*q = -3*q + s. Is q a composite number?
True
Let g = 2022 - 1145. Is g composite?
False
Let t = -15 - -31. Let f be (9/(-4))/(4/t). Is 2/9 + (-475)/f prime?
True
Let d(h) = 14*h**3 - 4*h + 11*h**3 - h**2 + 1 + h. Is d(2) composite?
False
Suppose 2*y - 4*m + 8 = 0, -m = -0*m - 5. Is y a composite number?
True
Let n be (-1 - (1 + -1))*-2. Suppose 0 = -n*k + 95 - 15. Let h = k - -11. Is h a composite number?
True
Suppose 0 = -y - 5*s - 20, 2*s + 1 + 9 = 0. Suppose 5*d - 17 + 2 = 0. Suppose -382 = d*g - y*g. Is g a composite number?
False
Suppose -6*d + 3*d - q = -60, 3*q = 2*d - 40. Suppose 5*f = d, -1 = -3*l - 2*l - 4*f. Let z = 4 - l. Is z a composite number?
False
Suppose 5 = -2*g - 2*g - v, 5 = g - v. Suppose g = 2*m - 5*m + 69. Is m composite?
False
Let q(a) = -202*a**3 - 2*a**2 + 2*a + 2. Let h be q(-2). Suppose -3*m = 349 - h. Is m composite?
False
Let x be (-7)/(-1) + -6 + 3. Is 2984/56 - x/14 a prime number?
True
Let s(k) = -59*k. Suppose -6*o + 13 = q - o, -5*q - 5*o = -5. Is s(q) a prime number?
False
Let z(b) = 185*b**2 - 2*b - 3. Let i be z(-2). Suppose i = -s + 4*s. Is s composite?
True
Let k(s) = s**3 + 8*s**2 - s - 7. Let r be k(-8). Let w be 1 - ((1 - 3) + r). Suppose -w*n + n = 2*v - 11, 2*v - 29 = 5*n. Is v prime?
True
Suppose -4*f + 141 - 37 = 0. Let v = 244 - f. Let t = v - 127. Is t prime?
False
Suppose 2*u = 9*u - 27937. Is u composite?
True
Suppose 0 = -2*d + 2*g + 1306, 5*g = -5*d + 3*g + 3272. Suppose d = 3*r + 225. Is r composite?
True
Let f be (-5)/(2/(-6) + 0). Let u be f/(-6) - 3/(-6). Is u/(1 - 147/141) composite?
False
Is 5/2*(46*3 + -4) a composite number?
True
Is ((-13698)/36)/(2/(-4)) a composite number?
False
Let m(n) = -n - 5. Let p be m(-6). Let a be -2 + 0 + (p - 7). Is a/(-10)*(-75)/(-10) a composite number?
True
Is (-1)/3 - 58304/(-24) prime?
False
Suppose -2*r = -7 + 3. Suppose -5*l + l - 17 = 5*x, -x - 1 = r*l. Suppose 156 = 5*c + o, -l*c = -0*c - 4*o - 58. Is c a composite number?
False
Let c(a) = 87*a - 1. Is c(4) a prime number?
True
Let f = 386 - 163. Is f a prime number?
True
Let m(l) be the second derivative of -7*l**3/6 - 5*l**2 - l. Let g be (9/(-4))/((-2)/(-8)). Is m(g) composite?
False
Let k be (-20)/(-4) - (1 - -1). Let l be -20*1/2*k. Is (-920)/l + 1/3 a prime number?
True
Let y = 9 + -30. Let t = y + 36. Is t a prime n