prime number?
False
Suppose b - 6 = -q, -5*q + 0 = -2*b - 16. Let i be (q/12)/(1/(-15)). Is i/15*(-137 + -1) a prime number?
False
Let q be (4/3)/(22/1848). Is 19203/13 + (2 - q/52) a composite number?
True
Let a(f) = 550*f**3 + 2*f**2 + 1. Let b(o) = -o**2 + 24*o + 27. Let j be b(25). Is a(j) prime?
True
Let z(f) = -2*f - 3. Let a be z(-2). Let y be (3 - a) + -1 + 1. Suppose -5*p + 119 = 2*u, 5*u + y*p = 3*u + 104. Is u composite?
False
Let i = -79 - -54. Let d = i + 27. Suppose 0 = d*k + 6, -3*c + 2*k + 2*k = -153. Is c prime?
True
Suppose 4*j - 5*w = 31062, -3*w = -3*j + 6436 + 16859. Suppose 8*g = 2325 + j. Is g prime?
False
Let q(d) = 1024*d - 107. Is q(4) composite?
False
Suppose -3*u = 5*w + 1 - 2, 3*w = 3*u - 33. Suppose 462 = u*v - v. Is v a composite number?
True
Suppose 5*x - 3*x = -3*j + 75663, -5*x = -5*j + 126080. Is j a composite number?
False
Suppose 0 = 4*f + 8, 5*t - 4*t = -f + 4333. Suppose 2*g - t = 1543. Is g prime?
True
Suppose -3*x + 3*u + 20352 = 0, -5*u - 26 = -1. Is x composite?
False
Suppose -3*v + 12 = -v. Let a(u) = 14*u**2 + v*u - u**3 + u**2 + 0*u**3 + 21 + 0*u. Is a(15) prime?
False
Let o = 542 - 355. Suppose 3*c = -2*n + 407, o = 2*n - n - 4*c. Is n a composite number?
False
Let z(a) = a**2 - 2440. Let c be 3 - (-2)/(4/(-6)). Let w be z(c). Let i = 3417 + w. Is i a prime number?
True
Suppose -61*a = -63*a + 21166. Is a prime?
False
Let b(x) = 1096*x**2 + 2*x - 2. Let y be b(3). Suppose 0 = 7*z - y - 32755. Is z a prime number?
True
Let d = 13403 + -7524. Is d a prime number?
True
Suppose 4*v = 7121 - 1069. Is v prime?
False
Let j = -5 + 9. Suppose -q + 8 = j*v, -4*v = q + 2*q. Suppose -4*s - v*m + 296 = 0, 2*s - 115 = m + 43. Is s a composite number?
True
Suppose 12*y = 17807 + 215221. Is y a prime number?
False
Let x = -56 + -55. Let t = 253 + x. Is t composite?
True
Let y(r) = -r**3 + 6*r**2 - 7*r + 10. Let a be y(5). Suppose 4*l - 5*n = -a*n + 5904, -3*n + 2974 = 2*l. Is l prime?
True
Suppose 2*i = -2*i - 12. Let l be 4/8 + i/6. Suppose -4*o + 6 + 134 = l. Is o a composite number?
True
Suppose 0*c - 25*c + 185275 = 0. Is c composite?
False
Suppose 4*q + 5*b - 30 = 0, 6*q - 3*q - 5 = 5*b. Suppose 0 = q*x + 2*g - 3403, 0 = -0*x - 4*x - 2*g + 2722. Is x composite?
True
Let j = -3619 - -5926. Is j prime?
False
Let g = -743 - -520. Let q = g - -1072. Is q prime?
False
Let j(d) = d**3 + 34*d**2 + 17*d - 9. Let r be j(-15). Suppose 6*o - r = 3*o. Is o composite?
True
Suppose 0 = 3*r + 4*f - 6703, -4*r + 3*f - 6705 = -7*r. Is r prime?
True
Let b(g) = -5*g - 11. Let u be b(-2). Let x be -1*(-1 - 0/2). Is (-1524)/(-6) + u/x prime?
False
Let n(z) = -z**3 - 6*z**2 - 7*z - 5. Let f be n(-5). Suppose 0 = -10*m + f*m + 130. Is m prime?
False
Let t = 24 + -22. Suppose -5*k = -t*k. Suppose -5*j + 2*x + 1112 = -1, 3*j + 2*x - 671 = k. Is j prime?
True
Let o(c) = c**3 + 20*c**2 - 19*c + 24. Let v be o(-21). Is v/(-45) - 5853/(-5) a composite number?
False
Let m be (4 + 68/(-20))*5. Suppose -4*b + 393 = w, 6*w = m*w + 2*b + 1123. Is w composite?
True
Let m be 1 - 4/((-4)/703). Suppose -203 = -z + m. Is z composite?
False
Let d be (-9988)/(-8) - 2/4. Suppose 0 = 2*t + r - 2*r - d, -2*r = -3*t + 1872. Let z = -157 + t. Is z composite?
False
Suppose 3*i + y = -0*i - 88, 2*y - 132 = 5*i. Is (1 - -3)*(-77105)/i a prime number?
False
Suppose -430853 = 90*q - 119*q. Is q prime?
False
Let w(g) be the first derivative of -g**5/20 - g**4/3 + 5*g**3/6 - 5*g**2/2 + 7*g + 4. Let i(j) be the first derivative of w(j). Is i(-6) a prime number?
True
Let t be 2/(-2)*(-11 - 1/1). Suppose 154 - t = r. Is r a prime number?
False
Let p = 461 - 147. Is p a composite number?
True
Let j = 1676 + 285. Is j a composite number?
True
Let k be (-1 - 5)*19/57. Is 1179 - (7 - (-10)/k) composite?
True
Suppose 2*k - 2183 = 2483. Is k a composite number?
False
Let z be (-3384)/26 - 8/(-52). Let g = -371 + z. Is g/3*-1 + -4 composite?
False
Suppose -3*t + 105 + 96 = 0. Let d(z) = 14*z**2 + 2*z - 5. Let m be d(-5). Suppose -y = -4*g - t, -5*y = -g - 3*g - m. Is y a composite number?
False
Let y = 303 + -119. Let v = y - 93. Is v a composite number?
True
Is (-731944)/(-10)*-5*(-1)/4 a composite number?
False
Let v be (1 - 4/2) + 3. Suppose 1360 - 4731 = -5*l - v*d, -l + 2*d = -667. Is l a composite number?
False
Let t(z) = -207*z + 6. Let i be -5*(-3 + 20/5). Is t(i) a prime number?
False
Let s(m) be the first derivative of -m**4/4 - 4*m**3/3 + 3*m + 1. Suppose 44 + 12 = -7*c. Is s(c) a prime number?
False
Let x(d) = 70*d**2 + 5*d + 56. Is x(11) a composite number?
False
Is (-31938)/24*(-3 + -2 - -1) a composite number?
False
Let s = 91 + -23. Suppose -25848 + s = -4*i. Is i prime?
False
Let c(p) = -120*p**2 + 11*p + 14. Let g(t) = 40*t**2 - 4*t - 5. Let z(a) = -6*c(a) - 17*g(a). Is z(-2) composite?
False
Suppose -3*o = -3*d - d - 22, -4*d + 18 = o. Suppose -3*h = -4*v + 6, h + o = -0*h + 4*v. Suppose -h*p - 3*t = 3*p - 187, -4*p - 2*t + 148 = 0. Is p prime?
False
Suppose -2972 + 120 = -2*i. Suppose -3*l - 313 = -i. Is l prime?
False
Let j(b) = -b**3 + 3*b**2 - 24*b + 7369. Is j(0) a composite number?
False
Is 482560/14 - 9/21*-1 a prime number?
True
Let g = 14 + 29. Let c = 13 - g. Is 92/(-6)*135/c prime?
False
Suppose -70541 = -24*c + 4027. Is c composite?
True
Suppose 5*n - 10885 = -k, -1687 = -n + 4*k + 490. Is n composite?
True
Let p(z) = -z**3 + 15*z**2 - 2*z + 34. Let f be p(15). Suppose 4401 = 5*s - f*o + o, -5*o + 2627 = 3*s. Is s composite?
True
Let s(u) = 45*u + 1. Suppose -z - 3*j = -2*z + 16, z - 20 = 4*j. Let l be s(z). Suppose 145 = 2*n - l. Is n prime?
True
Let v be (-8 - -2)*(-1 + 2). Let b(t) = 15*t + 2. Let n(f) = f + 1. Let l(g) = -b(g) - 6*n(g). Is l(v) a prime number?
False
Suppose -16 = 6*s - 10*s. Let n(y) = 19*y**3 - 2*y**2 + y + 5. Is n(s) prime?
True
Let k = -37 - -239. Suppose -k = -h + 865. Is h composite?
True
Is (-1)/(-2 - 34932/(-17468)) prime?
False
Let x(g) = 23*g**2 - 14*g - 9. Let o(c) = -68*c**2 + 40*c + 27. Let i(t) = -4*o(t) - 11*x(t). Is i(4) a composite number?
False
Suppose -3*y = -p - 2067, 3*y - p - 3445 = -2*y. Is y composite?
True
Let v = 3554 + -1515. Suppose 7*q = 20 - 6. Suppose -3*w - q*a + v = 2*w, -2*w - a + 816 = 0. Is w a prime number?
False
Suppose 3*s - 3 = 6*s. Is 4 + 4 + (s - -228) prime?
False
Let w = -13 + 10. Let p be 1 - 1/(w/6). Suppose -151 = -p*s + 122. Is s a composite number?
True
Let n(k) = -4*k**2 - k - 1. Let x be n(-2). Let m = 94 - 104. Is (-31)/(-3) + m/x a prime number?
True
Let u(q) = q + 5. Let y be u(0). Suppose -y*h = x - 74, 5*x + 3*h + h - 349 = 0. Is x a prime number?
False
Let c(l) = -125*l - 466. Is c(-33) a prime number?
True
Suppose 0*n - 18*n = -5526. Is n composite?
False
Let y(k) = 3*k**2 + 3*k + 5897. Is y(0) a composite number?
False
Let y(w) = 473*w**2 + 122*w - 20. Is y(15) a prime number?
False
Let k(r) = -r**3 - 28*r**2 + 15*r + 83. Is k(-29) a composite number?
True
Suppose 4*d + 8 - 12 = 0. Is (d - (-1 - 515)) + 4 a prime number?
True
Let b(g) = -2*g**3 + 4*g**2 + 8*g + 4. Suppose -15 = -9*i + 12*i. Is b(i) a composite number?
True
Let n(a) = 600*a**2 - 2*a + 1. Let c be n(-2). Let b = c - 1660. Suppose 5*u = -0*u + b. Is u composite?
False
Let u be (3 - 1 - -291) + 1. Suppose x - u = -x. Let t = 214 - x. Is t prime?
True
Suppose j = -3*x + 30, 4*j = -4*x - 0*x + 88. Let m = j - 16. Suppose 0 = -3*a + 2*s + 781, -3*a + 0*s + 761 = m*s. Is a a prime number?
True
Suppose 5*z - 930 = 5*t, 0 = 2*t - 6*t + 3*z - 747. Let g = -415 + 687. Let i = g + t. Is i a prime number?
True
Let y(h) = 3*h + 0*h - 8 - h. Let x be y(6). Suppose -43 = x*b - 191. Is b composite?
False
Suppose -13*z - 354 = -5489. Is z a composite number?
True
Let i = -238 + 140. Let s be 2/(-7) + (-28)/i. Suppose b - 5*u - 165 = 46, s = -3*b - 5*u + 633. Is b composite?
False
Let x(l) = 5*l**3 - 9*l**2 + 8*l - 7. Let n(i) = 2*i + 38. Suppose 14 = -2*r - 18. Let h be n(r). Is x(h) a composite number?
False
Let h be ((-3)/12)/(3/(-6))*-10. Let z(t) be the third derivative of -t**6/120 + t**4/4 - t**3 + t**2. Is z(h) a composite number?
False
Let h be ((-2)/(-4))/((-1)/6) + 6. Let n(w) = -2*w. Let i be n(-1). Suppose -i*g = h*g - 95. Is g a composite number?
False
Let d(p) = 3*p - 4. Let y be d(3). Let i(l) 