s bigger: -1 or w?
w
Suppose 7*i + 31 = 3*i + 3*q, 6 = -2*q. Let k = i + 9. Which is bigger: -3 or k?
k
Suppose 110*a = 115*a + 415. Is -84 less than a?
True
Let n be 5/((-20)/(-8)) - -1. Suppose n*l = -l + 40. Which is smaller: 9 or l?
9
Suppose 0 = -9*f + 5*f - 16. Is f greater than -8/3?
False
Let n = -0.05 - 1.95. Let f be 2*1 - 20/6. Let l = 5/6 + f. Is l less than n?
False
Let z = 12/581 + -505/28469. Let v = z - -146/343. Let g(b) = -b**2 + 9*b - 9. Let i be g(8). Does i = v?
False
Let r be (8*(-3)/(-18))/(1/(-3)). Which is greater: 4 or r?
4
Let p(g) = g**2 + 3*g + 4. Let s be p(-2). Are s and 1 unequal?
True
Let a be 0 - (0 + 3 - 8). Which is greater: a or 4?
a
Let r = 761/45 + -1451/90. Let n = r + -9/10. Which is smaller: n or 1?
n
Suppose 8 + 22 = -2*y. Let j = -14 - y. Is j > -2/17?
True
Suppose -g = 3*j - 19 - 68, -5*j - 4*g = -145. Which is smaller: j or 28?
28
Let o = -0.1 + 0. Let s = -0.05 - -0.01. Let m = s + -0.16. Is m > o?
False
Let c(y) = 5*y - 16. Let v be c(6). Is v equal to 14?
True
Let l be 0 - (-2)/(-3) - 0. Let j = 0.0119 + -0.1119. Which is bigger: l or j?
j
Let m be 8/(-3)*6/(-4). Let o(t) = 7*t + 0*t**3 - 8*t**2 + t**3 + 2 + 1 + 0*t**3. Let w be o(7). Are w and m equal?
False
Let s = -0.41 - -0.23. Which is smaller: s or 0?
s
Let l be -15 - (1 + -1 + 2). Let s be 222/(-12) - 2/(-1). Let w = l - s. Which is smaller: -2 or w?
-2
Let n = 71 - 76. Are -1/3 and n nonequal?
True
Let p be 24/(-85) + (-14)/119. Are p and 5/2 nonequal?
True
Suppose 0 = -0*t + 5*t - 15. Let y = t + -4. Is 2/31 < y?
False
Let w = 6.438 - 0.138. Is 0 at most w?
True
Let k be (-3)/1 - (-13)/5. Which is smaller: k or -0.22?
k
Let y be (1 - 4)/((-9)/(-6)). Which is bigger: y or -22/7?
y
Let t = 3.1 - 3. Let r = -0.9 - t. Which is smaller: 0 or r?
r
Let o = -1.5 - -2. Let l = 0.5 - 2. Let t = l - o. Is t at least 0.1?
False
Let y(n) = -n**2 - 4*n + 5. Let a be y(-5). Let i = 8 - 6. Suppose -i*x = 4*r - 4, 0 = 3*r + 3*x - 4 + 1. Is a less than r?
True
Suppose 0 = g - 5*o + 24, g - 28 = -2*g - 5*o. Which is greater: g or -0.05?
g
Let a(q) = -q**3 - 2*q**2 - q + 1. Let x be a(-2). Suppose x*r = 2*r. Which is bigger: 4/11 or r?
4/11
Let k(z) = 2*z + 1. Let y be k(5). Let x = y - 7. Which is smaller: -2/7 or x?
-2/7
Suppose 15 = v - 6*v. Which is smaller: v or -18/5?
-18/5
Let i be (-1)/(-4 + 22/6). Suppose -4*b + i*g - 12 = -b, 4*b - 29 = -5*g. Which is smaller: b or 4/5?
4/5
Let j be 30/(-4)*4/6. Which is smaller: -6 or j?
-6
Let v(z) = 2*z**2 + z + 1. Let n be 3/(-6)*2*1. Let k be v(n). Is k at least as big as 2?
True
Let h = -145718541/482324 + -3/28372. Let a = -302 - h. Is a at most as big as 1?
True
Suppose -4*k + 5*r = -28, 5*k - 5*r - 42 = -12. Suppose -5*n = -k + 7. Is -2/21 greater than n?
True
Let f be ((-40)/15)/(1/6). Which is smaller: -17 or f?
-17
Let u(z) = -z**3 + 5*z**2 - z + 4. Let i be u(5). Let o be -1*(2 + -1)/i. Let p be ((-6)/(-8))/((-2)/(-8)). Is p <= o?
False
Suppose c - 3 = i - 9, 5*i - 24 = -c. Which is greater: c or -1/118?
-1/118
Let i = -9 + 8. Let f be (-2)/3*1*-6. Let o be 3/9*(f - i). Which is smaller: 1 or o?
1
Let o = 3.34 + -3.3. Let a = 2.9 + -3. Which is bigger: a or o?
o
Suppose -25 = -4*u + 3. Suppose -y = -3*n + u*n - 8, 0 = 2*y - 4*n + 20. Is -1/3 at most y?
False
Let m = 57 - 55. Suppose 5*t = 4 + 6. Is m != t?
False
Suppose -4*a = -9*a - 15. Is -3 < a?
False
Let y be 7/4 + (-9)/12. Is y greater than 3/10?
True
Let p be ((-49)/21)/(4/(-6)). Which is smaller: 5 or p?
p
Suppose 2*k + 2*k = 8. Suppose -d = -y + 4, -k*d + 2*y - 4 = -4*d. Are 0 and d unequal?
True
Suppose -3*q + 6*q - 72 = 0. Suppose 5*w + 98 = 4*y, 3*w - 5*y = -q - 27. Let s be 4/w - (-72)/154. Are -1 and s equal?
False
Let s be ((-12)/(-105))/((-37)/(-5) - -1). Which is greater: 0 or s?
s
Suppose -5*r - 15 = -0*s - 5*s, 5*r + 2*s + 8 = 0. Let t(k) = -k**2 - 2*k. Let g be t(r). Suppose y + y = g. Is 1 > y?
True
Suppose -15 = 4*u - 2*d + 7, -29 = 3*u - 4*d. Let j = u + 2. Let h be 16/6 + (j - 1). Which is smaller: h or -1?
-1
Suppose 46*v = 43*v - 105. Which is bigger: -34 or v?
-34
Let q(j) = 4*j - 12. Let l be q(6). Suppose -5*i + 2*h = -3*i - l, -3*i + h + 8 = 0. Which is smaller: 2/9 or i?
2/9
Suppose -3*w + 2*w + 18 = 4*r, 0 = -2*w + 4*r. Let u(m) = -m + 8. Let x be u(w). Let f = -3.98 + -0.02. Is f > x?
False
Let b(p) = p**3 - 8*p**2 - 10*p + 8. Let f be b(9). Are f and -1/229 equal?
False
Let g(u) = -15*u**2 + 0 + 2*u + 0. Let x be g(1). Is x greater than -12?
False
Let t = -0.044 - 1.956. Which is bigger: -7/3 or t?
t
Let k = -928 + 13928/15. Let r be (-5)/(1650/(-8))*295/10. Let v = r - k. Which is greater: v or 1?
1
Let m be 29/(-104) + 1/8. Which is greater: 1 or m?
1
Let t = 0.05 + 0.45. Let w = 4.5 - t. Are w and 0.1 unequal?
True
Let a = -74 - -73. Suppose 5*j = -4*v - 15, -v = -j - 4*j + 35. Let d be (1/v)/(4/(-10)). Which is bigger: a or d?
d
Let a = 14 - 9. Let l = 8 - a. Which is smaller: -4 or l?
-4
Let c be 30/(-4)*24/(-30). Let j be (3/c)/(1/(-1)). Which is smaller: j or -1?
-1
Let j = 8.3 - 16.3. Is 3 at most as big as j?
False
Let d = -0.4 + 0.2. Let j = d - -1.1. Let k = j - 1. Which is smaller: 3 or k?
k
Let w be 2 + (-2 + 3 - 2). Suppose -2*y = i - 167, 5*i + 39 = y - 28. Let k = 736/9 - y. Which is smaller: k or w?
k
Suppose -23 = 2*b - n - 6, 5*b - n + 44 = 0. Is b <= -9?
True
Suppose 4*b = -7 + 51. Is 12 greater than b?
True
Let l be 12/8*12/63. Which is greater: 1/5 or l?
l
Let l = 237/4 - 59. Let s = -3 + 4. Suppose -2*a + 3 - s = 0. Is a < l?
False
Suppose y + 3*v = -0*y + 22, 2*y - 5*v = -11. Let n = y - 52/7. Suppose 5*b = -3*a + 15, -a + 0*a = 5*b - 15. Is n < a?
True
Let p be 2/7 + (-30)/56. Let w(b) = b**3 - 2*b**2 - b - 1. Let y be w(2). Let s = -6 - y. Which is greater: s or p?
p
Let p be (30/(-40))/(2/(-24)). Let l = 4 - 2. Let b be (0*3/p)/l. Which is smaller: b or -2/5?
-2/5
Let u(y) = -y**3 + 8*y**2 - 10*y + 3. Let i be u(7). Let z be (i/(-3))/(-3) + 3. Which is greater: z or 4/9?
z
Let m = -1.98 - 0.02. Let d = -2.8 + 5.1. Let a = m + d. Is a >= 1?
False
Let p = -76.9 + 77. Is 35 at least as big as p?
True
Let b = -111 + 225/2. Suppose -4 = -g - 2. Are b and g equal?
False
Let r = 3 + -5. Let p = -10.1 + 10. Does p = r?
False
Suppose 3*v - 6 = 2*v. Suppose -v*l + 40 = -l. Let h be (l/(-12))/((-4)/6). Which is smaller: 2/13 or h?
2/13
Suppose 8*z = 6*z - 6. Does -0.3 = z?
False
Let t = 2 - 8/5. Suppose -22*n + 34 = 12. Is t at least as big as n?
False
Let y(a) = 5*a**3 + 4*a**2 + 4*a. Let l(f) = 6*f**3 + 4*f**2 + 5*f + 1. Let q(d) = -4*l(d) + 5*y(d). Let o be q(-4). Which is bigger: -3 or o?
-3
Let x(c) = -c**2 - 9*c - 4. Let m be x(-8). Suppose 0 = -5*h - n - m*n + 20, -4*n + 16 = h. Which is greater: h or -6/7?
h
Suppose -3*o + 88 = -2*q - 17, 5*o - 103 = 2*q. Let t be (0 - -3) + q/24. Let b(a) = -a**3 - a**2 - a. Let r be b(-1). Which is greater: t or r?
r
Let t = -24 + 18. Do t and -1/2 have different values?
True
Let s = -8 - -8.3. Is -1/2 at most s?
True
Let k = -5 - -4. Let c be (k/4)/((-2)/(-4)). Which is smaller: -1 or c?
-1
Let b(h) = h**2 + 9*h + 15. Suppose 0 = 5*z - 4*v + 8 + 26, -2*v + 32 = -5*z. Let g be b(z). Is -3 equal to g?
True
Suppose 0 = 3*m + 4 - 7. Which is bigger: m or 1/11?
m
Let w(j) be the first derivative of -j**3/3 + 2*j**2 + j - 1. Let y be w(4). Let b be y/(-3) - (-16)/(-6). Is b >= -3?
True
Suppose 7*i = 4*i - 9. Let k = 1 + 0. Let d = 1 - k. Which is smaller: d or i?
i
Let q = -104.98 - -105. Which is smaller: 1/4 or q?
q
Let l be (-6)/5 - (-8)/(-160)*4. Is 0 greater than l?
True
Let g(u) = u**2 - 11*u - 16. Let s be g(12). Let n be s/10 + (-2)/(-2). Which is smaller: 0 or n?
0
Suppose 4*x - 1 = -5*p, x = -3*x - p - 3. Let q be 0 - (-10)/(1 - x). Let f(n) = n - 6. Let d be f(9). Is d at most as big as q?
True
Let q = -71 + 565/8. Let o(r) = -r**3 - 2*r**2 + 4*r + 4. Let y be o(-3). Is y smaller than q?
False
Let b(o) = -o**2 + 6*o + 3. Let w be b(6). Let i be (-1)/(15/w + -3). Is 0 >= i?
True
Let k be ((-12)/(-20))/((-6)/(-435)). Let r = -27 - -72. Let u = r - k. Is u at most 1?
False
Let k = -2 + 4. Let i = k + -2. Let o be ((-2)/(-12))/((-4)/4). Are o and i equal?
False
Suppose 4 = -s + 2. Let z = -0.78 + 0.7. Let p = -0.08 - z. Is p at least as big as s?
True
