4. Which is smaller: 295 or p?
p
Let w be (16/(-28))/(81/1134). Are -42 and w unequal?
True
Let o be 111 + 5/(6/10*(-315)/(-189)). Let k(h) = 30*h**2 + 2*h + 2. Let g be k(-2). Is g <= o?
False
Let u(f) = 47*f**2 + 11*f - 43. Let r be u(3). Are 2485/6 and r unequal?
True
Let r(a) be the first derivative of a**3/3 - 6*a**2 + 91*a - 71. Let x be r(12). Is x != 92?
True
Suppose 4*x = 10 + 18. Suppose 5*b - 28 = x*b - 3*d, -1 = b + 5*d. Let q(s) = -5*s. Let l be q(2). Which is smaller: b or l?
b
Let m(x) = -x**2 - 2*x + 2. Let y be m(-3). Let k be (17/(-7) - 10/(-5))/(-19). Which is bigger: k or y?
k
Suppose p - 7*p = 42. Let y be 4/p + (-40259)/119. Let l = y - -339. Is l greater than 1?
False
Let q(i) = 8*i - 4. Let g = -20 + 23. Let w be q(g). Suppose -w*o = -23*o - 48. Which is smaller: -3 or o?
o
Let j(l) = -246*l - 1723. Let o be j(-7). Let q = 1031 + -16491/16. Do o and q have the same value?
False
Let a = -0.09 - 0.21. Suppose 23 = 9*l - 22. Suppose l*u + 4 = -2*j, 5*u - 8 = 2*j + 16. Is a bigger than j?
True
Let f = 22093 - 22160. Which is bigger: f or -163?
f
Let z(x) = x**3 + 15*x**2 - 4*x - 44. Let l be z(-15). Suppose l*c = -214 - 106. Which is smaller: c or -0.02?
c
Suppose -4*k + 103 - 11 = 0. Let s = 31 - k. Suppose -x - 3*p + s = 0, -5*x = 2*p - 0*p + 25. Is x >= -5?
False
Let n be (-2 - (-732)/294) + (-4)/7. Let v be (4/(-7))/((-6)/42). Suppose 2 + 2 = v*q. Is n equal to q?
False
Let g = 0.496 - 114.496. Let w = -113.988 - 0.012. Let i = w - g. Which is smaller: i or 13/5?
i
Let k(b) = 2*b - 1. Suppose 1 = x + 2*p, x + 0 - 1 = -4*p. Let c be k(x). Let g be (2*c/(-4))/(119/196). Is g >= -1?
True
Let q be 5/(220/8) - 72/(-88). Which is smaller: q or -3/3395?
-3/3395
Let v be -1 - (1 - 1 - -6). Let j be (-6 - (-429)/65)/(2/10). Suppose -i = 4*l + 21, i + j*l - l = -11. Is v > i?
False
Let i be 4/96*4 - (-117750)/36. Is i >= 3267?
True
Let m(q) = q**3 - 7*q**2 + 6*q - 2. Let z be m(4). Let y be (-1 + -3)*((-124)/16 + 1). Let c = y + z. Which is smaller: 1/17 or c?
1/17
Let t(y) = -8*y**2 + 93*y - 51. Let x be t(10). Is x bigger than 82?
False
Suppose -5*j - 25 = -10*j, -2*n = 2*j. Let g(q) = -q**2 - 3*q + 9. Let m be g(n). Which is greater: m or 2?
2
Let s(h) = -118*h**3 - 3*h**2 - 18*h - 1. Let w be s(-3). Is 3212 less than w?
False
Suppose 200 = 5*x + 27*q - 22*q, 2*x = 3*q + 100. Is 43 less than x?
True
Let m = 150 + 33. Let k = m + -183. Is 0 smaller than k?
False
Suppose 8*x - 153 = 5*x. Suppose -55 = p + 4*b + 8, -4*p + 4*b - 192 = 0. Let j = x + p. Is j < 13?
True
Suppose 411*w + 13*w - 2120 = 0. Let m = -0.144 + 0.073. Is w < m?
False
Suppose 0 = 10829*y - 10843*y + 11424. Which is smaller: 810 or y?
810
Let o(x) = 3*x**2 - 61*x + 17. Let s be o(20). Let p be 4 + 112/3 + (-2)/s. Which is smaller: 81/2 or p?
81/2
Let k be (-12208)/165537 + 140/1890. Which is smaller: k or -1?
-1
Let k = 253 - 253. Which is bigger: -7/993 or k?
k
Suppose -100*g + 619366 = 152*g - 427442. Which is smaller: 4155 or g?
g
Let z be -2 - -15022*3/22527. Let q = z + -11405/7313766. Which is smaller: 1 or q?
q
Suppose 0 = -39*k - 587 - 706 - 813. Is k != 23?
True
Suppose 12389 + 59131 = -22*v + 2*v. Is -3576 at least v?
True
Suppose -h + 10 = -0*h - p, 0 = 5*p + 25. Suppose -2*o - 5 = 4*y + 7, -7 = -h*y + 3*o. Is -17 >= y?
False
Let f be 1/(-7) + 54636/203. Is 271 at most as big as f?
False
Let h = 1258 - 1205. Suppose -56*z + h*z = 30. Let b(o) = -3*o**2 - 2*o - 1. Let r be b(-1). Which is smaller: z or r?
z
Let k be -3 - 14/(-3) - ((-80)/(-12) - 6). Which is bigger: -11/81 or k?
k
Suppose 4*n - 4*q - 881 = -2349, 5*n - 2*q = -1829. Is n greater than -367?
True
Let q = 2961 + -2960.429. Which is bigger: q or 2/5?
q
Suppose -3*s = 2*q - 2762, 5*q - 3015 - 3924 = s. Does q = 1387?
True
Let l = -10365 - -10366. Is l < -173/6?
False
Let r = -20 + 12. Let m = 68727 + -68727. Is m smaller than r?
False
Let a be (-4)/(-4)*3/6. Let v(l) = -609*l + 613*l + 3 + 27. Let o be v(-7). Which is smaller: a or o?
a
Suppose 38*x = 1190 - 825 + 3929. Is x greater than 63?
True
Let d(l) = l**3 + 11*l**2 + l + 15. Let u be d(-11). Suppose -u*z = 3*q - 120, 5*z - 106 = -3*q + 47. Which is smaller: z or 3/4?
3/4
Let t = 0.012 + -33.012. Let l = 4.1 + 28.9. Let z = l + t. Which is smaller: z or -3?
-3
Let a(f) be the second derivative of 41*f**3/6 + 59*f**2/2 - 14*f - 1. Let o be a(3). Is o less than or equal to 182?
True
Suppose -4*c + 38 = 5*w + 55, 0 = -2*w - 5*c - 17. Do w and -33/215 have different values?
True
Suppose k - 9 = -10*w, w - 25 = k - 23. Which is bigger: w or 0.07083?
w
Let k be -12 + (-15)/((-76350)/60770). Which is greater: 0 or k?
0
Let x(w) = w**2 - w - 16. Let m be x(0). Let c(d) = -d**2 - 15*d + 16. Let o be c(m). Suppose o*i = 3*i. Is -4/47 smaller than i?
True
Let f = 247 - 329. Let r be (-16 - -12)*(0 + f) - -3. Which is bigger: 330 or r?
r
Let t = -0.2117 + 0.187. Let y = 415.1 - 415. Is y < t?
False
Let j be 14 - (7 - 4) - 6 - -1032. Which is greater: j or 1036?
j
Suppose 97 = y + 69. Suppose -y*i = -29*i + 11. Let x = -7 - -19. Which is greater: x or i?
x
Let q be (-67)/(-5) + (-16)/40. Suppose 0 = q*d + 5182 - 1425. Is -290 > d?
False
Let g be 0*(2 + 27/(-12)). Let s(x) = x**2 + x - 19. Let z be s(g). Let b(j) = -j**2 - 4*j + 12. Let f be b(4). Which is greater: z or f?
z
Let o(n) = -n**2 + 16*n + 80. Let w be (-59 - -49)*(-2 + 0). Let r be o(w). Which is greater: r or -1?
r
Suppose -6*x + 576 = 336. Let t(l) = 11*l - 4. Let h be t(6). Let d = x - h. Is d smaller than -22?
False
Let n(v) = -v**3 + 10*v**2 - 7*v - 17. Let m be n(9). Let t be (-1)/2 + m*69/66. Let o = -35/44 + t. Is o less than or equal to -1?
False
Let n be 28/6 + -4 + 52/39. Let j be -5 + n - 112/(-160). Is j bigger than -2?
False
Let j = 540 - 510. Let c be (-2)/(-2)*(-10)/j. Which is smaller: c or 18?
c
Let a be 29/(-8)*(8/(-10))/((-21)/(-210)). Is -27 <= a?
True
Suppose 10 = -8*k + 7*k - 2*s, 0 = 5*k + 4*s + 44. Which is greater: k or 85?
85
Let x = -156 - -153. Let o be 1577/152 + x/8. Are 10 and o equal?
True
Let x = -215 - 13. Let r = x + 195. Is r at least as big as -1?
False
Let b(v) = v**3 - 12*v**2 + 33*v - 10. Let k be b(8). Let w be (46/460)/(k/(-12)). Is w != 0.3?
True
Let p = -5710800/43 + 132818. Which is bigger: 9 or p?
9
Let v(x) = x**3 - 5*x**2 + 4*x + 5. Let h be v(4). Suppose 25 = -3*a - 4*g, -5*g = -h*a + 6 - 1. Let u = -4 + a. Is u <= -5?
True
Let o = 1626233/80 + -20329. Are 1 and o nonequal?
True
Let x be (4 - 42) + 0 + 4. Let q be (-18)/6 + x + 2. Let o = -87 - -52. Is q < o?
False
Suppose 2*k = -4*v + 1364, -2*v - 1716 = -7*v + 3*k. Suppose 0 = -8*p - 38 + v. Suppose 4*b - p = -102. Is -18 at most b?
True
Suppose 15*a = -194 + 44. Let j be -55464*7/(-539)*a/(-3). Let n = 2401 - j. Which is bigger: 1 or n?
1
Let n be (0 - 0) + 1*-5. Let g be (-38 - 7)*1/(-5) + (-19)/((-1045)/(-800)). Is g < n?
True
Suppose -2*o - 8 = 4*k, 1 = -4*o - 0*k - 3*k. Let i be 3/(-46)*o/(-9). Let z be (4/88)/((-80)/(-880))*(-4)/(-2). Which is smaller: i or z?
i
Let t(c) = -2*c**2 + c + 1. Let g be t(-1). Let b be (-3 - g)*(-8)/(-18). Suppose -2*d - 2*l = -2, l - 5*l = 2*d - 4. Which is smaller: d or b?
b
Suppose -m + 5*k = -169, -2*m - 5*k = -324 + 61. Is m < 143?
False
Let z = -17009.039 + 17009. Which is bigger: z or -16?
z
Suppose g + 750 = -2*n, 2189 + 831 = -4*g - 3*n. Which is smaller: g or -760?
-760
Let x = 699319/263 - 2659. Let q(h) = h**3 - 5*h**2 + 13*h - 31. Let r be q(4). Suppose f = 4*f - r*f. Is f less than or equal to x?
True
Let c = 490 + -494. Let s be 256/56 - 8*c/(-8). Which is smaller: s or 14/3?
s
Let f = 0.008049 - 5.976749. Let g = f - 0.0313. Let y be 6*1 + (1 - 1). Is g less than or equal to y?
True
Let y be (-7 - 0 - 88/48) + 5 + 2. Is y at most as big as -1/7?
True
Suppose -24 = 10*f - 16*f. Let k be (-29)/f + 1 + (-20)/(-80). Let r be k + (-2116)/(-220) + 4/22. Is r at least as big as 1?
True
Suppose 3*l - 246 = -k - 2*k, -16 = -4*l. Suppose 0 = -59*a - 305*a + 28392. Is k less than a?
False
Suppose 4*v = 4*x - 12, 3*x - 5 = -4*v + 3*v. Let o be (v*1/(-4))/((-129)/36). Which is bigger: 0 or o?
0
Suppose 10*k + 536 + 246 - 152 = 0. Suppose 0*w = -3*w - 189. Is k less than or equal to w?
True
Let m = 2155 - -2539. Which is smaller: 4695 or m?
m
