 m = a + -1308. Is m prime?
False
Let c = 11048 + -3055. Is c a prime number?
True
Suppose -4 = 5*j + 4*v + 2, -5*j + 14 = -v. Suppose -j*c = -9*c + 3367. Is c a prime number?
False
Let r = 18410 - -1201. Is ((-7)/21)/(2 + (-39225)/r) composite?
False
Let n(v) = 2521*v. Is n(1) prime?
True
Let m be 2/4*10/5. Let q = m + -5. Is 214/4 - 6/q composite?
True
Let q(w) = -55*w - 6. Suppose -2*o - 3 + 1 = -2*r, 0 = -5*o + 2*r + 4. Suppose -o*z = -7 + 21. Is q(z) a prime number?
True
Let t be (-200)/125*1055/(-2). Suppose 0 = q - 5*q + t. Is q a prime number?
True
Let l(a) = 310*a**2 - 4*a + 11. Is l(-5) a prime number?
False
Is (-68058)/(-14) + 154/(-539) prime?
True
Let u(y) = -y**2 - 9*y. Let i be u(-8). Let g be (10/8)/(i/1504). Suppose 3*k = 3*x - 174, 0 = 3*x - 7*x + k + g. Is x composite?
False
Let q(x) = x**3 + x**2 + 4. Let n be q(0). Suppose 39 = -5*t + 79. Suppose -n*j - 140 = -t*j. Is j a composite number?
True
Let c be (-52)/5*15/(-6). Suppose -3*b - c = -5*b. Suppose -z = -b - 22. Is z prime?
False
Let k = 10140 - 6233. Is k composite?
False
Suppose 9*l - 24257 = 38554. Is l composite?
True
Let u(z) = -z + 6. Let l be 2/(-12) + 629/102. Let b be u(l). Suppose -6*r + 2*r - w + 4201 = b, 4*r - 4*w = 4176. Is r a prime number?
True
Let a be 1/4 - 15/(-4). Suppose 30 = 2*q - 1120. Suppose q = a*h + 139. Is h prime?
True
Suppose 0 = 5*h - 2*w - 2089, -2*h - 2*h + 1670 = -2*w. Is h prime?
True
Suppose 5*o = -z + 16465, 3*o + 18*z - 19*z = 9879. Is o prime?
False
Let f(l) = 6*l**2 - 10*l + 3. Suppose 0*h - 5*h = -3*o - 34, -20 = -3*h + 2*o. Is f(h) composite?
False
Let f(v) be the third derivative of -v**6/120 + 7*v**5/60 - 7*v**4/24 - 7*v**3/6 + v**2. Let o be f(6). Is (o/(-4))/((-4)/(-48)) prime?
False
Let v(m) = m**2 - 5*m - 2. Let w be v(6). Let a = 139 - 76. Suppose w*t = -4*f + 260, f - 2*f - 2*t + a = 0. Is f a composite number?
False
Let z(q) be the third derivative of 73/24*q**4 - 5*q**2 + 0 + 1/2*q**3 + 0*q. Is z(2) prime?
True
Let k = -38 - -43. Suppose k*v - v + 3*u = 4770, v = u + 1189. Is v a prime number?
False
Suppose 3*b - 49824 = 3*i, -14314 = -b - 4*i + 2269. Is b a prime number?
True
Is 4/(52/489673) - (-14)/(-91) a prime number?
False
Let p be (19 - -5)*8/3. Let w = p + -36. Let x = -6 + w. Is x a composite number?
True
Let l(o) = o**2 - 2*o + 2. Let d be l(3). Let n be d/((-15)/(-12))*1. Suppose -109 = -n*k + 111. Is k composite?
True
Suppose 2*x - 4*p = 32862, 0 = -5*x + 24*p - 20*p + 82125. Is x composite?
False
Let x = 36 + -29. Suppose 369 = x*l - 268. Is l composite?
True
Let t(k) = k**2 - 4*k + 3. Let n be t(3). Let x(u) be the second derivative of u**4/12 - u**3/3 + 67*u**2/2 - 203*u. Is x(n) a composite number?
False
Let u(q) = -3309*q - 21. Is u(-12) a composite number?
True
Suppose 3*j = 2*w - 4, 2*w = j - w + 6. Suppose j = 4*u + 269 - 1417. Is u a composite number?
True
Let w(o) = 21*o**2 + 10*o + 8. Let y be w(4). Let d = y + 419. Is d a composite number?
True
Let z(u) = 0*u + u**2 - 3 - 3*u + 0*u. Let q be z(4). Is 176 - (q - 4/2) composite?
True
Suppose 7*i = 9*i. Let v(t) = 0*t**2 + 6 + 16*t**3 - 15*t**3 - t + i*t - t**2. Is v(3) composite?
True
Let m(j) = -2*j**2 - 9*j - 5. Let p be m(-5). Is (-3 - 1295/25)*p/2 a composite number?
True
Suppose -2*h - 4 = 3*k - 3, 4*h = -3*k - 5. Let g = -5 - h. Is (-103)/(g/6*2) prime?
True
Let j(d) = -13*d - 2. Let c = -9 - -10. Let g be ((-4)/8)/(c/6). Is j(g) prime?
True
Suppose 1 = u - 0*u. Suppose w = -4*r - 9, -2*w - u - 5 = 2*r. Let k(a) = -702*a - 3. Is k(w) composite?
True
Let b(g) = -g**3 - 9*g**2 - 11*g - 5. Let n be b(-8). Suppose 2*t = 3*t - n. Suppose 6*m = 7*m - t. Is m composite?
False
Suppose 0 = 7*s - 3*s + 24. Let b(h) = -19*h + 3. Let z be b(s). Is z - 5/(15/(-6)) a prime number?
False
Suppose 5*m = 2*m - 924. Let u = 499 + m. Is u a composite number?
False
Suppose -3*z - 30 = -8*z. Suppose z + 5 = b. Suppose -95 = -4*d - b. Is d composite?
True
Let j(b) = -10*b**2 - 14*b + 2. Let v(q) = -q**2 - q + 1. Let y(r) = -j(r) + 5*v(r). Is y(9) a composite number?
True
Suppose -271593 = -7*v + 44240. Is v a prime number?
True
Let w be -7 + 9 + 1 + -1. Let u be w + (-20)/(-4) + -4. Suppose 4*r - 104 = 4*y, u*r = -4*y + 81 + 32. Is r a prime number?
True
Let q(i) be the second derivative of 5/2*i**2 + 5/6*i**3 + 0 + 1/2*i**4 - 4*i. Is q(-6) a prime number?
True
Suppose 292*v = 282*v + 35930. Is v prime?
True
Suppose 2*i = -3 + 5. Suppose -g = -1 - i. Suppose -2*h + 4*c + c = -616, h = g*c + 307. Is h a prime number?
False
Suppose 0 = 12*g + 3*g - 97725. Is g prime?
False
Suppose 10*u - 5796 = 754. Is u composite?
True
Let o(p) = -5748*p + 181. Is o(-2) a composite number?
False
Suppose -n = -4*t + 5756, -5*t - 5*n + 2856 = -3*t. Suppose -9*k - t = -11*k. Is k a composite number?
False
Suppose 9*t = 38614 + 226517. Is t a composite number?
True
Let k be 1 - -1 - (3 - -13). Let x be (-4)/k - (-99)/21. Suppose -x*o = -256 + 71. Is o prime?
True
Is (-21 - 2)/(31/(-2759)) a prime number?
False
Let i(k) = k**2 + 6*k + 12. Let d be i(-9). Let z = 48 - d. Suppose 794 = z*v - 7*v. Is v prime?
True
Is (-3)/(-9)*10929 - 2 a composite number?
True
Let u(i) be the third derivative of i**5/30 + 7*i**4/24 + 2*i**3/3 - i**2. Let h be u(-4). Is ((-58)/h)/((-5)/140) composite?
True
Let x(q) = 259*q**2 + q - 1. Let b(y) = -y + 4. Let v be b(10). Let m be (-5)/(-10) - 3/v. Is x(m) composite?
True
Let h(j) = -7 + 9 + 0*j + 0*j + j. Let x be h(-14). Is (171/x + -3)*-4 a composite number?
True
Let l be (-9 - -1)*(-1)/2. Let m be -1022*(l - (-36)/(-8)). Is 4/8*2*m a composite number?
True
Let p(i) be the second derivative of i**5/20 - i**4/3 + i**3/6 - i**2 - 3*i. Let v be p(4). Suppose 3*j - 38 = -v*u + j, 0 = -j - 3. Is u a prime number?
False
Let j(a) = -a**3 - 3*a**2 - 2*a - 1. Suppose 0*i = -5*i - 20. Let r be j(i). Let d = r - 16. Is d a prime number?
True
Suppose -3*c = 2*g - 27802 + 1997, -4*g - c = -51585. Is g composite?
True
Let t(s) = -3*s + 8. Let l(f) = -3*f + 8. Let i(h) = 2*l(h) - 3*t(h). Suppose -9 + 3 = -k. Is i(k) a composite number?
True
Let q(v) = -2*v**2 - 47*v. Let y(h) = -h**2 - 47*h + 1. Let r(m) = -4*q(m) + 5*y(m). Is r(20) a composite number?
True
Let f(h) = -7*h**2 - 3*h. Let i be f(-2). Suppose -4*b = 20, 3*d - 4*b - 608 = -9*b. Let u = d - i. Is u a prime number?
True
Let b(u) = 289*u**2 - 7*u + 2. Let x(i) = 96*i**2 - 2*i + 1. Let f(n) = -2*b(n) + 7*x(n). Is f(4) composite?
True
Let y = 4859 - 566. Let p be 6/(-15) - y/5. Let i = -528 - p. Is i composite?
False
Suppose 25*i = 290285 + 355665. Is i composite?
True
Suppose -62820 = -5*t - q, -q + 16796 = 3*t - 20898. Is t a prime number?
False
Is 35/5 - 13 - (-7582)/2 composite?
True
Let i be (10/3)/((-114)/(-18) - 7). Let t(q) = -79*q + 13. Let h(b) = -40*b + 6. Let x(o) = -5*h(o) + 3*t(o). Is x(i) a prime number?
False
Is (70 + 941)*263/3 composite?
True
Let d(s) = -3*s**2 - 59*s + 30. Is d(-20) a composite number?
True
Suppose -3*w - 6841 = -112. Let n = w - -4036. Is n composite?
True
Let r be (-8)/(-1) - (1 + 3). Suppose -r*w + w + 42 = 0. Is w a composite number?
True
Suppose 3 - 36 = -5*f + 2*n, 0 = 2*f + 3*n + 2. Suppose -f*i + 10796 = -i. Suppose 0 = 7*l - i - 1718. Is l composite?
False
Suppose -4*z = z - 15. Suppose -4*j + z*j = 3*x - 57, -3*x - 4*j = -48. Suppose x*p - 185 = 15*p. Is p a composite number?
False
Suppose -22*j + 21*j + 3*g + 42150 = 0, g = -j + 42154. Is j a composite number?
True
Let l(a) = -a + 20. Let o be l(10). Suppose o = -2*y - 3*y, -6 = 2*h + y. Let k(r) = 27*r**2 - 3*r - 1. Is k(h) a prime number?
True
Let n be -7 + (3 - -1) + 3. Suppose -s + 5 + 0 = n. Suppose 0 = s*l + 5, 0*g = -g + 2*l + 69. Is g a composite number?
False
Let y(j) = j**2 - 14*j + 36. Let l be y(11). Is (-182718)/(-6)*1/l a prime number?
True
Let d = 19012 - 10355. Is d a composite number?
True
Suppose -3*r + 719 + 642 = f, -2*f = 5*r - 2718. Let v = 2884 - f. Is v a composite number?
True
Suppose 10*q = 1975 + 735. Is q prime?
True
Is 49 + -51 - ((1 - 5523) + 1) a composite number?
False
Suppose -q = -129 + 21. Suppose 694 - q = u. Suppose -u = -2*i + 360. Is i a prime number?
False
Is 2046/44*82/3 a prime number?
False
Suppose 1079 = 13*w - 12*w. Is w composite?
True
Suppose -7368 = -2*g - y, 6*g 