5*s - 20 = o + o, 2*o = -4*s + 16. Which is smaller: 6/13 or o?
o
Suppose -3*k = -8*k. Let i = 2 + k. Suppose -i*n - 3 = -5*n. Is n at least 1?
True
Let z = -4 - -3. Let k = 2 + z. Let t be (4/30)/(k/5). Which is bigger: t or 2?
2
Let l = -2 - 0. Suppose -r = -2*d + 6, 1 = d - r - 4. Let z = l + d. Is -3 smaller than z?
True
Let t = 27 + -26. Do t and -2/23 have the same value?
False
Let o = 21 - 17. Let p(v) = 1. Let t(f) = -2*f + 10. Let r(g) = 4*p(g) - t(g). Let l be r(o). Does 4 = l?
False
Let c be (-30)/(-26) - 1 - 240/(-1820). Which is greater: -2/9 or c?
c
Let v be 1/(-3) - (-26)/6. Suppose a + 45 = -v*a. Which is smaller: -10 or a?
-10
Let n = 9 - -3. Suppose -h - h + n = 0. Suppose -3*a + 5*c = -20 + h, -c = 4. Which is smaller: a or -4/7?
a
Let f(o) = -o**3 - 5*o**2 - o - 3. Let q be (10*2/(-4))/1. Let g be f(q). Let h(y) = -y + 1. Let k be h(g). Is k smaller than -3/5?
True
Let l = -33 + 36.9. Let c = l + -4. Is 3 at most as big as c?
False
Let y(c) = c**3 + c**2 - 1. Let j be y(-1). Let b = j - -2. Which is greater: 5 or b?
5
Let w be (6/(-24))/(7/(-4)). Let p be (4/(-6))/(10/(-45)). Suppose -p*r - 9 + 24 = 0, -v + r = 5. Is w >= v?
True
Let m be (-5)/((-1020)/(-8))*-3. Let d(a) = -a + 2. Let x be d(3). Which is greater: m or x?
m
Let m be (9/(-30))/((-6)/(-16)). Are m and 0 non-equal?
True
Let z be (1*15)/((-15)/20). Is z != -20?
False
Let m = 0.2 + -0.4. Let g = m - -0.2. Let i = g + 3. Does i = 0?
False
Let v = -63 + 62. Which is bigger: -1.6 or v?
v
Let p be (-1 - 0) + (-3 - (-85)/20). Let a = 0.38 + 0.02. Let b = a - -3.6. Is b smaller than p?
False
Let r be -16*(-1)/(0 - -2). Is 9 < r?
False
Let g = 0.1 - 0.3. Let w = g - -0.2. Let o = -0.5 - -3.5. Which is smaller: w or o?
w
Let n be (2/(-6))/(2/3). Let d(z) = z - 10. Let j be d(-3). Let r = 11 + j. Which is smaller: n or r?
r
Suppose 4*z = 41 + 15. Suppose -j + z = j. Is j < 7?
False
Let y be ((-2)/6)/((-14)/(-12)). Let m = 0.1 - -2.9. Let j = -3.1 + m. Which is smaller: y or j?
y
Let x = -358/435 + 2/87. Suppose 5*u - 10 - 5 = 0. Suppose -4*m - 1 = -u*m. Which is greater: x or m?
x
Let z(n) = n + 5. Let q be z(-6). Let o = -905/7 - -129. Which is greater: q or o?
o
Suppose -3*m = -4*m - 14. Let k be 6/(-9)*7/m. Which is smaller: k or 0.06?
0.06
Let n = -82/35 - -11/5. Suppose 4*y = 2*y. Is n not equal to y?
True
Let n be -2 + -2 - -5 - 2. Is n less than -1/12?
True
Suppose 0 = -i - i + 5*n + 151, -4*n = i - 69. Are i and 75 equal?
False
Suppose 4 + 8 = 3*u. Suppose 2 = -u*n - 2. Let w = 4 + -2. Is n bigger than w?
False
Let z = -0.032 + 2.032. Suppose h = -5 + 34. Suppose s = -i - 8, -3*s - h = 2*i + 2*i. Is s < z?
True
Suppose 10 = 2*c + 3*c. Which is greater: c or 10/7?
c
Let u = -3.3 - -3.1. Is -5 at least as big as u?
False
Let p = 3611767/153 - 23606. Let t = p - -2/153. Let d = 2 - 1. Are t and d equal?
False
Let i = 0.71 - 0.31. Which is bigger: i or -3/7?
i
Let s be -3 + -2 + 4 - -3. Suppose -s*b = -7*b - 15. Suppose -4 = p - 2. Which is smaller: b or p?
b
Let g be -4 + (2 - (4 - 4)). Is g less than -2/3?
True
Let j(b) = -3*b - 7. Let q(w) = -w - 2. Let y(l) = -3*j(l) + 8*q(l). Let p be y(-4). Let k be ((-1)/(-33))/p*-3. Which is greater: k or 0?
0
Let j = 2 - -1. Let k = j + -3. Do k and 1 have the same value?
False
Let r = 6.06 + -0.06. Let o = 5.9 - r. Which is bigger: -3 or o?
o
Let j = 41/3 + -14. Which is smaller: j or -5?
-5
Let x be 9/(-12)*116/42. Let c = x + -33/28. Let r = -7/4 - c. Is r > 3?
False
Let h = -2.3 - -2.6. Is h smaller than 0.2?
False
Let c(f) = f**2 - 11*f - 11. Let h be c(12). Is 28 at most as big as h?
False
Suppose 0 = -3*q + 15. Is q != 7?
True
Let s(k) = -6*k + 4. Let q(g) = 5*g - 4. Let d(u) = 5*q(u) + 4*s(u). Let x be d(6). Suppose -2*c + 0*c - x = 0. Are c and 2/5 nonequal?
True
Let j = -2.1 - -2.2. Is 0.14 at least j?
True
Let t be 30/(-9)*(-26)/(-287). Let r = 2/123 + t. Suppose q = -2*q + 3. Which is smaller: r or q?
r
Let t(k) = -k + 11. Let r be t(9). Suppose -4*g = -r*g + 8. Let x be (g/10)/(3/(-15)). Which is bigger: x or 1?
x
Suppose 3*j + 2*k - 1 = -3*k, 3*k = 15. Let z = 8 + j. Is -5 at most as big as z?
True
Let a = 22 + -15. Is 7 bigger than a?
False
Suppose 3*g = -15 + 6. Let r be (-2 - g)*(2 - 1). Which is greater: -4/3 or r?
r
Let z = 19 - 19.2. Which is greater: -3 or z?
z
Let s be 7/(-14) - 63/(-30). Which is smaller: s or 1?
1
Let g be 3 - (4/(-2) + -2). Suppose 0 = -5*l + g*l + 116. Let o be (-6)/l*10/15. Is o <= 0?
False
Let k(p) = -p**2 + 5*p + 6. Let r be k(6). Suppose q - 8 + r = 2*t, -t - 4 = -3*q. Which is smaller: q or -2?
-2
Let a be (3 + -1 - -1)/1. Let z = a + -3. Let i(w) = -w**3 + 3*w**2 + 1. Let b be i(3). Which is smaller: b or z?
z
Let t(u) = -4*u + 7. Let g(m) = -3*m + 6. Let j(q) = -5*g(q) + 4*t(q). Let h be j(4). Let s = h - -10. Is s > 4?
False
Let p = 0 + 6. Let z be (8/42)/(2/p). Are 1 and z equal?
False
Let p(h) = -h**2 - 7*h - 5. Let i be p(-6). Let o be 1 - 1/2*-4. Suppose -4*a - 3 = -o*z - a, -3*z = 2*a - 3. Is z not equal to i?
False
Let x = -1374327/125983 - 3/11453. Is x > -10?
False
Let y(d) = d**2 - 6*d - 2. Let z be y(8). Let m be ((-1)/z)/((-2)/(-4)). Which is bigger: 1 or m?
1
Let p = 0 + 7. Let o = 12 + -21. Let w be 3 + (1*o)/(-3). Which is smaller: p or w?
w
Let t be -6*(16/(-4))/12. Is 10/11 < t?
True
Let x be (5*(1 + 0))/1. Suppose -p - 2*j + 5 = 3*j, j = -x*p + 25. Is 6 at least as big as p?
True
Suppose 5*w = 4*v + 51, 4*w - 41 = 7*v - 4*v. Which is smaller: w or 2?
2
Let y be -3 + (-4)/(-3)*3. Suppose q - 5*q + 8 = 0. Let v be (-6)/(-4)*q/9. Which is smaller: v or y?
v
Let h = 0 - -0.13. Which is greater: h or -2/7?
h
Let l = -4 - -4. Suppose -4*b - 1 + 13 = l. Let k(d) = d - 3. Let t be k(b). Is 2 bigger than t?
True
Let r be 0*2/(-8)*2/(-4). Suppose -60 = 5*f - 3*f. Let y be (8/f)/((-2)/5). Which is greater: y or r?
y
Let c be (3/3)/(5/65). Let z be c*1/(-2) - -1. Which is smaller: -5 or z?
z
Let a(t) = 2*t + 24. Let z be a(-12). Do z and -1 have different values?
True
Let s be 2/2 - 9/12. Is s less than or equal to 1/3?
True
Let b(u) be the first derivative of u**4/4 + 3*u**3 + 7*u**2/2 - 9*u - 2. Let r be b(-8). Which is bigger: 3 or r?
3
Suppose -4*n - 7 - 5 = 0. Let u = 5 - 2. Let z be u/n*(-1)/3. Which is smaller: z or 1?
z
Let h = -4 + 4.6. Let y = -47 + 48. Which is greater: h or y?
y
Let v = 112 + -112.1. Is v at least -4/9?
True
Let o = -25285/42 + 602. Which is greater: o or 1?
1
Let k = -9 + 10. Let h be (4 + -3)*(0 - 0). Which is smaller: h or k?
h
Let q(j) = -j**2. Let c be q(1). Is c at most as big as 3/26?
True
Let m = -55 - -15. Is m at least -43?
True
Let d = 21 - 33. Which is greater: -13 or d?
d
Let w be (-5 + (1 - -1))*-6. Do w and 4 have the same value?
False
Let x = 0 + -12. Which is smaller: x or -13?
-13
Let n be 2/(-4) - 7/(-2). Which is smaller: n or 1?
1
Suppose 3*r = 3*k + 2 + 7, -5*r = -3*k - 9. Let u = 6 + -5. Suppose 3*b + 11 = y, 5*y = -3*b + u - 0. Is b < k?
False
Suppose 0 = 2*j + 3*o + o - 4, 0 = -4*j + 2*o - 32. Let x be (7 - 8) + (-74)/j. Let i = x - 11. Which is bigger: 0 or i?
i
Let r = 2 + -1.7. Let f = -4.2 + r. Let j = 4 + f. Which is bigger: 2/3 or j?
2/3
Let p(h) = -h + 6. Let u be p(7). Which is smaller: u or 1/27?
u
Let f = -0.066 - 0.004. Which is smaller: f or -2/5?
-2/5
Let r be 1/(-4) - 9/12. Let y = r - -6. Let h = 0 + 5. Is y at most h?
True
Let p = 113/12 + -20/3. Is 2 at most p?
True
Let y(q) = 3*q**2 - 6*q - 4*q**2 - 6 + 0*q. Let d be y(-5). Is -1 less than d?
False
Suppose -2*j + 4*j - r - 12 = 0, 0 = 4*j + 4*r - 12. Suppose -g + 15 - 3 = 0. Suppose -2*w = -j*w - g. Which is smaller: w or 1?
w
Let q = 0.12 + 0.02. Let i = 0.24 - q. Let v = 0 + -0.2. Which is smaller: i or v?
v
Let m = 21.9 - 10.7. Let i = m + -4.1. Let b = 7 - i. Is 2 smaller than b?
False
Let m be 1 + (0/2 - 5). Suppose 8*y = 6*y + 10. Suppose -2*o + y*o + 12 = 0. Is o greater than or equal to m?
True
Let z be 4/14 - 172/14. Let o = -10 - z. Let f(a) = -a**2 + 6*a - 2. Let s be f(6). Is s at least o?
False
Let k be (-9)/(-3) + (2 - 0). Suppose -k = 4*g - 5*g. Suppose 3*c + g = 2. Which is greater: -1/3 or c?
-1/3
Suppose -30*m + 35*m + 15 = 0. Let q be (-4)/m*(-15)/190. Is q not equal to 1?
True
Let r = -80 + 79. Is r < -2/17?
True
Let v = 28.9