5*f - 8. Let i be d(7). Suppose 0 = i*z - 2 + 20. Let o be 9/(-36) + z/4. Which is greater: 2 or o?
2
Suppose -3*y = 2*s - 36 - 95, -4*y = -4*s - 208. Suppose 18 = -y*h + 50*h. Is h bigger than 1?
True
Suppose 2*r - 4 - 14 = 0. Suppose 0 = -3*q - 4*l + 27, q + 0*l = 5*l + 9. Is q smaller than r?
False
Suppose 5*x - 3 = -3*v, -4*x = -v - 0 + 1. Which is greater: x or 1/17?
1/17
Let a(c) = -31*c - 413. Let l be a(-8). Which is smaller: -2 or l?
l
Let i(w) = -w + 7. Let a be (-2 - -1 - -1) + 3. Let h be 1 + (a/(-3) - -4). Let u be i(h). Which is smaller: u or 6?
u
Let f(a) be the second derivative of a**3/6 + 13*a**2 + 5*a. Let r be f(0). Suppose -2*u - r = -2*l, -5*u - 5*l - 65 = -3*l. Is -13 less than or equal to u?
True
Let m = 13.88 - 29.99. Let z = 16 + m. Let v = z - -0.11. Is v <= 1?
True
Let p = 7 + -14. Suppose 2*v - 1 = 7. Suppose -f = d - 6, -v*f + 7*d - 8*d = -12. Is p less than or equal to f?
True
Let z = -20239332/16688245 - -4349/7147. Let c = 2/467 + z. Which is greater: -2 or c?
c
Let t = 1996/5 + -402. Is t less than or equal to -0.2?
True
Let p = 214.85 + -196. Let f = p + 0.15. Let n = -18.9 + f. Is -3 less than or equal to n?
True
Let t = -65 - -68. Let x(j) = 4*j**2 + 5 + 0*j**3 - 4*j**2 - 5*j + 5*j**2 + j**3. Let q be x(-6). Which is smaller: q or t?
q
Let c = -5 - -13. Let a be 2/c + 401/12. Let k = -34 + a. Is k <= 0.08?
True
Let v be (1 - (-171)/(-15))/(1/(-5)). Does v = 52?
True
Suppose 16*l = -741 - 699. Are -0.2 and l non-equal?
True
Let l be -1*-6*4/(-72). Is l at least as big as -116?
True
Suppose 2 = 6*f - 148. Which is smaller: 28 or f?
f
Suppose 0 = -32*j + 80*j + 1152. Which is bigger: -28 or j?
j
Let b = 1223 - 20797/17. Do 1 and b have different values?
True
Let z = 502 - 504. Is z at least as big as -3?
True
Let h = -310 + 309.8. Which is greater: h or 222?
222
Let g = -123/2 + -1247/6. Suppose 0 = 5*q + 5*p + 1355, 269 - 1054 = 3*q - 4*p. Let v = g - q. Is v at least as big as -1?
False
Let a(m) = -18*m + 4. Let p be a(2). Let x be 41/5 + p/(-40). Are -1 and x unequal?
True
Let g be 8/(-33) - (48/(-9))/(-8). Does g = -2?
False
Let k = -13 - -13.13. Let n = 1.13 - 1.33. Which is smaller: k or n?
n
Let m be 1 + -3 + (-14)/(-2). Suppose -m*y + 0*y + 4 = -4*r, -r = -4*y + 1. Let b = -108 + 107. Is y at least as big as b?
True
Let y(t) = 2*t + 23. Let j be y(-10). Suppose -3*h + 6 = j*o - 0, 4*h - 3*o = 1. Which is smaller: 3/28 or h?
3/28
Let c be 585/(-130) + 1/(4/(-6)). Which is smaller: c or -183?
-183
Let y = 0 + -4.1. Let l = y - -2.3. Are l and 2 non-equal?
True
Let p = -360 + 346. Which is smaller: -15 or p?
-15
Let l = -2.75 - -2.75. Which is bigger: -1.37 or l?
l
Let p be (4/2 - 3) + 15 + 285. Suppose 55 - p = 4*y. Which is bigger: y or 0?
0
Suppose -2*l - 11 = -l - 3*p, 0 = 2*l + 2*p - 2. Let h be ((2 - 4) + 3)*l. Let s be (-1 - -3)/(h/(-3)). Is -2/7 less than or equal to s?
True
Let t(k) = -k**2 - 9*k + 11. Suppose 45 = -3*h - 3*q, -2*h - q - 55 = 3*h. Let a be t(h). Suppose -a = -c - 6. Which is smaller: c or -6?
-6
Let t be (-5)/10 + ((-3)/4)/(-3). Which is greater: t or 0.3?
0.3
Let d be (204/9)/((-4)/6) - 2. Are 1 and d unequal?
True
Suppose -2*p + 5*g + 364 = 0, 2*p + 3*g + 182 = 3*p. Suppose p = 3*d + 209. Let m = 4 - 14. Is d greater than m?
True
Let a = -29 + 19. Let z be (-70)/(-558) - a/(-45). Suppose -4*u - 3 - 1 = 0. Is z at most as big as u?
False
Let q be -1*(((-6)/(-3))/(-2))/1. Is q less than or equal to -3/77?
False
Let c be 6/2 - 12/(-42). Let k be (-1)/(-4)*48/(-56). Let u = c - k. Is 4 at most u?
False
Let h = -3.75 - 0.55. Let t = 1.3 + -1. Let z = t + h. Which is smaller: -0.1 or z?
z
Let s = 373786/39 + -9585. Let m = s + 2/3. Which is smaller: 1 or m?
m
Let g be 2297/((-16 - 1)/(-3 - 8)). Let w = g - 1487. Which is smaller: w or 0?
w
Let j = -26 + 31. Suppose -j*t = -4*w + 12, 0 = -5*t + 3*t + 2*w - 6. Is t not equal to -2/17?
True
Let c = -286 - -286. Let t = -2/821 - -18901/7389. Let b = -533/198 + t. Are b and c non-equal?
True
Let y = -28.9 - -29. Let s = 2.9 + y. Is 1 less than s?
True
Let t = 13 - 14. Let g = -4 - t. Let z = 0 - g. Is 0 at least as big as z?
False
Suppose 6*l = l. Let h = -1207/78 - 40/39. Which is bigger: l or h?
l
Let t = 0.06 + -3.06. Let r = 25 + -24.4. Let o = r + -0.4. Which is bigger: t or o?
o
Let b be 15/8*4/6. Suppose 105 = 17*c + 88. Is b < c?
False
Let a be 1/5 - 24/(-5). Suppose -6 + 6 = -a*b. Suppose 0 + 2 = f. Is f less than b?
False
Let i be (-3 - (-21)/(-3))/(-2). Suppose -t - 159 = 3*q + 25, -4*q - i*t - 260 = 0. Let v be (2/(-4))/((-10)/q). Is v >= -3?
True
Let i = -12 - -29. Suppose 392 = 10*u + 162. Let o = u - i. Is o at least 6?
True
Let t = 7 + -7. Suppose t*x + 32 = -2*x. Is -16 >= x?
True
Suppose 5 - 2 = 3*c + 2*p, -5 = -5*c - 4*p. Let u be 5 + -2 + 2*(-1)/c. Which is bigger: 10 or u?
10
Let m = -44.7 - -6.7. Let z = 36 + m. Let f = -133 + 929/7. Which is smaller: f or z?
z
Let c(j) = -4*j - 40. Let q be c(6). Which is bigger: -61 or q?
-61
Suppose -4 = 3*s - t, -4*t + 4 = -0. Let h = 1759/34143 + 2/1797. Which is greater: h or s?
h
Let b = 11 - 21. Let d(i) = i**2 + i. Let t be d(1). Let j be 6/(-4) + (-15)/t. Which is bigger: j or b?
j
Let o = -233/5 - -87147/1870. Is 1 at most as big as o?
False
Let w = 0.085 - -0.115. Suppose -5*l - 63 - 2 = 0. Which is greater: l or w?
w
Let v(q) be the second derivative of 1/12*q**4 - 1/3*q**3 + 4*q + 0*q**2 + 0. Let c be v(2). Is c bigger than -6/5?
True
Let j be 1254/20 + 28/8. Is 67 smaller than j?
False
Suppose 4*j + 11 = -o, 2*j + 6 + 4 = 4*o. Which is smaller: -1/304 or o?
-1/304
Let m(l) = -l**3 + 9*l**2 + 3*l - 22. Let d be m(9). Suppose -q - s = 15, 0*q - d*q + 5*s = 65. Which is smaller: q or -10?
q
Suppose 28*g - 44 = 32*g. Let u(d) = -d**2 - 10*d + 9. Let j be u(g). Is -6/11 greater than j?
True
Let f be (1 - 0 - -2)*1. Let d be -1 + (2/2 - 2). Let s be 19*(f + -4 - d). Which is bigger: s or 20?
20
Let c be -20 + 0 + 18 + -15. Let q be 2/c + 117/(-17). Which is smaller: -13/2 or q?
q
Let z(d) = -d**2 + 2*d + 15. Let w be z(5). Is 2/509 < w?
False
Let w(y) = y**2 - 15*y - 2. Let o be w(18). Let k = 82 + -30. Is o bigger than k?
False
Let j be 30/36 - 1 - 0. Are -0.06 and j equal?
False
Suppose 3*f = 4*g - 1006, 4*f - 2*g + 2164 = 816. Let h = 2033/6 + f. Is -3/5 < h?
True
Suppose -2*x - 5*q - 21 - 7 = 0, 4*q = -3*x - 21. Let v be (-1)/3 + 20/(-3). Let h be (-2)/((0 + v)*1). Is h bigger than x?
False
Let p be (-114)/76*20/18*-3. Suppose 0 = -0*f - p*f. Is f less than 6?
True
Let a be 304/(-57)*6/(-8). Is -29 at least as big as a?
False
Suppose 3*b = 0, 2*x + x = 2*b + 3. Let o(l) = l**3 - 4*l**2 - l - 5. Let n be o(4). Let w be 5/(-2)*n/90. Which is greater: w or x?
x
Suppose 60 = 5*m - m. Suppose 2*g + 6*c = c - 17, 5*c = -m. Which is smaller: g or -2?
-2
Suppose 3*b + 298 = -4*n - 0*b, -2*n = -b + 144. Let t = 1070 - 1143. Are n and t equal?
True
Let k be 2*(-1)/((-4)/(-90)). Let n be (k/6 - -3)/((-2)/(-12)). Is -29 > n?
False
Let n = -688 - -7567/11. Is n at most -29?
False
Let y be (41/123)/(2/(-162)). Is -26 at most as big as y?
False
Suppose -3*w - 5*w = 552. Let t = w + 123. Is 54 at least t?
True
Let o = -218095/72 + 3029. Let q = 1/72 + o. Suppose a + 5*n = 23 - 8, -2*n + 6 = -a. Which is smaller: a or q?
q
Let n(r) = 5*r - 23. Let i be n(5). Suppose 4*a + 4 = -4*d, -3*a - 1 = i. Let m = -84 + 669/8. Which is greater: d or m?
d
Let a be 3/(-9)*10*(-12)/8. Suppose 2*b + a = l, 5*l + b + 3*b - 81 = 0. Suppose 0 = q + q, 0 = -2*v - 5*q + 28. Is v != l?
True
Let w = -1.9 - -2. Let h = 0.2 - w. Let s = 1/732 - -81/244. Is h greater than or equal to s?
False
Let p be 27 + 97 - (1 + -8). Is 0 at most p?
True
Let b be (-3)/(-2)*(-68)/3638. Is -0.04 < b?
True
Let i = -312 + -417. Is -1/4 < i?
False
Let a be ((4002/4255)/(6/(-20)))/(-2). Is 2 less than a?
False
Let x = 0.09 + -0.16. Let o be (12/(-9))/(15 + 1 - 26). Which is smaller: o or x?
x
Let m be 2*(2 + -1) + -22. Let c be (-24)/(-32) - 75/(-4). Let l = m + c. Which is smaller: l or 12?
l
Suppose 5 = 2*m - 3*b, -3*b = -5*m - 33 + 50. Let z = -7 + 7.3. Which is greater: z or m?
m
Let f = 7 + -12. Let h = f - -6. Let j = 1 + -29. Is j bigger than h?
False
Let r(d) = -d**2 - 16*d - 46. Let p be r(-5). Let g(q) = -q**2 + 6*q