4 + 3))*-1. Let t be w(l). Suppose -t = 4*q + 2. Which is smaller: -8/3 or q?
q
Let x(j) be the third derivative of j**5/60 - j**4/6 + j**3/6 - 19*j**2. Let p be x(-2). Which is smaller: 15 or p?
p
Let v(j) = j**2 - 6*j + 8. Let c be v(6). Let s be (76/6)/(c/12). Let r = 11 - s. Is -8 smaller than r?
False
Suppose 92*u + 2 = 94*u. Which is smaller: 0.13 or u?
0.13
Let q = -66 - -64. Let y(f) = -f + 9. Let l be y(7). Suppose -4*c - 2 = -2*d + 4, -l*c - 6 = 2*d. Which is bigger: q or d?
d
Suppose 3*n - 3*u = -48, n = u + u - 15. Let o = n + 19. Which is bigger: o or 4?
4
Let t(p) = -p**3 + 9*p**2 - 15*p - 8. Let l be t(4). Let h be (((-135)/20)/(-3))/(l/16). Is -1/53 at least h?
False
Let l be ((-6)/202)/(-6 + 18 - 13). Which is bigger: l or -1?
l
Let r = -1/15 + -583/30. Let f be ((-6)/(-15))/((-3)/(-150)). Let h = r + f. Which is bigger: h or 1?
1
Let s = 3495/4 - 868. Which is greater: s or 1?
s
Let p = -382 + 209. Is p at least as big as 0.2?
False
Let z = -8571 + 8570.95. Let q(g) = 7*g - 1. Let o be q(-1). Which is greater: z or o?
z
Let n = 0.1 + -0.17. Let u = 35/611 + -28/47. Let p = -1/26 - u. Do n and p have the same value?
False
Suppose -5*f = -f - 32. Suppose 0 = f*m - 4*m + 44. Does m = -10?
False
Let i(n) = 4*n**2 + 3*n. Let y(g) = 11*g**2 + 9*g - 1. Let x(t) = -8*i(t) + 3*y(t). Let m be x(-6). Let r = m - 6. Is r greater than 9?
False
Let y be 5/(-4)*4/(-5). Are y and 26/31 non-equal?
True
Let s be 0 + -3*(3 + -1). Let k be -4 + (3 + -2)/((-4)/(-16)). Suppose 0 = -k*y - 3*y - 21. Is y bigger than s?
False
Let i be 5*6/(-12)*(-12)/8655. Is 1 equal to i?
False
Let t = 94 - 937/10. Let q = 109/330 - t. Does q = 0?
False
Let u(r) = 3*r**2 + 10 - 6*r - 9 - 4*r**2. Let c be u(-6). Is c greater than 6?
False
Let h be (-14)/(-8) - 2 - 30/8. Is h > -4?
False
Let s = 21.18 - 21. Let g = -53.87 + 53.97. Is g greater than or equal to s?
False
Suppose -118 - 641 = t. Are -760 and t unequal?
True
Let l be (-2)/10 + 2086/(-70). Let p be (-10)/(-4)*(-84)/l. Which is smaller: 6 or p?
6
Suppose -3*v = -0*v + 3*q, 24 = 3*v - 5*q. Which is smaller: v or 14?
v
Let q be 6 + ((-363)/22)/((-2)/(-28)). Which is bigger: q or 2?
2
Let y = 116 + -117. Which is bigger: y or 1.63?
1.63
Let t(p) = -p**3 - 3*p**2 - p - 3. Let k be t(-3). Let z = -114 - -115. Let u be z - -1 - (3/5 - -1). Which is greater: k or u?
u
Let v be ((-4)/10 - 934/(-10))*7/21. Let u be -2 + 2 + (-58)/(-2). Which is greater: u or v?
v
Let h(l) = -l**2 - 2*l. Suppose 4*r + 0*r + 24 = 0. Let j be ((-12)/(-9))/(r/9). Let o be h(j). Is o >= -4/7?
True
Let h = 31 - 31.009. Let k = -0.009 - h. Which is bigger: -0.4 or k?
k
Let h(g) = -g**3 - 6*g**2 + g - 5. Let a be h(-6). Let m = 17 - a. Is 28 > m?
False
Let r be (1/(-2))/((-1)/2). Let v = 0.0078 + -161.1078. Let z = 161 + v. Which is greater: z or r?
r
Let f(x) = -x**3 + 6*x**2 - 7*x - 7. Let b be f(3). Suppose -2*n + 5*n - 3 = 0. Is b less than or equal to n?
True
Suppose 4*m + 8 = 0, -r + 55 = 4*r + 5*m. Does 10 = r?
False
Let x be 22672/(-48) + 2/(-3). Let t = x + 2383/5. Is -0.2 at most t?
True
Let j = 36 - 23. Suppose 5*n - 2*t + 5*t + 21 = 0, -2*t - j = 3*n. Which is greater: n or -4?
n
Let h = 0.066 - 0.876. Let f = -0.91 - h. Let z = 663/5 + -133. Are z and f unequal?
True
Let j be (-3)/(3/6*-2). Suppose 1 = j*g - 4*g. Let b = -157 - -787/5. Is g greater than b?
False
Let i = 11 - 13. Let q be i/8*0 + 1. Let j be (q/(-20))/(2/(-4)). Which is bigger: -1 or j?
j
Let h = 682/3 + -236. Are h and 0.6 equal?
False
Let r be ((-10)/8)/((-5)/20). Suppose r*c - 100 = -0*c. Suppose 4*g - 45 = d + 2*d, 0 = -4*d + c. Is g <= 15?
True
Let h be ((-1194)/16)/(1 + 40/32). Is h bigger than -32?
False
Let y = -0.1 + 0. Let m = -1870 - -33649/18. Let q = m - -149/126. Is y > q?
False
Let b be 3/(-2655)*(-6)/(-4). Is b bigger than -1?
True
Let f = -0.22 - 1.28. Let o = 137.9 + -138. Which is bigger: o or f?
o
Let x = -114 - -81. Let h = x + 34. Let r be -11 - (-6)/(-4 - -1). Which is smaller: r or h?
r
Suppose -48*k + 57*k = 306. Let z = -6 - -8. Let r be (0 + k)*(-1)/z. Does -18 = r?
False
Let q = -99 - -14. Let n = -65 - q. Is n > 19?
True
Suppose 117 = -5*g + 4*c - 1, 2*c = -3*g - 84. Let u = g + 31. Let d be 4/(-6) - 14/(-3). Is u not equal to d?
True
Let x be 129/10 + 14/140. Suppose d = 5*d + 5*j - 58, -4 = -d + 4*j. Let o = x - d. Is o at most -3/8?
False
Let b = 3 - 26. Let n be 4/5*(3 + 2). Let r be b/n - 3/12. Is -4 at least as big as r?
True
Let r = -1308/11 - -119. Let d = 1.5 + 2.5. Let z = d + -3.9. Which is bigger: r or z?
z
Let p(y) = 5*y + 34. Let u be p(-15). Do u and -38 have different values?
True
Suppose 2*q = -5*l - 10, l + 2 = -0*l - 2*q. Let i = 662 - 6633/10. Is i equal to l?
False
Let v = -1.259 + 1.2. Does v = 1/3?
False
Suppose -2*p + 99 = 145. Are -26 and p equal?
False
Let m = 10 - 8. Let s be 20/(4/(4 - m)). Suppose -3*y = -2*y + s. Does y = 1?
False
Suppose 3*i + 19 = 2*a, -3*i + 2*a = 7*a + 26. Let x = i - -6. Is x at most 3/13?
True
Let y(g) = -g**3 + 9*g**2 - 9*g + 2. Let z be y(8). Let c = 5 + z. Let n be 19/(-76) + (-6)/(-88). Which is smaller: n or c?
c
Let v = -0.18 + 0.04. Let w = -0.26 - -0.46. Which is smaller: w or v?
v
Suppose 0 = -3*z - 2 - 1. Let t = 229 + -692/3. Is z at least as big as t?
True
Let q be (-30)/(-4) - 12/(-24). Let i be q/(-6) - 213/(-18). Let h = i + -61/6. Is h not equal to 0?
True
Let k = -0.005 - -0.085. Let z = 0.52 + -0.52. Which is smaller: k or z?
z
Let t(a) = -4*a - 7. Let c be t(-2). Is -0.88 smaller than c?
True
Let v(d) = -d**2 + 19*d - 17. Let t be v(18). Suppose -5*x - t = -6. Which is smaller: x or 11/5?
x
Let j(f) = -41*f - 8. Let o be j(-8). Let l be (-2)/5 - (-8)/o. Suppose -8*w + 3*w + 10 = -2*p, w + 15 = -3*p. Are l and w non-equal?
True
Let u be 6/21 + (-447)/21. Let i = 40 + u. Does i = 18?
False
Let f(b) = 5*b**3 + 31*b**2 + 2*b - 1. Let h be f(-6). Let z(c) = c**2 - 25*c + 13. Let d be z(h). Which is greater: d or -35?
d
Let b be 1/2 + (-105)/168. Suppose 0 = 3*t - a - 0*a - 22, -2 = -3*t + 5*a. Suppose 0 = p + d - 6*d - t, -d = 2*p + 4. Is b greater than or equal to p?
True
Let s(u) = -u**2 + 14*u - 2 + 1 - 3 - 6*u. Let v be s(6). Suppose 3*h = -h + t - 16, -4*h + 3*t - v = 0. Are 0 and h non-equal?
True
Suppose -43*s - 295 = 178. Are s and -32/3 non-equal?
True
Let v = 2/13557 + 45028/1098117. Which is smaller: v or 1?
v
Let a = 3.59 - 3.49. Is a less than or equal to -22/9?
False
Let u be 15/20 - (-77)/4. Let o = u - 23. Let s = 46 + -46. Which is bigger: s or o?
s
Let y(c) = c**3 - 7*c**2 + 5*c - 11. Let j = -3 - -9. Let d be y(j). Let f = -20 - -2. Which is smaller: d or f?
f
Let g(j) = -j**2 - 3*j. Let s be g(-2). Let m be (-7 + s)*(3 - 4). Suppose m = -2*z + 7*z. Which is smaller: z or 0?
0
Let c(f) = 1 - f + 3*f - 2*f + 3*f. Let z be c(-12). Let u be (-13)/(-7) - 5/z. Which is smaller: 3 or u?
u
Suppose 2*m + 2 = -0*m - 5*g, -2*m + 6 = 3*g. Suppose -o = -2*u - m, -5*o - 11 = 6*u - 2*u. Let r be (-2 + 24/17)*2/5. Is o greater than or equal to r?
True
Suppose 2*j + 2*j - 4*h = 24, -3*h - 12 = 0. Suppose 4*p - 2*t - 110 = 0, -3*p + p - j*t = -40. Which is smaller: p or 24?
24
Suppose 0*z - 36 = 3*z. Let u be 4/(-14) + (-14)/(-49). Suppose -3*h + u*h - 39 = 0. Which is smaller: h or z?
h
Let g be (-21)/(-133)*2/3. Suppose 0 = 3*w - r - 100, 3*r + r + 48 = w. Let u be 24/w - 9/12. Is u < g?
True
Let a = 9.91 + -10. Let k = -2.41 + a. Which is greater: k or -1?
-1
Suppose -3 = 4*x + 37. Let n = 71 + -61. Let a be 14/n*(-8)/(-28). Which is bigger: a or x?
a
Let p = 1286 + -746. Which is greater: 541 or p?
541
Suppose 5*v - 30 = 5*c, -5*v + 51 = 2*c - 0*c. Let s = -19 - v. Let b be (s/8)/7*-2. Do -1/12 and b have different values?
True
Suppose d = -4*d - 5, 5 = -u - d. Let w(c) = -c**3 - 5*c**2 - 3*c - 5. Let k be w(-5). Let v = u + k. Is 6 at most as big as v?
True
Let v = -0.66 + 13.66. Let a = v + -15. Which is smaller: 3/20 or a?
a
Let r = 3 - 2. Let i be 3/1 + r + 155/(-20). Which is smaller: -5 or i?
-5
Let x(d) = d + 3. Let a be x(-8). Suppose -6 = -12*l + 9*l. Suppose l*h = -4 - 4, 5*q + 4*h = -36. Is a not equal to q?
True
Suppose -198 = -619*t + 613*t. Are t and 354/11 equal?
False
Let f = 677 - 681. Does -88/35 = f?
False
Suppose -72770 = 38*f - 10070. W