p = c + v. Is p prime?
True
Suppose 0 = -4*q + 1225 + 619. Suppose 0 = -3*b + q + 148. Is b a composite number?
True
Let k(u) = 20*u**2 - 39*u - 362. Is k(63) composite?
False
Let x(f) = -f**3 - f**2 + 3. Let s(k) = k**3 + k**2 - k - 2. Let n be (-6)/(-1) + (-1)/1. Let t(i) = n*x(i) + 6*s(i). Is t(4) a composite number?
False
Let h(m) = -m**3 + 2*m**2 - 5*m + 1. Let t be h(2). Let n = 16 + t. Suppose 2*f + 1675 = n*f. Is f composite?
True
Suppose -b = 153 + 84. Let y be ((-41)/(-5) - -3)/(1/(-40)). Let l = b - y. Is l a composite number?
False
Suppose -4 = -11*t + 10*t. Suppose 5*m - 5496 = -4*k, 3*m + t*k = 5*k + 3301. Suppose 597 = 3*j + 4*w - m, -2*j + 1134 = 4*w. Is j a composite number?
False
Let f(g) = -g**3 + 10*g**2 - 16*g. Let o be f(8). Suppose -4*s = 4*b - 3056, -4*b - s + o*s + 3065 = 0. Is b a prime number?
False
Let w(z) = 4*z + 23. Let s = -3 + 20. Let q = s + 0. Is w(q) a composite number?
True
Suppose 38636 = 4*x + 5*l, -8*l = 4*x - 6*l - 38636. Is x a prime number?
False
Is 200913*(380/(-30) + 13) a composite number?
True
Suppose 0 = -2*t + 3*x + 1511, 2*t + 3*t - 4*x - 3795 = 0. Is t a prime number?
False
Let p(a) = 7*a**3 + 27*a**2 + 5*a + 19. Let q(z) = -11*z**3 - 41*z**2 - 8*z - 28. Let w(t) = 8*p(t) + 5*q(t). Let f be w(-11). Is (-1)/(3/f) - -41 composite?
False
Let v be (1/(-2))/(((-33)/(-18))/(-11)). Suppose -3*i = -9, 4*q = q + v*i + 330. Is q composite?
False
Let x be 568/48 + (-1)/(-6). Suppose n = -2*j + x, 5*n = -j - 2*j + 32. Suppose 3*u = 2*s + 56 + 299, -s - 475 = -n*u. Is u a composite number?
True
Suppose 3*s = 5*h - 74668, 2*h + 7*s - 9*s = 29868. Is h a composite number?
True
Let w(f) be the second derivative of -7/2*f**2 + 1/20*f**5 - 2*f + 0 - 5/6*f**3 - 2/3*f**4. Is w(10) a prime number?
False
Let r(q) = 147*q**3 - 2*q + 1. Let i be r(1). Suppose p = -4*u + 2*p + 610, u + 3*p = i. Suppose 2*c = -3*k + 474, u - 626 = -2*c + 3*k. Is c a prime number?
False
Let s(g) = 3*g**2 + g + 39. Is s(-20) prime?
False
Let s(n) = -341*n**3 + n**2 - 3*n - 3. Is s(-2) a prime number?
False
Suppose 80*h - 17*h - 199269 = 0. Is h a composite number?
False
Is 8 + 1021476/161 - 6/(-14) a prime number?
True
Let l be 854/(-98) - 2/7. Let b be (-6)/l*-6 + 0. Let w(h) = -102*h - 17. Is w(b) a composite number?
True
Let i(n) = 332*n**3 - 3*n + 2. Suppose -2*l + 4 = 2. Is i(l) prime?
True
Suppose -2*b = -3 - 5. Suppose 2*u + 2 = 2*t, -2 = -b*u + 2. Suppose 5*c - 367 = 4*r, 4*c + t*r = 80 + 198. Is c prime?
True
Let h be 16/6 + 8/(-12). Let w be 5 + h/1*-1. Suppose -4*a + 5*a - 170 = 5*x, -w*x + 301 = 2*a. Is a a prime number?
False
Suppose -p - 15 = -3*m, 2*p + 41 = 5*m + 15. Suppose -2*l = 2*a + 392, 1 = m*l + 9. Let f = a - -279. Is f a composite number?
True
Let z be (1/(-1) - 4) + 1. Let r(g) = -4*g**2 + g + 4. Let d be r(z). Let q = d + 359. Is q a prime number?
False
Suppose -3*p - 67*r = -64*r - 45558, -5*r + 60745 = 4*p. Is p composite?
True
Suppose n - 35 = -34. Is -1 - -2006 - 2/n a composite number?
False
Suppose -2*a + 3951 = -u, -3*u = -129*a + 131*a - 3931. Is a prime?
True
Is (-3 - (2214 + 1))*8/(-16) prime?
True
Let i(g) = 7*g**2 + 14*g + 38. Is i(-17) a prime number?
True
Let b(u) = -5*u**3 + u + 1. Let m be b(-2). Suppose r + 2*o = 0, 6*o + m = 4*r + o. Suppose r*c - 3765 = c. Is c composite?
True
Let b = 10 + 4. Let d = b - 12. Suppose 4*q - 18 = 2*q + 3*c, 0 = 3*q - d*c - 22. Is q a composite number?
True
Suppose -4*c = -5*d - 0*c + 15, -2*d + 34 = 4*c. Suppose d*h - 33722 = -6*h. Is h a prime number?
False
Suppose 1938705 = 73*c - 322178. Is c prime?
True
Let b be ((-10)/(-6))/((-3)/(-9)). Suppose 4*u - 23 = -3*n + 2*u, -b*n - 2*u = -33. Suppose f + 5*p + 1883 = n*f, -2*f = -4*p - 946. Is f a prime number?
True
Let s be -2 - -2 - (1 - 3). Suppose -3*j + s*j = 180. Let z = j - -367. Is z a composite number?
True
Suppose 7*f - 192 = 5*f. Suppose 2*n - 4*n = 3*q - 65, 0 = 4*q - 2*n - f. Is q composite?
False
Let b(p) = 77*p**2 + 7*p - 6. Let f be b(-6). Suppose -521 - f = -5*j. Suppose 3*c - 50 = j. Is c a composite number?
False
Let d = -5 + 7. Suppose v - 3 = d. Is v*13*16/40 a composite number?
True
Suppose 2*t = 14 - 10. Is (t*-251)/(-2*3/6) composite?
True
Let v be (-2)/(4 + 21/(-6)). Is 2*2302*(-1)/v composite?
False
Is ((-19347)/15 + 0)/((-2)/10) prime?
True
Let i(t) = 2*t**3 + 3*t**2 - 2*t + 1. Let h be i(1). Suppose 0 = -3*c + 2*c - 4*m + 25, -h*m = 4*c - 136. Is c composite?
False
Suppose 10 = 2*m - 0. Suppose -6*p + 3*p + 93 = -2*v, -m*v - 220 = 5*p. Let h = v - -70. Is h composite?
True
Suppose 24*m - 4565 = 19*m. Is m a composite number?
True
Let d(y) = 6*y**2 - y + 19. Let b be (-30)/70 - (-36)/(-14). Let v = b + 11. Is d(v) prime?
False
Suppose -5*u = 28 - 8, 5*u + 15 = -5*i. Let a be (4 + i)/(4 + -3). Suppose a*o = -11 + 86. Is o a prime number?
False
Suppose y = q + 26, -q + 4*y + 3 = 20. Let h = q + 50. Is h composite?
True
Suppose -14 = -3*q + o, -3*o - o = -2*q + 16. Suppose 4*g + 0*g = q. Is 130*g - (0 + -3) a prime number?
False
Suppose 31*f = 41165 + 23346. Is f prime?
True
Let v(x) = -3*x - 8. Let a = 6 + -16. Let f be a/2 - (1 + 1). Is v(f) a composite number?
False
Let t(z) = 736*z**2 + z + 1. Let g(j) = j**3 - 5*j**2 - 3*j + 17. Let u be g(5). Is t(u) prime?
False
Is 3*6/(-12)*99832/(-12) composite?
False
Suppose 0 = -2*l + 5*l - h - 2363, 5*l - 3965 = -5*h. Suppose -2*v + 3*d = v - 1206, -2*v + l = d. Is v a composite number?
False
Let n(c) = 171*c - 17. Let o(b) = b + 1. Let r(a) = n(a) + 2*o(a). Is r(4) composite?
False
Let o be (-9)/6*3*-2. Suppose -o*z = -273 - 285. Is z composite?
True
Is (-1)/(-4) + 12 + (-108390)/(-40) composite?
True
Is (25 - (19 + -6)) + 7981 a composite number?
False
Let y = 22228 - 4445. Is y composite?
False
Let t be (-2)/(-3) - 87/9. Let o be -3*(4 + 42/t). Suppose 4*v + o*d + d - 299 = 0, 2*d + 391 = 5*v. Is v composite?
True
Let d(i) = -128*i**2 + 9*i + 3. Let f(b) = 131*b**2 - 8*b - 3. Let u(t) = 5*d(t) + 6*f(t). Suppose 0 = 4*c - 20, z - 2*c - c = -17. Is u(z) prime?
True
Suppose 0 = 5*z + 3*l - 3581, 16*z = 17*z - 3*l - 727. Is z a prime number?
False
Let h be 578 + 1 - (-6)/(1 + -7). Suppose -b + h = s + 4*s, -3*b - 2*s = -1747. Is b a prime number?
False
Let u(g) = g**2 + 8*g + 10. Let k be u(-7). Suppose -38 = -k*c + 118. Let f = c - 29. Is f composite?
False
Let h = -5 - 5. Let c be ((-8)/(-20))/((-2)/h). Suppose c*u = -u + 159. Is u prime?
True
Suppose 40318 = -13*s + 115367. Is s composite?
True
Is (-8)/(-14) - (-36191)/21*9 a composite number?
False
Is (-3)/(-6) - (-11295)/12*10 a composite number?
False
Suppose -5*l + 3154 = -4*r, 5*r = 14*l - 9*l - 3150. Is l a composite number?
True
Let j be 572/8*(-1 + -1). Let l = 347 + j. Suppose 3*s - 78 = l. Is s prime?
False
Let k be (-3 + (-16)/(-6))/(2/(-54)). Let q(x) = -x. Let a(u) = -23*u - 21. Let v(g) = -a(g) - q(g). Is v(k) a prime number?
False
Is (-4 - -48)*47/4*1 a prime number?
False
Suppose 4*n = -o - 847, 8*n - 6*n = 4*o + 3352. Let c = -532 - o. Is c a composite number?
False
Suppose 3*q - 1882 - 3491 = 0. Is 1 - (4 + (-6 - -1) - q) prime?
False
Let a(x) = -x**2 - x + 499. Let o be (4 - (6 - 0)) + 7. Suppose -4*f + 6 - 26 = o*m, 2*m + 8 = -4*f. Is a(f) a composite number?
False
Let m be (1 - 0/2)*2. Suppose 210 = m*h - 448. Is h composite?
True
Let q(k) = 2*k**3 - 18*k**2 + 10*k - 29. Is q(14) prime?
False
Let h(y) = -313*y + 16. Let q be h(-9). Let l = q + -1674. Is l a prime number?
False
Suppose -20 = 2*w - 30. Let b(c) = -c - 31 - w*c**2 + 4*c**2 + 11 + 39. Is b(0) a composite number?
False
Suppose -3*w - 5*s = -545, -2*s = 4*w - 9*w + 929. Suppose 0*u + w = 5*u. Is u a composite number?
False
Suppose u = 5*g + 1969, -4*u - g + 2188 = -5730. Is u a prime number?
True
Let q(c) = 9*c**2 - 15*c - 15. Suppose 2*j + 0*j - r = 13, 5*j - 4*r = 31. Is q(j) a composite number?
True
Let w(l) = -22*l - 7. Let m(q) = 2*q - 9. Let t be m(0). Is w(t) prime?
True
Let a(o) = 46*o + 8. Let s be a(-6). Let p be (10/4)/((-2)/s). Suppose 3*h - 8*h + p = 0. Is h composite?
False
Let k = -14 + -9. Let j = k + 90. Is j a composite number?
False
Is 9239/(0 + (-4 - (-15)/3)) composite?
False
Let f(a) = a**2 + 3*a - 2. Let g be f(1). Suppose -2*v + 10 = 0, -4*v - 323 = -g*p + 399. Is p composite?
True
Le