same value?
False
Let j = 90 + -110. Which is greater: -4 or j?
-4
Let l(k) = -k**2 - 6*k - 6. Let j be l(-5). Let b be 3 - (2*-1)/j. Which is smaller: b or -2?
-2
Suppose -2*s + m = -25, m = 4*s + 3*m - 62. Let l be (-1)/s*(6 + 0). Which is smaller: l or 1?
l
Suppose z = -k - 17 - 11, z - 4*k + 13 = 0. Let x be (-10)/z + 8/(-70). Which is bigger: x or -1?
x
Let z = -40188 - -280586/7. Let b = z - -104. Are b and -0.3 non-equal?
True
Suppose -3*j - h + 23 = 0, -5*j + 43 = h - 4*h. Suppose 5*a - 36 = a. Which is smaller: j or a?
j
Let m = 17 + 1. Let l = -19 + m. Which is greater: 1/36 or l?
1/36
Suppose 3*s - 12 - 6 = 0. Let r be (-15)/8 - s/48. Which is smaller: -3 or r?
-3
Suppose 5*q + 42 - 291 = -m, -176 = -4*q + 5*m. Which is smaller: q or 51?
q
Let a be 7/28 + 3/(-60). Which is smaller: a or 5/2?
a
Let k = -351 - -8069/23. Which is bigger: k or 1?
1
Let n(h) = -h**3 + 6*h**2 - 4*h - 3. Let c be n(5). Suppose s + 8 - 5 = 0. Let k(y) = -y**3 - 3*y**2 - 2*y - 4. Let o be k(s). Is o bigger than c?
False
Let s(p) = p**3 - 3*p**2 - 3*p - 3. Let x be s(4). Which is bigger: x or -2/11?
x
Suppose 0 = -6*i - 10 - 20. Which is smaller: -3/2 or i?
i
Let a = 0.7 + -0.8. Let x = 0.1 + a. Which is smaller: -3 or x?
-3
Suppose 0 = -4*u - 7 + 3. Let m be -1 + (-9)/21 - u. Is 2 > m?
True
Let o be 6/(-153)*-33 + -1. Is o not equal to 0?
True
Let o = 3 - 3. Suppose o*d = d. Suppose 5*n = -d + 5. Which is smaller: -1/4 or n?
-1/4
Let y be -1 + 0 + -4 + 3 - 4. Which is smaller: -60/13 or y?
y
Let v be (-3)/9 + (-1)/(-3). Suppose -o + 5*x + 28 = 0, -o - 4*o + 5*x + 60 = v. Let u be o/(-28) + 0/1. Which is smaller: u or 0?
u
Let v be 2/6 + (-68)/(-12). Let o = 10 - v. Let w be 1 + (-1)/(1/(-3)). Is o > w?
False
Let v be 4/(-14)*(-30)/(-20). Is v greater than or equal to 1?
False
Let g be 1/(-9) + 12/(-54). Which is bigger: g or 1/3?
1/3
Let u(q) = -q**3 + 6*q**2. Let n be u(6). Suppose n*o - o = 2. Which is bigger: o or 1?
1
Let n = 0.85 - -0.15. Are n and 14 equal?
False
Suppose -5*s + 7 = -13. Let p(j) = -j - 3. Let q be p(-3). Suppose q = 4*b - 2*v - s, 7 = -v + 3. Is -1 > b?
False
Let u = 536.91 + -537. Suppose -g - 4 = g. Is g greater than u?
False
Let t = 24 + 39. Are t and 65 non-equal?
True
Let d = 0.6 + -1.2. Let k = -0.5 - d. Which is greater: k or -2?
k
Suppose 9 = 5*d + 4. Let p be 12/(-20) + (-13)/(-5). Which is smaller: p or d?
d
Let k be (-1 + 2)/(10/30). Let w(p) = -p**2 + 6*p - 5. Let s be w(6). Let x = s + 8. Do k and x have the same value?
True
Let d(s) = s**2 + 13*s - 18. Let i be d(-18). Is 71 at most as big as i?
True
Suppose 0*m - 3 = -3*m. Let i = -8/23 + -6/115. Is m > i?
True
Let u be ((-44)/(-132))/((5/(-3))/1). Which is smaller: u or 0.13?
u
Suppose 22*b - 21*b = -1. Let s = 2 + -1. Is s equal to b?
False
Suppose -d + m - 2 = 3*m, -5*d - m - 19 = 0. Which is bigger: -5 or d?
d
Let f = 7 - 2. Let h = -51 - -46.3. Let s = f + h. Is 2 not equal to s?
True
Let w = 30 + -11. Suppose 0 = 2*x + z + w, z + 6 - 32 = 3*x. Let o be 3/x*2 - -1. Is o at least as big as 0.2?
True
Let f = 2.6 - 2.8. Which is bigger: f or -0.13?
-0.13
Let o = 5.1 - 5. Which is smaller: o or -11?
-11
Let n(h) = -h**3 + h**2 - h + 7. Let m be n(0). Suppose j = 2 - m. Is j at least -1/4?
False
Let y = -7 + 5.6. Let a = -1.4 - y. Is a less than or equal to 0.13?
True
Let w be 1 + (-3 - (3 + -8)). Let x be 4/(-18) + 20/9. Which is smaller: x or w?
x
Suppose 0 = -7*b + 10*b - 6. Is b greater than 8/3?
False
Let i = 1 - 4. Let n be (i/(-9))/(6/(-4)). Let y be 1 + 0 + (0 - 1). Which is smaller: y or n?
n
Let r = 10 + -6. Suppose j + 6 = -2*j + 2*z, 0 = -r*z + 12. Suppose j = 2*k - 4*k + 2. Does k = 2?
False
Let o = 0.011 - -2.989. Does -3/8 = o?
False
Let s = 15 - 14. Which is smaller: s or 0.2?
0.2
Let h(y) = -2*y - 10. Let q be h(-9). Suppose -3*x + q = -7. Is 5 less than x?
False
Let m(g) = 2*g - 8. Let v be m(-3). Let s = 13 + v. Are s and -1/3 equal?
False
Let y be 14/(-35) - (-192)/430. Is y at least as big as 0?
True
Suppose -y = 4*a + 4*y - 15, 0 = -4*a + 2*y + 22. Is 5 != a?
False
Let k = 49/41995 - 2936788/4745435. Let o = -2/113 - k. Is o at least as big as 1?
False
Let l(c) = c**3 - 7*c**2 - 1. Suppose 0 = v - n, -2*v + 2*n + 3*n = 12. Let w be 7/v*4/1. Let s be l(w). Is -1 at least s?
True
Let r be (-2)/(-3)*(-3)/2. Let h be (r - (-2)/4)*2. Is h bigger than -3/5?
False
Let m be (-4)/(-860)*5*-2. Which is smaller: m or 0?
m
Let d(r) = -5*r + 39. Let t be d(8). Which is greater: t or 1/39?
1/39
Let j = 109/110 - 12/11. Let p = 4 - 3. Suppose 4*z - p = 3*z. Are j and z unequal?
True
Let l = -0.8 - -3.8. Let x = l - 3.1. Let k = 0 - 1. Do k and x have the same value?
False
Let p = -1/461 - -507/21206. Let v = 43/138 + p. Let g be 6/8*4/(-6). Which is bigger: g or v?
v
Let h(a) = 6 - a**2 - 8*a + 2*a + 1. Let c be h(-7). Let w be (3/(-3))/(-2 + c). Which is greater: -1 or w?
w
Suppose 3*b - 2 = -14. Let g(s) = 6*s - 74. Let v be g(12). Which is greater: v or b?
v
Let i(v) = -23 + 3*v + 4*v**2 - 3*v**2 - 7*v + 21. Let r be i(4). Does r = 2?
False
Let q(s) = 6*s**2 - 18*s. Let a be q(3). Is a greater than or equal to 1/9?
False
Suppose -3*x - 2*v + 8 = -24, -4*x - 3*v + 44 = 0. Let m = -97 + 105. Is m >= x?
True
Let n = 0.133 + 0.067. Which is smaller: n or 3?
n
Suppose -4*z = -16, m - 19 = -2*m - 4*z. Suppose 0 = 24*b - 22*b. Which is smaller: b or m?
b
Let x = 55/6 + -1069/114. Is x > 1?
False
Let x = 0.1 + 3.9. Let p = 9 - x. Let u = 8 - p. Which is bigger: u or 1?
u
Let g(u) = -u**2 - u - 1. Let v be g(-2). Suppose -2*m - 5 = 1. Let k = m + 1. Which is smaller: k or v?
v
Let q = -20 - -21. Do 3/7 and q have the same value?
False
Let z = -7 + 12. Suppose 0 = -z*f + 2*s - 0*s - 30, -4*f - 37 = s. Which is smaller: -9 or f?
-9
Let h = -7 + 4. Let x be (-10)/(-4) + 1 + h. Which is smaller: 1 or x?
x
Let z = 2291/43673 + -10/367. Let b = 2/17 + z. Which is greater: 1 or b?
1
Let z = -1 - -3. Suppose z + 1 = -3*n. Let a = 2.06 - 0.06. Do n and a have different values?
True
Let y be 10/4*77/(-35). Let k = 337/62 + y. Let d(g) = g + 6. Let f be d(-7). Is k > f?
True
Suppose 0 = 3*k - 2*k - 7. Let s = 8 - k. Which is smaller: -1/19 or s?
-1/19
Let r be (-4)/(-18) - (-48)/27. Do 12/11 and r have the same value?
False
Let t = 2.1 - 2. Let l be 16/(-12)*2/4. Which is greater: l or t?
t
Let f(w) = 4*w + 4. Let n be f(-3). Let s be (-6)/(-2)*1 + n. Which is smaller: -7/2 or s?
s
Let d(i) = -2*i + 11. Let b be 9/(-4)*24/(-9). Let n be d(b). Let r be (-48)/(-119) - 4/14. Is r >= n?
True
Let z(j) = 3*j + 19. Let u be z(-6). Which is bigger: u or 3/11?
u
Let g be 0 - (-3)/6*0. Suppose g*n - n = 1. Are -2 and n equal?
False
Let t(f) = -f**3 + 4*f**2 - 4*f + 4. Let m be t(3). Let o be ((-1)/2 + m)*2. Let k(j) = 4*j**3 - 2*j + 1. Let b be k(o). Is 2 not equal to b?
True
Let o be (-1)/2 + (-26)/(-20). Let x = 7 - 3. Let d = 5 - x. Is o != d?
True
Let p be ((-6)/24)/((-13)/(-18254)). Let h = p + 351. Is h at least 1?
False
Suppose 4*i - 7 - 3 = -2*k, -2*k + 7 = i. Suppose -k*c + z - 12 = -4*z, c = z - 2. Are c and -1.5 non-equal?
True
Let r(w) = w**2 + 6*w - 7. Let m = -2 - 3. Let g be r(m). Let q be g/9 + (-2)/(-6). Are 1/11 and q unequal?
True
Let v(p) be the third derivative of -p**6/120 + 3*p**5/20 + 11*p**4/24 - 4*p**3/3 + p**2. Let q be (1 + 1/(-5))*150/12. Let c be v(q). Which is smaller: c or 1?
1
Let k = 4/101 - -2517/202. Let a = -629/50 + k. Is 1 at most a?
False
Let c be 2 - 1 - (-4 - 5). Suppose -c*g + 9*g + 5 = 0. Do g and 1 have the same value?
False
Suppose 14 = j - 5*r, -5*r = -4*j - j + 10. Is 2/11 < j?
False
Let d = 14 - 11. Let z = d + -1. Suppose -5*q = o - 26, 3 + 7 = 5*o + q. Which is smaller: z or o?
o
Let c = -10 + 15. Suppose 0*u + 5*y = -2*u + 7, 5*u + c*y = 10. Let r be (-12)/(-21)*(-3)/4. Is u at most r?
False
Suppose 4*k = -3*c + 6, -3*c - 5*k = -c - 4. Let w be (c + (-10)/8)*-12. Is w at most as big as -9?
True
Let n = 87.2 + -87. Suppose -4*w = -3*w + 1. Do n and w have the same value?
False
Suppose 0 = -4*u - 5*q - 5, -5*u + 3*q + 5 = -2*q. Which is bigger: u or 0.1?
0.1
Let h = -433 + 9091/21. Which is greater: h or -1?
h
Let x(l) = -l**2 - 6*l - 3. Let o be x(-5). Let i be (21/(-6) - -3)*o. Is -0.1 >= i?
True
Let m = 1051 - 1883/2. Let z = 112 - m