e q(3). Is w at least as big as r?
True
Suppose 12 = 4*x + 4*f, 6*x - 4*f = 3*x - 5. Suppose 0 = -3*b + b. Let c = b - x. Is c smaller than 2?
True
Suppose 0 = -7*q + 4*q + 3. Suppose 0 = 2*h - 7 + q. Is 9/5 smaller than h?
True
Let y(r) = r**3 + 11*r**2 + r + 11. Let d be y(-11). Let k = -109 - -1087/10. Which is smaller: d or k?
k
Let i(f) = -2*f**3 - 2*f**2 + 1. Let h = 7 + -4. Let m = -4 + h. Let p be i(m). Which is smaller: -2/9 or p?
-2/9
Let r = 2 - -1. Let k = -2.9 + r. Is k at most -0.2?
False
Suppose 0 = -2*n - 0 - 2, -3*a - 4*n = -119. Which is smaller: a or 40?
40
Let r = 20/3 + -97/15. Suppose 5*h - u - 24 = 0, -2*h + 14 = h - u. Suppose 3*j + p - 3*p = -11, -23 = 3*j - h*p. Which is smaller: r or j?
j
Let f(u) = u - 4. Suppose 2*g = -3*k - 7, g - 2*g + 3*k + 19 = 0. Let d be f(g). Suppose 2*a - 2 = -d*a. Is 0 equal to a?
False
Let y be (-26)/(-6) + 2/(-6). Suppose 16 - y = 4*k. Suppose k*p + 1 = -2. Which is smaller: p or -2/13?
p
Let p be 0/(-2 + 4) + 1. Which is greater: p or -2?
p
Let r = 0.2 - -7.8. Let s = -8 + r. Is s equal to -2/3?
False
Let c = 91/124 + -15/31. Which is greater: c or 2?
2
Let k be ((-24)/(-10))/(1/(-5)). Are -10 and k equal?
False
Let y(x) = 2*x - 3. Let p be y(2). Let l be (-8)/4 + (-16)/(-7). Is p < l?
False
Let s = -2/4791 + -1566647/23955. Let g = s - -65. Which is smaller: -1/4 or g?
g
Let a = 1.2 - 1.9. Let x = a + 0.8. Which is greater: -0.1 or x?
x
Let v be (-8)/2 - (-210)/55. Which is smaller: v or 0?
v
Let u = 92 - 365/4. Let j be -8*1 + 12/3. Let y be -2*((-8)/j)/(-2). Which is greater: y or u?
y
Let z = 29 - 31. Is z bigger than -3/4?
False
Let s(p) = p**3 + 12*p**2 - 1. Let u be s(-12). Let d = -146 - -2776/19. Is d less than u?
False
Suppose 0 = 7*q + 37 - 247. Which is greater: 31 or q?
31
Let p(y) = -y**2 + 16*y. Let c be p(15). Which is smaller: c or 17?
c
Let h = 91 + -37. Suppose d + 2*d = -h. Let q be (-1)/(-2) - (-9)/d. Is q less than 0?
False
Suppose -2*x + 25 = 3*x. Which is bigger: x or 6?
6
Let k = -7 + 7. Let i be 3 + (0 + k)/(-3). Which is greater: 2 or i?
i
Let j = -2.9 - -19.9. Let m = 16 - j. Is m not equal to -4?
True
Suppose -5*c + 258 = -42. Suppose -4*n - 46 = 4*o - o, 4*o + 4*n = -c. Which is smaller: -15 or o?
-15
Let o be 55/40 - (1 + 1). Which is bigger: -2 or o?
o
Suppose -5 = -2*u + b, 4*u + 5*b = 4*b - 5. Let x = -101105 - -907645/9. Let z = -256 - x. Is u at most z?
False
Let o = 84366041/6338766 + -2/150923. Let y = 73/6 - o. Suppose -13 = -11*d - 13. Which is greater: d or y?
d
Let w be (0/2)/((-9)/(-3)). Suppose 4*i + 3*x - 9 = w, 4*x + 0 + 4 = 0. Do 5/3 and i have different values?
True
Let t(c) = -3*c**2. Let m be t(1). Let k = 9 + m. Let w be ((-4)/k)/(1 + -2). Which is greater: 1 or w?
1
Suppose -9 = -5*k + 41. Let b = k + -7. Does b = 1?
False
Let n = 0.19 + 0.81. Do -2/3 and n have the same value?
False
Let q(f) = -f**3 + 3*f**2 + 2*f - 2. Let v be q(3). Let l be (5/2)/((-2)/v). Is l != -3?
True
Let v = -22 + 18. Which is smaller: v or -3/5?
v
Let b = -2 + 3. Let a = -0.92 + 0.6. Let w = a - 2.68. Which is smaller: b or w?
w
Suppose 5*p + 2*n = -36, 4*p - n + 7 = -14. Is -4 > p?
True
Let n = 13 - 7. Which is greater: -2/5 or n?
n
Let u = -2966/7 - -423. Let x = -0.7 - -0.8. Which is smaller: x or u?
u
Suppose 3*r + 2*r = 0. Let g(n) = -3*n**2 + 2*n. Let j be g(-5). Let x = 253/3 + j. Is r less than or equal to x?
False
Let i(t) = -t - 8. Let h(z) = -z - 8. Let p(m) = -5*h(m) + 4*i(m). Let g be p(-7). Let q = g - 1. Is q <= 1?
True
Suppose -1 = 2*s + 5. Let y(m) = m + 1. Let o be y(s). Let p be o/(-1)*6/32. Is p at least as big as 0?
True
Let b = -0.016 - -51.016. Does b = -0.1?
False
Let l(b) = b**2 - b + 1. Let x be l(2). Is 8/5 > x?
False
Suppose 3*w + 2 + 1 = 0. Let f = -1342/7 - -191. Which is smaller: f or w?
w
Suppose -4*t - t = -4*a - 7, 4*a - 5 = t. Suppose 5*x - a*x + 6 = 0. Let k be 1/x*(3 + -1). Are -3/7 and k equal?
False
Let i = 22 - 26. Which is smaller: -1 or i?
i
Suppose 1 = 3*x + 4*k - 0, 0 = 5*x + 4*k + 1. Let b be x*((-2 - -2) + 0). Which is bigger: -8/7 or b?
b
Let u = -2.04 + 0.04. Let d = 5 - 7. Let x = d - -4. Is u != x?
True
Let c = -13.5 + 13. Is 0 greater than or equal to c?
True
Suppose 0 = 2*w - 0*y - 3*y - 15, 2*w - 5*y = 9. Let i be 2/3 + (-26)/w. Which is smaller: -2 or i?
-2
Let p(w) = -w**3 - 6*w**2 - 6*w + 2. Let b be p(-4). Do b and -7 have different values?
True
Let f = -18 - -12. Is 2/3 greater than or equal to f?
True
Let r = -16 - -23. Let q = 3 - r. Let c = -2 - q. Is 1 at least as big as c?
False
Let p = 90 + -88. Which is greater: p or 36?
36
Suppose 0 = -20*h + 17*h + 3. Are h and 1 unequal?
False
Suppose -4*l = -1 - 3. Suppose -4*t + 3*n = -t - 9, n = -l. Let w be ((-4)/(-10))/(t + -4). Is w > 1?
False
Let f = 43/14 - -5/2. Which is bigger: f or 5?
f
Let n(v) = -v**3 - 11*v**2 - 10*v + 2. Let b be n(-10). Let p be 3/(-18) - b/42. Is 0 not equal to p?
True
Let l be (-14)/(-56) + (-2)/8. Which is bigger: 1/6 or l?
1/6
Let b = 1539/11 - 139. Which is greater: b or 0?
b
Suppose f = -2*f + 15. Suppose 2*x = -f*c - 6, x - 5 = -3. Let p(w) = w - 9. Let g be p(7). Is c equal to g?
True
Let r = 0.01 + -1.01. Let t = 0.04 - 0.14. Is t >= r?
True
Let j(w) = -5*w + 1. Let h be j(2). Let z be (2 - 0)/(2/h). Let l be -2*(1 + z/6). Which is smaller: l or 0?
0
Let i = -47/28 + -1/14. Let m(j) = j**2 - j - 1. Let a be m(0). Is i less than or equal to a?
True
Let w be 12 - 10 - (-140)/(-69). Is -1 equal to w?
False
Suppose x = -o + 3*x + 138, 5*o + 3*x - 703 = 0. Suppose o - 35 = 5*b. Let f = b - 103/5. Is -1 equal to f?
False
Let t = 10 + -9. Let v = -399 + 9179/23. Is v > t?
False
Let a be (-18)/(-10) + -2 - (-948)/(-60). Which is greater: a or -14?
-14
Let z = 9 + -5. Let w be ((-3)/z)/(2/(-40)). Let m be 6/w - 16/(-10). Is m not equal to 2?
False
Let f(x) = -x**2 - 9*x - 6. Let l(u) = -4*u**2 - 37*u - 25. Let t(a) = -9*f(a) + 2*l(a). Let i be t(-6). Which is greater: -6/5 or i?
-6/5
Suppose 2*u = 3*y + 7, y + 8*u = 3*u + 26. Which is smaller: 1/12 or y?
1/12
Let y(r) = -r**2 + 9*r + 13. Let b be y(10). Let d = 2 - b. Is -2 bigger than d?
False
Let s be (-12)/(-9)*(-6)/(-23). Which is smaller: 0 or s?
0
Suppose 3*k + m = k + 4, -5 = 3*k - 4*m. Is k not equal to 1?
False
Let c be 2/3 - (-40)/(-42). Let u = 6 + -7. Which is bigger: u or c?
c
Let s be (-1)/((-6)/(-4) + -2). Suppose 5*k = 4*n + 7, 0*k - s*n = k - 7. Suppose -k*l = -x + 4, 0*x = 2*l - x + 2. Which is smaller: l or -2/3?
l
Let q be ((-12)/20)/(3/8). Which is smaller: q or -1?
q
Suppose 0 = -2*o + 4*o. Which is bigger: o or 1?
1
Let v be 13/(-6)*-2 + 0. Do 3 and v have different values?
True
Let w(z) = -3*z + 2. Let j be w(4). Suppose 4*q - 6 = v + 6, 5*q = 0. Let k be 4/v + j/6. Which is greater: k or -1?
-1
Let w(i) = -i**2 + 2*i - 1. Let a be w(1). Which is greater: 1/132 or a?
1/132
Let x be (1*-2)/(2/(-3)). Let d = x - 4. Let o be (2/(-18))/((-3)/(-9)). Which is greater: o or d?
o
Let i be -14 + 11 - 5*-2. Suppose -u = 2*c - 9 - 6, -3*c = u - 21. Which is greater: c or i?
i
Suppose -4*x + x = 0. Let g be 2/(-4)*(0 - x). Is g greater than -2/13?
True
Let i be (5/20)/((-1)/(-4)). Suppose i = -2*o + o + 2*x, 0 = 5*o - 5*x. Which is greater: -1/7 or o?
o
Let z be 765/(-75) + 2/10. Which is greater: z or -6?
-6
Suppose -j = 2*j - 15. Suppose -29 = -j*w - 9. Let g be (2/4)/(3/24). Is w less than g?
False
Let i be -4*(2/(-52))/1. Is i < 1?
True
Let o = 0 - 1. Let r = 0.4 - 0.2. Let x = 0.1 - r. Which is smaller: x or o?
o
Let j(z) = z + 5. Let r be j(0). Suppose f + 4*v = r*f + 48, 4*v - 39 = 3*f. Let y be 0/f + 2 + -1. Is y >= 2/7?
True
Let d be (0*4/16)/1. Is 1/30 at most as big as d?
False
Suppose 2*s - 2 = -4*v + 16, -3*v = 5*s - 31. Let r = s + -10. Which is smaller: -1 or r?
r
Let f be -1*(-2 - -4) + 1. Which is smaller: f or 1/34?
f
Let j = -22 + 22. Suppose 3*g + 4*f + 20 = -j*f, -f = g + 5. Which is greater: -0.09 or g?
g
Let c be -3*(2/6 + -1). Suppose -g = -c*g + 1. Which is bigger: 0 or g?
g
Let k = -2.2 + 2. Let d = -1.2 - k. Is 0.1 at most d?
False
Let i = -55 + 54.9. Which is bigger: i or -37?
i
Let o(b) = 13*b**2 - 1. Let k be o(1). Is k bigger than 12?
False
Let r = -0.2 + 0.5. Are r and 2 non-equal?
True
Let s = 22835 + -135803/6. Suppose -4*c + 