rue
Suppose 6*o - 4*o - 42 = 0. Let a be (-4)/102*o/7. Do a and 1 have the same value?
False
Let n = 177/10 - 31/5. Is n not equal to 13?
True
Let s be ((-32)/(-80))/((-6)/10). Let d be ((-4)/6)/((-1)/(-3)). Let p = d + 0. Are s and p equal?
False
Let f(b) = 3*b**2 - 1. Let i be f(-1). Let p = 359 + -354. Which is bigger: p or i?
p
Suppose -3*y - 2*n = -3*n + 20, 32 = -4*y - 4*n. Do -7 and y have different values?
False
Let i = 79 + -247. Let k be (8/i)/((-2)/(-6)). Which is greater: 1 or k?
1
Let z(r) = r. Suppose -a + 2 = a. Let q be z(a). Which is greater: q or 0?
q
Let b = -0.16 + 1.46. Let v = b - 0.3. Let t = -3 - -2.8. Which is smaller: t or v?
t
Let o(f) = -10*f + 11. Let j be o(2). Is j >= -11?
True
Let l = 144 - 140. Which is smaller: l or 36/13?
36/13
Suppose -2 = -2*y + y + a, -4*y - a = 12. Are y and 10 equal?
False
Let f(c) = c**2 + 2*c + 1. Let g be f(-1). Suppose 0 = j - g*j. Let k = 59/426 + 2/71. Is k at most as big as j?
False
Suppose -74 + 12 = 2*s. Let q = 94/3 + s. Which is bigger: q or 0?
q
Let d = 82/39 + -36/13. Suppose 2*m - 3*m = 3. Which is smaller: m or d?
m
Let q = 24/13 - 57/52. Let u = -46 - -49. Is q bigger than u?
False
Let f be (-9)/(-78)*(-4)/3. Which is greater: 0 or f?
0
Suppose -5*c + 15 = 7*v - 2*v, -5*c = -3*v + 9. Is c greater than or equal to -2/5?
True
Suppose f + f + 5*i = 49, i = -4*f + 53. Suppose 0 = n + 5*q + f, n + 2*q = -4 + 1. Suppose -w + n*w = 0. Which is smaller: w or 2/7?
w
Let v = -4 + 3. Let x be (-4)/14 - 36/21. Let k be v*-1*(-3 - x). Which is bigger: 2/13 or k?
2/13
Suppose 2*d - 2 = -0*d. Let s = 0.009 - -12.991. Which is bigger: s or d?
s
Let c(u) be the first derivative of -u**2/2 - 2*u + 1. Let j be c(-5). Suppose -2*g = j*g + 15. Is -4 at least g?
False
Let i be (-2 - 0)*(-6)/4. Suppose 0 = 5*p + 2*h + 6, p + i = -h. Let l = p + -6. Which is smaller: -7 or l?
-7
Let q = 579 - 14473/25. Which is smaller: -1 or q?
-1
Suppose -2 - 7 = 3*r + s, -r = -3*s - 7. Is -3 >= r?
False
Let o be 1/2 + (-8)/17. Is o > -1?
True
Let z be ((-2)/(-2))/(8/152). Is 20 bigger than z?
True
Suppose 0 = 10*l - 6*l - 8. Suppose 0 = 4*y - l*s - 0*s - 10, -3*y = -s - 5. Are 2/17 and y nonequal?
True
Let m = 32 - 97/3. Let v = -5/6 - m. Is 0 greater than or equal to v?
True
Let q(s) = -2*s - 11. Let r(h) = -h - 5. Let k(x) = -3*q(x) + 5*r(x). Suppose 47 = -4*b + 11. Let n be k(b). Do n and -6 have different values?
True
Let n = -1.3 - 0.1. Let w = 1.6 - n. Is 2/7 >= w?
False
Let k be ((-1)/(-2))/(-2*(-3)/(-48)). Is k less than or equal to -6?
False
Let c = -0.12 + 0.01. Let p = 0.08 + c. Is 2/7 at most p?
False
Let b(u) = 3*u**3 + 3*u**2 + 3. Let g be b(-3). Let w be g/(-15) - 4/10. Is w at most 1?
False
Let i be 21/27 - 2/(-9). Let t be ((-40)/(-15))/(4/18). Let g = 13 - t. Do g and i have different values?
False
Let u = -1171 - -22242/19. Are 1 and u equal?
False
Suppose -1 - 4 = u. Let n(k) = 2*k + 7. Let g be n(u). Is -2 less than g?
False
Let d = 0.5 - 0.5. Let g = d - -0.06. Let n = g - -0.04. Are 2/5 and n nonequal?
True
Let s = -0.59 - -0.5. Let i = -3.1 + 3.1. Are s and i unequal?
True
Let p be 2/5 - 8/(-5). Let w be p/2*(4 + -2). Which is smaller: w or 3?
w
Let f be ((-3)/(-2))/(18/24). Suppose -5*s - i + 4*i = 0, s - 2*i = -7. Suppose v + 3*t - 3 = 4*v, 2*t = v + s. Is f smaller than v?
False
Let x(s) = -s**3 - 3*s**2 + 1. Let m = 7 - 8. Let b be x(m). Let u = -3 - -1. Which is greater: u or b?
b
Let z = 3 - 4.2. Let h = z + 0.8. Is h <= 0.1?
True
Let n be -1 + 2 + 1/(-1). Suppose -6*k - 1 + 43 = n. Is 8 != k?
True
Let a = 15 + -18. Which is smaller: a or -5?
-5
Let c = 5 - 4. Let v = -0.2 + 0.2. Let l = c + v. Is 1 > l?
False
Let s be 1/((0 - -2)/(-10)). Let a = 4 + s. Let f = 5158/15 + -344. Which is smaller: a or f?
a
Let p be ((-80)/66)/((-4)/(-30)). Let o = 1922/209 + p. Is o <= 0?
False
Suppose 0*i - 5*u = 2*i + 16, -5*u - 10 = 0. Suppose 4*n = 2*n + 6. Suppose n = -y - 1. Which is smaller: i or y?
y
Let r = -0.01 - 0.07. Let l = -4.92 + r. Let p = l - -6. Is 4 greater than or equal to p?
True
Suppose -2*u + 15 = -9. Are 12 and u equal?
True
Let a = 10.894 - 10.8. Is a greater than -0.1?
True
Let m = 6 - 24. Let o(k) = k**3 - 3*k**2 - 5*k - 2. Let s be o(3). Is s != m?
True
Let c = 27/38 - 4/19. Which is smaller: 1 or c?
c
Let a be 2/4*24/3. Suppose a*h + h + 5 = 0. Is h greater than or equal to -2/11?
False
Suppose -5*n + 9 = -0*n + 4*h, 0 = -5*n + 2*h + 3. Let r = -2 - 0. Let u = 4 + r. Is u less than n?
False
Let d = 4952/33 + -943/11. Let r be 845/(-39)*(-1 + 4). Let k = d + r. Are k and -2/3 unequal?
False
Let c = -2 + 46/21. Which is greater: 1 or c?
1
Suppose -4*h - 3*z = -6*z - 104, 5*h - 127 = 3*z. Which is greater: 22 or h?
h
Let x = -88 - -266/3. Let v(m) = -m + 2. Let f be v(2). Which is smaller: x or f?
f
Let g = -1.9 + 2. Let l = -0.04 - -0.04. Let m = l - 0.3. Is m >= g?
False
Let o = 19 - 1. Which is smaller: 17 or o?
17
Suppose 2*x + 2*x - a = -8, x - 1 = a. Let f(r) = r**3 + 3*r**2 + r + 2. Let s be f(x). Which is bigger: s or 2/9?
2/9
Suppose -2*w + 30 = 3*w. Suppose -4*u + w = 2. Let k = 2 - 2. Which is greater: k or u?
u
Let a = 0.04 + 0.01. Let t = 0.05 + a. Do -2 and t have the same value?
False
Let c be 54/(-27) + 1 + 0 + 61. Which is greater: c or 59?
c
Let v = -2 - -1. Suppose r + 19 = -4*c, 0*c - 2*r = 4*c + 18. Let l = 3 + c. Which is smaller: v or l?
l
Let s be 0/1*(0 - 1). Suppose s = 3*k + 2*k + 5. Let i be (-8)/(-6) + 0/k. Is i > 0?
True
Let j = 164 + -1150/7. Which is bigger: -1.4 or j?
j
Let x(i) = i**3 - 3*i**2 + 2*i - 1. Let y be x(1). Let u be 36*y*(-22)/6. Let j be 90/u + 2/(-4). Which is bigger: -1 or j?
j
Let q = 10 - 8.5. Is 0.1 >= q?
False
Let u be 60/8 - (-2)/(3 - -1). Does u = 4?
False
Let p = -1.25 + -0.26. Let y = p + -0.39. Let r = y - -2. Are 2/3 and r unequal?
True
Suppose 3*h = b + 1, 0 = -5*b - 0 + 10. Which is smaller: h or -1/32?
-1/32
Let k(n) = -4*n**3 + 2*n + 1. Let g be k(-1). Suppose 3*v - 4*s = 18, s = g*v - 0*s - 9. Are v and 4 nonequal?
True
Let s = 62 - 62.1. Is s less than or equal to -61?
False
Suppose -2*d + x - 7 = 4*x, 7 = -d - 5*x. Let g(k) = k**2 - 2*k + 2. Let v be g(2). Let z = d + v. Is z greater than 0.1?
False
Let m(c) = c**2 + 9*c + 12. Let o be m(-9). Let j be 2/3 + 16/o. Which is greater: j or -5/7?
j
Let s = -33 - -33. Are s and 2/95 nonequal?
True
Suppose -48 + 6 = 3*a. Is a bigger than -13?
False
Let c be (-20)/76*(-4)/10. Is 0 not equal to c?
True
Let g(s) = -s + 13. Let m be g(14). Which is bigger: 2/17 or m?
2/17
Let n(i) = i**2 - 4*i - 2. Let t be n(5). Suppose -t*g + 5*s + 23 - 1 = 0, 4 = -2*s. Suppose 2*f + f - 18 = 2*a, f - 16 = g*a. Is -3 greater than a?
False
Let k = 0.78 - 0.28. Is 2 smaller than k?
False
Let h = 137 - 129. Let x = 3 - 5. Which is greater: x or h?
h
Suppose 0*y - 5*y = -10. Suppose 2*r = 5*w - 10*w + 7, 2*r - y*w = 0. Let l = 346/3 - 115. Which is smaller: l or r?
l
Suppose -4*y + 4 = q, 2*y + 3*y + 5*q = 5. Let g = -2 + y. Is -3 bigger than g?
False
Let o = -90 - -62. Is -29 less than or equal to o?
True
Let d be 1 + -1 - (-13 - 3). Let g = -11 + d. Which is greater: g or 7?
7
Let n be 6/(-18) + 2/3. Is 13 less than n?
False
Let g = -177 + 556/3. Which is bigger: 9 or g?
9
Let o(z) = z**2 - 4*z - 3. Let f be o(5). Let t be ((-36)/48)/((-18)/40). Which is smaller: f or t?
t
Let j be ((-3 + 5)*2)/14. Is 0.4 bigger than j?
True
Let o = 27 - 23. Is o < 4?
False
Let x be -16 - -17 - (-2 + 1)*1. Suppose -5*k - 34 = 2*t, 0 = -0*k + 5*k - 3*t + 49. Let r be ((-6)/k)/(-3) + 1. Which is smaller: r or x?
r
Let d(h) = -6*h + 1. Let f be d(1). Let r(g) = g + 7. Let o be r(-5). Let u be (-4)/(-1*(o - 3)). Is u at most f?
False
Let l = 1 - 2. Let y(m) = m**2 - 6*m + 6. Let b be y(4). Let r be (-6)/(-12)*1/b. Is r > l?
True
Suppose 5*i = 6 + 14. Suppose -3*x + 2 = -i*x. Let o = 2 - 1. Which is greater: o or x?
o
Let w be ((-15)/10)/((-2)/4). Suppose w*l = -3*f + 12, f + 10 = 4*l + 2*f. Are l and 2 equal?
True
Suppose -4*d - 43 = -0*d - 5*f, -4*f - 20 = 0. Let s = -65 - -47. Are d and s nonequal?
True
Let m = -5 - -18. Let d = m - 9. Suppose 2*k + 2*k = d. Is 1 not equal to k?
False
Let k(n) = n**2 + 2*n - 7. Let w be k(-4). Which is smaller: -4/55 or w?
-4/55
Suppose d = -4*d - 5. Let f be (-2)/