lues?
True
Let b(l) be the third derivative of l**4/24 + 5*l**3/6 - 12*l**2. Let f be b(-9). Suppose -6 + 2 = 4*n. Are f and n non-equal?
True
Let z = -133 + 93. Suppose 2*h - h = -5. Let v be z/(-6)*h/20. Which is smaller: -3 or v?
-3
Let v = -3.4 + 18.4. Let u = v - 15.1. Let g = 9.1 + u. Is 0 greater than or equal to g?
False
Let h(f) = -2*f**2 + 12*f - 18. Suppose 5*k = 2*k + 18. Let v be h(k). Is v greater than -19?
True
Let p(g) = -g**3 - 6*g**2 - 10*g + 1. Let r be p(-2). Let i = -1 - -3. Let b be (i - (-10)/(-4))*-12. Is r <= b?
True
Let c = 688 + -695. Is 4 less than or equal to c?
False
Let m = -23 + 15. Let q = -8.2 - m. Let l = -4.9 + 5. Is l less than q?
False
Let s be ((-576)/(-60))/((-4)/40). Which is bigger: 1/3 or s?
1/3
Let z = 98888/13 - 7603. Are z and 3 non-equal?
True
Let b = 9.12 - 9. Let z = b + -0.12. Is -2/3 greater than or equal to z?
False
Let j(g) = -g**2 + g + 25. Let i be j(-4). Suppose -9 = -d - z, -2*z + 30 = 4*d - 0*d. Is d >= i?
True
Let i = 19/16 + -525/496. Is i equal to -1?
False
Let m = 37.05 + 0.95. Let x = -41 + m. Which is bigger: 2 or x?
2
Suppose -43 = -4*y - 3*b, 14 = -2*y - 5*b + 39. Let c(k) = 2*k**2. Let u be c(-1). Suppose -m - 3*s - y = 0, -4*m - m - 24 = u*s. Are 1 and m non-equal?
True
Let n(h) = -h**2 - h + 4. Let i be n(-3). Let k be ((-2)/i)/(70/(-2)). Let g(m) = 3*m - 48. Let d be g(16). Is d <= k?
False
Let m be (-4 - -1)/((-15)/95). Which is greater: m or 14?
m
Let n = 4.9 + -0.9. Let y = 5.2 - n. Let i = -1.1 + y. Which is bigger: -7 or i?
i
Suppose 0*w - 12 = -3*w. Let x = 48 - 48. Is x <= w?
True
Let n be (-9)/6 - (243/(-2) - 2). Suppose -3*m = 4*q + n - 17, 2*q + 50 = -4*m. Let k be (-528)/20 - (-4)/10. Is k less than or equal to q?
False
Let g = 169 + -274. Let l be (-329)/g - (2 + 1). Is l at least as big as -2/11?
True
Let r = -5.3 + 0.3. Let d be (-258 + -1)*(-8)/(-72). Let c = -29 - d. Which is bigger: c or r?
c
Let c = 282 + -283.8. Which is greater: c or -2?
c
Let q be 5/(-2)*304/(-95). Which is smaller: 1 or q?
1
Suppose -w - 2*w - 69 = 0. Let o be (2/4)/((-15)/750). Which is bigger: w or o?
w
Let d = -19 + 44. Suppose 3 = 5*p - 2*k - 4, -4*k = 3*p - d. Suppose 2*h - 4*f + 10 = 32, -p*f - 17 = -2*h. Which is bigger: h or -1/8?
h
Suppose -5*h - 26 + 1 = a, 23 = -3*h + a. Suppose 14 = -2*q + 4. Which is smaller: h or q?
h
Let p(b) = -29*b - 26. Let h be p(-2). Suppose -3*g - 145 = -5*n, 0*g - 118 = -4*n + 2*g. Is n != h?
False
Let u = 18 + -12. Suppose u*j + 81 = 9*j. Let p = j - 27. Which is smaller: -4/5 or p?
-4/5
Suppose 3*k + 2*p - 113 = 0, -4*k - k + 2*p = -167. Let a(m) = -6*m. Let l be a(-6). Which is greater: l or k?
l
Let h(m) = m**2 + 4. Let v be h(3). Which is smaller: v or 130/11?
130/11
Let y be ((-12)/5)/(3/45). Let j = -107/3 - y. Which is smaller: 62 or j?
j
Let j = 14 + 7. Let l = -21.73 - -0.53. Let x = j + l. Which is bigger: -3 or x?
x
Suppose -13*b = 11 - 11. Are b and 2/71 equal?
False
Let x = -98 - -94. Which is bigger: x or -47/18?
-47/18
Let x(j) = 2*j + 3. Let k be x(-3). Let d be (4/k)/((-2)/(-6)). Let f(c) = -c**3 + 5*c**2 - 3*c + 11. Let g be f(5). Is g not equal to d?
False
Let a = -1369 - -1066. Which is greater: a or -305?
a
Suppose -p + 1 = -2*b - 2, 4*p = b - 9. Let d(z) be the first derivative of -z**2 - 6*z + 1. Let j be d(b). Is j <= 3/37?
True
Suppose -32*x = -29*x + 2*s + 3255, -3*s = -2*x - 2170. Which is bigger: -1086 or x?
x
Let d(i) = i**3 - 12*i**2 + 12*i + 4. Let m be d(6). Let p be 2/((-144)/m) - 2. Is p less than -1?
False
Let a = 3 - 2.85. Let u = -18 - -18.85. Let y = a + u. Which is smaller: y or 13?
y
Let r = -3131/301665 + 3/1183. Which is greater: r or 0?
0
Let o be (6/4)/(18/(-3720)). Let h be ((-18)/15)/((-1)/o). Let k be 1/(-3) + (-148)/h. Are k and 0 nonequal?
True
Let o = 296 + -295.9. Let j be ((-2)/(-4)*-5)/(-2). Is j at most o?
False
Let z(s) = 3*s**2 - 28*s - 86. Let g be z(-7). Is g at least as big as 257?
True
Let a = 23 + -27. Let c be a/((-396)/(-39)) + (-2)/(-6). Is c smaller than -3?
False
Let i be ((-732)/16)/(-3)*-4. Let c = i + 61. Is -12/31 at most c?
True
Let t = 31 - 43. Let z(x) be the first derivative of x**3/3 + 4*x**2 - 4*x + 11. Let g be z(-7). Which is smaller: t or g?
t
Let z be ((-6)/10 - (-114)/90) + 7. Which is bigger: 9 or z?
9
Suppose -j - v - 26 = 2*v, 5*v - 87 = 4*j. Let q = -22 - j. Let i be 1 + (-74)/24 + 2. Which is smaller: i or q?
i
Suppose 28*z - 30*z + 6 = 0. Suppose 4*r + 5*t - t + 120 = 0, -3*r = 5*t + 96. Let d be ((-18)/r)/(1/6). Which is smaller: z or d?
z
Let z be (-35)/20 + 3 - 1014/24. Do -42 and z have the same value?
False
Let k be ((-3)/9)/(0 - (-5)/(-180)). Suppose -k*d = -6*d - 264. Is 44 bigger than d?
False
Let h(z) = -z**2 - 33*z + 466. Let w be h(-41). Which is bigger: w or 413/3?
w
Let j = -1/81207656 + 70302848329557/16647569480. Let w = -4223 + j. Which is greater: w or 0?
w
Let o = -9.766 - 0.234. Which is smaller: o or 0.4?
o
Let d = -81 + 55. Let j = -25 - d. Do j and -2/91 have the same value?
False
Let u = -2.2 - -39.2. Let s = u - 36. Are 0.19 and s unequal?
True
Let r = -1.182 + 1.082. Which is smaller: r or -0.002?
r
Suppose -5*r + 3*l = -57, -4*l - 1 = -3*r + 31. Suppose -72 = 10*w - 2*w. Let q = 4 - w. Which is smaller: r or q?
r
Let q = -6/40861 - -6911161/38491062. Let a = q - 2/157. Which is smaller: a or -3?
-3
Suppose -529 - 98 = -11*n. Which is bigger: 56 or n?
n
Let v be -6 + 6 - 5/(-1). Suppose 0 = v*o + 1 + 4, 4*h + 4 = -4*o. Which is greater: h or 2?
2
Let w = -0.711 - 0.289. Suppose 5*a + 42 = 2*a. Let l be (-4)/a*(-14)/3. Are l and w equal?
False
Let h be (-10)/176 - 5*(-6)/165. Do h and -1 have different values?
True
Let y = 1180 + -1275. Is -96 not equal to y?
True
Let z(f) = -2*f**3 - 21*f**2 - 18*f - 16. Let n be z(-8). Is n bigger than -192?
False
Let c(l) = -42*l + 448. Let z be c(11). Is -14 bigger than z?
False
Let q be -3 - (-11 + 7 + -3). Suppose 4*l = -q + 80. Suppose -m + 14 = -4*k, 4*k = 3*m - 0*k - 50. Is m < l?
True
Let w be (-531)/(-24) - 4/32. Suppose 5*p + 3*d = 2*d + 66, -p + 2*d = -w. Suppose 4 = -10*f + p*f. Which is smaller: f or 3/23?
3/23
Let x be (68/(-8) + 9)*-2. Is x >= -2?
True
Suppose 2*y = 2*s + 2, 2*s = 5*y + 4*s - 33. Let i be (-69)/15 + -1 - (-4)/(-10). Let a = i - y. Is -12 <= a?
True
Let o(v) = -v**2 - 29*v - 244. Let l be o(-10). Which is smaller: -44 or l?
l
Let l = -11833 + 177404/15. Is l at most -5?
True
Suppose -3*u + 15 = 3*a, -3*a - 10 = 4*u - 5*a. Suppose j = -2*h + 9, -5*j + 3*h + 19 = -u*j. Suppose j*c - 18 = 2. Are c and 5 unequal?
True
Let k = -45692 + 43087560/943. Are k and 0 equal?
False
Let z = 115 + -119. Let x(c) = c**2 - c - 2. Let a be x(z). Are 22 and a nonequal?
True
Let x = -1425 - -1416. Is 20 greater than or equal to x?
True
Let p = -35 + 35. Suppose 3*x + 105 + 33 = p. Which is bigger: x or -45?
-45
Let n be (-3)/(-6) + 31809/(-63894). Is 1 smaller than n?
False
Let y = -0.49 + 0.79. Let h = y + -0.4. Is 21/10 less than or equal to h?
False
Suppose -14003 + 667 = -113*l - 1132. Let o be 1/(-2*(-2)/436). Which is greater: o or l?
o
Let x be (-3)/12 + (-10)/(-8). Suppose c = -2 + x. Let z = -289/1963 + -1/151. Which is smaller: z or c?
c
Let q = 2.8 + 14.2. Let h = q + -17.3. Are h and -4 equal?
False
Let d = -0.208 + -0.032. Let j(u) = 2*u + 1. Let x be j(-1). Is x at most as big as d?
True
Let g = 2 + -5. Suppose j - 2*l = -7, -6*j = -3*j + 3*l + 3. Does j = g?
True
Let b = 28 - 3. Suppose b = t + 3*t - 5*n, 0 = -5*t + n + 5. Suppose -3*f = 5*h - t - 3, -5*h - 21 = -f. Are 4 and f equal?
False
Let v = -444 + 438. Which is greater: -41/9 or v?
-41/9
Suppose 2*i + 3*n + 3 = -5, 2*n = -3*i - 2. Suppose -u - i = -2*u. Suppose -u*a - 18 = 4*a. Which is bigger: -1/2 or a?
-1/2
Let m be (2/12 + 75/(-45))*-2. Let l be m/(-1) - (-153)/(-85). Which is bigger: l or -6?
l
Let u = 3/28 + -715/7196. Which is smaller: 0 or u?
0
Suppose 4*j - 150 = -b, -2*j - 490 - 38 = -4*b. Which is bigger: b or 133?
b
Let w = -14382 + 17244016/1199. Is w greater than or equal to 1?
False
Let k(c) = 3*c - 17. Let s be k(5). Suppose 3 - 5 = -2*g. Which is smaller: g or s?
s
Let p(g) = -2*g**3 + 4*g**2 + 5*g + 15. Let b be p(4). Is -34 != b?
True
Suppose -x = 4*x. Let o be (162/(-39771))/((-3)/(-9)*-3). Is x