3/23172) a composite number?
False
Suppose -4*q + 39 = -13. Let y = q + -25. Is (-944)/(-6) + 4/y composite?
False
Let x = -114 - -35. Let k = x + 146. Is k a composite number?
False
Let x(m) = -m**2 + 10*m + 16. Let q be x(11). Let f(u) = 528*u - 1. Let b be f(2). Suppose 2*n = -q*p - 2*n + b, 0 = 2*n. Is p a prime number?
True
Is (3002/(-6))/(((-10)/(-6))/(-5)) prime?
False
Suppose -8*u + 2348 = -4*u. Is u a prime number?
True
Suppose -135 = -2*i + i. Suppose -2*h = 17 - i. Is h composite?
False
Suppose 4*l = -l - 4*p + 56, -p = 4*l - 36. Is l/(-20)*-5 + 23*7 a prime number?
True
Is (5/((-90)/12))/((-2)/16851) composite?
True
Let o(r) = -r**3 + 4*r**2 - 4*r + 3. Let c be o(2). Suppose c*a - 481 = -8*f + 10*f, 2*a = 4*f + 326. Is a a composite number?
True
Let l = 12 - 9. Suppose -l*u + 0*u = -15. Suppose -p - x + u*x + 905 = 0, -3*x = -p + 901. Is p a prime number?
False
Let a be 2/3*(-4 + 10). Suppose 0 = a*k - 44 - 100. Let i = 67 - k. Is i a prime number?
True
Suppose -63*n + 961750 = -13*n. Is n composite?
True
Let l be (-300)/2*(1 - (-5 - -5)). Let s = 905 + l. Is s a composite number?
True
Let v(s) = -s**3 - 3*s**2 - 10*s - 9. Suppose -8 = 2*p, 2*p = 7*a - 2*a - 8. Suppose a = 2*d + x + 10, 2*d + 5*x + 3 = 1. Is v(d) composite?
True
Let v(n) = -n + 6. Let h be v(6). Suppose 5*i - 2*i - 588 = h. Let p = i - 122. Is p a composite number?
True
Let z be (-2)/(((-16)/2762)/4). Suppose z = n + 266. Is n prime?
False
Suppose -18*z + 74762 = -103456. Is z a prime number?
True
Let d(u) = -u**2 - 15*u - 15. Let j be d(-14). Let z be (25 + j)/(-7 + 9). Is ((-6)/z)/((-3)/954) a prime number?
False
Let i be (-2)/(-4) + (-5)/(-2). Suppose -o = -3*o + 3*j + 11, 3*o + 21 = -i*j. Is (-1*1)/(o/110) composite?
True
Let l = 18587 + -11589. Is l a composite number?
True
Let n(u) = 240*u**2 + 12*u - 103. Is n(6) composite?
False
Let t(f) = 7*f**3 - 4*f**2 - 3*f - 9. Let n(s) = s**3 - s**2 + 5. Let l be n(0). Is t(l) composite?
False
Let k(c) = c**2 - 9*c + 10. Let b be k(9). Suppose 3*m - 4*m = -q - b, -4*q = -m + 31. Let l(g) = -g**3 + 2*g + 8. Is l(q) a prime number?
True
Let i be (-1)/(-4) - (-30)/8. Suppose -1288 + 116 = -i*k. Is k prime?
True
Let g(r) be the first derivative of 30*r**2 - 4*r + 5. Let j be g(-6). Let a = -73 - j. Is a a composite number?
True
Let s be 3056/14 - (-2)/(-7). Suppose -n + s = 7. Is n a composite number?
False
Suppose -4*m - 49182 = -10*m. Is m composite?
True
Let s(q) = -q**2 + 7*q - 8. Let u be s(5). Suppose 5*f + 5 = -2*y, -3*y + 4*f + 0*f = -27. Suppose a + 6 = -u*z + 73, -y*z = -3*a - 173. Is z prime?
False
Suppose 831 = 8*d - 1449. Suppose -5*g = 5*w - d, 21 = 3*g + 4*w - 152. Is g a prime number?
False
Let a(i) = -i + 14. Suppose 2*o + 2*o - 60 = -4*n, -5 = -2*o + 3*n. Let j be a(o). Suppose s = j*s - 489. Is s prime?
True
Let n be 1/2 + 3/(-6). Suppose -3 = -j - n. Is (3 - (-329 - 2)) + j a composite number?
False
Let h = 266 - 373. Suppose -2*x - 70 = -8*z + 3*z, -z + 62 = -2*x. Let n = x - h. Is n a composite number?
True
Suppose 0 = -3*i - 2*u + 517 + 1784, 5*u + 2301 = 3*i. Is i a prime number?
False
Let p(h) = 3517*h + 131. Is p(2) composite?
True
Is ((-742376)/852)/((-37)/(-39) - 1) a prime number?
False
Let c = -9016 - -13645. Is c composite?
True
Let p(q) = -6550*q + 59. Is p(-2) prime?
True
Suppose -1576 = 6*u - 8272. Suppose -5*y + u = -4*z - 47, -3*y - 4*z + 717 = 0. Is y prime?
False
Let f be 265 - 2*(-2)/(-2). Suppose -18*i = -13*i - 20. Suppose -d + 2*d + f = i*x, d - 257 = -4*x. Is x prime?
False
Let h(x) = -2*x**3 + 116*x**2 + 37*x + 7. Is h(58) a composite number?
False
Let j(h) = 9*h**3 + 7*h**2 - 27*h + 11. Is j(6) a prime number?
False
Let d(j) = -2*j**2 - 16*j - 7. Let l be d(-7). Suppose 0 = -12*m + l*m + 1655. Is m composite?
False
Let m be 816 + 0 + (-2 - -4). Suppose -2*b = 2*o - m, -o = 5*b - 2*o - 2045. Is b composite?
False
Suppose -34*m + 3827761 = 3*m. Is m a composite number?
True
Let f be 37/13 - (-10)/65. Suppose -6*q + f*q - 5*h + 240 = 0, 5*h - 325 = -4*q. Is q composite?
True
Suppose 5*a - 667 = -z - 0*z, -2*a - 10 = 0. Let r = -325 + z. Is r prime?
True
Suppose 47*j - 2*j = 441270. Is j prime?
False
Suppose 1818 = x + l, 5*x + 6*l - 9095 = 2*l. Is x a composite number?
False
Let v(r) = r - 8. Let x be v(10). Suppose o = 3*z + 515, 2694 - 614 = 4*o - x*z. Is o a prime number?
True
Suppose -25*d + 34*d = 42993. Is d prime?
False
Suppose -3*o + 17 = 5*c, c - 2*o + 7 = -0*o. Let q be 3/(c + (-3)/(-6)). Suppose -q*b - 3*v + 2 = 0, 0*v - 2*v - 29 = -3*b. Is b a composite number?
False
Let d be 11/4 + 10/40. Let z(g) = 0 + 0 + d + 10*g + g. Is z(4) prime?
True
Let i = 10 + -3. Let p be 3*(-4 - 104/(-24)). Is i - -61 - 3/p a prime number?
False
Let p = 53744 + -35337. Is p prime?
False
Suppose 5*p - v - 27 = 0, 2*p - v - 3 = p. Is 380 + (0 - -3 - p) composite?
True
Let p = 12723 + -8944. Is p prime?
True
Let r(z) = -2*z**3 - z - 1. Let n be r(-1). Let f be 56/(-10)*(-65)/n. Let y = f + -69. Is y a prime number?
True
Suppose -x + 4*c = -9, -2*x + 2*c - 2 + 14 = 0. Suppose -u + 321 = 2*q, x*u - 1296 = u - 5*q. Is u composite?
True
Suppose -4*q = 5*w - 3377, -10*w + 12*w + 5*q - 1361 = 0. Is w prime?
True
Let p(k) = k**3 + 3*k**2 - 2*k + 9. Let i be p(-4). Let y(x) = -x + 1. Let o be y(i). Suppose 2*m + 0*m - 286 = o. Is m a prime number?
False
Let x be (0 - 1)/((-2)/14). Suppose 3*g = 4*s - 8, -3*s - 1 = -2*g - x. Suppose 3*t = -5*n - g*t + 903, 0 = -n + 3*t + 195. Is n prime?
False
Suppose 0 = 16*n + 2*n - 19206. Is n composite?
True
Let w(h) = -h**2 - 4*h + 2885. Suppose 0 = -0*r - r + 6*r. Is w(r) a prime number?
False
Suppose 0*a + 2*a - 38 = 0. Let z(o) = -5*o**3 - 15*o**2 - 14*o - 5. Let v(n) = 8*n**3 + 31*n**2 + 28*n + 9. Let j(s) = -3*v(s) - 5*z(s). Is j(a) prime?
False
Suppose -5*h - 3*o = -6*o - 16550, 3*h - o - 9926 = 0. Is h a prime number?
True
Suppose 0 = -5*g - 15, -5*p - 2*g + 9 + 51430 = 0. Is p a composite number?
False
Suppose 5*c + 8954 = l - 13639, -3*l = -5*c - 67819. Is l a composite number?
False
Let p = 3561 + -1570. Suppose h + 14 = -3*o + 417, -5*h + p = 3*o. Is h a prime number?
True
Let p be 231/1 - 4/4. Let m(d) = 14*d - 3. Let i be m(-8). Let a = i + p. Is a composite?
True
Let i(s) = -266*s - 60. Let q be i(-7). Suppose 0 = 12*a - q - 5818. Is a a composite number?
True
Let a(u) = 187*u**2 - 2*u - 57. Is a(10) a prime number?
False
Let h = 12209 - 4438. Is h a prime number?
False
Suppose 11121 = -11*h + 122584. Is h composite?
False
Suppose 2*k = 5*i + 262, 3*i - i - 3*k + 107 = 0. Let t = 135 + i. Is t prime?
True
Let u(m) = m**2 + m + 5. Suppose -4*i + 2*i + 5*x = -15, -5*x = 15. Let j be u(i). Suppose t + w = 61 + 21, -j = 5*w. Is t prime?
True
Let p(i) = -7 + 18 - 10*i + 53*i**2 - 2*i. Is p(6) a prime number?
True
Let h(r) = 3*r - 17. Let a be h(7). Let p(v) = 5 + 2*v**2 + 8 + 2 - 12 + a*v**3. Is p(8) composite?
False
Suppose 0 = s + 3*n - 1688, -4*n + 2423 + 4289 = 4*s. Is s a composite number?
True
Let j = 17 + 3. Let x = -23 + j. Is 1266*(12/(-8))/x composite?
True
Let m = -208 + 2310. Is m composite?
True
Is ((-13521)/4)/((423/(-24))/47) a prime number?
False
Let b = -34 + 28. Let p be 3 + 284 - (b - -3). Suppose 0 = 5*r - p - 155. Is r a prime number?
True
Suppose -2*c + 31295 = 34*n - 29*n, -4*c + 31305 = 5*n. Is n a composite number?
False
Let f be 6*(1 - -2*3/(-36)). Suppose -3400 = -4*b - 3*x, f*b - 7*x = -3*x + 4281. Is b a prime number?
True
Let k(x) = 2*x - 32. Let a be k(18). Is 1 + 1038 - (0 - a) composite?
True
Suppose 0 = -3*d - 5*n - 25, 2*d - 4*d + 4*n + 20 = 0. Let j = d - 3. Is 10*41 - (j - -4) composite?
False
Let c(v) = 68*v**2 + 8*v - 21. Is c(-5) a composite number?
True
Suppose 12*n - 6*n - 120 = 0. Is 8/n + (-1 - (-448)/5) a composite number?
False
Let s(g) = -2*g - 6. Suppose -z - 4*v + 1 = -2*v, -5*z = 5*v + 15. Let q be s(z). Is 150/q - 4/(-16) a composite number?
False
Let r = 9328 + -6311. Is r a prime number?
False
Let t = 58 - 28. Is (-200)/t*(-366)/8 a prime number?
False
Let q = -380 + 99. Let r = -126 - q. Is r prime?
False
Let f(g) = g**3 - 14*g**2 + 2*g + 10. Let i be f(11). Is 0 + -2 + 1 + 1 - i composite?
False
Let k = 12 - 12. Let c be -1*(2 + k) + 1. Let x = 30 - c. Is x a composite number?
False
Suppose -9*z