-14
Let l = -356 - -355. Which is greater: 15/91 or l?
15/91
Let h(a) be the first derivative of -a**6/360 + a**5/120 - a**4/12 + 3*a**3 - 3. Let w(l) be the third derivative of h(l). Let n be w(0). Is n less than -10/9?
True
Let m = -4/259 + 13751/1554. Let y = m - 3229/366. Is -1 bigger than y?
False
Let s = 2.39 + -2.28. Is s equal to -4/9?
False
Let n be 8/((-48)/21) + -1 + 2. Let p = n + 17/7. Is p greater than or equal to 1?
False
Let z = 21.2 + -2.1. Let w = 0.356 + -19.356. Let g = z + w. Which is bigger: -1/11 or g?
g
Let u = 918.89 + -919. Which is smaller: u or -1.3?
-1.3
Let w = 1494 - 1489. Let o be (-4)/10 - 22/(-5). Are w and o nonequal?
True
Let w(v) = -v**3 + 8*v**2 - 9*v + 3. Let b be w(3). Which is smaller: 20 or b?
20
Let o be 2 - (-1)/1 - (-33 + 25). Suppose -5*y = 3*x - 38, -3*x + 4*y - o = -67. Which is smaller: x or 15?
15
Let q = -0.9 - -4.7. Let u = 3.7 - q. Let p be (-8)/(-6) + -1 + -1. Is p less than u?
True
Let s = -98 + 85. Let h = -16 - -4. Which is smaller: h or s?
s
Let c be (-170)/255*3/(-2). Do -1/1138 and c have the same value?
False
Let m(u) = 7*u**3 - 7*u**2 - 3*u + 8. Let i(p) = 6*p**3 - 6*p**2 - 3*p + 7. Let h(f) = 6*i(f) - 5*m(f). Let c be h(2). Which is smaller: 6/7 or c?
c
Let b = 418 + -226. Is 188 not equal to b?
True
Let w = -24/323 - 8134/3553. Let t = w - -108/55. Suppose -f - 2*f = 3. Which is greater: t or f?
t
Let w = -292 - -289. Which is smaller: -31 or w?
-31
Let f be ((-1)/(-3))/((-2)/(-12)). Suppose 2*a + 3 = -3. Let g be (2 - 4)*a/6. Is f >= g?
True
Let a = 22 + -4. Let s = -164 - -127. Let p = a + s. Is 1/3 less than or equal to p?
False
Let c = 17 + 0. Let d be -3 + c/6 - 0. Suppose 4*h + h = 0. Which is smaller: d or h?
d
Let j = 314 + -355. Which is smaller: -37 or j?
j
Let c = 0.89 + 0.71. Which is smaller: c or -0.7?
-0.7
Let v(j) = -13*j**2 - 37*j + 17. Let y(h) = -3*h**2 - 9*h + 4. Let i(z) = -2*v(z) + 9*y(z). Let b be i(-6). Suppose 64 + 0 = -b*g. Which is greater: g or -9?
g
Let j(w) = -3*w**2 - 36*w - 31. Let b be j(-12). Which is smaller: b or 0?
b
Let g be (-3)/15 + (21189/(-15))/7. Is g smaller than -203?
False
Let p(n) = -n - 10. Let u be p(8). Let o be u/21*9/36. Let j be 4/8*(-1 + 3). Which is smaller: j or o?
o
Let a = 102 + -98. Let x be a - ((-142)/35)/(-1). Which is smaller: x or 1?
x
Let d be 3/(-1) - (-2)/(8/(-36)). Let b be 6/(-14)*(-2)/d. Let i be -1 - (-1 + -1 - -1). Which is smaller: b or i?
b
Let g be (((-11)/44)/((-1)/4))/41. Which is bigger: 4 or g?
4
Let f = 0 + -3. Let a = -3 - f. Let h be (-7)/14 + 69/126. Is h equal to a?
False
Suppose -84*i - 363 + 3471 = 0. Is i > 32?
True
Let u = 359 + -339.3. Let f = 7 - 28. Let s = u + f. Is s at most as big as -1?
True
Let g be ((-3)/2)/((-345)/(-230)). Suppose 2*k = -0*k + 6. Suppose -2 = k*l + 4. Which is smaller: l or g?
l
Let h = 182 + -1271/7. Which is bigger: 2/7 or h?
h
Let l(a) = a + 9. Let u be l(20). Which is bigger: -1 or u?
u
Let r(y) = -2*y**2 + 30*y - 56. Let w be r(13). Which is smaller: w or 0.9?
w
Let f be -2*6/(-88)*6. Let w be (8 + -7 + (5 - 6))/(-2 + -1). Is w bigger than f?
False
Let i(j) = -j**3 - 4*j**2 + 75*j - 22. Let o be i(-11). Let q be (-1 + 0 + 1)/(-1). Let m be q*(2 - 1)*-1. Are m and o unequal?
False
Let j(l) = -l**2 + 6*l - 1. Let g be j(5). Suppose g*u - 4*s - 8 = 0, -2*s + 8 = 9*u - 5*u. Which is smaller: 24/13 or u?
24/13
Let w = 1797 + -8934/5. Let v(j) = 2*j. Let q be v(5). Which is smaller: w or q?
q
Let s(i) = -i**3 + 10*i**2 + 16*i - 19. Let u be s(11). Let c be 3 + -4*(-1)/2. Suppose -2*a = -f - 4, -c*a - 5*f + u = -f. Is a < 2?
False
Let f = -33.1 - 1.9. Let j = f - -34.77. Let o = j + -1.77. Is o equal to -3?
False
Let b(r) = -5*r + 32. Let i(s) = 3*s - 16. Let d(m) = -6*b(m) - 11*i(m). Let g be d(-5). Which is smaller: -2 or g?
-2
Let p = 3 - 4. Suppose -33*x + 28*x + 4 = 2*j, -8 = 4*x - 4*j. Which is greater: p or x?
x
Let c be (-2)/7 - (-64)/(-70). Let f be (756/(-48))/21 - 5/4. Do c and f have the same value?
False
Let z = -300 - -378. Which is greater: z or -1?
z
Suppose 0 = 111*j - 104*j - 728. Which is smaller: j or 734/7?
j
Let v = 0.05 - 0. Let n = v - -0.05. Let x = -4 + 3.9. Which is greater: x or n?
n
Suppose 2*w = -d + 6, -2*d = -3*d + w. Suppose -d*u - 1 = -u. Let t = -8675/60627 + 2/8661. Which is bigger: t or u?
t
Let p be (7/(-7) - -7) + 11. Is p <= 25?
True
Let n = -56069/276 - -338/69. Is n bigger than -199?
True
Suppose 0 = -3*l - 3, 0 = n + 3*l + 114 + 9. Which is greater: n or -117?
-117
Let z = -0.66 + -1.34. Which is bigger: -2/13 or z?
-2/13
Let g(a) = -5*a + 2. Let m be g(4). Let r = 15 + m. Let l = -15353/4092 - -2/1023. Is r != l?
True
Let p(i) = -i + 24. Let w be p(-14). Suppose -4*k + w + 14 = 0. Does k = 13?
True
Suppose 2*z + 68 = -4*x, x - 59 = 2*z + 2*x. Which is bigger: z or -43?
z
Let z = 45/8 - 469/72. Let k = z + 23/36. Let m = k + 1/8. Are -1 and m unequal?
True
Let u(d) = d + 23. Let m be u(-10). Let z be -1 + -6 - (3 - m/4). Which is smaller: z or -1?
z
Let x(f) = -f**3 + 3*f**2 + 10*f. Let m be x(5). Let a be m - (-5)/((-15)/(-9)). Suppose 0*n = n - a. Is n < 3?
False
Let u(v) = 3*v - 7 + 2*v**2 - 16*v + 1. Let w be u(7). Which is bigger: w or -2/7?
w
Let v be (0 - (0 - -5)) + 12. Suppose -v*p = 2*p + 225. Which is greater: p or -24?
-24
Let p = -0.6 - -12.6. Let n = 0.22 - 0.42. Let y = 0.2 + n. Is y < p?
True
Let b = 0 - 6. Suppose 0 = 5*i - a + 42, 3 + 25 = -3*i + 2*a. Is i less than b?
True
Suppose 5*u = u + 8, -a + 18 = 4*u. Let q(i) = i**2 + 17*i - 60. Let p be q(-20). Suppose 4*c = 5*b - 48, p = -b - b - 3*c + a. Do 8 and b have the same value?
True
Suppose 2*f + 5*b - 25 = 0, 0 + 5 = -5*f + b. Let i = -26/511 - -10236/221263. Which is smaller: f or i?
i
Let u(d) = -30*d + 520. Let p be u(16). Which is smaller: 42 or p?
p
Let i(k) = k**3 - 7*k**2 + k + 7. Let g be i(7). Suppose 0 = -c + 3*c + g. Suppose 0 = -12*d - 269 + 197. Is d at least c?
True
Suppose -9*s - 315 + 117 = 0. Is s not equal to -22?
False
Let u = -79 - -108. Is u at most 29?
True
Let t(g) = 3*g**3 + 5*g**2 + 7*g + 3. Let v(p) = p**3 - p**2 - 1. Let w(o) = t(o) - 4*v(o). Let q be w(10). Let y = q - -17. Which is smaller: y or -7?
-7
Let g = -10 - -14. Let h = -3 + g. Let i = 0 - h. Is -3/10 > i?
True
Let m = -78 - -115. Let i = m - 34. Suppose a + 3*l + 1 = 2*l, 2*a = -5*l - 11. Do a and i have the same value?
False
Let l(w) = 0 + 6 + 4 + w. Let y be l(-9). Is -3/10 equal to y?
False
Let c(p) = -2*p + 7. Let u be c(3). Which is smaller: u or 1/157?
1/157
Let z be 9/72 - (-3)/(-24). Do z and 6/205 have the same value?
False
Let y = -185 + -57. Is -241 greater than y?
True
Let g = -5.12 - 4.88. Which is bigger: -5 or g?
-5
Let z = 1/13900 + 55569/430900. Suppose 7*k - 2*k + 5*f = 15, -k - 4*f = -15. Is k greater than z?
False
Suppose 0 = 3*l - 211 - 14. Which is bigger: 69 or l?
l
Let r = -5 + 11. Let j be r*(23/(-4) + 4). Let d = 87/10 + j. Is d bigger than 2?
False
Suppose -12 = -24*k + 27*k. Which is smaller: 0.13 or k?
k
Let z be (-2)/(-13) + 16/(-104). Are 9/88 and z nonequal?
True
Let t(y) be the first derivative of -2*y**3/3 - 4*y**2 + 9*y - 3. Let p be t(-8). Let i be p/(-105) - (-4)/(-6). Is i <= 0?
True
Suppose 10*v - 3180 = -0*v. Let g be (-6)/24 + v/24. Let a = -6 + 18. Which is smaller: a or g?
a
Let o = -11/25 - 19/525. Which is smaller: -1 or o?
-1
Let a = 38 - 31. Suppose -12 = -4*z + 4*p, -a*z - 2*p = -2*z + 13. Which is greater: 2/15 or z?
2/15
Let t be 53820/(-325)*(-5)/2. Which is smaller: 416 or t?
t
Let p be 112/(-10) - 32/40. Let d = p + -2. Is -12 less than or equal to d?
False
Let b be 4/12*3/34. Let p = -25/17 - b. Is 10 at least as big as p?
True
Let s(r) = r**2 - 6*r. Let o be s(6). Suppose 0*n - n + 1 = o. Let g = -1/236 - 461/2596. Is g >= n?
False
Let k = -4/37 - -261/2072. Let j(f) = f**3 - f**2 - 2*f - 1. Let x be j(-1). Is x bigger than k?
False
Let q be 5 - (3/(-9))/(6/(-126)). Which is greater: q or -5/9?
-5/9
Let c be -1 + -3 - 4*-19. Suppose -4*x = 164 - c. Is -22 greater than or equal to x?
True
Let s = 39 + 0. Let c be (-1 - (-7)/6)/(s/(-12)). Let g be (0 - 0)*6/12. Does g = c?
False
Let f = 67 - 68. Is f greater than 2/11?
False
Let l = 44 + -44. Is l at least -1/313?
True
Let b = -262 + 233. Do b and -28 have the 