-3*q. Let b be -9*3/(0 + q). Which is smaller: b or -1/3?
b
Let r = -198 + 1787/9. Is 0 at most as big as r?
True
Suppose -6 = j - 2*n + n, 5*n = j + 18. Let u = j - -2. Is -3/11 at most u?
False
Let i = 10 + -23/2. Let u(c) = -c**3 + 7*c**2 - 1. Let n be u(7). Is i < n?
True
Suppose t + 1 + 0 = 0. Let i = -2887/10 + 289. Let c = -3/10 - i. Is t at most as big as c?
True
Let k = 721.82 + -716. Let j = 0.18 + k. Which is greater: j or 1/4?
j
Let i = -89/42 + 16/7. Is i bigger than -1/2?
True
Suppose -12 = -3*p + p + 4*b, 43 = 5*p + 3*b. Let f = p + -5. Let m(i) = -2*i - 6. Let r be m(-4). Is r bigger than f?
False
Let r = 82/133 + -28/19. Is 0 less than r?
False
Let h(g) = -g**3 - 6*g**2 - 6*g + 5. Let v be h(-5). Which is smaller: 11 or v?
v
Let p = -7 - -10. Let k = p + -18. Let o be (-10)/k*6/(-4). Are 0 and o unequal?
True
Let w = 1 + -3. Suppose -4*x = x + 25. Let n = 2 + x. Does w = n?
False
Let m be (31/(-3))/(1/(-3)). Let l = m + -95/3. Suppose -5*o + 5 = -3*j, 0*o - 3*o = -4*j - 3. Which is bigger: o or l?
o
Let z be 0 + 1*1*-5. Let c(l) = l**2 + 6*l + 3. Let o be c(z). Let g = -25 - -23. Is o less than g?
False
Let r(o) = -7*o**3 + 4*o**2 + 5*o - 1. Let a(p) = -13*p**3 + 7*p**2 + 9*p - 2. Let t(z) = 4*a(z) - 7*r(z). Let l be t(1). Is -3 equal to l?
True
Let s be 0 - 1*(-1)/3. Suppose 4*m - 2*m = 5*o - 5, -m = 5*o - 20. Suppose -m*y - 22 = 3*r, 2*r - r - 11 = 2*y. Which is smaller: r or s?
s
Let b(o) = o**2 - 9*o + 10. Let g be b(8). Let z(h) be the first derivative of h**3/3 - h**2/2 - 2*h + 1. Let l be z(g). Is 2/9 less than or equal to l?
False
Let b(s) be the second derivative of -s**4/12 - s**3/3 + 3*s**2/2 + 4*s. Let o be b(-3). Which is greater: 1/3 or o?
1/3
Let o = 13.7 + -13. Let a = 0.73 - o. Let d = a + 0.07. Which is bigger: d or -2/5?
d
Let o = 2 - 1. Let a = -1 - o. Let r = 0.3 + 0.7. Is r >= a?
True
Let m = 4 - 3. Let s be (3 + m + -3)/(-1). Let d be (-3 - 1)*(-2)/(-4). Which is greater: s or d?
s
Let a = 93 + -60. Suppose 4*q = -5*g + a, 6*g + 72 = 5*q + 2*g. Suppose 4*x + 0*x - q = 0. Is x at most as big as 4?
True
Let s be 6*(0 + (-6)/9). Let i be s + (2 - -1) - 2. Is i < -1?
True
Let f(d) = d**2 + 6*d + 6. Let n be f(-8). Let i be 16/12*(-31)/n. Let a = 6/11 + i. Is a less than 0?
True
Let v be -1*3 + -6 + -12. Let h be (-4)/(-2) - (-48)/v. Which is greater: 1 or h?
1
Let k = 3 - 2. Let f = -48 - -48. Is f bigger than k?
False
Let b be 4/8 + 122/(-4). Let f be (-4)/b + 33/90. Is f equal to 1?
False
Suppose 7 = -u - 0*u. Is u bigger than -7?
False
Suppose -4*t = -t - 6. Suppose f - 3*f + 8 = -t*x, 3*x + 16 = -f. Which is greater: f or 1/6?
1/6
Let s(t) = 14*t**2 + 27*t + 32. Let j(n) = -5*n**2 - 9*n - 11. Let m(g) = -17*j(g) - 6*s(g). Let k be m(9). Is k < -6?
False
Let i(d) = d**3 - 7*d**2 + 2. Suppose 6 = 3*l - 15. Let j be i(l). Suppose 0 = -n - 0 - j. Which is smaller: n or 1?
n
Suppose -53 - 142 = -5*l. Suppose 3*p + l = 6*p. Is p not equal to 13?
False
Let m be 6/(-15) + (-37)/(-5). Let q(f) = f**3 + 8*f**2 + 5*f - 6. Let d be q(-7). Let g = d - m. Is g >= 2?
False
Let k = 16 + -11. Is -1 less than k?
True
Let p = -0.3 + -1.7. Suppose 4*f + x - 10 = 0, -5*x + 6 = -4*f + 4. Let s = f + -2. Is s greater than p?
True
Suppose 3*v - 4 = 2*v, 3*p + 13 = -5*v. Let q = 7 - p. Let g be 3/q - 1/30. Which is greater: 0 or g?
g
Let q be 3/6*(-3 - -3). Suppose q = -3*s - 6 - 3. Let u(v) = -2*v**2 - v + 2. Let g be u(-2). Is g equal to s?
False
Suppose -k + 3*w - 4 = 0, 4*k - 2*w + 2 = -4*w. Let t be (-5)/(-2)*(-20)/725. Is k != t?
True
Let w = -2/127 - -401/1270. Is w equal to 1?
False
Let m = 177/5 - 35. Which is greater: 1 or m?
1
Let v(n) = n**3 - 4*n**2 + 3. Let z be v(4). Let s(c) = -c**3 + c**2 + 3*c - 2. Let u be s(2). Which is bigger: u or z?
z
Let p = 1.37 - -5.33. Let s = -7 + p. Let z be (-4)/10 - (-4)/(-15). Is z at most as big as s?
True
Let i = -315920 + 6322159/20. Let s = -188 + i. Are -1 and s non-equal?
True
Let f = 0.1 - 6.1. Let r = f + 6.1. Let n = -6 - -9. Which is greater: r or n?
n
Let m = 17 + -11. Which is smaller: m or 7?
m
Let z = -1 + 2. Which is greater: z or 2/99?
z
Let g = 0.34 + 0.06. Let k = g - -3.6. Let n = 4.2 - k. Which is smaller: -1/3 or n?
-1/3
Let q be (8 - 2)*(-4)/6. Let p be (-10)/(-8) + 6/q. Which is smaller: 2 or p?
p
Let w be (4/6)/(7/1). Which is smaller: 0 or w?
0
Let a = -23 + 16. Let n = 16 - 18. Which is bigger: n or a?
n
Suppose 3*y + 4*c = -0*c + 14, -4*y + 2 = -3*c. Let l(r) = -r**2 - 11*r - 20. Let o be l(-8). Is y at most as big as o?
True
Suppose 2*w + 4 = -0. Let s be (4/(-6))/(6/(-63)). Suppose -5*f - 2 = -a, 4*f + a + 0*a + s = 0. Is w bigger than f?
False
Suppose 5*a = 3*x - 7 + 27, -3*x - 4*a = -16. Suppose x*u + 12 = -4*u. Suppose 5*l + 20 = -5*h, 4*l = -h - h - 10. Which is smaller: l or u?
u
Suppose -25 = -w - 2. Suppose 20 - w = -3*t. Is t <= -3/7?
False
Let i be (4/14)/(4/28). Which is greater: 5/6 or i?
i
Suppose 4*m - 112 = g + 8, -5*g - 60 = -2*m. Let l be (2/(-4))/(3/m). Suppose 0 = -5*c - 2*n - 14 - 8, -3*n = 3. Is c greater than l?
True
Let h(f) = -f**3 + 2*f**2 + f + 4. Let i be h(3). Let m be ((-2)/(-8))/(17 - i). Let o = 9/38 + m. Which is smaller: 2 or o?
o
Let w(x) = x**2 + 0*x**3 + 2*x**2 - x**3 + 3. Let h be w(3). Suppose -2 = -2*r + 3*b, 2*r + r = -3*b + h. Which is greater: r or 2?
2
Let p(b) = -3*b**3 - 8*b**2 - 2*b - 1 + 2*b**3 + b - 9. Let k be p(-8). Is -2 less than or equal to k?
True
Let q(m) = -m**2 + m + 2. Let i be q(0). Let x be 2/(-4) + i/4. Let n be 16/(-6) - (-1 + -1). Is x less than n?
False
Let x be ((-1)/(-2))/((-2)/3*3). Let c be 1*(-1 - 0) + 3. Let b = c + -2. Which is bigger: x or b?
b
Let c be (-106)/(-10) + 2 + (-16)/(-40). Is c less than or equal to 12?
False
Let d = 3.02 - 3. Is d bigger than 0?
True
Let g = 758/935 - 2/187. Which is bigger: g or 0.1?
g
Suppose 5*l = 5 + 10. Suppose 2*n + n - l = 0. Suppose -6*s - 6 = -3*t - 3*s, 4 = 5*t + s. Is t less than n?
False
Let m be -2 + (2 - 1) + 1. Is m at least as big as -10/9?
True
Let d = 131 - 1439/11. Let r = 15 + -11. Suppose -r = 3*i - 1. Do i and d have the same value?
False
Let n = 2.5 - 3. Let a = -0.5 - n. Is a <= 4?
True
Let a = -263 - -2627/10. Is a less than 1?
True
Let m(a) = a**3 - 6*a**2 + 9*a - 2. Let j be m(4). Let i be (2/(-4))/((-1)/8). Suppose -4 = -o - o, i*o = -x + 7. Which is smaller: j or x?
x
Let d = 6 - -2. Let v be ((-2)/8)/(2/d). Let b be (1/2*0)/v. Which is smaller: b or -2/11?
-2/11
Let j be 2 + 0/1 + 2. Let b be -4 + j + -1*2. Let a = -90 + 88. Is b equal to a?
True
Let k be (-8)/(-20) + (-13)/(-30). Suppose -3*m - 6 = -0. Let d = -2 - m. Which is smaller: k or d?
d
Let a be 1/(-4) - (-22302)/24. Let n = a + -631. Let c = 1484/5 - n. Which is smaller: -2 or c?
-2
Let c = -3.011 - -0.011. Are c and -5 non-equal?
True
Suppose 4*w = 3*b - 69, -3*b = 2*w + 56 - 17. Is -37/2 != w?
True
Let f be (-6 - -2) + 48/10. Let l be (-2)/(-6) + 2/(-6). Which is smaller: l or f?
l
Let b = 0.3 - 0.7. Let j = -29 + 23.6. Let r = b - j. Is r bigger than 2/5?
True
Let k = 40 - 198/5. Let m = 1.21 - 0.51. Is k at most as big as m?
True
Suppose 4*f = 5*d - 90, -4*f - 95 = -5*d + f. Do d and 14 have the same value?
True
Let c = -30.63 + 31. Let b = c - 0.27. Is b at least 4/9?
False
Let r be 2/11 + (-1322)/11. Let o be r/(-224) - 4/14. Which is greater: 1 or o?
1
Suppose 4*y = -3*j + 29, -4*j + 6 - 4 = -2*y. Is j > -0.6?
True
Let a be (-6)/(12/14) - 3. Is a bigger than -49/5?
False
Let o be ((9/3)/6)/((-9)/(-162)). Suppose 22 = 4*x - 6. Which is bigger: x or o?
o
Let z be 7/(-4)*16/(-4). Suppose -2*l = -5*t + 6, l + 12 - 31 = -3*t. Is l greater than z?
False
Let z = -3241/6 + 538. Let k = z - -127/42. Are k and 0 nonequal?
True
Let w = -3.9 - 0.1. Which is smaller: 2 or w?
w
Let n(v) = v - 8. Let x be (-3)/15 + 168/15. Let k be n(x). Let p = 6 + -3. Do p and k have different values?
False
Let v be ((-1)/(-2))/(1/6). Suppose -n - 15 = -5*j, -5*j + 38 = 4*n - 2. Which is bigger: j or v?
j
Suppose -4*n + 23 = -r, -r - 2*n - 5 = 4*r. Is r < -8?
False
Let x be (-7)/(-29 + -4 + 3). Let m = -1/6 - x. Let w = 0.01 + 4.99. Which is smaller: w or m?
m
Let x(b) = -b**2 + 10*b - 11. Let h be x(9). Let u be (4/2 - h) + -2. Let m be 0/(-1) - (-1)/u. Is m < 2?
True
Let r be 2*