er than j?
False
Suppose c - 66 = -2*c. Are 23 and c equal?
False
Let c = -9 - -4. Suppose 2*a = 4*a. Is c greater than a?
False
Let a = 1.4 + -2. Which is bigger: a or 4?
4
Let u be (-42)/(-35)*1/14*-25. Is -2 smaller than u?
False
Suppose -49 = -2*v - 47. Which is smaller: 3/22 or v?
3/22
Let o = -424/1989 + -2/221. Is -1 != o?
True
Suppose -d + 3*l = d - 5, l - 5 = 4*d. Let t be -2 - -1 - (-3 + d). Suppose 3*m - 4*m + t = 0. Is m != 3?
True
Let w = 4 - -10. Let g = 20 - w. Are 0.1 and g unequal?
True
Let s be (-7 - -1)*(-10)/(-20). Is s less than or equal to -2?
True
Suppose 5 = -7*b + 2*b, -4*y + 11 = b. Which is bigger: y or 7?
7
Let x be (-16)/56 + 72/7. Suppose -2 = -4*q - x. Do q and -3 have the same value?
False
Suppose -5*k + 8 = -y, 2*y = -0 - 6. Let q be (k + -2)*(-18)/(-6). Let u = 5 - 8. Do q and u have the same value?
True
Let o = 66.2 + -72. Let w = -6 - o. Is w bigger than 4/7?
False
Suppose -3*y - 2 = -2*y. Let f(n) be the second derivative of n**3/6 - n. Let i be f(-3). Which is smaller: i or y?
i
Suppose 2*k = -6 - 14. Let n = k + 9. Is -5/4 not equal to n?
True
Let q = 60 + -57. Is q equal to -9?
False
Let t = -5/4 - -3/2. Suppose -g - 2*v = -3, g - 2*v = 5*g - 6. Which is bigger: t or g?
g
Let h(v) = v + 1. Let r be (-4 + 6)*1*-1. Let q be h(r). Is q equal to -1?
True
Suppose -3*m - 1 = -4. Suppose j = 2*j + m. Let x be (3/1 - j) + -2. Which is bigger: x or 2/3?
x
Let i = -2 + 1. Let m(h) = h**2 - 8*h + 9. Let a be m(6). Is i less than a?
False
Let w be (-1)/(-4) - 2/8. Let v = 1 - w. Suppose 0*s = -s + v. Which is smaller: s or -1/5?
-1/5
Let g be (-1 + -1 + 1)*-5. Suppose 30 = -0*d + g*d. Is 6 > d?
False
Let u = 4 - 3.4. Let m = 6 + -5.6. Let v = m + u. Is 0 >= v?
False
Let f be -1*(-12)/(-3)*1. Let c be ((-2)/f)/((-2)/(-20)). Let r = 1 - c. Which is bigger: r or -3?
-3
Suppose 3*d = 5*b - 11, -5*d = b - 3*b + 12. Let k = -6 + 6.07. Let h = 1.93 + k. Which is smaller: h or b?
b
Let l = 5 - -1. Let h = 4 - l. Let m = -2 + 2. Is m less than or equal to h?
False
Suppose 5*c + 0*c = -15. Let t be (-8)/(-1 - c) - -1. Suppose -2*n = 5*r + 2, 0*r - 14 = -r - 4*n. Which is smaller: r or t?
t
Let q = 1.13 + -2.33. Which is bigger: 4 or q?
4
Let z = 13 - 14. Let u = -2.96 + -0.04. Let o = 3 + u. Is o >= z?
True
Let w = -49/2 - -24. Let t = 0 + 0. Suppose -n = 1 - t. Is w >= n?
True
Let g = 3 - 5. Suppose 0 = -4*y + 6*y - 34. Suppose 19 = -i + y. Is i smaller than g?
False
Let q = -85/7 - -13. Which is bigger: q or 0?
q
Suppose 11 + 1 = 4*q. Suppose -2*i + 2 = -q*i. Is -2 > i?
False
Let j(r) = r**2 + 8*r - 1. Let s be j(-10). Does 20 = s?
False
Let r(o) = 3*o + 1. Let n be r(1). Suppose -f = n*f + 5. Which is greater: f or 0?
0
Let v(i) = -i - 12. Let c be v(-14). Suppose -c*r = -6*r - 12. Which is smaller: -3/2 or r?
r
Let a = 108 + -108. Is a less than 0.25?
True
Let q = -4 - -2. Let z be (8/10)/(2*3/(-15)). Is z at least q?
True
Let s be (-39)/15 - (-3 - (-24)/10). Are s and -1 non-equal?
True
Let d = -0.05 - -1.75. Let u = 0.3 + d. Let r = 1 - u. Which is bigger: 0.2 or r?
0.2
Let w = -0.2 - -0.2. Let l = w - -0.3. Let q = 0.2 - l. Which is bigger: 2/5 or q?
2/5
Suppose 3*d - 7 - 2 = 0. Suppose -2*o + d*p + 0 = -8, -4*o = -3*p - 10. Let g be o - 2/(-2)*1. Is g less than or equal to 2?
True
Let s be 2/(-3) - 22/(-6). Let h be (6/417)/(s - 2). Let f = 260/1251 + h. Do f and 0 have the same value?
False
Let g = 15 - -1. Suppose 2*z = 4*v + 4 + 4, -2*v + 4*z = g. Which is smaller: v or 2?
v
Let o be (-2)/(-10) - 0/(-2). Let y = -3 + 6. Suppose z = -2*z - y. Is z > o?
False
Let m = 23 + -24. Let u be (1 - (4 + m))/2. Which is greater: u or -4?
u
Let r = -0.016 + -0.184. Which is greater: r or 19?
19
Let c(p) = p - 7. Suppose 5 = 2*a - 7. Let s be c(a). Which is smaller: s or -0.1?
s
Let a be 9*2/3 + (-2)/(-7). Is a bigger than 7?
False
Suppose -4*m = b - 18, 0 = -2*b + m + 3*m - 12. Suppose -2*d + b = -0. Are d and 1/3 nonequal?
True
Let l = -9.7 + 10.3. Let c = 1 + -0.6. Let f = c - l. Is f at most 0?
True
Let w = -4 + 4. Let v = -30/19 + 85/114. Which is smaller: v or w?
v
Let i(c) = -c**3 + 3*c**2 - c. Let x be i(3). Let o = 1/10327 - 320176/402753. Let s = 6/13 + o. Is s at most x?
False
Suppose f = -2*o - 0*f, -2*o + 5*f - 24 = 0. Let w be 10/(-15) + o/(-3). Let s = -3 + 2. Which is bigger: s or w?
w
Suppose -2*h + 4*a + 21 = a, -3*h + 4*a + 29 = 0. Is h < 3?
False
Let y = -164 - -165. Which is greater: y or 2/223?
y
Let t(z) = z**2 + 2*z. Let i be t(-2). Is i not equal to -2/31?
True
Let z be (-8)/30 - (-1 + 1). Which is smaller: 1 or z?
z
Let h(q) = -q**3 + 6*q**2 + q - 2. Let r be h(6). Let o be (17/34)/(2/24). Let n = r - o. Is n at most as big as -2?
True
Let c(y) = -y**2 + 7*y - 6. Let m be c(5). Let a be m/10 - 6/15. Is a at most -1/8?
False
Let t be 10/35 - 74/14. Is -2 greater than t?
True
Let t be -1 - -3*(-8)/(-18). Suppose 4*a - 3*a = 0. Suppose -2*j = -a*j - 2. Which is smaller: j or t?
t
Let f be ((-3)/6)/(3/6*-1). Suppose 0 = -4*c + w - 18, -5*w + 4*w = -2. Let u(k) = -k**3 - 3*k**2 + 5*k + 6. Let z be u(c). Is f != z?
True
Let a be (-1 + 2)/(2/(-10)). Let r = -5 - a. Suppose 4*i - 6*i - 11 = 5*v, 0 = 5*v + 4*i + 17. Which is bigger: r or v?
r
Suppose -q + 16 = 3*q. Suppose 1 + 3 = -q*r. Let u be 36/(-28)*1/3. Which is bigger: u or r?
u
Let n be 1 + 3/((-18)/5). Let o = 6 + -4. Let c = o + -3. Which is greater: c or n?
n
Suppose -x - 1 = 2*f + 6, -5*f = 3*x + 16. Suppose 5*c = 4*i - 29, 0 = 4*i - x*c - 0 - 19. Which is smaller: i or -3?
-3
Suppose 4*g = 37 - 1. Which is smaller: 44/5 or g?
44/5
Let m(y) = -y**3 - 6*y**2 - 7*y - 7. Let s be m(-5). Suppose 2*o = -4*o + 48. Which is bigger: o or s?
o
Let d = -21.6 + 20. Which is smaller: d or 1?
d
Suppose 2*h - 8 = 6. Suppose h*q - 3*q = 12, 5*m + 10 = 5*q. Which is greater: 2/13 or m?
m
Let s(v) = v**2 - v - 1. Let b be s(3). Suppose 0*j = 3*j + 3*o, -b*j = -4*o + 18. Is j >= 2?
False
Let n = -1 - -3. Let b = -0.17 - -0.1. Let u = b + 0.07. Is n at least u?
True
Let b = 128.8 - 129. Which is smaller: b or -0.11?
b
Suppose -3*p + 4*r = -0*p - 4, -3*p + 3*r = -6. Let g = p + -10. Let z be 21*g/39 + 3. Which is smaller: 0 or z?
z
Let s = 513 - 9745/19. Is 0.1 at most s?
True
Let a be (-3 - -5)/((-20)/92). Let r = 332/35 + a. Is -2/7 at most as big as r?
True
Let f = -16 - -11. Which is smaller: f or -4?
f
Let s be 4/14 - (0 + 0). Let l = -1 + -2. Let z(b) = b**2 + 5*b + 4. Let u be z(l). Is u greater than or equal to s?
False
Let g(m) = -m**2 + 12. Let w be g(0). Suppose 3*o + w = 3*h, -5*o - 1 - 17 = -3*h. Let k = -356/5 + 71. Which is bigger: k or h?
h
Let y(v) = -v**2 + 4*v - 2. Let b be y(3). Let p(c) = c**2 + 1. Let z be p(b). Is z > 1/2?
True
Suppose -2*u - 18 = 4*n, 6 = -4*u - n - 2. Is -16 != u?
True
Let i be 2 + 0 - (-1 - 1). Let n = i + -1. Suppose 2*s = -n*s - 5. Is -1/6 > s?
True
Let q = 6/5 - 13/15. Which is bigger: q or -3?
q
Suppose -2*b = -3*m + 7, 2*m - 11 = -2*m + 3*b. Which is greater: -2/35 or m?
-2/35
Let l = 21 + -7.3. Let g = l + -14. Is -3/2 greater than or equal to g?
False
Suppose 0 = d - 17*d + 16. Is d at most 1/9?
False
Let a = -23 + 17. Is a greater than or equal to -0.3?
False
Let i = -8 - -13. Let d(r) = 3*r**3 - r**2 - r**3 - r**3 + 5*r - 5*r**2. Let t be d(i). Is 1 < t?
False
Let z = 36 - 10. Let l = z + -14. Suppose -6 = 4*k + 5*o, -k - 5*o = -3*k + l. Is k greater than or equal to 1?
True
Let y(s) = -s**2 + 3*s - 1. Let r be y(4). Suppose -3*n - 1 = -2*h + 3, 4*n = -h - 20. Let m = n - r. Is -0.6 bigger than m?
False
Let b(i) = 3*i**2 + 2*i + 1. Let j be b(-1). Suppose 0 = -7*d + j*d + 5. Is -2/15 bigger than d?
False
Let s be (-2)/(1 + 1)*-1. Is 1/19 != s?
True
Let p be ((-5)/(-2))/5*12. Let u = p - 6. Let g be -1 + 105/33 + -2. Which is smaller: u or g?
u
Suppose g + 2*g - 12 = -4*d, 5*g = 3*d + 20. Let q = -1166/3 - -393. Which is smaller: g or q?
g
Let v = 193 + -204. Is -17 at least v?
False
Let p = -61 - -49.2. Let v = 12 + p. Which is bigger: v or -2/9?
v
Let m(i) = 3*i**2 - 10*i - 2. Let k(x) = -2*x**2 + 9*x + 1. Let a(b) = -4*k(b) - 3*m(b). Let n = 14 + -20. Let o be a(n). Is o > 1?
True
Suppose 3 = o + 6. Let c be ((-12)/32)/(o/2). Is 1 less than c?
False
Let u = 33.87 - 34. Let c = u + 0.43. Which is greater: -5 or 