r - 12. Is k greater than or equal to x?
False
Let o = 22 + -10. Let y = 19 - o. Let h = -8 + y. Which is bigger: 6 or h?
6
Let p = 75.1 + -75. Which is greater: -0.04 or p?
p
Let f(h) be the second derivative of h**4/24 - h**3/3 - h**2 + h. Let i(j) be the first derivative of f(j). Let w be i(2). Is -1/8 less than or equal to w?
True
Suppose -7*t + 8 = -3*t. Suppose 2*w = t*o - 0*o + 4, -4*w + 16 = 0. Which is smaller: o or 3?
o
Let a = -0.17 + -43.83. Are -0.1 and a nonequal?
True
Suppose 0*i + 72 = 4*i. Suppose 2*n - 5*n = -i. Let u be 2/(-10) + n/(-15). Which is bigger: 0 or u?
0
Let f(k) = -k**2 + 6*k + 6. Let p be f(7). Let u be (-102)/24 - 1/(-4). Which is bigger: p or u?
p
Suppose -3*l + 37 = -2*q, -3*q + 0*q = -4*l + 48. Suppose -z + 4*z - l = 0. Is 5 at least as big as z?
True
Let o = 18 - 16. Suppose -4*j = -h + 2, -2*j + 2*h - 4 = o*j. Which is smaller: -1 or j?
-1
Let h = -2 + 4. Let g = h + 0. Suppose -2*t - 4 = -g. Do t and -2/11 have the same value?
False
Suppose -8*r + 4*r + 20 = 0. Suppose 0 = -4*a + 5*u - r, -5*a + a = -4*u. Suppose -2*v = -v + 5*d + 6, 2*d + a = -3*v. Is -4 > v?
False
Let m = 30 + -22. Is 0.1 <= m?
True
Suppose 2*o + 3*o + 25 = 0, -2*j + 2 = -2*o. Is j greater than 0?
False
Let v(x) = -4*x - 2. Let m be v(-1). Which is bigger: m or 3?
3
Let s = -6 - -22. Which is greater: s or 15?
s
Let q be (-1472)/(-5544) + 2/(-7). Which is greater: 0 or q?
0
Let b be (-1)/1 - (-4 - 1). Suppose -5*n + 13 = -2. Which is bigger: n or b?
b
Let t(v) = -v - 1 - v - 2. Let b be t(-3). Let j be (-1 - 1)*6/(-48). Which is bigger: b or j?
b
Suppose 6*m - 42 = 3*m. Let w be 10/m*12/(-15). Is w greater than 0?
False
Let f = -44236.01 - -44004. Let r = f - -231. Let y = r - -0.01. Is -4 > y?
False
Let a(p) = p**2 + 11*p - 28. Let w be a(3). Which is smaller: w or 2/7?
2/7
Let o = 3.6 + 1.4. Is -0.1 <= o?
True
Let f = -4 - 7. Let m be (-2)/(-11) + 2/f. Is 1 at least as big as m?
True
Let j be (-8)/(-4)*(-6)/(-2). Let f = j - -9. Let r be ((-10)/f)/(4/(-6)). Which is bigger: 4/3 or r?
4/3
Let v = 0.1 + -0.2. Let s = 0.238 + -0.008. Let a = -0.17 + s. Which is greater: a or v?
a
Suppose 3*g + 5 = 2*i + 2*g, 3 = 2*i + g. Which is bigger: 1 or i?
i
Suppose 6*l - 4*z - 20 = 3*l, 4*z + 20 = -5*l. Let g be (8/(-16))/(2/8). Is l greater than g?
True
Suppose 2*w = z - 6 + 3, 17 = 3*z + 2*w. Let j be 5 + (3/1 - z). Let h = 14 + -68/5. Is j at most h?
False
Let n = 7 + -5. Let u = -1.4 - -2.3. Is u smaller than n?
True
Let q be (2/(-3))/(-2)*9. Suppose -15 = -3*f - 0*f, -5*c - q*f = -25. Let b = -8 - -10. Is c smaller than b?
False
Suppose 0 = 2*z + 2*w - 4, 35 - 3 = -4*z + 4*w. Which is bigger: 0.01 or z?
0.01
Suppose -3*s - 2 = 4*n - 11, 3*s - 3*n + 12 = 0. Is -23 at most as big as s?
True
Let q be (-1)/4 - 1/28. Suppose -13 = n + 3*t - 3, 4*n - 2 = 2*t. Are n and q equal?
False
Let y = 0.2 + 0.2. Let v = y - -1.6. Which is greater: -2 or v?
v
Let q be 1 - 3/3 - 1. Suppose 0 = -7*j + 3*j - 48. Let k be q - ((-27)/j)/(-3). Which is greater: 1 or k?
1
Let n = 37/2 - 18. Which is smaller: 2 or n?
n
Let x = 1 - 1. Suppose -5 = c + 2. Let f be ((-1)/2)/(c - -6). Which is bigger: x or f?
f
Let h = 389 + -6609/17. Which is smaller: h or -1?
-1
Suppose -2*b = -3*b - 4. Suppose -4*c = 2*y - 2 + 8, -3*y = 3*c. Is c equal to b?
False
Let j(n) = n**2 + 6*n + 3. Let v be j(-5). Suppose 0 = -3*s - 2 - 10. Let r be (6 - 4)*6/s. Which is smaller: r or v?
r
Let i be 9/(-15) + (-8)/(-5). Is i at least -19?
True
Let h(w) = 3*w + 1. Let n be h(-1). Suppose -4*t + 47 + 65 = 0. Let p be (-8)/(-32) - 23/t. Is p >= n?
True
Let w = -3 - -5. Suppose -2*d - w*d = j + 32, 0 = 2*d + 4*j + 30. Let l be (-2)/(-20) + 7/(-14). Which is smaller: d or l?
d
Let j = -0.06 + 0.16. Which is greater: j or 1/4?
1/4
Suppose -4*g = -o - 7, 4*o + o + 5*g - 40 = 0. Suppose 2*l + 33 = -m - 4*m, -o*l + 5*m + 5 = 0. Let u be 27/6*l/(-6). Is u less than 3?
False
Let o be -69 - -1*(-6)/2. Is -73 less than or equal to o?
True
Let r = 0.88 - 0.8. Let c = -0.02 - r. Let n = 3 - 2.7. Which is smaller: n or c?
c
Let t = 64/3 - 22. Let l = 2 - 2. Let r = 2 - l. Is r < t?
False
Suppose 16 + 125 = -3*z. Let c = -330/7 - z. Is c at most 1?
True
Suppose 3*w - 5*x + 124 = -0*w, -4*w = -4*x + 152. Let r be w/130 - 10/(-65). Let c(v) = v**3 + 7*v**2 + 5*v - 5. Let k be c(-6). Which is smaller: r or k?
r
Suppose 7 = -4*s - 85. Let m = -23 - s. Is m > -2/15?
True
Let h = 1061161 - 20155430/19. Let k = 349 - h. Which is smaller: k or -1?
-1
Suppose -4 = -4*g - 4*a, -4*g + 5*a = -0*g + 5. Let l = 2051687/20 - 102605. Let u = -81/4 - l. Which is greater: u or g?
u
Let l = -0.05 - 0. Let h = l + -3.95. Let q = -4.2 - h. Are q and 0 equal?
False
Let m = 1.057 + 0.043. Which is smaller: 0 or m?
0
Let b = -3 - -3. Suppose b = -l + 2*k - 2, 3*l - 9 = k - 0*k. Suppose l*i - 2*i + 2 = 0. Which is greater: i or 2/7?
2/7
Let q(z) = z + 7. Let l be q(-4). Let f(m) = m - 5*m**3 + 0*m**3 + m**l + 0*m**3. Let g be f(-1). Which is greater: g or 2?
g
Suppose 0 = o + 3*o + 2444. Let g = o - -17721/29. Does -1 = g?
False
Let r = -0.05 + -0.25. Let b = r + 0. Let d = 0.2 + b. Is -4/5 equal to d?
False
Let c be -33 + (3 - -3)/3. Which is smaller: -30 or c?
c
Let d(s) = -5*s + 1 - 5*s - 2 + 8*s. Let j be d(-3). Suppose 0 = -0*b + 5*b + j. Is -3/8 less than b?
False
Let g = 7 - 10. Let m(x) = -x**3 - 4*x**2 - x + 4. Let h be m(g). Which is bigger: 1 or h?
1
Let v = -7 + 15. Suppose 0*r = 3*l - 2*r + v, -20 = -5*r. Which is smaller: -5/4 or l?
-5/4
Let z be 14/(-35) - (1 + (-351)/15). Is z <= 22?
True
Suppose o - 4 = 3*o. Let w = -8 + 10. Which is greater: o or w?
w
Let k be (60/(-63))/5*(-228)/8. Is 6 equal to k?
False
Let j be 2/((2 - -1) + -1). Is j at least 2/57?
True
Suppose 4*f = 3*f + 2. Suppose f*i = -2*i - 16. Which is smaller: -5 or i?
-5
Let o be (-12)/36 + (-94)/(-3). Which is smaller: o or 30?
30
Let h be (-35)/(-2)*(-20)/(-25). Suppose -5*n = f - 25, -h - 7 = -5*f + n. Are f and 2/5 equal?
False
Let z be 6/15*(-5)/(-8). Let p = 1 + -1.3. Let c = 0.5 + p. Which is smaller: z or c?
c
Let m be -4*3*25/(-60). Suppose 0 = 2*z - 4*u - 2, 4*z + 0*u = 5*u + 7. Suppose -23 = -4*d + m*o, 2 - 3 = 4*d + z*o. Is d <= 3?
True
Suppose 0 = 3*o - m + 2, 8*o = 10*o + 4*m + 6. Which is smaller: o or 0?
o
Let b = -31 + 277/9. Suppose -5*x = -3*x. Is b < x?
True
Let l be (-2 + 5/(-5))*-1. Let h(v) = 2*v - 7. Let g be h(6). Suppose g - 2 = j + c, -3*j - c = -7. Which is greater: l or j?
l
Suppose 2*i = 4*l - 6, 5*l + 4 = -3*i + 17. Suppose -l*v + 3 + 5 = 0. Is v bigger than -0.1?
True
Suppose -3*f - 9 = 4*n - 3, 4*f = 3*n - 8. Suppose -3*x + n*x = 3*d - 12, -x + d = 4. Let y be 19/(-12) + (-1)/(-3). Which is bigger: x or y?
x
Let k be -6 - (1 + (2 - 4)). Let y(x) = -x**2 - 4*x + 7. Let d be y(k). Let v be -10*(d - 108/55). Which is smaller: v or 1?
v
Suppose -4*u = -8*u - 8. Let g be 0 + (-1 - (1 + u)). Let s = 23 + -24. Which is smaller: s or g?
s
Let l(s) = 11*s**2 - 2*s - 1. Let m be l(2). Let g be 1/(6/m)*2. Which is greater: 12 or g?
g
Let b = -3 + 4. Suppose 6*h - 2*h - 16 = 0, -3*h = -4*m - 16. Which is smaller: b or m?
m
Let a = 4.2 + -3.2. Which is smaller: 0.2 or a?
0.2
Suppose 21*g - 3*g = 0. Do g and -5 have the same value?
False
Let o(f) = -7*f**3 - 3*f**2. Let j be o(-2). Let c be (-4)/22 + 63/j. Is c at most 2?
True
Let t = 0.9 - 1. Let x = 18.5 - 23. Let l = -0.5 - x. Is t != l?
True
Let r(j) = -2*j**2 - 3*j + 4. Let b be r(-3). Is 0 > b?
True
Let r be ((-6)/88)/((-1)/4). Which is smaller: r or -1?
-1
Suppose -2*j + 20 = 3*j. Let s be (-3)/(3*(-2)/j). Suppose -2*z + 4 = -2, s = -l + z. Is l at least 1/3?
True
Let k = 3.4 + 0.6. Let a = -3.4 + k. Let n = a - 0.5. Which is greater: 0.4 or n?
0.4
Suppose 4 = 2*m - 0. Let w be (-4 - -1) + m + 0. Which is bigger: w or -2?
w
Let o be (8/10)/((-4)/(-10)) - 3. Let m be -1 + (2 - (-27)/(-25)). Do o and m have the same value?
False
Suppose 3*f = 8 + 4. Let x = 4 - f. Is -4/3 bigger than x?
False
Let k(n) = 3*n + 1. Let j be k(-1). Let p be (1/(-1 - -3))/j. Which is smaller: -0.2 or p?
p
Suppose -12 = -5*u - 32. Which is bigger: -5 or u?
u
Let a = -3 - -2. Let n be (a + 0)*(2 + -1). Let z = 8 + -8. Which is greater: n or z?
z
Let m(l) = l - 7. Let b be m(6). Which is smaller: b o