j. Let m be (0 + z)/(0 - 3). Does 0 = m?
True
Let j = -11441/11 - -1041. Which is smaller: 1 or j?
j
Suppose 0 = -a + 1 + 1. Let k be (-108)/(-345) + a/(-5). Which is smaller: k or 1?
k
Let t = 3 - 8. Let b = 5.1 + t. Let f = -2 + 4. Which is smaller: b or f?
b
Let a(f) = -f**2 - 6*f + 6. Let p be a(-6). Let r be -1*p/3 - -4. Is r less than or equal to 2?
True
Let m(l) = -l - 1. Let c be (-2)/(-10) + 42/(-10). Let j be m(c). Let g be (j + -2)/(1/3). Is 3 bigger than g?
False
Suppose -p = 2*o - 7, 5*p - 9 = 5*o - 34. Let v = -80 + 85. Are v and o unequal?
True
Suppose 15 = -5*q - 5*j, q = 4*q - 4*j - 12. Let v be q - -1 - (-3 + 5). Let i be (1 - v) + -1 + -2. Is i greater than -3?
True
Let g be ((-4)/(-12))/(2/36). Is g bigger than 0.2?
True
Let u be (9/(-4))/(3/(-8)). Let l(w) = -w**3 + 12*w**2 - 13*w + 27. Let q be l(11). Is q less than u?
True
Suppose -3*b = h - 3 + 4, -5*h - 2*b + 60 = 0. Is 17 at most h?
False
Suppose 4*f = -f + 20. Suppose -4*w = -f*x - 12 - 12, 3*x = -w + 6. Suppose 4*o + 18 = w. Is o less than or equal to -2?
True
Let f be (-6)/(-150)*5 - 22/10. Which is bigger: f or 3?
3
Let q(d) be the third derivative of d**5/60 + 11*d**4/24 + 5*d**3/6 - 2*d**2. Let u be q(-9). Let h = 9 + u. Which is bigger: h or -2?
-2
Let j = -419/3 - -10477/75. Is 0 >= j?
False
Let s(l) = -9*l + 1. Let m be s(2). Let w = m - -10. Let y be w/42 - (-14)/12. Which is bigger: 1/11 or y?
y
Let c(o) = 5*o**3 - 2 + 0 + o**2 + 0 + 14*o. Let j(t) = t**3 - t**2 + t - 1. Let l(b) = c(b) - 6*j(b). Let z be l(8). Is z bigger than 2?
True
Let z be (-11)/(-33) - 10/(-6). Is z less than or equal to 15/7?
True
Let u = -3.2 - -0.7. Let c = 0.5 + u. Do c and 0.2 have the same value?
False
Let r(g) = -3*g - 3. Let t be r(-3). Let v be 2/(2 - 16/t). Suppose -3*a = -3*u, -a - 2*a = 4*u + 28. Are u and v equal?
False
Let k(g) = g**3 - 5*g**2 + 3. Let w be k(5). Let q be (w/(-9) - -1)*1. Which is greater: 2 or q?
2
Let p be (-2)/(4 + (-52)/12). Is 6 smaller than p?
False
Let r be 861/10 + 1 + 1. Let m = r + -88. Is 1 <= m?
False
Suppose 6*l = 3*l + 12. Suppose 2*z = 4*n + l - 0, z + 4*n - 20 = 0. Suppose 0 - z = -4*o. Which is smaller: o or 1?
1
Let r = -1.07 - -1.57. Which is smaller: -5 or r?
-5
Let f = -111 - -115. Suppose -5*q - 4*j + 5 = -10, 3 = 2*q + j. Is q < f?
True
Let k(w) be the first derivative of w**2/2 + 6*w + 2. Let i be k(-8). Which is smaller: -5/2 or i?
-5/2
Let k(n) = 2*n**3 + 19*n**2 - n + 4. Let u be k(-9). Is 95 smaller than u?
False
Let g = 2638/5661 + 106/333. Let k = g - 2/17. Is k at most -2/7?
False
Let h = -3 - -2.99. Let y = 1.99 - h. Are -2/7 and y equal?
False
Let k be 26/6 + 1/(-3). Suppose 4 = f - k*c, -f + 4*c - 12 = -4*f. Suppose 2*d - 2 = -l, l = -2*l - d - f. Do l and -1/2 have the same value?
False
Suppose b = -2*b - 6. Is -1/2 smaller than b?
False
Let f be 2/(-1*2/(-1)). Do -3/32 and f have different values?
True
Let z(j) = -2*j + 19. Let q be z(10). Let y be (-1 + q - -6) + 20. Is 25 bigger than y?
True
Let r = 0.15 + -0.05. Let c = -2 - -4. Which is bigger: c or r?
c
Let g be ((-6)/(-9))/((-2)/(-6)). Let h be -2 - -4*(-3)/g. Which is greater: h or -9?
h
Let s = 1 + -5. Let r = -4 - s. Let v = -1.8 + 2. Which is bigger: r or v?
v
Let r = 26 - 79/3. Is r bigger than -4?
True
Suppose -5*f = 6*k - 2*k + 21, -2*k - 13 = 3*f. Let c = f - -2. Let j(o) = o**3 + 6*o**2 + 7*o + 6. Let r be j(-5). Is r <= c?
True
Let r = -6.4 - -6. Let o = 0.1 + 0.1. Which is greater: o or r?
o
Let o = -1259 - -91905/73. Which is smaller: o or 1?
o
Let q = 3.4 + -16.4. Let k = -14 - q. Does -1/2 = k?
False
Let o = -1/103 - 91/1236. Is o smaller than 0?
True
Let n = -25175307857/2720 + 9255628. Let o = 1/160 + n. Are o and 1 nonequal?
True
Let q(p) = p**3 + p**2 - p + 5. Let h be q(0). Let j(v) = -v + 4. Let b be j(h). Let y = 67/6 - 23/2. Is b > y?
False
Let x(y) = y**3 - 4*y**2 - y + 2. Suppose -k = -3 - 1. Let w be x(k). Which is greater: w or -3?
w
Let x(q) = q - 14. Let w be x(6). Let m(s) = 2*s + 19. Let b be m(w). Let y = -1 - -3. Is y < b?
True
Let c = 0 - 4. Which is smaller: 2/3 or c?
c
Let c be (-1)/((-26)/90) - 3. Is c < 0?
False
Let h = 4 + -19/5. Is h less than 1?
True
Suppose 25*f = 27*f - 2. Which is greater: f or 2?
2
Let c(x) = x - 6. Let v be c(2). Which is greater: -27/5 or v?
v
Let t = -3 + 2. Let m(z) = 2*z**3 + z**2 + z. Let b be m(t). Is -1 greater than b?
True
Let m = 54 - 53.9. Which is greater: m or -0.007?
m
Let l(i) be the first derivative of 2*i**3 - i - 4. Let o be l(1). Let p(n) = 6*n. Let w be p(1). Do o and w have the same value?
False
Let r(g) = -g + 5. Let b = -3 - -7. Let q be r(b). Let v = q + -1. Which is bigger: 2 or v?
2
Let r = 19452277/168 - 115788. Let o = -5/24 - r. Which is smaller: 0 or o?
0
Suppose -2*z + 38 = -2*t, -5*t - 89 = -5*z - 2*t. Suppose -2*c = -6*c + z. Suppose -c*g + g = 18. Does -6 = g?
True
Suppose 0*p = 3*p - 30. Suppose p = -2*x - 2*d, 4*x - 2*d = 5*x + 9. Let g be x - (2 - 2)/2. Which is smaller: g or 2/17?
g
Let i(x) = 2*x + 2. Let c be i(-2). Let w be c/4*(0 - 0). Let s be -1 + (0 + -2 - -3). Is s < w?
False
Let f = 16.7 - 2.7. Let n = 22 - f. Is -1 greater than n?
False
Let u = 0 - -2. Let b = 3 - 1. Let x = b - u. Which is smaller: x or -1?
-1
Let u be (7 - 4) + 17/(-5). Let a = -2 - -2. Which is greater: a or u?
a
Let k be (16/5 - 3)/(-1). Let g(a) = a**2 - 9*a + 7. Let p be g(8). Which is bigger: k or p?
k
Suppose -3*a + 2*a - 7 = -2*n, 5*n - 2*a - 15 = 0. Which is bigger: -4/15 or n?
n
Suppose -33 = -x - 34. Are x and 1/30 equal?
False
Let i = -702032 + 594620997/847. Let a = i - 2/121. Which is smaller: -1 or a?
-1
Let n = -2/207 + 476/6417. Let j = 24 + -25. Is n != j?
True
Let b(s) = s**2 + 7*s - 9. Let k be b(-8). Suppose -2 = -2*v + 2. Suppose 3*t + 5 = v. Is k at least t?
True
Suppose -y = 4*i + 10, 10 - 94 = 4*y + 5*i. Let s = 40 + y. Is 14 smaller than s?
False
Let y(m) = -m**2 + 2*m + 2. Let v be y(3). Let o be 0/2 - 1/v. Suppose -5*p - o = -6. Which is smaller: p or 3/5?
3/5
Let w = 0.393 + 0.007. Is w at least 0.09?
True
Let v = -10.805 - -10.8. Is 0 bigger than v?
True
Let a = 5 - 5. Suppose -4*v = -6*v. Suppose 3*k = q - v + 4, -3*k = -2*q - 2. Is k <= a?
False
Suppose -17 = 2*h + 1. Let g be ((-4)/(-6))/((-6)/h). Suppose -2*o + 3*i - 2 = 0, o + 2 = -5*i + 1. Is g <= o?
False
Let v = 1.8 - -0.2. Let g = v - 3. Let h = 0.3 + 0.7. Which is greater: h or g?
h
Let d be ((-8)/(-42))/(2/3). Let q = -10 + 10. Which is smaller: q or d?
q
Suppose -d - 2 = -1. Let a be 0/(-2)*d/3. Let p be (a*(-3)/(-9))/(-2). Is 4/3 bigger than p?
True
Suppose 10 = 5*z + 5. Let h be (2/10)/((-6)/(-4)). Which is smaller: h or z?
h
Suppose 3 = 5*p - 7. Suppose 0 = -0*m + p*m. Which is smaller: 6/7 or m?
m
Let c(x) = -340*x**2 + 1. Let s be c(-1). Let y = s - -784. Let b = -7563/17 + y. Which is smaller: 0 or b?
0
Let i(q) = q + 12. Let p be i(-10). Which is smaller: p or 4?
p
Suppose -5*w = -a - 15, 0 = -w + 5*w - 3*a - 12. Are 12/7 and w nonequal?
True
Let u = 8 + -4. Let w = u - 11. Let l = w - -6.7. Which is bigger: -0.1 or l?
-0.1
Suppose 3*g = 2*w + 2*g + 6, -3*w + 4*g - 19 = 0. Let p = 1 + w. Is p smaller than 0?
False
Suppose -2*c + 13 + 15 = 4*i, -3*i + c + 21 = 0. Is i < 0?
False
Let t(v) = -v**3 - 5*v**2 + 4*v - 8. Let a be t(-6). Suppose 0 = a*k - n + 27, n - 4 = -1. Let p be (-2)/k*(-4 + 1). Is p at most as big as -2?
False
Let p(v) = -v**2 - 4*v + 4. Let r be p(-5). Let d be r*(2 + -1 - -1). Let b be d*1 - (7 - 8). Is -1 smaller than b?
False
Suppose -4*d = 1 - 13. Suppose d*w - w = 0. Which is greater: w or 2?
2
Let p(c) = -7*c - 9*c**2 - 3*c**3 - 5 + 4*c + 2*c**3. Let x be p(-9). Let o = 87/4 - x. Is o less than or equal to -0.1?
True
Let f(m) = -14*m**3 - 14*m**2 + 9*m - 17. Let j(q) = 5*q**3 + 5*q**2 - 3*q + 6. Let y(b) = 4*f(b) + 11*j(b). Let t be y(2). Is -7 bigger than t?
True
Suppose 2*h = 11*z - 7*z - 70, 2*z = 4*h + 38. Is z >= 18?
False
Let f be (-62)/6 - (-6)/(-9). Let j(h) = h + 9. Let a be j(f). Do -3 and a have the same value?
False
Let n = 111 + -76. Suppose -n = -4*x - x. Suppose 3*k = x*k - 4. Is 2 at least as big as k?
True
Let v(l) = 3*l**3 - l. Let m be v(1). Suppose 12 = 4*a, -m*g + 5 = -2*a + a. Let u(z) = z + 1. Let k be u(g). Is k greater than or equal to 0?
