7 = u*a + 3. Suppose 4*t + 8 = i + i, 0 = 5*i - 4*t - a. Is i at most -3?
False
Suppose 10 = 4*p - 2*b - 18, -7 = -3*p - 2*b. Let i = 2 - p. Which is smaller: i or -1?
i
Suppose 3*j - 28 = -u - 3*u, -5*u = -2*j - 12. Let l be j/(-10) - 228/(-520). Does l = -1?
False
Let r = -95 - -105. Which is smaller: r or 11?
r
Let q = -169/324 + 396463/2268. Suppose 0 = 2*b - 3*y + 345, y - 692 = 4*b - 3*y. Let j = q + b. Is j at most -2/3?
False
Let y be 1/(280/272) + 3/7. Suppose 0 = 3*p - 4*b - 27, b + 14 = 3*p - 4. Suppose 5*v + 0 - p = 0. Which is smaller: v or y?
v
Let k = 145/3 + -53. Which is bigger: -6 or k?
k
Let l = -86 - -260/3. Let w(h) = -h**3 - 6*h**2 - 6*h - 5. Suppose 5*c + 35 - 10 = 0. Let m be w(c). Which is smaller: m or l?
m
Let m = -1 - -0.8. Let p = m + 0.3. Let v = 3.17 + -0.17. Is p >= v?
False
Let m = -12 + 1. Let i = 11.4 + m. Is i bigger than -1/4?
True
Let i = 1.38 - 0.9. Let y = i + -0.18. Is -1/9 at most y?
True
Let f be -1 - 0*(-3)/(-3). Let r = f + 2. Suppose 1 = -4*p - 6*x + 3*x, -2*p - 3*x = 5. Is p greater than r?
True
Let m = 154 - 1080/7. Is m equal to -4?
False
Let u be -2 - -3 - (-1 + 2). Suppose 3*w + 17 = 20. Which is greater: w or u?
w
Let i = -15 - -9. Suppose v - 19 = -p, 3*v - 6 = -0*v. Suppose -3*b + 2*z = p, -3*z + 19 = -2*b + 6. Which is smaller: b or i?
i
Let w = 1 + 1. Suppose u = -w + 4. Suppose 0 = 6*d - u*d. Is d at most -1/4?
False
Suppose 3*u - 2 - 3 = -2*d, 2*d = -2*u + 4. Suppose l - 12 = -3*l. Suppose -2*x = -n + l*x - 14, -5*x + 17 = 2*n. Is n bigger than d?
False
Let b = 6.6 + -7. Let c = b + -1.6. Is c greater than 2/7?
False
Let h = 8 - 4. Which is greater: h or 6?
6
Let g = 0.02 + -0.03. Let m = g + 2.01. Let v = m + -5. Are v and 0.2 equal?
False
Let y be ((-3)/(194 - -1))/((-16)/20). Is y at least 0?
True
Suppose -5*m - 1 = -4*m. Which is greater: m or -1/6?
-1/6
Let t(v) be the third derivative of v**6/120 + v**5/15 + 5*v**4/24 + 2*v**3/3 - 2*v**2. Let u be t(-3). Which is bigger: u or -1?
-1
Let r be 2/4*(-3)/(-21). Let o = 52 + -53. Which is greater: r or o?
r
Let o = 2/169 + 24/169. Is o > -1?
True
Let o be -44 - -3*(-3)/9. Let q be 85/75 + 6/o. Which is smaller: 12/13 or q?
12/13
Let c = 0.5 - 0.503. Which is smaller: 0 or c?
c
Let j be (8/(-14))/((-4)/(-2)*-1). Is j greater than -1?
True
Suppose 0*q - 66 = -2*q. Is q less than 32?
False
Suppose -4*a - 6 = 2. Is a at most -2?
True
Let i = -20 + 21. Let w = i + 8. Which is greater: w or 1?
w
Suppose -1 = -f - 5*d - 4, 5*f - 13 = 3*d. Suppose 2*y = -f*u + 10, 2*y + 1 + 3 = 5*u. Which is greater: 0 or u?
u
Let u = -484/1645 + 2/235. Is u smaller than 0?
True
Let d(j) = -j**3 - 5*j**2 + 5*j - 1. Let i be d(-6). Suppose i*h - 48 + 18 = 0. Let u be (-3)/h + (-1)/(-4). Which is smaller: 1 or u?
u
Suppose -2 = g - 1. Let d = 11 - 5. Let t = d - 6. Which is bigger: t or g?
t
Let d(l) = l**2 - 3*l + 3. Let k be d(3). Suppose 2*t + 5*v + 6 = 0, 7 = k*t - 3*v - 5. Let j(h) = -h + 11. Let s be j(10). Is t > s?
True
Let a = 0.17 - 0.17. Is a <= 13?
True
Suppose 2*g - 5 = 3*j + g, -3*j - 2*g = -1. Is -2/5 at least j?
True
Let a = -10 - -10. Which is smaller: a or 1?
a
Let h = 294 + -291. Let b(z) = -z**3 - z**2 + 5*z + 3. Let y be b(-3). Which is bigger: h or y?
y
Let q = -33 - -265/8. Is 0 at least as big as q?
False
Let x = -16 - -36. Suppose 0 = -3*j - 3*c - 15, 3*c = 5*j + x + 5. Which is smaller: -6 or j?
-6
Suppose -j = -3*j - 10. Is j <= -2?
True
Let a(c) = c**2 - 11*c - 23. Let x be a(10). Which is smaller: x or -32?
x
Let p = -10 - -46. Let r be (p/30)/(8/290). Let x = 45 - r. Which is smaller: x or 1?
1
Let u = -50 + 352/7. Let y = -2 + 2. Is u greater than or equal to y?
True
Suppose 5*m = 4*n + m + 8, -4*m = -5*n - 10. Suppose 11 + 13 = 3*w. Let j be (2 - w)*(-2)/(-4). Which is smaller: n or j?
j
Let m be (3/6)/(1/(-26)). Let g = -5 - m. Let a = g - 11. Is -4 bigger than a?
False
Suppose 5*j = -j - 6. Which is bigger: j or 1/34?
1/34
Suppose -5*b - 1 = -6*b. Let h = -4 - -4. Suppose h = 4*a - y + 2*y - 8, -a + 2*y + 2 = 0. Which is smaller: b or a?
b
Suppose o = 2*o - 3*r + 4, 2 = r. Suppose -2*h = 2*z - 6, z + 2*z - 9 = -o*h. Which is greater: h or 1?
1
Let j = 88 + -13. Let g be ((-28)/6)/((-4)/j). Let y = g + -85. Is y greater than or equal to 4?
False
Let k = -0.6 + -1.4. Let f = 11.6 + -14. Let h = k - f. Is -2/7 less than h?
True
Let a = -7 - -10. Suppose 5*l + 5*b + 30 = 0, a*b = -4*l + 4*b + 1. Let y = 0 - l. Which is smaller: y or -1/9?
-1/9
Let q be 0*(20/8 - 3). Is q not equal to -6/13?
True
Let f = -29.9 + 30. Is 2 greater than or equal to f?
True
Let u = -68 + 69. Is u < 2/367?
False
Let h(u) = u - 2. Let c = 0 + 1. Let q be h(c). Is -1/5 greater than q?
True
Let i = 0.5 - -0.5. Let f = -14 - -18. Which is smaller: f or i?
i
Let s = 124/3 + -42. Which is bigger: -16 or s?
s
Let o be 3 + (-1 - -2 - 3). Let z(r) = r**3 - r**2 + r - 1. Let g be z(1). Suppose 0*l - l + o = g. Is l not equal to 0?
True
Let v(s) = 4*s - 1. Let u be v(1). Let g be (12/9)/((-2)/(-3)). Is u <= g?
False
Suppose 4*n - s + 3*s = 6, 2*s = -2. Suppose 5*l - 16 = v, n*v + 2*l = 4*v. Suppose -f - 17 = -v*u, -5*f - 2*u - u + 30 = 0. Is f less than or equal to 2?
False
Let u = 1.1 + -2.9. Let t = 0.2 - u. Let j = -2 - 0. Is t <= j?
False
Let r = 259/6 + -43. Is r at most as big as -1?
False
Let r = -3.765 - 0.035. Which is smaller: -0.1 or r?
r
Let k be ((-2)/2)/(-2 + 1). Suppose 5*b + 2*p = -k, -6*p + 6 = -3*p. Which is smaller: -3 or b?
-3
Suppose 3*c + 2 = -v - 0, 0 = -2*v + 3*c + 5. Suppose 2*h - 48 = -2*h. Let q be 3/h - 3/44. Which is greater: v or q?
v
Let j(l) be the third derivative of -l**4/24 - l**2. Let x be j(2). Is x equal to -2?
True
Let b be 148/(-28) + 2/7. Let f be ((-1)/(-2))/(b/(-6)). Which is smaller: f or -1?
-1
Let x be -3 - (3 + 65/(-11)). Let j(m) = -m + 1. Let g be j(5). Let q = 5 + g. Is x less than q?
True
Let r(x) be the first derivative of -x**3/3 - 7*x**2/2 + 8*x + 3. Let q be r(-8). Suppose -4*y - y = q. Which is greater: -2 or y?
y
Let u = -4 + 6. Let j be u/3 + (2 - 2). Let t(x) = x - 3. Let q be t(5). Which is smaller: j or q?
j
Let h be 8/(-2) - 1226/(-160). Let c = -18/5 + h. Is 0 smaller than c?
True
Let d = 22556/21 + -3773/3. Let l be 0 + -2 - (-728)/(-4). Let k = d - l. Is k bigger than 0?
True
Suppose u - 2*k + 1 = -1, 9 = -2*u + 3*k. Which is bigger: -11 or u?
-11
Let h = -2/861 + 53/123. Let n = -2.2 - 0.7. Let u = 3 + n. Is u not equal to h?
True
Suppose 0 = -o - 36 - 72. Let t = -538/5 - o. Let a be (-12)/30 + -1 + 1. Is a != t?
True
Suppose 0 = 3*i - 5*t - 36, -5 = -i + 4*t. Suppose 3*c = 5 - i. Let y be (c/6)/(8/(-12)). Is y less than or equal to -1?
False
Let y = 1.51 + -5.6. Let u = y + 0.09. Let g = u + 3. Is -1 <= g?
True
Suppose -3 = 3*s, s = 4*z - 2*z + 1. Let v be (z/2)/(5/30). Which is bigger: -4 or v?
v
Let f(u) = -u - 9. Let v = -16 + 9. Let s be f(v). Which is smaller: -1 or s?
s
Let j = 82 + -51. Which is bigger: j or -0.1?
j
Suppose -5*p - 2*b + 7 = 22, -p = -5*b + 3. Which is smaller: -1/36 or p?
p
Suppose 3*a - i = -a - 144, a + 5*i = -15. Is a bigger than -34?
False
Let r(n) = -n**2 - 1. Let i be r(-1). Let j = i + 2. Let w = 23 - 21. Is j at least w?
False
Let f = -6.3 + 6. Let n = 0.1 + f. Let d = n + 0.1. Which is smaller: -3 or d?
-3
Let u = -0.24 + 4.24. Let r = -5 - -19/4. Which is smaller: u or r?
r
Let y be 6/(-8)*32/60. Let l be 1/(-1*2/(-16)). Suppose -3*f - l = -5*f - 5*t, -2*f + 5*t - 12 = 0. Which is smaller: f or y?
f
Let f = 1.2 - 1. Let n = 21 - 5. Let l be (15 - n)*(-2)/(-6). Which is smaller: f or l?
l
Let h = 0 - -1. Let w = 140 + -424/3. Let f = w - -62/51. Which is smaller: f or h?
f
Let w be ((-33)/(-24))/((-10)/24). Let z = 52/15 + w. Which is bigger: z or 4?
4
Let p = -241/1026 + 7/54. Suppose 0 = -3*b + 3*c + 3, 3*b + 4 + 1 = -c. Are p and b equal?
False
Let b = 3.6 + -3.59. Is -3 less than b?
True
Let q(u) = -5*u - 3. Let d(l) = 11*l + 6. Let a(f) = 6*d(f) + 13*q(f). Let t be a(4). Which is greater: -2/49 or t?
t
Let s be (4/10)/(4/(-40)). Let f be s/12 - 4/6. Is 1/4 equal to f?
False
Let x = -12 - 1. Let a = x - -8. Let q = a + 7. Which is smaller: q or 3?
q
Let w = 2 + 8. Let g be (-2216)/7805 - w/(-35). Let b = -452/3345 + g. Which is greater: 0 or b?
0
Let o(t) = 