 be 48/21 - (-2)/(-7). Suppose 2*l = -3*l - 20. Let h = l + 4. Does q = h?
False
Let z = 50 - -1. Are 50 and z equal?
False
Let m be 6 + (0 - -1) - 1. Do m and 54/11 have the same value?
False
Let c be (16 - -2)*(-8)/(-12). Suppose -2*k + c = k. Suppose 3*i - 6 = -2*x + 7, 5 = k*x - i. Which is greater: 1/2 or x?
x
Let g = 1.39 - 3.33. Let a = 0.06 - 0. Let r = a - g. Is r bigger than -0.1?
True
Suppose -5*n - 2 = -0*k - 4*k, 3*n = 2*k. Let q be (n - 7)/((-6)/55). Let l = 46 - q. Which is bigger: 0 or l?
l
Suppose 0 = 3*k - 42 - 6. Which is greater: 18 or k?
18
Let c = 155 + -150. Let n = -4 + 10. Is n less than c?
False
Let k = -17.038 - -0.038. Which is greater: -2/3 or k?
-2/3
Suppose 3*y = 5*r - 36 + 11, 5*r = 4*y + 30. Suppose 0 = r*t - t. Let q = 427/6 + -71. Which is smaller: q or t?
t
Let i(n) be the first derivative of n**3/3 + 9*n**2/2 + 5*n - 2. Let v be i(-6). Let m = v + 6. Is -6 greater than m?
True
Suppose 3*l = l + 2. Which is smaller: l or -17?
-17
Let r(o) = -o**2 + 9*o - 7. Let m be r(8). Which is smaller: -6/13 or m?
-6/13
Let r = 1.1 + -0.1. Let d = r + 0. Let n be (-2 - 10/(-2)) + -1 + 2. Which is smaller: d or n?
d
Let o(j) = 6*j**2 - 2*j + 1. Let d be o(1). Suppose -d*z - 5*y + 3*y = -8, -3*y - 7 = -2*z. Suppose 6*a + 9 = 3*a, -z*a - 6 = 3*s. Is s at least 1?
False
Let i = -7 + 12. Let x = 6 - i. Let a be (-28)/36*(-2)/(-7). Which is smaller: x or a?
a
Let d be (-16)/(-5) - 6/30. Suppose 0 = -0*h - 3*h + d. Let b = -1/124 - -377/620. Is h != b?
True
Let t be 5/100*6*(-24)/(-9). Is t at most as big as -23?
False
Suppose 4*f = 5*f. Let c = -14/3 - -61/15. Is c less than f?
True
Let j be (-16)/(-10)*5/2. Suppose 0 = 5*b + 2*d, -j*b + 5*b + 2*d = -8. Let y be 0*(5/b - 2). Which is smaller: 1 or y?
y
Suppose 5*x + 17 = -3*y - 9, 5*y = -2*x - 18. Suppose -4 = -5*g + 6. Suppose -g*r = -7*r + s - 10, 2*r - 2*s + 12 = 0. Which is greater: r or y?
r
Let h = -0.04 + 5.04. Let a = -4 + h. Which is smaller: a or -5?
-5
Let o = -11 + 5. Let y = -1.4 - -8.4. Let m = y + o. Which is greater: m or 0?
m
Suppose 15 = -3*g + 6, -k + g + 15 = 0. Which is greater: 14 or k?
14
Let r = -4 - -8. Let q = -4 + r. Suppose -5*c - 5*f = 5, 6*c - c - 4*f = 13. Which is smaller: c or q?
q
Let q = 8 - 14. Let s be (2/(-24))/(q/16). Let n(j) = j**2 + 3*j + 1. Let y be n(-2). Which is smaller: y or s?
y
Let f = 0.48 - -0.02. Let w = f + -0.4. Which is bigger: w or 8?
8
Suppose 8*c - 3*c - 45 = 0. Is c at least 5?
True
Suppose -2*x + 3*x + 11 = -u, -2*x - 25 = 5*u. Let n = 12 + x. Suppose 5*d = 4*p + 30, -n*d - 16 = p + 3*p. Which is bigger: -3 or p?
-3
Let i = -29 + 11. Let o = -1046 - -4259/4. Let u = i + o. Which is smaller: 0 or u?
0
Let f = -12.77 - 0.23. Let k = -10 - f. Which is smaller: 2 or k?
2
Let s = 0.65 - -0.05. Let x = 1.3 + s. Which is bigger: x or -1/4?
x
Let r be (-10)/(-95) + (-2)/19. Do r and -3/17 have different values?
True
Suppose 2*p + 11 = -3*h, 5*p = -2 - 18. Is -3 > h?
False
Let g(b) = b**2 - 17*b + 28. Let h be g(15). Let z = 4 - 3.7. Do z and h have the same value?
False
Let o(b) = -b**3 + 2*b**2 + 6*b + 6. Let j be o(-2). Which is smaller: -2/7 or j?
-2/7
Let h be -3 + 5/(-4 - -9). Which is smaller: -5 or h?
-5
Let p be 3/2*8/12. Are 1.5 and p equal?
False
Let y = -21 - -14. Is y bigger than -1?
False
Let d(k) = 6*k**2 - k - 1. Let l be d(-1). Suppose 0 = -4*s + l*s + 6. Is s smaller than -5?
False
Let z = 9 + -6. Let c be -1 + (z - (-45)/(-6)). Let k = -73/14 - c. Is 1 smaller than k?
False
Let l(t) = 13*t - 4. Let u be l(1). Which is greater: u or -1/4?
u
Let y = 0.19 - 13.19. Let i = 12.93 + y. Let a = i + -0.03. Which is smaller: 0.1 or a?
a
Let x = -7.89 + -0.11. Let g = 0.7 + -0.6. Let j = g - 0.1. Is x < j?
True
Let g be 5/((-900)/44) - (-2)/15. Let u(i) = 2*i**2 + 5*i - 4. Let v be u(-4). Suppose 1 - v = -3*h - 5*o, -2*h + 3*o - 8 = 0. Is h smaller than g?
True
Let o = 0.15 - 0.2. Let v = 2.95 - o. Let s be (-24)/18 + (-2)/(-6). Which is greater: s or v?
v
Let p be 5/10 - (-2 - (-284)/120). Which is smaller: p or 1?
p
Let y = -9 - -6. Let q = 5 - 9. Is y greater than q?
True
Let w be (0/2)/(1 + 0). Suppose -1 = -y - w. Let z = y + -2. Is 0 at most z?
False
Let m = -14 + 7. Which is greater: m or -8?
m
Suppose -2*y + 40 = 3*y. Let n = 22 - y. Suppose -2*s + u = 5*u + 4, 2*u + n = 2*s. Is 4 at least s?
True
Suppose 0 = -4*u - u - 5. Let f be (3 - 2)/u - -2. Let b = -50/3 - -356/21. Is b at most f?
True
Suppose -3*l + 2*k - 10 = 9, 11 = -2*l + 3*k. Let u = -12 + 5. Is u > l?
False
Suppose 0 = -0*f + 3*f. Let k = -109 + 304. Let b = -971/5 + k. Which is greater: f or b?
b
Suppose -19 = -5*d + 6. Is 5 at least d?
True
Suppose -6*k + 4*k + 10 = 0. Let v be (k + -1)*3/(-150). Which is greater: -1 or v?
v
Let c(b) = -b + 11. Let r be c(5). Suppose 7*h + 2 = r*h. Let t = h + -2. Which is bigger: -7/2 or t?
-7/2
Suppose 5*q - 2*l = -6, l - 3 = -0*l. Let j(s) = -2*s**3 - 7*s**2 + 5*s + 5. Let z be j(-4). Is z at most q?
False
Let f = -1 + 1.1. Is -0.4 at most as big as f?
True
Let w = -28 - -51. Do w and 0.2 have the same value?
False
Let q(t) = -t + 9. Let k be q(9). Let n be k*((-15)/(-6) - 3). Is 2/5 at least n?
True
Let r = 4 - 4. Let n = r + 1/2. Let i = -0.3 - -2.3. Is i at most as big as n?
False
Suppose 5*s + u + 37 = 0, 27 = -5*s + 2*u + 2*u. Let p(n) = -n + 2. Let c be p(s). Is c != 8?
True
Suppose -2*b = 3*b + 5. Are b and 1/2 equal?
False
Let j = -90 + 146. Which is bigger: 57 or j?
57
Suppose r + 6 = -2. Let g(z) = z**2 - 5*z - 2. Let k be g(6). Let m be r/6*1/k. Is 0 not equal to m?
True
Let n = -2 - 2. Let o be 82/(-26) + 2 - 18/(-117). Which is greater: o or n?
o
Let b be 1/(-2) + 3/2. Let o be (-1)/b + -1 - -2. Let s = 4 + o. Which is bigger: 3 or s?
s
Let d(y) be the second derivative of 4*y - 7/2*y**2 + 1/6*y**3 + 0. Let w be d(8). Which is smaller: 5/3 or w?
w
Let n = 3.2 + -3. Is 0 < n?
True
Let c = -0.38 + 0.08. Let h = -321/5 - -64. Which is smaller: c or h?
c
Let b(g) = g**2 + 6*g + 7. Let l be b(-5). Let a(q) = -q**3 - 7*q**2 - 6*q + 5. Let s be a(-6). Suppose -5*m - 26 = -4*h - 2, -s*m - 21 = -h. Is l >= h?
True
Suppose 0 = 3*g + 4*v + 5, -12 + 4 = 4*v. Which is smaller: g or 1/2?
1/2
Let s = 0.07 - -2.93. Is -2/7 at least s?
False
Let r be ((-8)/50*-1)/(-14). Let h = 37/175 + r. Let c = h + 11/20. Which is smaller: 1 or c?
c
Let v(g) = g + 4. Let y(d) = -d - 1. Let q be y(3). Let n be v(q). Is n not equal to 1/7?
True
Let t = -2.9876 + 0.0576. Let w = 0.07 - t. Is w smaller than 0.1?
False
Let j = 196/3 + -66. Let k = -3 - 3. Let x = -5 - k. Which is smaller: j or x?
j
Let g be (-1)/2 - (-1)/10. Suppose 0*k + 3*k + 5*l - 37 = 0, -25 = -5*l. Suppose 3*d - 1 = k*d. Are d and g nonequal?
True
Let b = -18 - -2. Let y be (-6)/(-2) + b/(-8). Which is smaller: y or 6?
y
Let i be 2/(-1) + (-60)/(-50). Let p = 4 - 6. Let z = 2 + p. Which is smaller: z or i?
i
Let m = 14 - 14. Suppose -p + 3*b - 4*b + 5 = m, 2*b = -5*p + 13. Let o be (-13)/20 + (-4)/(-10). Which is greater: o or p?
p
Let v be 1/(9/8 - 1). Suppose 3 = -d, 2*d = 3*m - v - 4. Let l be (-2 + 3 - m)/(-1). Which is greater: l or 2?
2
Suppose 0 = 3*p - 6*p - 3. Which is bigger: p or -20?
p
Suppose -3*d + 4 = 1. Let j(l) = l**3 - 5*l**2 + 5*l - 3. Let v be j(4). Let x be -2 - 0 - v/d. Is x at most -5?
False
Let t(w) = -w**3 + 19*w**2 - 33*w - 16. Let o be t(17). Let f be (-1097)/780 + (-4)/(-2). Let c = f - -1/156. Do o and c have different values?
True
Suppose 4*w - v - 9 = 2, -v + 5 = 0. Is w <= 0?
False
Suppose 0 = -a - 0*a. Let j be -1 - 0 - (a + -1). Let z be (-3)/(-2) - (1 - -1). Which is smaller: z or j?
z
Let v be ((-14)/105)/((-3)/5). Which is bigger: 1 or v?
1
Let a = 1 - 1. Let i(f) be the third derivative of f**5/60 + f**4/24 + 3*f**2. Let t be i(0). Does a = t?
True
Suppose -5*p + 119 = -2*s - s, 54 = 2*p + 2*s. Is p at most 25?
True
Let u(r) = 2*r - 10. Let h be u(5). Are h and 3 equal?
False
Let u = 3 - -4. Suppose -l + u = g, 3*l + g = -l + 13. Does 0 = l?
False
Let m(r) = r + 8. Let s be m(0). Let k = 6 - s. Are k and -2 nonequal?
False
Let n = -10 + 14. Let d be 2/8*(0 + n). Which is greater: d or 2?
2
Let b(g) = -g - 6. Let n be b(-7). Let h be (-2)/(-8) - 386/8. Let k = h + 241/5. Which is bigger: n or k?
n
Let c be 4/(-30) + -2