-0.03 - 0.67. Let j = 0.3 - c. Which is smaller: j or 2/5?
2/5
Let r(p) = -p**3 + 15 + 15*p**2 - 3*p**2 + 2*p**3 + 2*p**2 + p. Let k be r(-14). Let u = -4 + 3. Is u != k?
True
Suppose -1 = -2*j - 5. Let z = -5 + 7. Let u = z - 3. Is j not equal to u?
True
Let b = 0.1 - 0.1. Let r = b + 0.1. Let j = 11 + -32/3. Which is greater: j or r?
j
Let o be 0/(-5) + -1 + 19. Let g = o + -10. Is 8 >= g?
True
Let c(x) = x + 7. Let w be c(-6). Let p(i) = -i**2 - 2*i + 5. Let q be p(-3). Is w smaller than q?
True
Let l be 25/(-15) - 8/(-3). Which is smaller: -0.6 or l?
-0.6
Let w = 2 - -3. Suppose -3 = 3*j + w*y, -4*j - 4 = -3*y + 6*y. Let k = -2/275 + -536/1925. Which is bigger: j or k?
k
Suppose 0 = -q + 3*q - 46. Suppose 5*m + f = -0*m - q, 17 = -5*m - 4*f. Are -5 and m equal?
True
Let i(v) = -1 + 2*v + 3 + v**2 + 2*v. Let j be i(-4). Let a be (1 + j)*-1 - 1. Which is greater: -3 or a?
-3
Let i = 4 + -4. Let c be 1/(-2*2/(-8)). Suppose -2*s - c = -0. Which is smaller: s or i?
s
Let v(k) = 2*k**2 - 27*k - 15. Let u be v(13). Is -28 < u?
False
Suppose 0 = 3*a - 9, -15 = r - 4*a - 0*a. Let s(q) = -q - 11. Let w be s(-7). Is w greater than r?
False
Suppose -2 - 23 = -5*p. Suppose -5*w + 3 = -2*f, -3*f - f = w - p. Which is greater: f or 0?
f
Let p(f) = -f**2 - 4*f + 5. Let v be p(-5). Is -1 bigger than v?
False
Let g be 43/46 + (29 - 30). Which is greater: g or 1?
1
Suppose 0 = 3*q + 2*a + 13, -12 - 1 = -q - 5*a. Which is bigger: -8 or q?
q
Let a be (2/3)/(5/15). Suppose -9 = -a*l - 1. Is 4 bigger than l?
False
Suppose -3 = -n - 7. Let j be (-6)/n + (-1 - 0). Let m = 4.1 + 0.9. Which is smaller: m or j?
j
Let s = 9 + -9.3. Which is smaller: s or 2/9?
s
Let y(m) = m**3 - 3*m**2 - 6*m - 7. Let v be y(5). Does v = 12?
False
Suppose 0 = 3*c + 3 - 9. Suppose 10 = 2*v + 5*q, -3*q + 10 = -3*v + c*q. Let t = 0.1 - 0. Which is smaller: v or t?
v
Let v be -1 + (14/10 - 0). Let u = -1.4 - -3.4. Let w = u + -2. Is w less than or equal to v?
True
Let c = 1937/19375 - 2/625. Is 0 at least c?
False
Let r(u) = 2*u**2 - u + 1. Let q be r(1). Suppose v = -q*v. Suppose -4*w - 2*o = o + 12, v = -4*w - 5*o - 20. Which is greater: w or -1?
w
Suppose -t - 85 = 50. Let y be t/(-693) - 2/7. Which is bigger: y or -1?
y
Let v be 23/2 + 8/16. Let h = v + -13. Is -3 equal to h?
False
Let b(t) = 4*t - 3*t - 1 - 3*t. Let x be b(1). Let l = -4 - x. Is l at least -1?
True
Let q be 1*(-1)/2*-6. Suppose 24 = -4*h + 4*f, -5*f + 0 = q*h - 22. Let g be 2/(-6) - 4/6. Is h at most g?
True
Let f be (12/21)/((-18)/(-7)). Let p = 3 - 1. Suppose -p*b - 3 + 1 = 0. Is b less than f?
True
Let t = -292/231 + 16/11. Let v = -29/42 + t. Is -2 greater than v?
False
Let y = -146 - -146.1. Does y = -2/71?
False
Let y(d) = -d**3 + 9*d**2 - 22*d + 10. Let q be y(5). Is -3/19 less than q?
True
Let i = -21 + 21.23. Let r = -0.03 + i. Which is greater: r or 1?
1
Let g = 0.076 - -0.024. Let t = 0.1 - 0.17. Which is bigger: t or g?
g
Let b(j) = -j**3 - j**2. Let q be b(0). Let p be 2/4*(-12)/60. Is q at least as big as p?
True
Let r be (6/(-4))/((-3)/(-20)). Let i(s) = -s**3 - 11*s**2 - 10*s. Let f be i(r). Is -1/9 at least f?
False
Let r = 0.6 - -3.4. Let d = 1 - r. Let x = 2 + d. Do x and -4 have the same value?
False
Suppose d - 21 + 1 = 0. Suppose 4*t = -4*v + 5*t + d, -4*t = 3*v - 15. Which is greater: 0 or v?
v
Let c be (-4 - -2) + (-86)/14. Let x = c - -755/91. Which is greater: 1 or x?
1
Let c = -19 - -14. Is c bigger than -2?
False
Let c = -5.5 - -6. Let d = c - 0.6. Let g = d + 0. Which is smaller: g or 0.1?
g
Let m be (-1 + 9 + 0)*1. Let g = -2 + m. Let h = g + -6. Does -1 = h?
False
Let f be (-3 - -1) + 1516/756. Which is smaller: 0 or f?
0
Let g = -1.6 + -0.1. Let d = g - -2. Let k = d + -0.5. Is 2 at most k?
False
Suppose -f + 7 = 4*j, 3*j - f = 8 - 1. Are j and 9/10 nonequal?
True
Let w = -0.08 + 3.08. Which is smaller: w or -4?
-4
Let t be (1/2)/(1/(-14)). Let s be (-2)/t + 4/(-14). Which is bigger: s or -5/8?
s
Let d = 26.1 + -26. Is d less than 1?
True
Let x = -671 + 43614/65. Which is greater: x or 1?
1
Let i(y) = -y**2 - 12*y - 9. Let v be i(-10). Let s be 1/(-5)*(-11)/v. Which is bigger: -3 or s?
s
Let i = 92 + -1006/11. Which is bigger: i or 2?
2
Suppose c + c = 0. Suppose q = -c*q. Let x = 4 + -4.3. Which is smaller: x or q?
x
Suppose -3*r + 4*r - 29 = 0. Suppose -r = -0*j - 3*j + m, 0 = -2*j + 3*m + 24. Do 1 and j have the same value?
False
Let q = -21 - -21. Suppose 3*d - r + 20 = q, d + 4*d + 5*r = 0. Let a = -3 - 2. Do d and a have the same value?
True
Let u = -2 - -5. Let f = -2 + u. Let y be (8/30)/((-2)/(-5)). Does y = f?
False
Suppose 2*t = 5*a - 4, a + 12 = 4*a + 2*t. Let s = 11 + -5. Suppose -a = -b - s. Which is bigger: b or -3?
-3
Suppose 0*r = 2*r - 2. Suppose 2*p + 2*p - 4 = 0. Let q be (p/(-2))/(20/16). Which is bigger: r or q?
r
Let b = 21 + -21. Let m be -1 + (6 - 2) - b. Is m >= -1/4?
True
Let z = 2 + -2.1. Let d(o) = -o**2 - 10*o + 5. Let j be d(-10). Is j at most as big as z?
False
Let f be 6/15 + 18/5. Suppose -v = 4*v, -f*v + 20 = -5*y. Which is smaller: -1/4 or y?
y
Let h be (-72)/44 - (-4 - -2). Is h < -0.1?
False
Let n be (-641)/(-844) - 12/16. Is n less than or equal to 1?
True
Suppose -6*a - 24 = -3*a. Let v = a + 3. Is v greater than 1?
False
Let r be (-20)/6*108/(-24). Is r greater than 16?
False
Let n = -92 + 92.2. Let b = -0.02 + 2.02. Is n bigger than b?
False
Let j be 3*(-4)/78*-11. Let l = j + -67/78. Is l at most 1?
True
Suppose -4*f - 283 = p, -3*f + 3*p - 206 = 5*p. Is -71 greater than f?
True
Let s(z) = -z**3 + 12*z**2 - 11*z + 33. Let j be s(11). Does j = 33?
True
Let t = -2889/644 - -111/28. Which is smaller: t or -1?
-1
Let i be (-41)/57 - 2/(-3). Is i less than or equal to 0?
True
Suppose 0 = -2*n + 5*l + 4, -2*l + 10 = 5*n - 3*l. Let t = n + 0. Which is greater: t or 1?
t
Let j(p) = 5*p - 4 - 8*p + 2. Let k be j(-5). Which is smaller: 12 or k?
12
Let n = 4 - 5.1. Let y = -1 - n. Which is bigger: y or -1?
y
Suppose 4*v + 2*n + 2*n = 0, 0 = -n. Let i = 2 - v. Suppose 2*r + i*r = 0. Are 0 and r unequal?
False
Let y be ((-9)/(-18))/(42/4). Which is bigger: 0 or y?
y
Let u(t) be the second derivative of -t**3/3 + t**2/2 - 2*t. Suppose 3*n = 3 - 0. Let d be u(n). Is d at least -2?
True
Let p = 3 - 2. Suppose -3 + 4 = b. Is p smaller than b?
False
Let a = 0 + 1. Let h(s) = s**3 - 1. Let d be h(a). Is d != 1?
True
Let s(o) = 6*o**3 + o**2 + 3*o - 14. Let d(l) = -5*l**3 - 2*l**2 - 2*l + 13. Let u(m) = -5*d(m) - 4*s(m). Let g be u(-6). Which is greater: 2 or g?
g
Let a = 13/2 - -34. Let f = 31 - a. Let v = f + 213/22. Which is smaller: 0.1 or v?
0.1
Let j = -0.2 + 0.3. Let l = j + -0.1. Let o = -0.148 + -0.852. Which is smaller: l or o?
o
Let w = -6 + 5.7. Let t = -0.1 - w. Let v be (-3)/(-54)*-2*2. Which is smaller: v or t?
v
Let o be 33/36 + (0 - -1). Let f = 23/12 - 1/4. Let c = o - f. Which is greater: c or 0.1?
c
Let z be 6/(-76)*(-2816)/1026. Let f be ((-4)/114)/((-38)/(-6)). Let w = z - f. Which is bigger: -1/2 or w?
w
Let m = 3 - -2. Let a = -3 - 0. Let n = 3 - a. Which is smaller: n or m?
m
Let x = 4115 - 12116/3. Let g = 75 - x. Is g >= -1?
False
Let b(x) = x**2 + 8*x - 5. Let k be b(-9). Which is greater: 5 or k?
5
Suppose t = -2*t. Let y = -2 + 2. Let r be (2 + (t - y))*1. Which is greater: 1 or r?
r
Suppose 5*n + 12*n = 0. Is -15/19 less than n?
True
Let i be 1*-3 + 70/15. Let h = 7/3 - i. Which is greater: 2 or h?
2
Let p be -2*1/(-7 - -1). Let c = 82 - 244/3. Are p and c nonequal?
True
Let g = 186/13 - 2098/143. Which is bigger: 1 or g?
1
Let h = -0.4 - 0.4. Let p = h - -1. Which is greater: p or 2?
2
Let u = 2/163 - -256/5705. Are 0 and u unequal?
True
Suppose 0 = 5*i - 2*i - 45. Which is smaller: 13 or i?
13
Suppose -4*x = -d, -5*x + 2*d + 4 = 1. Let y(z) = 2*z**2 - z. Let p be y(1). Let t be p + -2 - 1/2. Is t <= x?
True
Let h be (6/4)/((-1)/(-2)). Suppose 5 = 4*f - h*f. Suppose -f*p + 3*k - 12 = 0, 3*p = p - 4*k + 16. Is -0.2 less than or equal to p?
True
Let l be (-1)/(-4) - (-14)/8. Suppose d + 2 = -3*y - 6, -3*d = -4*y - l. Let q be (0 - -2)/d*3. Which is smaller: q or -2?
q
Let n(s) = -5*s**3 + 2*s**2 + 2*s + 1. Let a be n(-1). Let l(p) = p - 2. Suppose -13 - 11 = -3*f. Let u be l(f). Is a greater than u?
False
Let g be -19*((-30)/(-14