 8 = -4*j - 4*p, -3*j + 17 = 5*p. Let x be (j - 0)/((-3)/18). Is k bigger than x?
False
Let q be (-2 - 28/(-12))*9. Suppose 174 = 5*w - 8*w - 3*h, -w = -q*h + 58. Is w > 1/4?
False
Let d = 32.3 + -35. Let l = 35 - 37.8. Let g = d - l. Which is bigger: 0.06 or g?
g
Suppose 4*k + 19 = 5*f, 9*f = -2*k + 14*f - 17. Let x(b) = b**3 - 7*b**2 + 6*b - 2. Let z be x(6). Let v be z/38*(-6)/2. Is k > v?
False
Let x be (-2)/5 - (-994)/35. Suppose -5*c + x = 3. Suppose 0 = -3*u - c*f - 8, -2*f + 3 = u - 6*f. Which is smaller: u or 0?
u
Let v = -1.6 - -2. Let u = 9.86 + 0.14. Let s = u - 10.3. Which is greater: v or s?
v
Let r = -853/2 + 427. Let t be 6/4*(-1)/(-36). Which is greater: r or t?
r
Let f be -1 + 1 - (-1 - -1). Suppose 3*m - 7*m + 4 = f. Let u = 1925/6 - 320. Is m greater than u?
True
Let j = -325.1 - -307. Let k = j + 6.1. Are -2/5 and k nonequal?
True
Let c(t) = -14*t - 326. Let a be c(-48). Is 346 at most a?
True
Suppose 0 = -4*n + 6 + 2. Let m be 11 + (-2)/4*n. Suppose 0 = 175*t - 533 - 1042. Is m <= t?
False
Let j be (14 + -2)/((-2)/17). Let o = 88 + j. Is o < -14?
False
Suppose 5*o + 48 = 9*o. Suppose -12*a + 8*a = -o. Is a equal to 3?
True
Let z = 7 + -10. Let y be (-10)/(-25)*9/(-2). Which is bigger: y or z?
y
Let i(b) = -b**2 - 7*b - 6. Let j be i(-5). Let q be 1/((-5)/2 + 3). Suppose -3*s + 3 = -z, s + 8 = 4*z - q. Which is bigger: z or j?
j
Suppose 3*k - 4*k + 4*p - 8 = 0, 2*k = 2*p - 4. Are -27/85 and k non-equal?
True
Let z = 54 + -119. Let p = z - -66. Let o = -26 - -41. Is o less than or equal to p?
False
Let y be ((-14)/1190)/(5/(4750/48)). Let u = y - -7/24. Is u >= 1?
False
Let u be (-4)/164*(2 - 15/5). Let y = 21 + -20. Which is smaller: y or u?
u
Let m = 53 + -38. Let z = -66 - -68. Which is smaller: z or m?
z
Suppose 78 = 2*h + 22. Let i be 4/14 - (-20)/h. Let r be (-140)/(-546)*i/(-5). Which is smaller: r or -1?
-1
Let j = -113.005 - -113. Is 1/2 bigger than j?
True
Let j(i) = i**2 + 12*i - 72. Let l be j(-17). Is 9 at most as big as l?
True
Suppose -6*t + 2*t = -32. Let r(b) = -b**3 + 8*b**2 - 2*b + 8. Let a be r(t). Suppose -3*m = 15, -3*m = -l - 3 + 12. Which is bigger: a or l?
l
Let t(i) = -i**3 - 12*i**2 + 13*i + 9. Let v be t(-13). Let m be 1/(-2)*(v + 5). Let n be ((-1)/(-4))/(4/(-4)). Which is bigger: n or m?
n
Suppose 28*v = -308 - 5068. Which is bigger: -191 or v?
-191
Let k(z) = -15 + 3*z + 2 - 6*z. Let h be k(-6). Suppose -4*v = -0*u - 5*u - h, 5*v = 0. Is -2 not equal to u?
True
Let c = 2271 - 2268. Is c less than or equal to 35?
True
Let u be 2/3*1*-3. Suppose -2*k + 0*t + 535 = t, -2*k + 555 = -3*t. Let v = -1627/6 + k. Which is smaller: u or v?
u
Let w(o) = o**3 - 10*o**2 - 76*o - 3. Let u be w(-5). Let h be (2/(-4))/((-10)/36). Are u and h nonequal?
True
Let g(u) = -3*u**2 - 9*u - 3. Let w(p) = -2*p**2 - 5*p - 2. Suppose 25 + 0 = 5*t. Let o(h) = t*w(h) - 3*g(h). Let s be o(2). Which is smaller: 2/49 or s?
s
Let l = 0.7 - -1. Let m = 612/2093 + -2/299. Which is greater: m or l?
l
Let d = 16 - -43. Let p = d - 58.9. Which is smaller: p or 17?
p
Let z = 0.06 + 1.94. Let i = 0.102 + -4.102. Let s = z + i. Is s at least -2?
True
Let z be (90/(-3555))/((-1)/2). Are z and -1 unequal?
True
Suppose 530*w = 512*w - 2556. Which is smaller: 2/5 or w?
w
Let v(t) = t**3 - 5*t**2 + 2*t + 4. Let l be v(4). Let i be (-228)/(-420) + l/10. Suppose -5*r = -5*g, -4*g - 3*r = -2*g. Which is smaller: g or i?
g
Let w = -270.183 - -270. Let k = w + 0.133. Which is smaller: k or 3/5?
k
Let p = -49 - -61. Suppose 0*q - 2*q = -2, 3*q + p = -3*h. Is h at most -2?
True
Let k = 6 + -5. Let t be ((-44)/(-132))/((-129)/54). Which is smaller: t or k?
t
Let f be 9/36 + (-7)/(-4). Suppose -2*b = b - 4*q - 30, -2*b + 34 = f*q. Is b != 15?
True
Let g = -29 + 21. Let i = -372 + 370. Which is bigger: g or i?
i
Let t(g) = -2*g + 22. Suppose -9 = -s + 1. Let o be t(s). Suppose 3*i - o + 5 = 0. Is i < 2/107?
True
Let d(n) be the third derivative of n**6/20 - 26*n**2. Let c be d(-1). Is -6 < c?
False
Suppose -54531 + 14773 = -103*o. Is o equal to 388?
False
Let f = -26 - -11. Let p(k) = -2*k**2 - 30*k. Let r be p(f). Which is bigger: -3/32 or r?
r
Suppose 0 = -41*t + 6009 - 843. Is 124 less than t?
True
Let x = 58 - 54. Suppose -5*j = 0, -u + x*j + 88 = 15. Are u and 73 equal?
True
Let f = 8126/27 - 301. Let u be ((3 - 4)*-2)/(-2). Does u = f?
False
Let n = 379 - -141. Do n and 520 have the same value?
True
Suppose 0*r + 3*r = 0. Let h(f) = 3*f + 30. Let i be h(r). Is i greater than 30?
False
Let t = 12 - 12.59. Let v = t - -0.39. Which is smaller: v or 5?
v
Let d = 0.317 - 0.047. Let z = -2758.9 - -2759. Which is smaller: z or d?
z
Let k(h) = 10*h**2 + 2*h + 3. Let f be k(-1). Which is smaller: 13 or f?
f
Let z = 8.947 - 9.46. Is z greater than 0?
False
Suppose 27 = -4*j + 195. Which is greater: 49 or j?
49
Let a be ((-18)/45)/(8/20). Which is smaller: -10/17 or a?
a
Suppose -49*p + 51*p = 1174. Are 586 and p equal?
False
Let s = -3.27 - 0.33. Let x = s - -17.6. Let z = 17 - x. Which is smaller: z or -0.3?
-0.3
Let m = 69.47 - 70. Let f = m + -1.47. Is -2 greater than f?
False
Let s = 22 + -22.2. Suppose 753 + 270 = 33*c. Is s != c?
True
Let z be (-18)/(-162) + 2/(-18). Suppose -3*r = -0*x + 4*x - 1, -2*r + 3*x - 5 = 0. Is r smaller than z?
True
Suppose -3*x - 13 - 7 = -2*h, -4*x - 16 = 0. Suppose -h*y = 1 + 3. Let s = -4737/23 - -206. Which is smaller: y or s?
y
Let p be 4*(-6)/84 + 12/(-105). Is p less than or equal to 29?
True
Let y(x) = -2*x**2 + 7*x + 65. Let o be y(-5). Is -9/5 at least o?
True
Let g be 6/(-115)*1478850/(-120). Let x = g - 643. Which is greater: 0 or x?
0
Let i be 381/(-508)*8/(-190). Which is smaller: i or -1?
-1
Let h = -3.85 - 0.15. Let f = -2.32 - -7.17. Let r = f - -0.15. Which is bigger: h or r?
r
Let a = -172 + 177. Which is greater: 8 or a?
8
Let z = 1355/9 + -151. Let s(a) = a**3 + 9*a**2 + 3*a + 13. Let d be s(-9). Let w = -15 - d. Do z and w have different values?
True
Let a(y) = 2*y. Let w be a(-6). Let f be (w/(-15))/((12/50)/3). Which is smaller: f or 9?
9
Let t(r) = -r**3 - 9*r**2 - 10*r - 11. Suppose 4*d = -8*h + 3*h - 28, -2*h - d = 13. Let c be t(h). Which is smaller: c or 10?
c
Let z(k) be the first derivative of -1/2*k**2 + k + 6. Let l be z(20). Do l and -20 have the same value?
False
Let p = -83 - -51. Let s = p + 22. Let a = s - -12. Which is smaller: a or 1/2?
1/2
Suppose 0 = 8*z - 19*z. Suppose -s = -2*g - z*s - 10, -5*s + 10 = 0. Which is smaller: g or -2?
g
Let a = 16 - 16. Let p = 4 + a. Suppose 3*h + 12 = -5*b, 0*b + p*h - 1 = -b. Is b greater than or equal to -2?
False
Let t be (-24)/(-84) - (-1362)/(-14). Let a = -99 - t. Let f = 4 - 7. Which is greater: f or a?
a
Let v = -693 - -7633/11. Are -3 and v nonequal?
True
Suppose 16 + 0 = 2*a. Let c(s) = -a - 5 + 1 - 13*s - 7 + s**2. Let i be c(14). Is i less than or equal to -5?
True
Suppose -5*k + b = 40 + 13, 5*k + 47 = -b. Let z be 2*(2 + 22/k). Suppose -y + 11 = 4*j, -4*y = -3*y + 5*j - 14. Which is bigger: z or y?
z
Let w be 3*39*(-3)/(-27). Suppose -w*f = -18*f + 145. Is f less than 29?
False
Suppose -x - 4*w - 7 = -4, w = -1. Which is bigger: 0.03 or x?
x
Let l = -61 + 429/7. Suppose 0 = 19*t - 18*t + 3. Let d be 3/9 - (-1)/t. Is d equal to l?
False
Let r(m) = m**2 - 15*m + 2. Let t be r(15). Suppose 0 = 4*g - 2 - t. Let q be 29/(-40) - 45/(-75). Which is bigger: g or q?
g
Let x = 12 - 8. Suppose -25 = 5*m, 0 = 6*t - 2*t + x*m + 12. Is 16/7 at most as big as t?
False
Suppose -2*t - 1 = 13. Let s = t - -6. Which is greater: 1/43 or s?
1/43
Let w(o) = 3*o**2 - 4*o + 1. Let c be w(3). Let q(x) be the third derivative of x**4/24 + 29*x**3/6 + 13*x**2. Let p be q(-14). Do c and p have the same value?
False
Let o = -45 + 146. Let d = o - 102. Which is greater: -3 or d?
d
Let u = 0.1247 - 36.1247. Let t be 6/(-2)*(-2)/18. Which is bigger: u or t?
t
Suppose 3*y - 25 = 26. Let c = 26 - y. Let n(f) = f**3 + 3*f**2 - 4*f - 4. Let v be n(-3). Which is smaller: c or v?
v
Suppose -3*x = -0*x - 30. Suppose x*t + 70 = 3*t. Which is greater: t or 4?
4
Suppose 34*m - 38*m = 5*h - 289, 2*m = -5*h + 287. Is h >= 58?
False
Suppose -15 = s - 26. Does s = 10?
False
Let f be (-364)/(-5 - -9) - (-2 - 0). Let a = f - -30. Which is greater: -58 or a?
-58
Let j(i) = 