ose -3*s - 4 = 14. Let u = -7 - -1. Let i = u - s. Do 5/4 and i have the same value?
False
Let c be (2/(-72))/((-24)/64). Are 0 and c non-equal?
True
Let y be (-2 - (5 - -3))*1. Is y < -12?
False
Let g be (3 + (-24)/4)*3. Is g <= 0.3?
True
Suppose 5*d - 7 = -4*x + 52, -3*x = -5*d + 52. Suppose 2*o = -0*o - 4*l - 12, -o - 3*l = d. Let s be 3/o*(-2)/(-1). Which is greater: s or 2?
2
Suppose 0 = 3*h - 4*y + 3 - 24, 2*h = -3*y - 3. Which is bigger: 6 or h?
6
Let p = 6 - 7. Are 1/3 and p equal?
False
Let w(i) = i**2 + 12*i + 3. Let s be w(-12). Suppose 17 = 3*p + 4*r - 5*r, -4*r - 8 = -2*p. Suppose 6 + p = -s*h. Which is bigger: h or -5?
h
Let b = -911 - -2627/3. Let u be 145/(-42)*52/(-5). Let t = u + b. Does 0 = t?
False
Let n = -1.7 + 0.7. Which is greater: n or 3/7?
3/7
Suppose 7*d - 2*d - 15 = 0. Let b be d + 4/(-1) + 2. Do 2/47 and b have the same value?
False
Let c = -0.2 - -0.33. Let m = 0.03 - c. Is -3 greater than or equal to m?
False
Let r = -35 + 72. Is r greater than or equal to 39?
False
Let o = 3 + -6. Let f = o + 4. Suppose f = -4*w - 3. Are -1 and w equal?
True
Suppose -2*i + 9 - 13 = 0. Let y = -1 + 1. Is i at most as big as y?
True
Let v = -12 - -17. Suppose 5*b - 2*z = 23, 0*z - 1 = -z. Is v at most b?
True
Let s = 2 - 6. Let o = s + 2. Which is smaller: o or 3?
o
Let b = 5 + -6. Let h = 1 + b. Is 0 smaller than h?
False
Let r be 681084/(-285) + (-6)/10. Let o = 2391 + r. Let b = -2/57 - o. Is b bigger than 2/5?
False
Let c = -1.8 + 2.17. Let b = -0.07 + c. Let p = 0.39 + -0.59. Which is smaller: p or b?
p
Suppose 0*a - 11*a - 22 = 0. Let o = 0.3 - 0.1. Which is greater: o or a?
o
Suppose -s - 9 + 2 = 2*c, -2*s = 5*c + 18. Are 2/25 and s nonequal?
True
Let z = 346277/1596 - 4128/19. Let j = -1/21 - z. Which is bigger: j or -1?
j
Let n be (-6)/10*(-225)/(-18). Let l = n - -7. Which is greater: -4 or l?
l
Let c be 21/12 - (-4)/16. Suppose -2 + 10 = 2*w. Suppose -y = 3*v - w*y - 6, v = c*y + 5. Is -1 equal to v?
True
Let g = -14 + 0. Which is greater: -13 or g?
-13
Let p be 1/(0 + 4/46). Let q = p - 11. Suppose -4*x + 4 = -2*w, -4*w = -2*x - 2*x. Is x greater than q?
True
Let g = 2 + -1/2. Let k = -0.7 + 0.6. Is g bigger than k?
True
Suppose -2*j = 3*j. Which is greater: -2/65 or j?
j
Let z(i) be the third derivative of -i**4/24 + i**3/6 + 3*i**2. Let k be z(1). Let q = -278/747 + -6/83. Is k != q?
True
Let a(v) = v**3 + 8*v**2 - 2*v - 7. Let u be a(-8). Does -1/4 = u?
False
Let m(h) = 2*h**2 + 6*h + 5. Let k be m(-5). Let f = k + 23. Let s = f + -143/3. Which is greater: -1 or s?
s
Let p(l) = l**3 + l + 2. Let w be p(0). Which is bigger: 4 or w?
4
Suppose -5*p = -8*p + 12. Suppose p*z + 1 + 35 = 0. Let c = -8 - z. Is c < -1/4?
False
Let a(u) = -u**3 - 10*u**2 - 9*u - 3. Let q be a(-9). Let w be 3 + 4 + q/1. Suppose m = -3*m + w. Do 1 and m have different values?
False
Suppose 5*m - 2*m = 0. Let g be (-4)/(-22) + (-19)/(-77). Are g and m non-equal?
True
Let y(h) = h**2 - 7*h - 10. Let l be y(8). Let t be (1/(-4))/(l/(-8)). Let k(w) = w**2 - 3*w + 1. Let i be k(2). Do t and i have different values?
False
Let n(w) = -w - 6. Let b be n(-11). Suppose -3 = 2*j - b. Which is smaller: j or 7/3?
j
Suppose 3*z = -11 - 4, 0 = 5*y - 5*z - 30. Let n = -9 - -19. Suppose -y = 3*g - n. Is g greater than 1/3?
True
Let d = 4 - 3. Suppose 2*i + 2*x = 6, -4*i - 5*x = -0 - 15. Which is greater: i or d?
d
Suppose 4*f + 4 = -0. Which is greater: f or 5/23?
5/23
Let q be 6564/(-11) + 6/9. Let r(m) = -150*m + 4. Let i be r(4). Let a = i - q. Which is bigger: 1 or a?
1
Let c = 31/77 - -24562/385. Let t = 64 - c. Which is smaller: t or 0?
t
Let t be 3 + (6/(-3) - 20/24). Is 0.7 less than or equal to t?
False
Let c = 183 + -1283/7. Let w = 4 + -3.7. Let h = 0.5 - w. Is h bigger than c?
True
Let n(k) = -k**2 - 4*k - 4. Let j be n(-3). Let i = 18 - 20. Are i and j non-equal?
True
Let o be (110/33)/(1 - -2). Which is greater: 2 or o?
2
Let g be (-4)/6 - (-85)/195. Is g < 1?
True
Let p be 2/(-3)*(-9)/(-20). Let v = 5643/9730 - -4/695. Let u = v + p. Is u bigger than -0.1?
True
Let x(u) = -u**2 + 7*u + 1. Let w be x(7). Let i be (1/(-3))/(w/(-3)). Let j be (i/3)/(1/6). Is 0 greater than or equal to j?
False
Let h = -5 + 5. Let i = -33.2 + 36. Let w = i - 3. Which is bigger: w or h?
h
Let p(t) = t**2 - 4. Let j be p(-3). Let q be 7/4*10/35*10. Is q at least as big as j?
True
Let p(c) = -4*c - 1. Let a be p(1). Suppose 2*q = -u - 6, -4*u + 0*q - 3*q - 19 = 0. Which is smaller: u or a?
a
Suppose 3*n = -2*v + 57, v = -n - 3*v + 29. Is n at most as big as 16?
False
Let u = -152 - -4106/27. Are u and 0 unequal?
True
Let c = 0.3 - -0.7. Suppose -2*l - 24 = -5*l. Which is smaller: l or c?
c
Let z = -1.58 - -0.58. Is -2/11 not equal to z?
True
Let z = -42 - -59. Is z at most 0.1?
False
Let q be (5/30)/(3/18). Suppose -3*x + 5*x = 6. Suppose x*w = 4*w. Which is bigger: q or w?
q
Suppose 48 = 5*n + 4*u, 5*n - 5*u - 30 = -0*n. Is n bigger than 6?
True
Let g = -32 + 32. Is g < 1?
True
Let d be -4 + 1*33/12. Let c = -5 - -3. Are d and c equal?
False
Let b = -24 + 11. Suppose 0 = n + 14 + 6. Let p = b - n. Which is greater: p or 6?
p
Let l be (-9)/12 - 3/(-4). Suppose a = -l*a. Let v be 1/(-4) + 33/36. Which is greater: v or a?
v
Let q(i) = -i**2 + 7*i - 8. Let v be q(6). Let l be (4 - (v - -4)) + -2. Let z(m) = m**3 + 5*m**2 - 5*m + 7. Let d be z(-6). Is d bigger than l?
True
Let g be -1 + -1 + 3 + 2. Let l(r) = -r**2 - 18*r - 77. Let i be l(-9). Which is smaller: g or i?
g
Let g be 3/18*4/3. Suppose 3 = 5*d + 3. Is d equal to g?
False
Let w = -15107/3955 - 1/113. Let d = w - -24/7. Let a = 0 + 0. Does d = a?
False
Suppose 3*u + 0 = 6. Suppose 3*p = u*p. Suppose 24 = -3*k - 4*x, 0*k - 3*k + 2*x - 6 = p. Is -5 at least k?
False
Let a = -14 - -15. Let j be (-1)/21 + 2/(-7). Is j greater than or equal to a?
False
Suppose u = -u - 6. Is u equal to -5?
False
Let f(m) = -m + 5. Let c be f(5). Suppose 2*k + k - 24 = c. Suppose k = -a - 3*a. Are -2 and a nonequal?
False
Let l(r) = r**3 - 5*r**2 - 5*r - 5. Let c be l(6). Suppose 0*z = -5*z - 30. Let i be z/8 + 26/40. Does i = c?
False
Suppose 2*f - 5*f + 2*m = 37, 0 = -2*f - 4*m - 14. Is f >= -10?
False
Let c be (6 + 4)*1/2. Are c and -0.2 equal?
False
Let m = -11 - -12.4. Let r = m - 1.4. Which is smaller: r or -4/3?
-4/3
Let y be 3/(-8)*2/(-6). Let h = -5 + 7. Suppose -v = 3*f - 0 + h, v = 4*f + 5. Which is smaller: y or f?
f
Let o be (-2*3)/(-4 - -6). Let w be ((-26)/39)/(1/o). Which is smaller: 4 or w?
w
Let k be (22/6 - 4)*0. Let d = k - 0. Which is smaller: d or 6/11?
d
Suppose w + 3 = 2*l + 17, 3*l - 2*w + 21 = 0. Let g = 12 + l. Suppose o + 0*o = -3*r + 5, -4*o = -g*r - 20. Is r smaller than 2?
True
Let l = -0.17 + 0.07. Do l and 1.2 have the same value?
False
Suppose -2*o - 1 = -3*o. Suppose -9 = 22*p - 31. Are p and o unequal?
False
Let g = -26.4 + 0.4. Let z = g - -25.9. Which is bigger: z or 6?
6
Let l = 0.03 + 5.97. Let o = 6.2 - 2.2. Let y = o - l. Which is greater: 1/2 or y?
1/2
Suppose c + 24 - 25 = 0. Let z be (-80)/(-129) + 2/(-3). Which is smaller: c or z?
z
Suppose -3*a = -m + 13, -a + 1 = 6*m - m. Let f = m + -2. Let x = 0.1 + -1.1. Does x = f?
True
Let d = -132 + 128.7. Let o = -8 - -5. Let c = o - d. Do 0 and c have different values?
True
Let q(w) = -w. Let o be q(-3). Let j = 3 + -1. Suppose j*b + o = -1. Which is greater: b or 0?
0
Let d(v) = v**2 - v - 2. Let b be d(2). Suppose 4*l = -b*l. Let s(q) = q**2 - 3*q - 3. Let o be s(4). Does l = o?
False
Suppose 3*l = 2*s - 16, 1 = 4*s - 2*l - 15. Let f be 2*s/(-6) + 1. Let m = -47 + 46. Which is bigger: m or f?
f
Suppose -3 = 3*n - 12. Is 0.1 greater than n?
False
Suppose 3*b + 4 = y + 4*b, 0 = -3*y - 5*b + 16. Let q be (-46)/63 + y/7. Which is greater: -1 or q?
q
Suppose -34 - 134 = 12*d. Is -2 != d?
True
Suppose -3*b = b. Which is greater: -2/17 or b?
b
Let s(f) = -2*f**2 - 29*f + 19. Let v be s(-15). Is 10/3 bigger than v?
False
Let o = -3 - 1. Let w be ((-6)/3)/((-2)/7). Suppose 3*y - 1 = -5*a, 6*a - w = -y + a. Are o and y nonequal?
True
Let r(c) = -c**3 + 5*c**2 - 4*c - 1. Suppose 3*a = a + 8. Let v be r(a). Does 2/9 = v?
False
Suppose -5*x + 12 = -13. Suppose -u - 4 = x. Which is smaller: u or -10?
-10
Let b = 11 - 12. Which is smaller: b or -1/22?
b
Le