a - (-30)/5)/(2/1418) a prime number?
True
Let y(j) = 40*j**2 + j. Let m be y(2). Suppose -57 - 192 = -3*i. Let q = m - i. Is q composite?
False
Suppose 0 = -5*l - 16 + 6. Let v be (58/l)/((-1)/10). Suppose -j + v = j. Is j a prime number?
False
Let d(v) be the first derivative of 466*v**3 + v**2/2 - 7. Is d(-1) a composite number?
True
Let c be 1/3 - (-33)/9. Suppose 5*d = -c*n + 2431, d = -0*d + 5*n + 492. Is d a composite number?
False
Suppose 0 = -2*m - 2*m + 1056. Suppose -4*v - 4*w + 808 = -m, 5*v + 4*w = 1344. Let z = v - 181. Is z a prime number?
False
Suppose -4*i + 112 = 3*x, -2*x = -i + 3*x + 5. Let n = i - 19. Let b(c) = 7*c**2 - 7*c - 7. Is b(n) prime?
False
Is 15422*(-4 + 45/10) composite?
True
Suppose -q - 36 = 3*q. Let z(a) = 63*a + 35. Let j(y) = 16*y + 9. Let s(t) = q*j(t) + 2*z(t). Is s(-12) prime?
False
Is (-700)/(-140) + 1*130094 a composite number?
False
Is -7253*(12/(-4) - -2) a prime number?
True
Let q(n) = 147*n**2 - 8*n + 277. Is q(16) composite?
False
Let f be (-129)/(-4)*1*8. Let b = f + 121. Is b prime?
True
Suppose 3*p - 117 = -b + 1136, -4*p = -b + 1267. Is b prime?
True
Let n(c) = c + 13. Let v be n(-6). Let p(f) = 11*f**2 - 6*f - 4. Is p(v) a composite number?
True
Suppose 0 = -107*o + 117*o - 59810. Is o prime?
True
Suppose -2*z + 3*b + 10696 = -0*z, 0 = -4*z + b + 21392. Let g = -3039 + z. Is g prime?
True
Let v = 66 + -62. Suppose 0*k + 5*y = 4*k - 483, 0 = 5*k + v*y - 655. Is k a prime number?
True
Is -5878*((-15)/(-6) - 2)*-1 a composite number?
False
Let w(z) = -z. Let a(q) = -43*q + 3. Let l(f) = a(f) - 5*w(f). Is l(-23) prime?
True
Suppose -5*i - 76750 = -2*b, 2*b - 7*b + 3*i = -191837. Is b prime?
False
Let a be -64 + -1 + -17 + 14. Let d = -22 - a. Suppose -4*f + 2*f + d = 0. Is f composite?
False
Let g(f) = 3 + 3 - 1 - 2 - 98*f. Suppose -2*d = -4*d - 14. Is g(d) prime?
False
Is -1 - (-18626 - (-8 - -6)) composite?
True
Let n(o) = 0*o**2 + 4*o**2 - 4*o**2 + 6*o - 1 + 6*o**3 + 9*o**2. Is n(6) prime?
False
Let g(o) = o**3 - 9*o**2 + 7*o + 10. Let s be g(8). Let v = s + 0. Suppose v*m = -4, 2*h - 3*m - 230 - 18 = 0. Is h a composite number?
True
Suppose -4*c + 2*r + 20 = c, 3*r = 4*c - 23. Let k = 7671 + -4706. Suppose 7*u - k = c*u. Is u a composite number?
False
Is 2/15 - 4623177/(-585) composite?
True
Suppose -7*r + 7816 = 2951. Is r composite?
True
Suppose 0*m + m = -3*s + 280, -540 = -2*m + 4*s. Let d = -147 + m. Is d prime?
True
Let g(r) = 240*r**2 - 3*r - 11. Is g(4) prime?
False
Suppose 0*p - 2*p + 5*u = -1179, -2346 = -4*p - 2*u. Is p composite?
False
Suppose 4 = -4*y - 4. Let g be 0 - (-853)/(1 + y). Let a = -384 - g. Is a prime?
False
Let p be (-126)/(-8) - 7/(-28). Suppose 976 = -p*s + 20*s. Let a = s + 235. Is a composite?
False
Suppose 0 = -4*d + 2*n + 29562, -13*d + 9*d - n + 29565 = 0. Is d a composite number?
True
Let j = 13636 - -14857. Is j composite?
False
Is (-99462)/(-12) + (-6)/4 a composite number?
False
Suppose 3*k - 53 = 5*l, 0 = 4*k + 5*l - 7*l - 66. Let f be (1 + 2 - 0) + 0. Let q = k + f. Is q composite?
False
Let c(v) = -19*v**3 - 16*v**2 + 2*v - 4. Suppose -128 = r - 123. Is c(r) prime?
False
Let c be 24/11 + (-12)/66. Suppose c*s - v + 4*v + 16 = 0, 22 = -3*s - 4*v. Is -2*-163*s/(-4) a prime number?
True
Let c(g) = 111*g**3 - 4*g**2 + 22*g + 6. Is c(5) a prime number?
False
Let l = -37 - -34. Is l/9 - (-4156)/12 prime?
False
Let v = 12 - -62. Let a(x) = -x**2 + 7*x - 7. Let n be a(7). Let q = n + v. Is q a prime number?
True
Suppose 6*x - 5*x - 654 = 0. Suppose 204 - x = -5*v - d, -4*d - 111 = -v. Is v a prime number?
False
Let w = -43722 - -71917. Is w a composite number?
True
Let n be (2/(-3))/((-4)/(-96)). Let g be (n/(-28))/((-6)/(-21)). Suppose w + 139 = g*w. Is w composite?
False
Let u(h) = -4*h**2 - h + 8. Let k(l) = -l**2 - l + 1. Let z(w) = 5*k(w) - u(w). Let r be z(-3). Is 5 + -2 + r + 50 prime?
True
Let f = -3950 - -6354. Let w = f + -1713. Is w a prime number?
True
Is 18/(-48) + 104251/8 prime?
False
Let f(y) = 5*y**2 - 12*y + 35. Let c = 47 + -59. Is f(c) a composite number?
True
Let w(n) = 2*n - 271. Let b(h) = 5*h - 543. Let o(i) = 4*b(i) - 9*w(i). Suppose 0 = 6*s + 18*s + 11*s. Is o(s) a prime number?
False
Suppose 3*b + 177712 = 19*b. Is b a prime number?
False
Let o = 7 - -3. Suppose 2152 = o*w - 6*w. Is w a composite number?
True
Suppose 2*r = 210*u - 209*u - 34913, 0 = -3*u - 5*r + 104739. Is u a composite number?
False
Suppose 31*z - 15139 = -c + 27*z, -30266 = -2*c - 4*z. Is c a prime number?
False
Let q = 322 - 558. Suppose -2*o - 254 = 688. Let u = q - o. Is u composite?
True
Let q be (8/(-12))/(2/3). Let b be q/(-4) - (-177)/12. Is 10/b*(-489)/(-2) a composite number?
False
Let o(p) = 391*p + 303. Is o(16) prime?
False
Let z = 15667 + 1344. Is z a prime number?
True
Suppose -2*n - 7262 = 2*p - 66232, 29491 = p + 4*n. Is p a prime number?
True
Let c = -26 + 24. Let k be -4*c*1/2. Let b = k - -51. Is b a composite number?
True
Suppose 5*k = -j + 10506, 4*k = -53*j + 52*j + 10501. Is j composite?
True
Let i = 41230 - 23171. Is i a composite number?
False
Let r(y) = y + 8. Suppose -3*c - 3 + 30 = -3*w, 2*c = 5*w + 33. Let x be r(w). Suppose x*l = 6, -4*o + 7*l - 2*l = -46. Is o prime?
False
Suppose -q = y - 55750, -111470 = -2*q - 2*y + 6*y. Is q composite?
True
Suppose 133 = 4*s - 15. Let k = -267 + s. Let g = -151 - k. Is g a composite number?
False
Is 4498/((-3)/7 - 34/(-14)) prime?
False
Let n(h) = -2269*h + 46. Is n(-5) a composite number?
True
Let a be 0 - -2 - (-7 + -24). Suppose 0 = -2*k + a + 349. Is (3 + -4 + 2)*k prime?
True
Let b(s) = 174*s - 37. Is b(12) a composite number?
True
Suppose -9*m + 8000 = -24337. Is m composite?
False
Let k be -6*((-1)/3)/1. Let o(m) = 11*m**3 + 2*m + m + 1 + 2 - 6*m. Is o(k) a composite number?
True
Let p = 7812 - 3443. Is p prime?
False
Suppose -3*a + 3042 = -x + 58022, -3*x - a + 164910 = 0. Is x prime?
False
Suppose 48314 = 4*f + 5*t, t = 9*f - 11*f + 24160. Is f a composite number?
True
Suppose -4*x = -5*y + 25735, -2*x = -6*x. Is y composite?
False
Let n(l) = 2269*l - 16. Let v be n(1). Is (0 - 3)*v/(-9) a prime number?
True
Is ((-40)/5 - 5) + 33198 a prime number?
False
Suppose 19*c - 1346 = 17*c. Is c prime?
True
Let k(y) = 212*y**2 + 83*y. Is k(-5) a composite number?
True
Let i(s) = 5*s**2 - s - 1. Let c be i(-1). Let w(m) = -145*m + 39. Let a be w(-5). Suppose c*o = o + a. Is o a composite number?
False
Let s = 10 + -7. Let o = 3 - s. Suppose w = -o + 6. Is w a composite number?
True
Suppose 2*g - 22 = -i + 2*i, 3*i + 42 = 4*g. Suppose -4*y + g = 2*f, 5*f = -y + 25 - 4. Suppose 3*q - 7*q - n = -142, -f*q + n = -138. Is q composite?
True
Let m = 337 + -33. Suppose 179 = r + 5*u, r + r - 4*u = 302. Let y = m - r. Is y a prime number?
False
Let k(g) = 3*g**2 + 18*g - 1. Is k(-14) a composite number?
True
Let r = 1166 + 6203. Is r prime?
True
Let l = 3701 - 2460. Is l a prime number?
False
Suppose 0 = -82*t + 97*t - 957135. Is t a prime number?
True
Suppose -161533 = -25*j - 33308. Is j a composite number?
True
Let r = -6941 - -12354. Is r composite?
False
Let j(i) = -68*i - 4. Let x(d) = -67*d - 4. Let a(y) = 2*j(y) - 3*x(y). Suppose 7 + 2 = 3*o. Is a(o) a composite number?
False
Suppose 1513 = b - 1162. Suppose -5*r = -8145 + b. Is r a composite number?
True
Suppose 0 = -4*c - 2*u + 6*u + 304, 2*u - 373 = -5*c. Suppose c*j = 71*j + 1796. Is j a composite number?
False
Suppose 4*t + 2*p - 124 = 0, -4*t - p = -7*t + 103. Let q = t - 25. Suppose -381 = -q*a + 5*a. Is a composite?
False
Let h = -3 - -3. Let j(y) be the first derivative of -y**2/2 + 331*y - 4. Is j(h) a prime number?
True
Let g = -4 - -2. Let y be (7 + -1)*9/g. Is (-195)/y + (-2)/9 prime?
True
Let l(s) = -s**3 - 14*s**2 - 18*s - 12. Let z(r) = -r**2 + 2*r - 5. Let t be z(4). Let h be l(t). Is (-5)/(-3)*(h + -2) a prime number?
False
Let a(u) be the second derivative of 40*u**3 - 3*u**2/2 + 8*u. Is a(1) composite?
True
Suppose -377*r + 376*r = -10577. Is r a prime number?
False
Let b(h) = -h**3 + 2*h**2 + h + 5. Let p be b(0). Suppose -19 = -2*l - p. Is l a composite number?
False
Let b(g) = 31*g**2 + 22*g**2 - 13*g**2 + 9 - 7*g + 2*g**2. Is b(2) a composite number?
False
Let d(i) = i**2 - 9*i + 4. Let n(r) = r**2 - 9*r + 5. Let a(v) = 