 11 + 5. Let q be r*h/(-56)*-1. Which is smaller: q or 1?
q
Let a = -63/1384 - -2/519. Let k = -17/24 - a. Does k = 0?
False
Suppose -5*m + 44 - 54 = 0. Is m > 6?
False
Suppose 2*j = 1 + 7. Let k = j - 2. Suppose k*v = 6*v. Is v < 1?
True
Let g = -6.107 - -0.107. Which is greater: g or 2/7?
2/7
Suppose -4*f + 14 + 6 = 0. Let d(u) = -u**3 + 4*u**2 + 5*u + 3. Let c be d(f). Let h be 110/18 + -3 - c. Which is bigger: 0 or h?
h
Let d = -104 - -105. Let q be 8/42 + (-4)/(-6). Does q = d?
False
Let c be (-4)/(-162)*3 - 0. Suppose -2*b - 2*s + 6*s = 24, -4*s = 5*b + 102. Let x = 17 + b. Which is greater: c or x?
c
Let c be ((-8)/(-24))/(4/30). Is c greater than or equal to 4?
False
Let t = -303415 - -72212661/238. Let o = t - -1/34. Suppose 4*i + 1 = -z, 2*i + 5*z - 6 - 7 = 0. Is o equal to i?
False
Suppose -5*k - 5*u + 1150 = 0, 4*k - u - 2*u - 927 = 0. Let x = 2307/10 - k. Which is smaller: x or 1?
x
Let l = -0.2 - -8.2. Let i = l - 9. Is i != -5/3?
True
Suppose 54 = 3*q - 0*q. Let b be q/56 + 2/8. Let w(t) = -t**2 - 10*t - 9. Let d be w(-9). Are b and d equal?
False
Let y = -23.9 + 24. Is y < 16?
True
Let n = -11.9 - -12. Let g = 14.1 - 10. Let y = n - g. Is y less than 0.1?
True
Let n = -25820/357 + 506/7. Let r = -106626 + 38065445/357. Let i = r + n. Which is greater: 1/4 or i?
1/4
Let i = -36 + 77/2. Let d = 17/6 - i. Which is bigger: d or 0?
d
Let f = 30975/23 - 1347. Which is greater: f or 1?
1
Let u be ((-1)/(-1))/(-1 - 2). Let i = -23 - -24. Suppose -3*y + i = 3*h + 10, 6 = y - 2*h. Is y not equal to u?
True
Let t be 31/(-1240) - (-6)/(-16). Is 8 greater than t?
True
Let d = -20 - -22. Suppose l = d*p - 1, 0 = -3*l - 2*l + 3*p - 19. Is -5 less than l?
False
Let c be 2 - (-1*2 + 2). Suppose -2*v = -v - 5. Suppose -4 = v*p - 9. Do c and p have different values?
True
Suppose 2 = -2*p + 8. Suppose 3*z - 4*z = 0. Suppose z*v = -3*v - p. Is -2/3 less than or equal to v?
False
Let w be (-8)/16 - 70/(-12). Which is smaller: 5 or w?
5
Let g(z) = -z**3 - 4*z**2 - 7. Let k be g(-4). Is k at least -8?
True
Let d(y) = y**3 - 10*y**2 - 15*y. Let i be d(11). Which is smaller: i or -45?
-45
Suppose -4*a + 3*i = -6, -5*i + 1 + 6 = -a. Let u be a*(19/(-5) - -4). Is u less than 1?
True
Suppose 0 = 3*y - 2*y. Let o be (2 + -10)/(y + 1). Let s be 4/o - (-6)/(-4). Which is greater: -1/2 or s?
-1/2
Let x be (-6)/(-21) - ((-14)/8 + 2). Which is smaller: x or -1?
-1
Let k = -113407/47 + 2413. Which is greater: k or 1?
1
Let z = -2 + 1. Suppose 0 = k + 1 - 11. Let q be 9/k - (-1)/z. Is q greater than -1?
True
Suppose 0*t - 5*t + v = 0, 5*v = -2*t. Is t greater than 1/49?
False
Let s be (-2)/14*(-23)/4. Let u be 3/(-1) - (-119)/49. Let b = s + u. Is -1 greater than b?
False
Let l = 0.8 - -0.2. Let p = -0.17 + 0.07. Which is smaller: l or p?
p
Let y be (2 - 3)*-2 + -3. Let g = -12 - -11. Are y and g unequal?
False
Let y be 184/(-18) - (-4)/18. Let g = 12 + y. Is 1 != g?
True
Let z be (1 + -4)*3/(-4). Which is bigger: 1 or z?
z
Suppose -4*k + 18 + 25 = -i, 3*i + 59 = 5*k. Let o be (64/k)/4 - 0. Let s = 21/10 - o. Is -0.1 > s?
False
Suppose -2*i + 3*i = -18. Let n be 4/i*3/(-4). Suppose -5*v = -2*d + 2, -7*v - 2*d + 2 = -2*v. Is v < n?
True
Let o(s) = s**2 + 6*s + 5. Let p be o(6). Let j = p - 167/2. Is -8 not equal to j?
True
Suppose 7 + 1 = 8*w. Which is smaller: w or 3?
w
Let j be ((-8)/(-24))/(1/(-6)). Let h be 1*(2 + 5/j). Suppose -5 = 5*m - 0. Is h bigger than m?
True
Let p be 3 - (-2)/(10/115). Which is bigger: p or 27?
27
Let w(u) = 570*u**2 + 2*u - 1. Let f be w(1). Let g = -9141/16 + f. Let i = g - 1/48. Do i and -2 have different values?
True
Suppose -2*a - 5 = 3*a. Let v = 387 - 33281/86. Let u = -133/344 + v. Is a less than or equal to u?
True
Let t = 0.1 + 0. Which is smaller: t or 13?
t
Suppose 3*w + 51 = 6. Which is smaller: w or 1/3?
w
Suppose -4*l + 6 = 2*c - 0, -3*l + 2*c - 13 = 0. Which is bigger: 1 or l?
1
Let u = 5976/25 + -239. Which is smaller: 1 or u?
u
Let f be (-3)/(-15)*27/(-6). Which is greater: -2 or f?
f
Suppose -3*a + 8 = -4*g, 5*g + 10 = -0*g. Let z = -1 - a. Let n = -0.1 - 0.9. Are z and n equal?
True
Let c = -99/200 + -1/200. Is c bigger than 0.5?
False
Suppose -9 + 23 = 3*m + x, -4*m - x = -19. Suppose 6 = -5*t + 1, -y + 7 = -m*t. Which is smaller: y or 7?
y
Suppose -2*o - o + 12 = 0. Let y(q) = -q**3 - 4*q**2 - 4*q - 10. Let n be y(-4). Which is smaller: o or n?
o
Let r(w) = -w**3 + 9*w**2 + 10*w. Let i be r(10). Which is greater: -12 or i?
i
Let q(h) = h - 2. Let r be q(-5). Let f be ((-6)/(-12))/(r/4). Is f < -1?
False
Suppose 10 = s + 4*s. Let b be 1 + (0/(-3) - -1). Let o be b/6*(-12)/(-8). Is o smaller than s?
True
Let w = 14 - 18. Let n = w - -5.2. Is -1 bigger than n?
False
Let c be (-2)/(-2)*1*32. Suppose -3*q = 2 - c. Let h be (-4)/q - 3/5. Are -1 and h equal?
True
Let w = 1 + 0. Let o = -2 - -5. Let r = 4 - o. Is r >= w?
True
Let v be (-43)/(-4) - (-9)/(-12). Let a be ((-2)/v)/(2/(-10)). Are 1 and a non-equal?
False
Let d = 12 + -15. Let q(r) be the second derivative of r**3/3 + r**2/2 - r. Let m be q(-2). Is d less than or equal to m?
True
Suppose -5*a = -2*f - 17, 5*f + 5 = a + 4*a. Suppose -f*v = -5*j + 10, 3*v + 0*j - j + 13 = 0. Is -4 greater than v?
True
Let j = -0.37 - -0.47. Is j <= -20?
False
Suppose -5 = -t - 3. Let v(k) = 3*k - 2*k - 3*k + k**2 - 1. Let i be v(3). Is t at most i?
True
Let f be 6/(-10)*(-4 + -1). Let d(p) = p**2 - 2*p + 4. Let v be d(0). Is f greater than v?
False
Let n = 5.92 + 0.08. Let x = -5 + n. Is 2/7 less than or equal to x?
True
Let g be (-2 + 2)/(-1 - 1). Suppose 0 = -y - g*y - 3. Let r be 2/(-1) - 4/2. Which is bigger: y or r?
y
Let x = 3.8 - -1.2. Let y = -3 + x. Let g = 2 + -1.8. Is y not equal to g?
True
Suppose -2*f - 4*a + 30 = -8*a, 5*a + 10 = -3*f. Suppose -f*y = -2*y. Which is smaller: y or 2/3?
y
Let u = 5 + -2. Let v = 29 + -31. Which is greater: v or u?
u
Let o = 16 + -24. Let j = o - -11/2. Which is greater: -4 or j?
j
Let l = 2 - 2. Suppose 5*t - 2*t = l. Is 3 != t?
True
Let l be (-1 - 0)/(3/(-9)). Let g = -14 + 18. Suppose -3*d - 10 = -g*s, 2*s = -d + 4*d + 2. Is l not equal to d?
True
Let s(b) = 1 + 7 - 1 + 0 - b. Let c be s(6). Let z be -1 - (0 - (1 + 0)). Is z <= c?
True
Suppose -2*w + w - 5*h - 25 = 0, -w - h - 17 = 0. Let v = -19 - w. Which is smaller: v or -5?
-5
Let p = -2 - -5. Suppose 2*b + p*b = 0. Let d be 1 - 1*(-7)/(-5). Are b and d equal?
False
Let w be 6*(2 + 1)/(-9). Which is smaller: -5 or w?
-5
Suppose 2*g + 1 = 11, 2*g = h + 5. Suppose -h*w + 6*b - b + 200 = 0, -188 = -5*w + 2*b. Let t = w + -109/3. Which is bigger: t or 0?
0
Let b = 14.17 + -14. Let l = b - 0.47. Is -0.1 at least l?
True
Let c(o) = -o**3 + 2*o**2 - 1. Let n be c(-1). Suppose 0 = -5*l + 12 - n. Let j(u) = -2*u + 17. Let v be j(8). Which is greater: v or l?
l
Let k be (-1 + (-14)/6)*(-24)/(-10). Is k > -8?
False
Let a be ((-12)/(-40))/((-9)/(-5)). Does 1 = a?
False
Let n(s) = -4*s - 7. Let j(y) = 2*y + 3. Let x(p) = 5*j(p) + 2*n(p). Let l be x(1). Suppose 3*v - 29 = -2*z, l*z = 2*v - v + 5. Does v = 6?
False
Let n = 0.11 + 0.09. Let h = n + -0.3. Is 0.13 smaller than h?
False
Let a = -28 - -32. Do a and 5 have different values?
True
Let d = -474 - -13744/29. Let s = d + -21/116. Which is smaller: s or -1?
-1
Let s = 23.1 - 23. Is s at least -1?
True
Let a(x) = 2*x**2 - x + 2. Let i be a(3). Is i at most as big as 20?
True
Let x = -44.2 + 41.316. Let l = x + -0.016. Let f = l + 3. Which is greater: 4 or f?
4
Let x be 18/6 + 1 + 108/(-26). Is x at most as big as -2?
False
Let g = -0.4 + 0.3. Let o = 2/103 + -109/309. Is g greater than o?
True
Let r = -27 + 49. Let z = r + -21. Which is smaller: z or 1/7?
1/7
Let m(t) = t**3 - 4*t**2 - 4*t + 5. Let f be m(5). Is f >= 9?
True
Let o = -0.5 + 0.3. Let l = 0.1 - o. Let g = l - 0.1. Which is smaller: -1 or g?
-1
Let g(y) = y - 3. Let b be g(2). Is 3 >= b?
True
Let t be 80/168*74/4. Let f = t + -43/7. Let r = f + -7/3. Are r and 8 equal?
False
Let n = 12 + -26. Let m = -4 - n. Let q = m + -9.6. Is q greater than or equal to 1?
False
Let z = 24 - 8. Which is smaller: z or 18?
z
Let z = 28 + -20. Let q = z - 7.1. Let r = q + -1. Is 1 less than or equal to r?
False
Let y be 8*-1*2/4. Let n(v) = v**3 + 5*v**2 + 4*v + 3. Let j be n(y). Let c = 4 -