/6 + y. Which is smaller: 3 or i?
i
Let k = 61 - 56. Is k less than 6?
True
Let x = -4 - -5. Let b = 0.5 - x. Let k = 1.5 + b. Which is smaller: -2/7 or k?
-2/7
Let l be 14/18 - (1 - 0). Suppose -2*j - 3*j + 20 = 0, 2*w - 4*j + 12 = 0. Let c be w/(2 - (-2 + 6)). Is c less than l?
True
Suppose 0 = -o - 0*o. Suppose -4*t = -o*t. Which is bigger: -2 or t?
t
Let j = 13 - 13.2. Let d = -3 + 2. Is d equal to j?
False
Let s = -114 + 114.53. Which is smaller: s or -2/5?
-2/5
Let x(p) = -2 - 4 + 2*p - 1. Let h be x(5). Let c(j) = j - 1. Let f be c(2). Do h and f have the same value?
False
Suppose 0 = 3*w + f - 9, 4*f - 4 = -4*w + 8. Let l(b) = -3 - w*b + 4*b - 1 - 3. Let n be l(6). Is n equal to 1?
False
Suppose -c = 3*m - 4*m - 4, 0 = 5*m - 4*c + 22. Let t be ((-1326)/(-81) - 2)*m. Let o = t - -86. Is 0 < o?
False
Let x(c) = c**3 - 7*c**2 - c + 1. Let i be x(7). Suppose 4*t + 14 + 2 = 0. Which is greater: t or i?
t
Let u(k) = k - 3. Let s be u(6). Let a(c) be the first derivative of c**4/2 - 4*c**3/3 + c**2/2 + 2*c + 1. Let g be a(2). Which is bigger: g or s?
g
Let c(l) = l - 9. Let v be c(11). Suppose -2*f + k + 1 = 6, 5*k - 25 = -v*f. Is f > 4/9?
False
Let d(m) = -m**2 - 22*m - 23. Let y be d(-21). Do -3 and y have different values?
True
Let u = -21 + 136/7. Let p = -62/35 - u. Which is greater: 1 or p?
1
Let c = -10 - -16. Let j = c - 5. Which is smaller: 5 or j?
j
Let w = -18 - -13. Are -3 and w unequal?
True
Suppose -5*b + 1 + 9 = 0. Let s be b/(-4)*(1 - -1). Which is smaller: -1/4 or s?
s
Suppose 2*o = -27 - 35. Let n = -166 - o. Let s = n - -943/7. Is -0.01 less than s?
False
Suppose 2 = -y + 4. Is y < 6/11?
False
Let r = 2 + 1. Suppose -3*y + 6 = -r. Which is greater: y or 2?
y
Suppose 2*y = -0*y - 120. Let b = -299/5 - y. Which is greater: b or 1?
1
Let w(h) be the first derivative of 1 + 3*h - 1/4*h**4 - 2*h**2 - 2*h**3. Let x be w(-5). Is 1/3 less than x?
False
Suppose 8 = -s + a, 3 - 15 = -3*a. Let b be (-2)/4 + (-6)/s. Let o be 21/(2184/16) - 3/39. Is o < b?
True
Let b = -0.3 + 3.3. Let q = 0 + b. Suppose 3*n = 2*n - 1. Which is smaller: q or n?
n
Let b = 7/52 - -8/13. Suppose 0 = -2*r - 2*a + 48, -3*r + 8*a = 4*a - 58. Suppose 20 = 4*u + u, 5*z + 3*u = r. Is z >= b?
True
Let f be (6/(-18))/((-1)/6). Let i be (-27)/30 + f - 2. Let q = i + 13/20. Is 1 bigger than q?
True
Suppose 26*p + 19 = 7*p. Is p at least -8?
True
Let o be ((-526)/(-8))/(209/(-76)). Let b = o + 24. Do b and -1 have the same value?
False
Suppose -34 = -2*k + 2*d, 0*d = -4*k + 5*d + 73. Let m be k/(-6) - (-5 + -2). Is 5 greater than or equal to m?
True
Let o(u) = -2*u - 7. Let d be o(-6). Which is greater: d or 1?
d
Let u be (60/(-45))/(2/(-3)). Which is smaller: 7/9 or u?
7/9
Let j be (-4 - -2) + 3 + -3. Let a = -6 - j. Is -4 smaller than a?
False
Suppose -5*m + 22 = -4*s, m - 3*s + 8*s + 13 = 0. Which is smaller: 3 or m?
m
Suppose 5*s + 8 = 23. Suppose -17 = -r + s*n - 7, -4*n = 16. Is r equal to -2?
True
Suppose 2*h - 15 + 13 = 0. Which is bigger: 2 or h?
2
Let b = -138 - -53. Which is smaller: b or -86?
-86
Let g(s) = -s - 4. Let w be g(14). Which is smaller: -20 or w?
-20
Let q(g) = 2*g**2 - 13*g + 25. Let l be q(6). Which is smaller: l or 16?
16
Let z = -0.4 - -0.3. Let q be (-88)/(-30) + 5 + -8. Is q equal to z?
False
Let c = -1.3 - -1.3. Let i = -1.69 + -0.01. Let m = 0.7 + i. Is c < m?
False
Let j = 3 + -3. Suppose 3 = 5*w + 8. Which is smaller: j or w?
w
Let p = -170 - -169.8. Which is smaller: 0 or p?
p
Let b be -14*-3*2/(-36). Is b at least as big as 2?
False
Suppose -2*h - 2*h = 4*r + 36, 4*h = 3*r + 20. Let d(f) = -f - 7. Let y be d(r). Let w be ((-2)/28)/(2/(-8)). Which is smaller: w or y?
w
Suppose 0 = -4*y + 22 - 2. Let c(z) = -5*z + 4. Let i be c(-3). Suppose -y*j + i = -1. Which is smaller: -2 or j?
-2
Let y = -2 + -6. Is y greater than -8?
False
Let a = -42.1 - -42. Is a less than -7?
False
Let h be (-44)/6*6/4. Do h and -12 have the same value?
False
Suppose -5*v + 5*s - 5 = 0, 3*s - 1 = v - 0*s. Let n = v + 9. Is 2 less than n?
True
Suppose 101 = 2*t - 3. Let b = t - 207/4. Let r = 0 - -1. Is r < b?
False
Let k(x) = 6*x - 12. Let t be k(3). Is t < 0?
False
Let r = -5/11 - -4/11. Which is smaller: r or 1?
r
Let u = 173 - 172.8. Are u and 0.5 non-equal?
True
Let m = -0.011 - 1.989. Is -22 <= m?
True
Suppose h - 1 = -3*x, 4*x - 13 = -4*h - 9. Which is bigger: x or -1/52?
x
Let b be (-38)/(-9) - 8/36. Suppose 0 = h - y + 3*y + 7, -5*h + b*y + 7 = 0. Does h = -1?
True
Let g(h) = 2*h - 16. Let z be g(10). Let q = -3 + 6. Suppose -3*t + 12 = q*m, -3*t - 3*m = -m - 12. Is z not equal to t?
False
Let v(l) = l + 18. Let m be v(-9). Suppose 0 = m*f - 4*f + 35. Is f at most as big as -6?
True
Let v be (2 + 0)*(-1 + 6). Is v <= 11?
True
Let m = -276/7 + 40. Which is greater: 2 or m?
2
Suppose -6*t = -3*t - 48. Suppose 4*x = -t, -4*c + 3*c + 2*x = -11. Which is greater: -0.1 or c?
c
Let r = 0.19 - 0.39. Which is smaller: 15 or r?
r
Let k(i) = -i - 4. Let x be k(6). Let g(z) = -z - 10. Let b be g(x). Which is bigger: b or -2?
b
Let p = -29 - -31. Which is greater: p or 15?
15
Let k = 11 - 8. Let w = 3 - k. Let h be (-132)/(-77) - (-4)/(-2). Which is smaller: h or w?
h
Let v be (6/18)/(3/36). Let a = -19/5 + v. Is -2/9 at most as big as a?
True
Let o be (1 + -1)*14/28. Suppose -5*n + 3*n = o. Which is smaller: n or -15?
-15
Let n(r) = -3*r - 6. Let l be n(-5). Let i = 5 - l. Let v be (i/(-6))/((-3)/(-9)). Is 2 greater than v?
False
Let c be 160/30 + (3 - 10). Let k(j) = j**2 + 4*j. Let g be k(-3). Which is smaller: c or g?
g
Let p(l) = -l**2 + 5*l - 7. Suppose -2*w - 7 = -3*i - 0*w, -i - 15 = -5*w. Let m be p(i). Let y = 5 - 11. Does y = m?
False
Let k(x) = -3*x**2 + 16*x - 16. Let c be k(6). Is 3 less than c?
False
Let a be (-20)/24*(3 - 2214/740). Is a > 0?
False
Let o = -438 + 1327/3. Is 3 less than o?
True
Suppose 5*l = 4*h - 23, 0 = 2*h + 2*h + 2*l - 2. Let s(u) = u**3 - 3*u**2 + 4*u - 2. Let n be s(h). Let p be (5/45)/(n/(-4)). Is -2 less than or equal to p?
True
Let d be 144/(-702)*(-6)/(-4). Which is bigger: d or 0?
0
Let m be 4 - 8 - (-2 - -1). Let v be (m + (-596)/(-204))/2. Which is smaller: 0 or v?
v
Let m be ((-1)/(-55)*-3)/((-69)/23). Is m bigger than 0?
True
Let c(f) = -3*f. Let o be c(-1). Are 4 and o nonequal?
True
Let y = 5 + -4.2. Let b = 0.9 - y. Which is greater: b or -5?
b
Let d be 2/(-20)*63/(-15). Let h = -304/7 + 7586/175. Let r = d - h. Is 1 at most as big as r?
False
Let r be (-5)/(-15) - 4/(-6). Let q = 8 - 5. Suppose 5 = 2*l + q. Do r and l have the same value?
True
Suppose 2*b = -4*t - 12, 2 = 2*b + 2*t - 5*t. Suppose 2*w - 6*w = 16. Which is greater: w or b?
b
Suppose -2*o + 16 = 2*o. Suppose -o*f - 2 = -2*f. Let m be -1 - ((-3)/(-5))/f. Is m less than or equal to -1?
False
Let g = -17 - -12. Let d = g - -5. Let f = d + 2. Which is smaller: 0 or f?
0
Let k = 1.7 + -4. Let m = -0.3 - k. Suppose -4*z - 2 = -3*z. Is m at most z?
False
Let o = -20.89 + 21. Let a = o + -0.21. Which is greater: a or -12?
a
Let m = 2.25 - -1.1. Let x = -0.55 - m. Let h = x + 4. Is -1/3 < h?
True
Let o be ((25/4)/5)/1. Let l be (-3 + 4)*-3*1. Let j = 5 + l. Is j at least as big as o?
True
Let q be -4 + 1 + 4576/1521. Which is greater: 1 or q?
1
Let g = 1919/12 - 601/4. Which is smaller: 10 or g?
g
Let c = -124 - -120.1. Which is bigger: c or 0?
0
Let q = -4.3 - -8.2. Let l = q + -4. Is l not equal to -0.03?
True
Let m = 59 - 53. Let h = 17 + -11. Is m less than h?
False
Suppose -30 = -2*a - 5*n - 77, -40 = 5*a - 3*n. Which is smaller: -6 or a?
a
Let o(m) = m**2 - 6*m - 6. Let f be o(6). Is -6 at least f?
True
Let j(h) = -h**2 + 3*h + 5. Let i(t) = 2*t**2 - 2*t - 6. Let w(f) = 2*i(f) + 3*j(f). Let u be w(-5). Is 4 equal to u?
False
Let d be (4 + -4)/((-2)/(-1)). Suppose d*n = 4*n - 8. Which is bigger: n or 3?
3
Suppose 5*w + 2*m = 0, 0 = w - 6*w - 3*m. Suppose w = -y - 0 - 5. Which is bigger: y or -6?
y
Let v = 4.87 - -0.13. Which is greater: 1 or v?
v
Let f be -1 + (4/7)/(6/42). Suppose 0 = -8*n + 3*n. Suppose -5*w + n*y + 8 = -y, -5*y - 15 = 0. Is f smaller than w?
False
Let f be (12/3 - 2)*1/(-7). Which is bigger: 0.1 or f?
0.1
Let q(c) = c**2 + 7*c + 8. Let x be q(-6). Let w be 1*(6/3)/x. Suppose 1 + 1 = 2*k. Is w at most k?
True
Let x be 10 + -5 + 4*