 prime number?
False
Let q(m) = m**3 - 11*m**2 - 12*m + 2. Let k be q(12). Suppose -k*i + 574 = -2. Suppose -759 = -3*r - i. Is r a prime number?
True
Let g(c) = -230*c + 35. Is g(-27) a composite number?
True
Suppose z - 5*z = -16. Suppose -3*o + 2 = -z*u, 2*u + 7 = -o + 1. Is 31/((o - -1)/(-1)) a composite number?
False
Let b(h) = -8*h**2 + h + 1. Let z be ((-2)/4)/((-4)/(-8)). Let m be b(z). Let t = m - -22. Is t composite?
True
Let m(o) = -7*o + 35. Let z(h) = -4*h + 17. Suppose -5*b + 2*w - 41 = w, w = -b - 13. Let n(r) = b*z(r) + 4*m(r). Is n(6) a prime number?
False
Let g(z) = 26*z**2 + 18*z + 3. Is g(14) a prime number?
True
Suppose -1903 = 4*d - 14147. Is d prime?
True
Let q(x) = x**3 + 26*x**2 + 12*x - 6. Is q(-25) composite?
True
Is ((-4)/24)/(6/(-30204)) a composite number?
False
Let m be (-2)/(-6) + (-156)/(-18). Suppose -m = -4*n - k, 4*k = -3*n - 0*n + 10. Suppose 5*l + 341 = 4*d, d + l = -n*l + 98. Is d a prime number?
True
Let c = -13 + 14. Let r be c*(3 - 4)*-2. Is r - (-105 - 0)/3 composite?
False
Suppose -2*d - 3*y = -610, 5 = -4*y + 13. Let u = -526 + d. Let c = -23 - u. Is c a composite number?
True
Let m(r) = r - 4. Let j be m(5). Let n be (32/24)/(j/3). Suppose n*s - 379 + 23 = 0. Is s prime?
True
Let k(b) = -44*b + 1. Let m(d) = -88*d + 2. Let o be (0 + 2/1)/(-1). Let c(p) = o*m(p) + 5*k(p). Is c(-2) a composite number?
False
Let w(l) = -l**3 + 2*l**2. Let h be w(0). Suppose h = -5*v + v + 2148. Is v a composite number?
True
Let p = 23 + -16. Suppose p*r - 124 = 5*r. Suppose 2*a = -r + 360. Is a a prime number?
True
Suppose 0 = q + 5*b - 2122, -2*q = -4*q + 5*b + 4244. Suppose -3*g = -12, 0*g + q = 2*a + 3*g. Is a a prime number?
False
Let q(c) = 5*c - 10. Let v be q(1). Let a(g) = -10*g**3 - 5*g**2 + 13. Is a(v) composite?
True
Suppose -n - 13 = 2*k, -2*k - 4*n = 1 - 3. Is (k - 2)/(1/(-19)) a prime number?
False
Suppose 601035 = 3*j + 12*j. Is j composite?
True
Suppose 3*m + 0*l - 8 = l, -5*m - l = -8. Suppose -4*o - 3*c = -60, 5*o - m = -5*c + 73. Is (-2)/(-5) + 459/o prime?
True
Let z(n) = -n**2 - 9*n - 8. Let m be z(-8). Let v = -56 - -71. Suppose m = -r - 5 + v. Is r a prime number?
False
Let u = 3793 - 2016. Is u composite?
False
Let g(n) = 12*n + 6. Let h(q) = -14*q - 7. Let y(l) = 4*g(l) + 3*h(l). Let w(v) = -v**3 - 3*v**2 - 2*v + 2. Let o be w(-3). Is y(o) composite?
True
Suppose -u = 4*d - 71785, 2*u - 2*d = 7158 + 136392. Is u prime?
True
Let j be (-2)/4*(-10096)/2. Suppose -5*o + o = -j. Is o a prime number?
True
Let q = 57092 - 36495. Is q composite?
True
Let b(p) = -6*p - 1. Let r be 1 + 2 + -1*14. Let w be r + (3 + -4 - 3). Is b(w) a prime number?
True
Let o(c) = c - 25. Let i be o(11). Let t be 93/21 + 6/i. Suppose -2*l - j + 3*j + 368 = 0, 2*l - 378 = t*j. Is l composite?
False
Suppose 9*b + 12196 = 43075. Is b composite?
True
Is 1042/(-10)*(7 - 12) prime?
True
Let o(m) = 96*m**2 - 12*m - 7. Is o(4) prime?
True
Let l(c) = -318*c - 43. Is l(-9) prime?
True
Let u(d) = -d**3 + 9*d**2 - 9*d + 1. Let v be u(7). Suppose -3*g - 54 = 5*m, 0 = -3*g + 5*m - 4*m - 36. Let s = g + v. Is s prime?
True
Suppose a = -q - 560, 4*q + 271 = 3*a + 1923. Let g = a - -937. Is g composite?
True
Let u(m) = 166*m + 11. Is u(26) composite?
False
Let p = 9 - 6. Suppose 0 = 4*m - 5*n - 824, 2*m - p*m = -n - 207. Is m composite?
False
Is ((-10)/(-1))/(56/16716) - -2 composite?
True
Suppose 2*f + 44 = f. Is 11/f - 3178/(-8) prime?
True
Let b(s) = -91450*s**3 + 2*s**2 + s + 2. Is b(-1) a composite number?
False
Let i be 65 - 15/(0 - -5). Let q = 342 - 198. Let n = q - i. Is n prime?
False
Suppose -7478 = -9*d + 9469. Is d composite?
True
Suppose -4*p = -n - p - 12, 4*n = 5*p - 13. Suppose 0 = i - 0*i - n*o - 1096, -5*i = -4*o - 5447. Is i prime?
True
Let s = 53195 - 37582. Is s composite?
True
Let r(p) = p + 7. Let w be r(-8). Suppose b + 5*g = -2*b - 26, -5*g - 28 = 4*b. Is -53*(-2 + (w - b)) a composite number?
False
Let z be (-443)/(-7) + 10/(-35). Let p(h) = h**3 - h**2 + h + 6. Let m be p(0). Suppose -m + z = 3*w. Is w a prime number?
True
Suppose 0 = -4*u - 3*x + 4227, 5*u - 1855 - 3428 = -4*x. Let y = 158 + u. Is y composite?
False
Let w(r) = -r**3 - 5*r**2 + 3*r + 16. Let x be w(-5). Is x - ((-4)/(-10))/((-2)/4490) a composite number?
True
Let g(s) = 120*s + 6. Let z be g(20). Is z + (-4 - -7) - -2 composite?
False
Let c = -9 - -5. Let w(m) = -m**2 + 14*m + 9. Let y be w(15). Is (255/y)/(2/c) a composite number?
True
Suppose 3*i - 21 = 39. Suppose -5*g = -0*g - i. Suppose 0 = -d, 64 - 212 = -4*c - g*d. Is c prime?
True
Let s = -459 - -1165. Let q = s + 271. Is q a prime number?
True
Let h(o) = 1 - 3*o + 0 + o - 2 + o**2. Let l be h(2). Is 156/3 + l/1 a prime number?
False
Suppose -1593 = -3*c - 3*z, -c - 9*z + 551 = -13*z. Is c a prime number?
False
Let y(x) = 168*x**2 + 84*x + 1. Is y(13) prime?
False
Suppose -19*u - q = -24*u + 226163, -5*u + 3*q + 226159 = 0. Is u a prime number?
True
Let r(t) = 59*t**2 + 3*t + 1. Is r(3) a composite number?
False
Let n(c) = 22*c**2 - 10*c**2 + 2 - 7 - 7*c - c**3. Let l be n(9). Suppose -2*d + 4*g = 3*d - 175, -2*g = 5*d - l. Is d a prime number?
False
Suppose -11*d - 15*d + 43030 = 0. Is d composite?
True
Let u(j) = -j**3 + 8*j**2 + 5*j + 5. Is u(7) prime?
True
Let o(z) = 4*z**3 + 10*z**2 + 8*z - 35. Let q(h) = 7*h**3 + 21*h**2 + 15*h - 69. Let y(b) = 5*o(b) - 3*q(b). Is y(-13) a composite number?
False
Suppose 4*s + 7145 = 23757. Is s prime?
True
Suppose 124*k - 128*k + 3*y + 31259 = 0, 23460 = 3*k + 3*y. Is k a prime number?
True
Suppose 0 = 2*u - 130 + 52. Is (0 - 2)/1 + u a composite number?
False
Let l(g) = 123*g**2 + 19*g + 12. Let h be l(-7). Suppose h + 340 = 18*q. Is q prime?
True
Is ((-3)/(-12))/((-16)/(-309184)) a prime number?
True
Let b be (1632/(-5))/(-4)*20. Suppose -7*o + 11*o = -b. Let l = o - -897. Is l a prime number?
False
Suppose 2*d - 2 - 10 = 2*x, -10 = x - 3*d. Let u be (-3 - -1)/(x/26). Suppose 2*t = 267 - u. Is t a prime number?
True
Let d = -128958 + 186375. Is d prime?
False
Let g = 8 + -4. Let n(q) = -15*q - 4*q**2 - 4*q + 16*q + 1 + 2*q**3. Is n(g) composite?
False
Suppose 5*p - 20 = 6*u - u, -p + 4 = -3*u. Suppose p*h - 52 = 4*k, -k = 3*h - 6*k - 45. Let w(f) = 39*f - 1. Is w(h) prime?
True
Suppose 4*y - 4*v + 28 = 0, -4*y - 2*v + 3*v - 13 = 0. Is 28917/36 + y/8 composite?
True
Suppose 2*p - 5*j + 24 - 1 = 0, -2*p = -3*j + 13. Let v be (1/p + -2)*0. Suppose -265 = -v*y - y. Is y a composite number?
True
Let g(h) = -h - 1. Let x be g(-9). Suppose x*w + 1310 = 3*w. Is (-1)/(1 + 264/w) prime?
True
Let l = -3231 + 6688. Is l composite?
False
Let m be (-16)/28 - (-132)/(-14). Let p(d) = -76*d - 12. Let x be p(m). Let k = x + -39. Is k composite?
False
Let m = 1910 - 1353. Is m prime?
True
Let b(f) = f + 10. Let c be b(-8). Suppose -9 = i - 2*p - 117, -c*i + 241 = p. Is i a prime number?
False
Let l(v) = 362*v - 69. Is l(1) prime?
True
Let j(y) = -4*y + 1. Let g be j(-2). Suppose 5*x = g*x. Is x + 2 + 0 + 0 prime?
True
Suppose -3805 = -3*n - 2*h, 4*n + 4*h - 6345 = -n. Suppose -2*w - 4*j = -5*w + n, 2070 = 5*w + j. Is w composite?
True
Suppose -2*b - 13 + 9 = 0, 5*j + 2*b - 25386 = 0. Is j composite?
True
Let y = 12 + -13. Let f(c) = -136*c + 1. Let u be f(y). Let k = -24 + u. Is k a composite number?
False
Let y(a) = 944*a - 13. Is y(4) a prime number?
False
Suppose 3*o + 4*q = -18, 2*o + 12 = q - 3*q. Let k(s) = s**2 + 5*s + 9. Let g be k(o). Suppose 0 = -m + 11 + g. Is m prime?
False
Let i(g) = 8*g**2 - 2*g**3 + 9*g + g**3 + 2*g**3 + 3*g**3 - 7. Is i(6) prime?
False
Is ((-1115)/10)/(((-9)/(-6))/(-3)) a composite number?
False
Suppose -2*c = -3*c + 2*n - 4, -29 = 5*c - n. Let i(y) = 0*y - 7*y - 7 + 2*y. Is i(c) a composite number?
False
Suppose -4 = -2*c + 4. Suppose -5*h = c*l + 13, -h + 7 = 4*l - 0*l. Suppose 2*o = -l*o + 895. Is o composite?
False
Suppose 0*j = 4*j - 16. Suppose 4 = j*r + 44. Is 93/6*r/(-1) composite?
True
Suppose -2*u = -5*f + 26, u - 4*u = -3*f + 12. Let m(b) = -b + 17. Let h be m(8). Suppose -h*j + 45 = -f*j. Is j a prime number?
False
Is ((-2)/3)/(20/(-189870)) a composite number?
False
Suppose 8*o = -7771 + 45363. Is o composite?
True
Let b be ((-9)/(-6))/(6/8). Suppose -b*h + 26 = 2*h - 2*t, -2*t - 11 = -h. Suppose 0 = -3*j - 2*z 