 - 2. Let p be h(-2). Let x = p - 3. Which is smaller: x or q?
q
Let i be 39/27 + -2 + 2 - 1. Is i smaller than 0?
False
Let l = -31 - -63. Are 0.1 and l non-equal?
True
Let r be (-6)/(-4) + 7/(-42). Suppose 3 = 4*o - o. Is o > r?
False
Let r = -54657/64 - -854. Let f = 73/576 + r. Which is smaller: f or 0?
0
Let y = 0.1 + -3.1. Suppose -2*w = -3*w. Is y equal to w?
False
Let c = -11 - -19. Let g = 19 - c. Which is greater: g or 10?
g
Suppose -2*v - 8 = -0*x + x, -x = 5*v + 23. Suppose 0 = -5*c + 3*b - 11, 1 = 5*c + b + x*b. Is 0 bigger than c?
True
Let m = 6049/310 + -2/155. Let j = -19 + m. Is 0.07 bigger than j?
False
Let m(g) = g**2 + 8*g - 16. Let u be m(-9). Does u = -10?
False
Let a(v) = v**2 + 3*v - 1. Let g be a(-4). Let q = 0.4 - 0.3. Let d = q + 0. Which is bigger: g or d?
g
Let k = -0.1 - -0.19. Which is bigger: -0.1 or k?
k
Let a = 28 - 28. Is -27 at most a?
True
Let y be (2 + 2/4)*-8. Which is greater: y or -19?
-19
Let q be (-2)/8*3*-4. Let s(z) = -z - 2. Let l be s(-6). Let v = 7 - l. Is v at least q?
True
Let r be 4/2*(-33)/(-6). Let v be (-34)/176 - 2/r. Is v >= 1?
False
Let u be 5*(1 + 0/(-3)). Suppose 0*o + 4*f + 23 = u*o, -o + 1 = f. Suppose -4*j = -o*j. Which is bigger: j or 1?
1
Let a(j) = -j + 1. Let u be a(1). Suppose u = -2*s - 3 + 13. Suppose -2*w - 8 = -4*z, s*w - 5 + 3 = -z. Is w less than or equal to -2/3?
False
Let s = 78.1 - 74. Let x = -4 + s. Is x >= -4?
True
Let z = -19 - -21. Let b be 10/(-24) - 2/6. Which is smaller: b or z?
b
Let k = 4.5 - 0.5. Let o = 2 - k. Let s(u) = -u + 4. Let x be s(4). Is o smaller than x?
True
Suppose -3 = -0*f + 3*f. Let r(d) = -2*d**3 + 2*d**2 + d - 2. Let u be r(2). Let n be (6/u)/(42/(-16)). Which is smaller: f or n?
f
Suppose m + 7 = -15. Let t be 8/44 + 70/m. Is t at most as big as -2?
True
Let o = -136 - -136. Which is smaller: 1/12 or o?
o
Let r = -4.08 - -4. Let m = r - -3.08. Does m = 0.1?
False
Let j be ((-2)/6)/(3/(-135)). Let i = -11 + j. Suppose i*v + v + 4*m = 1, -2*v = 2*m. Which is smaller: 2/3 or v?
2/3
Let w = 12/17 - -164/153. Is 1 less than or equal to w?
True
Let d = 2/1603 + -468/8015. Do d and -1 have the same value?
False
Suppose 2*n - 33 = -3*x, 3*n - 33 = -4*x + 15. Is n equal to 13?
False
Let m(f) = -f**2 + 4*f. Let u be m(2). Suppose n - 3*n = u. Which is smaller: n or 0?
n
Suppose 5*o - 1 = -4*a + 5*a, 5*o + 2 = -2*a. Which is smaller: 8 or a?
a
Let t(l) = -2 + 5 + 6 + l. Let o be t(-11). Is -2 smaller than o?
False
Let m be (-1)/(-3) - 8/6. Let b(q) = -q - 2. Let w be b(-2). Let a = w + m. Which is smaller: a or 2/13?
a
Let g be ((-3)/9)/(2/3). Is -1 equal to g?
False
Let u(d) = -d + 8. Suppose 2*q - 2 = -b - 0*q, -4*q = -2*b + 28. Let j be u(b). Let x be j - (4 - 2 - 2). Which is smaller: 2 or x?
x
Let k = 129 + -114.1. Let m = k - 15. Are -6 and m non-equal?
True
Suppose 3*u - u - 6 = 0. Suppose -n - 4 = 3*x - 0, -4*n - x = -6. Which is bigger: u or n?
u
Let v = 699/7 + -100. Are v and 0 unequal?
True
Suppose -3*o = 5*n - 94, n - o = 4*n - 58. Suppose -4*y = -3*t + y - 16, -n = -4*y. Is 3 smaller than t?
False
Let i = -2.2 + 4.2. Is i >= 11?
False
Let w = -17 + 18. Let y be -2*(1/(-4) + 0). Is y at least as big as w?
False
Let s = 11 - 7. Suppose s*p = 3*p. Which is smaller: p or 1/4?
p
Let b(c) be the third derivative of c**6/120 + c**5/30 - c**4/6 - c**3/6 + 3*c**2. Let s be b(-3). Is 1 at least as big as s?
False
Suppose -11 + 40 = 4*g - 3*i, 2*g - 3*i - 13 = 0. Is g <= 8?
True
Let w = 14 + -21. Is -7 > w?
False
Suppose 0*j + 9 = 3*j. Let g = 1 + j. Suppose 0 = -2*r + 3*t, -g*r - t = t. Which is smaller: r or 1?
r
Let p(r) = -2*r**2 + 2*r - 2. Let h be p(2). Let t be (2/h)/(10/15). Which is greater: t or 1?
1
Let g = 3 + -3. Suppose 4*y - 6 + 2 = 0. Which is greater: y or g?
y
Let y(t) = t - 18*t + 3*t - t**2 - 4. Let s be y(-14). Is s < -3?
True
Suppose -3*a = j + 7, 10*j = 5*j - 2*a + 4. Suppose -3*s - j = -5. Which is smaller: -1 or s?
-1
Let w = -7 - 11. Let f be 2 - ((-21)/w - -1). Which is greater: f or -1?
f
Suppose 0 = 5*t - 11*t - 42. Let y(w) = -w**2 - 9*w - 3. Let o be y(t). Which is greater: o or 10?
o
Let o = 0.35 - 0.15. Is o not equal to 3/4?
True
Suppose 2*l + 5 = 2*d + 3*l, -3 = -3*l. Suppose -5*s = -4*h + 6, h = -h - 2*s + 12. Suppose h*t - 9 = -3*x + 6, -5*t - 10 = -d*x. Which is greater: 1/8 or t?
1/8
Suppose 0 = 4*q - 5*q - 7*q. Which is greater: 3/26 or q?
3/26
Suppose 5 = -3*o + 4*v + 2, o + 3*v = 12. Which is smaller: o or 5?
o
Let l = 6 + -3. Let d(j) = -5*j**2 - 9*j + 2*j**l - j**3 - 3*j**2. Let b be d(9). Which is smaller: 1/3 or b?
b
Suppose 0 = -5*x + d - 35, 2*x - 2*d = -2*x - 28. Do x and -5 have the same value?
False
Let r(y) = -y**3 + 2*y**2 + y + 4. Let k be r(3). Suppose 6*b - 6 = 3*b. Let j be b + (-54)/15 + 1. Which is greater: j or k?
j
Let j(v) = -v - 1. Let z be j(-3). Suppose q - 5 = -z*g, 4*q - 12 = -4*g - 0. Which is smaller: 3 or g?
g
Let y = -5 - -15. Let s be (y/(-3))/((-6)/9). Suppose -5*x - s*z = 20, 5*z = 4*z - 5. Does x = 3/5?
False
Let g = -806/23 - -35. Which is bigger: g or -1?
g
Let l = 15/8 - 129/56. Does l = 1?
False
Let j be (2/18)/((-2)/(-6)). Let t be 6/(-8) - 105/(-28). Suppose -3*b = -0*b - t. Which is smaller: b or j?
j
Let o be ((-40)/50)/((-4)/10). Which is bigger: o or 5/8?
o
Suppose 5*s = -0*s - 100. Let c be -5 + (-5)/(s/16). Which is smaller: c or 2/11?
c
Let y = -1/18 + -7/36. Let n = 10 - 10. Suppose n = b - 5*b. Which is smaller: y or b?
y
Let b = -64 - -46. Which is smaller: b or -16?
b
Let p = -39 - -157/4. Are -2/5 and p nonequal?
True
Let w(r) = -r + 15. Let y be w(-6). Which is smaller: 22 or y?
y
Let p = 0.22 - 0.92. Let z = 0.5 + p. Is z smaller than 0.03?
True
Suppose -3*q + 3*p = -12, -3*q - p - 4 = 4. Let y be 8/(-5)*25/10. Which is smaller: y or q?
y
Let a be 8/(-40) + (-11)/(-5). Do 30/11 and a have the same value?
False
Let a be (-2)/(-4) - 10/20. Which is smaller: a or 2/47?
a
Let o = 62.1 + -69. Let n = -19 + 26. Let l = o + n. Which is bigger: l or 0?
l
Let w(g) = -g**3 - 4*g**2 + 10*g + 8. Let h be w(-6). Suppose 0 = 5*p - h, 3*p - 22 = -6*f + f. Suppose -x = f*x + 6. Which is bigger: 2/5 or x?
2/5
Let v be (3 + -2)*-1 + 5. Suppose -5*u - 2*q - 7 = 0, -5*u + q - v = 15. Is -4 >= u?
False
Let j(w) be the second derivative of w**5/20 - w**4/2 - w**3 - 4*w**2 + w. Let t be j(7). Let c be (-6)/27*t - 0. Which is greater: c or 1?
1
Let q(v) = -11*v - 27. Let y be q(2). Is y less than -49?
False
Let j = -33 - -32. Let i(k) = k**2 + 9*k - 1. Let t be i(-9). Is j less than or equal to t?
True
Suppose p = -2*p. Which is smaller: p or -1/36?
-1/36
Let n = 0.11 + -0.1. Is -0.1 equal to n?
False
Let y = -48.6 - -52. Is y at least as big as -2/7?
True
Suppose s + 15 = 20. Suppose 0 = g + s - 1. Which is smaller: 0 or g?
g
Let a be -74 + (5/5 - 1). Which is greater: a or -75?
a
Let m = 6/511 + -53679/2044. Let x = m + 26. Is 1 > x?
True
Suppose 3*d + 3*o = -0*d + 12, 3*o - 12 = d. Suppose -2*f - s + 7 = 0, -3*f + s = -4*f + 4. Suppose -5*v + f = -4*v. Is d >= v?
False
Let v = 26 + -27. Let a = 3.9 + -4. Is v > a?
False
Suppose y + 3*d - 16 = 6*d, 4*y - 19 = -3*d. Let a = y - 11. Let t be a/2 - 12/(-8). Is -1 <= t?
True
Suppose 5*u + 2*x - 48 = 0, -x + 5*x + 4 = 0. Suppose 2*p - c = 0, c = 3*p - 3*c + u. Do p and 6/11 have the same value?
False
Let p = 29 + -35. Which is bigger: p or -7?
p
Let r(m) = -7*m + 15. Let d(i) = -4*i + 8. Let q(k) = 5*d(k) - 3*r(k). Let x be q(8). Let s = x - 6. Is -2 less than or equal to s?
False
Suppose 5*o - 3*d + 44 = 0, 2*o - 4*d = 4 - 30. Let g = 11 + o. Which is bigger: 2 or g?
g
Let o = 33.06 + -32. Let r = 0.06 - o. Let t = r + 1. Do t and -6 have the same value?
False
Suppose -4*k = -y + 73, 2*y = -3*k - 18 - 34. Is k < -18?
False
Let i = 8.07 + -8. Let s = 0.17 - i. Which is bigger: -1 or s?
s
Let a = -4 - -1. Let o be (9/3 + a)/3. Suppose o*i - 20 = -5*i + 5*u, 0 = i + 2*u + 5. Which is smaller: i or 1/5?
1/5
Let g = -20 - -27. Let s = g + -9. Is s at most as big as -5/2?
False
Suppose -5*l - 295 = -5*v, v + 3*l - 93 = -v. Let i be (v/(-12))/((-6)/(-2)). Suppose 1 - 5 = 4*a. Is i smaller than a?
True
Let r = -32 + 32. Are 16/11 and r non-equal?
True
Let d(r) = 2*r. Let z be d(-3). Suppose -10 = 2*w - 5*i, 3*w - 6*w = -4*i + 29. Le