
True
Is (1900/(-12) + -4)*-3 a prime number?
True
Suppose -3*c + 103 = -14. Is c composite?
True
Let v(h) = h**2 - h + 2. Let o be v(0). Suppose 5*l + o*a = 485, -2*l + 2*a = -0*l - 180. Suppose -6*b = -b - l. Is b a prime number?
True
Suppose 4*n = -5*g + 243, 2*g + 312 = 5*n - 0*n. Is n prime?
False
Let f be 33/4 - 2/8. Suppose 4*n - 5*t = -12, t + 0*t + 36 = -4*n. Is 2/f - 14/n a prime number?
True
Let t be 6/5 - 1/5. Let z be (1 - t)*(-4)/(-8). Suppose 3*k - 69 - 204 = z. Is k a composite number?
True
Suppose 4*p = p. Suppose -2*h + 134 = -p*h. Is h a prime number?
True
Let a = -5 - -31. Is a a composite number?
True
Let n(i) be the second derivative of i**4/6 - i**3/6 - 2*i**2 + 4*i. Is n(6) composite?
True
Let v = -2 + 5. Let s = 3 - v. Is 1/2*(s - -14) prime?
True
Let y = 6680 - 4509. Let g = -1114 + y. Is g composite?
True
Let p = 8 + -5. Suppose p*q = 47 + 4. Let o = q + 18. Is o prime?
False
Let l = -1027 + 1506. Is l a composite number?
False
Suppose 12 = 3*p, -5*f + 5 = -6*f + 2*p. Suppose f*d + 10 = -2*d. Is 0 + (9 - -2) - d a composite number?
False
Suppose -2*u - j = -107, 4*u - j - 2*j - 229 = 0. Is -2 + u + (3 - 3) a composite number?
False
Suppose 0*p = -4*p + 760. Suppose 0 = -5*t + p + 85. Is t prime?
False
Let p(h) = 503*h**2 + 2*h. Is p(-1) a prime number?
False
Let d(r) = -49*r + 10. Is d(-15) prime?
False
Suppose 0 = -3*g - 2*g + 25, -h - 145 = 5*g. Let p = h + 373. Is p a composite number?
True
Let r = -20 + 29. Let g = r + -17. Is (-87)/(-12) - (-2)/g a composite number?
False
Suppose -4*y - h = 4, -4*y = 3*h + 6 + 6. Suppose 5*u - 597 = -3*i + 2*i, y = 5*i - 10. Is u a prime number?
False
Let p(c) = 83*c**2 + c + 1. Let g(x) = -x**3 - 7*x**2 - x - 8. Let d be g(-7). Is p(d) a composite number?
False
Let j = -57 - -138. Let x = j + -46. Is x a composite number?
True
Suppose 0 = -3*g - 3*q + 381, 0*g + 381 = 3*g + q. Is g a prime number?
True
Is 1 + 13*(-4)/(-1) a composite number?
False
Suppose 2*p = -4*m + 2, -5*p + 5 = -0*m + 3*m. Suppose -5*z = 4*r + 448 - 1419, m = -4*z + 3*r + 752. Is z prime?
True
Suppose m - 3*l - 6 = 2*m, 0 = -4*m - 3*l + 21. Let o = m + -1. Suppose 5*f - o + 28 = 0, 3*h + 4*f - 269 = 0. Is h prime?
False
Let i(p) = -25*p + 6. Let k(a) = -12*a + 3. Let f(d) = -2*i(d) + 5*k(d). Is f(-3) a prime number?
False
Suppose -4*i = 4*h + i - 38, -2*h = 5*i - 24. Suppose h*x - 3*x - 52 = 0. Is x a prime number?
True
Suppose n - 3*j + 5*j = -2, -3*n - 26 = -4*j. Let h = 10 + n. Let t(u) = 2*u**2 + 3*u - 1. Is t(h) composite?
False
Let m = -9 - -8. Is 15/(-12)*m*116 composite?
True
Let r = 9 - 7. Is (-4)/2 + (r - -19) composite?
False
Let t(w) = 37*w**2 - w - 1. Let i be (2/(-6))/(2/6). Is t(i) composite?
False
Suppose -3*f = -3*i - 0*i + 69, 2*i = f + 23. Let k = 51 + f. Suppose -q = 3*q - k. Is q prime?
True
Let v(c) = 2*c**2 - 8*c - 1. Is v(-6) prime?
False
Suppose 2*b + 11*z - 121 = 6*z, 4*b - 3*z = 203. Is b a composite number?
False
Let t = -6 - 1. Let h(p) = -10*p - 1. Is h(t) a composite number?
True
Let j(a) = 2*a**2 - 4*a + 3. Let l be j(2). Is l - ((-4)/(-2) - 1) prime?
True
Suppose 2*i + 2110 = 7*i. Is i prime?
False
Suppose 3640 - 1396 = 4*l. Is 1/(-3)*-1*l prime?
False
Is (-443*5/5)/(-1) a prime number?
True
Let k(x) = -x**3 + 10*x**2 - x + 25. Is k(9) a prime number?
True
Let y be (8/(-20))/((-1)/70). Suppose i - y = 9. Is i a composite number?
False
Suppose -12*w = -9*w - 921. Is w prime?
True
Let j be 4/14 + (-2046)/(-42). Suppose -67 - j = -2*o. Is o composite?
True
Suppose -3302 - 3604 = -6*f. Is f prime?
True
Let w(f) = 67*f**3 + 6*f**2 - 12*f + 2. Is w(5) composite?
False
Let c = -10 + 12. Suppose 2*o - 1036 = -c*o. Is o prime?
False
Suppose 4*d - 6099 = -5*r, -4*r - 1266 = -d + 285. Is d prime?
True
Suppose 2*v - 75 = -3*f, 3*f - 42 = v - 2*v. Is v prime?
False
Let a = -5 + 15. Suppose 4*f + 5*c + 10 = 0, 3*f - f - 5*c - a = 0. Suppose 2*g = -w + 25, f*w - g + 30 = w. Is w a composite number?
True
Is (-7248)/(-51) + 10/(-85) composite?
True
Let a be 18*(-1 + 0 + 2). Suppose -k - 2*k = -5*x + 102, x = 3*k + a. Is x prime?
False
Let q = -169 + 345. Suppose 210 = 5*u - 5*f, -u + 5*u = -4*f + q. Suppose 5*c - u - 142 = 0. Is c a prime number?
True
Suppose -5*v = -692 - 53. Is v a prime number?
True
Let v be (-8)/(-1) + -2 + 0. Let m = 10 - v. Suppose -m*q - 2 + 318 = 0. Is q a prime number?
True
Is -1*(0 - -1901)*(1 + -2) a prime number?
True
Let d be (16/(-12))/((-2)/3). Suppose -h = d*f - 13, 4*f = 3*h - f - 94. Is h a composite number?
False
Let z(t) = t**3 + 8*t**2 + 6*t + 1. Let a be z(-7). Let y(q) = 2*q**2 - 7*q + 15. Let h(m) = 2*m**2 - 6*m + 16. Let c(d) = -6*h(d) + 7*y(d). Is c(a) prime?
False
Suppose -c - 2930 = -5*h, 44 + 1145 = 2*h + 3*c. Is h a composite number?
False
Let p = -5 + -1. Let t = -2 - p. Suppose 0*s - 152 = -t*s. Is s composite?
True
Let r(y) = -4*y**2 + 2*y - 1. Let s be r(1). Suppose 4*t = 19 + 141. Let q = s + t. Is q a composite number?
False
Let i(y) = 1060*y - 71. Is i(6) a prime number?
False
Let k(u) = u + 37. Is k(0) a prime number?
True
Suppose 0 = -3*v + g + 554, 4*g = 2*v - 0*v - 386. Suppose 5*d - 2*p - 2*p = v, -48 = -d - 3*p. Suppose d = -4*q + 931. Is q prime?
True
Let d(l) = l**3 + 10*l**2 - 22*l - 21. Is d(-10) a prime number?
True
Suppose -q - 4*f = -3*q + 678, 4*f = q - 349. Suppose -z + 4*z - n - 992 = 0, z - 2*n - q = 0. Is z a prime number?
True
Suppose -2*o - 2*u + 176 = 0, 0*o + 2*o + 3*u - 175 = 0. Is o composite?
False
Let z(p) = -p**2 + 4*p + 3. Let v be z(4). Suppose 0 = v*k - k - 8. Suppose -q = -5*q - 4*m + 56, -k = -q - 3*m. Is q a prime number?
True
Suppose 0 = 3*z - 4*x - 16, 8 = 3*z - 0*z + 4*x. Suppose -z*s + 21 = 117. Let g = s + 61. Is g composite?
False
Let n(c) = c**3 + 14*c**2 + 13*c - 1. Let j be n(-13). Is (78/(-18))/(j/15) prime?
False
Let o be 2/2 - (0 - 2). Suppose o*i - 112 = -2*k, -5*k + 3*i + 197 = -104. Is k a composite number?
False
Let a(l) = -56*l + 6. Let w be 12/(-10)*5/2. Let o(t) = -11*t + 1. Let s(h) = w*a(h) + 16*o(h). Is s(-2) a prime number?
False
Suppose 7*k = 2*k - 5. Is (-4 - (-3)/k)/(-1) a composite number?
False
Is (-1)/(-5) - ((-13508)/10 - 0) prime?
False
Let r(g) = g**3 - 13*g**2 - 2*g - 35. Is r(16) prime?
True
Let v = 1531 + -142. Suppose 2447 + v = 4*q. Is q composite?
True
Suppose 1 = -3*r + 10. Let c = r + -1. Is (109 - -1) + c + 1 a prime number?
True
Let c(h) be the third derivative of 7*h**4/12 - h**3/2 + 2*h**2. Let r = 23 - 21. Is c(r) composite?
True
Let g(a) = -4 + 36*a + 0 + 6. Is g(2) composite?
True
Suppose -2*j + 48 = -6*j. Let l be 2 - 5*1*j. Suppose n - 3*n = -l. Is n a prime number?
True
Let f = 15 + -23. Suppose -5*q + 6*q + 2 = 0. Is ((-298)/f)/(q/(-8)) a prime number?
True
Let i(o) = 24*o - 4. Let g be i(4). Let h = 35 + g. Is h a composite number?
False
Let y(u) = 59*u - 12. Is y(9) a composite number?
True
Suppose 0 = h + 1, 4*s = 5*h + 588 + 309. Is s composite?
False
Let u(o) = -o**3 - o + 35. Suppose -n = 3*v + v, -2*n - v = 0. Is u(n) composite?
True
Let n(q) = 11*q**2 + 5*q - 1. Let u(b) = -b**3 - 5*b**2 + 8*b + 7. Let a be u(-6). Is n(a) a prime number?
False
Suppose -4*v - 1259 = -5*x, 2*x + v = 158 + 343. Is x composite?
False
Suppose 0 = -2*m - 3*d + 23477, 14589 = 4*m - 4*d - 32395. Is m prime?
True
Suppose 4*a - 2*a - 1934 = 0. Is a a prime number?
True
Let k(q) = q**3 - 3*q**2 - 3*q - 5. Let i be k(4). Is -2 + 2 + i + 78 a prime number?
False
Let u = 3 - 0. Suppose 0 = -3*k - 0*k. Let l = k + u. Is l composite?
False
Suppose -r + 3 = -0. Suppose 4*w - 809 = f, r*f = -3*w + f + 593. Is w a prime number?
False
Suppose b - 6*b = -15. Let v = 1 + 1. Suppose -b*t = v*t - 35. Is t a prime number?
True
Suppose -82 = -4*c + 154. Let s = c - 24. Is s a prime number?
False
Let k = -4 + 7. Suppose j - k*j + 4 = 0. Suppose 4*x = 5*x + j*w - 13, 5*x + 5*w = 60. Is x a prime number?
True
Suppose -b + 10 = -2*b + 5*g, 4 = 5*b + 2*g. Let h = b + 10. Let x = 11 + h. Is x prime?
False
Let n = 117 - 34. Is n prime?
True
Let x(f) = f**3 + 6*f**2 + f + 3. Let u be 1 + 2/2 - 8. Let k be x(u). Is (-402)/(-18) - (-1)/k a prime number?
False
Let a(q) = -31*q + 9. Let n be a(-4). Suppose n - 426 = -w. Is w prime?
True
Suppose -4*n - 2*q + 28 = -4*q, 2*q = -4. Suppose t = n*t, 0 