h is smaller: y or s?
y
Suppose 2*k - 4*o - 6 = -8*o, 4*k - 4*o - 24 = 0. Suppose -3*w + k*w = 2. Let t(p) = p - 1. Let v be t(1). Does w = v?
False
Let h = 128 + 1. Let w be 1/3 - h/90. Let z = 97/70 + w. Which is smaller: z or -1?
-1
Let u be 1*(-2 + 2)/(-3). Let h = u - 0. Is h <= 0?
True
Let w(d) be the first derivative of 1 - 5/2*d**2 + 3*d. Let b be w(2). Which is greater: -8 or b?
b
Let p = 0 + 2. Suppose -z + p - 5 = 0. Is -2 bigger than z?
True
Suppose 3*u - 18 = 2*u. Is 19 at most as big as u?
False
Let g = 6.5 - 7. Let a = g - -0.4. Which is bigger: a or -3?
a
Suppose 3*u - 7*u + 8 = 0. Let r = 1044/5 + -208. Which is smaller: r or u?
r
Let z be 314/13 - (-6)/(-39). Which is smaller: -1 or z?
-1
Suppose -x - 21 = -5*w + 15, 31 = 5*w + 4*x. Let z(c) = -c**2 + 7*c - 1. Let q be z(w). Is -1 less than q?
False
Let w = 3.6 - 3.4. Is w < -2/13?
False
Suppose -3*y - 2 - 1 = 0. Is 5/12 at most y?
False
Let s = -11 - -17. Which is bigger: 7 or s?
7
Let h = -7.8 - -8. Let d = 0.2 - h. Which is smaller: 9 or d?
d
Suppose -2*n + n + 1 = 0. Let v be 2/6 - (-4)/(-18). Are n and v equal?
False
Let v = -3 + 4. Let i be v + (-2 + 6 - 2). Let s(y) = -y**3 + 2*y**2 + 5*y - 4. Let z be s(i). Which is smaller: -0.1 or z?
-0.1
Let a = -3.2 + -1.8. Which is smaller: -0.3 or a?
a
Let w = 198 - 1388/7. Which is smaller: 0.3 or w?
w
Let o = -16.8 - -17. Which is greater: o or -24/11?
o
Suppose 0 = 3*y - 0*p - 2*p - 5, y = 5*p + 6. Let z = -151 - -1361/9. Which is smaller: z or y?
z
Let y = -4 - -4. Suppose y*x + 4*b = -2*x, 0 = -4*x + b. Which is smaller: 1/5 or x?
x
Suppose -j + 5*c - 4 = 0, -4*j - 2*c - 2*c - 40 = 0. Is -8 greater than j?
True
Let z be 0/(-1) - (-2)/18. Let b(c) = -c**2 + 5*c + 7. Let t be b(6). Which is greater: z or t?
t
Let q be -3*((-14)/267)/(-7). Let z = 441/178 - q. Is 4 bigger than z?
True
Let k = -173/2 + 88. Which is bigger: 2 or k?
2
Let w = -26 + 36. Let l be 6/24 + w/(-8). Is l at least as big as -2?
True
Let h be -6 - (-3 - (1 + -4 - 0)). Which is greater: h or 1/2?
1/2
Suppose -2*y = 2*m - 24, 7*y - 66 = -5*m + 4*y. Is 15 less than m?
False
Suppose 2*c - 12 = -c. Suppose 0 = -3*f + 4*f - c. Suppose -8 = -2*u + f*j - j, 5*u - 11 = 3*j. Which is greater: 2 or u?
2
Let w(z) = 3*z**2 + z. Let c be w(1). Let p be 1/c + (-13)/4. Let x(s) = -s**2 - s + 2. Let k be x(-3). Which is greater: k or p?
p
Let i be 0 - (-2)/(56/(-178)). Let j be (3/21)/((-1)/(-27)). Let m = i + j. Which is smaller: -2 or m?
m
Let i = -2.6 - -2.8. Which is greater: 2 or i?
2
Let w = 2/147 + -17/49. Let h = -1.18 - -0.28. Which is greater: h or w?
w
Let w(d) = 4*d - 27. Let l be w(7). Suppose -2*v + 8 = -2, 0 = -5*q + 4*v - 25. Let u be (0 - 0) + q + l. Which is greater: u or 2?
2
Let b(j) = -11*j**2 - 2*j - 1. Let h be b(-1). Let v(d) = d**3 + 9*d**2 - 9*d + 8. Let q be v(h). Is 1 > q?
True
Suppose 24 = 4*a - 332. Let l = -625/7 + a. Which is greater: l or -7?
l
Let q be (-4)/6*((-35)/2 - -4). Is q > 10?
False
Let k be 2/(-6) + (-110)/(-6). Suppose 2*r + r = k. Let a = -13 - -18. Which is smaller: a or r?
a
Let x = -3.4 - -3. Let m = 1.91 + 0.09. Let v = -2 + m. Which is bigger: x or v?
v
Let g = -4 - -9. Let b(j) = -j**2 - 4*j - 4. Let c be b(-3). Which is smaller: c or g?
c
Let v(o) = o**3 - 3*o + o + 8*o**2 - 2*o - 4 + 0*o**3. Let k be v(-8). Suppose 3*a - k = -a. Which is bigger: a or 6?
a
Let f be 4/(-6) - 427/21. Let b = f + 20. Let a(u) = u - 1. Let h be a(1). Is h less than or equal to b?
False
Suppose 0*c - 3 = 3*c + 3*b, 5*c + 4*b = -4. Let t = 7 - 3. Suppose 4*j + 4 = 4*s, 4*s + 0*s - t = -4*j. Is j >= c?
True
Let o be -1*(0/1 - 1). Let l be (-2)/(0 + -2)*1. Let j be (o/2)/(l/(-6)). Do -3 and j have the same value?
True
Let u = 2 - 3. Let j = -10.1 + 0.1. Which is greater: u or j?
u
Let b = 3.2 + -0.2. Which is greater: b or -1?
b
Let d be (-18)/24 - 51/(-36). Does 1 = d?
False
Let l(s) = -s + 6. Let f be l(6). Suppose -4*i + 0*i = f. Which is bigger: i or -1?
i
Let j(h) = -h**2 + 9*h - 6. Let n be j(8). Let m = n - 0. Suppose -5 = -3*a - m*a. Which is greater: 1/2 or a?
a
Let q = -2.2 + -0.8. Let x = 6 + -5.7. Let k = -1.3 + x. Which is smaller: q or k?
q
Suppose 3 = x, 2*j - x = 18 - 75. Which is smaller: j or -28?
-28
Let t be (-5)/(10/(-2)) + -2. Are 0 and t non-equal?
True
Suppose -5*y + 8*y = -51. Do -17 and y have different values?
False
Let l be (-1 + (-5)/(-4))*-4. Which is greater: l or 0.05?
0.05
Suppose -3*n + 13 = -20. Let b = 15 - n. Is 5 less than or equal to b?
False
Suppose 4*d - 1 - 23 = 0. Suppose -d + 26 = -4*a. Are a and -1/4 non-equal?
True
Let i = 304 - 6383/21. Is 1 equal to i?
False
Let y = 5602 - 5609.593. Let u = 0.007 - y. Let t = -8 + u. Which is smaller: t or -1?
-1
Let k(q) = q**3 + 6*q**2 - 11*q - 9. Let s be k(-7). Which is smaller: 20 or s?
s
Let g(r) = 5*r + 7. Suppose -2*z = -4*p - 8 - 8, -2 = -2*z - 3*p. Let y(v) = 4*v + 7. Let f(s) = z*y(s) - 3*g(s). Let d be f(-6). Which is smaller: 0 or d?
0
Let g = 21815 - 916357/42. Let c = -3/2 - g. Let l = -6/7 + c. Which is greater: -0.1 or l?
l
Let b be (-1)/5 + 3 + -3. Is b at most -1?
False
Suppose -4*y + 1 = -3*y. Let g = -26 + 209/8. Which is greater: y or g?
y
Let i(n) = 1 + 3*n - 5*n - 2*n + 2*n. Let v be i(-1). Suppose -v*c = 5*u - 1, -3*u - 3*c = -1 - 2. Is u != -3?
True
Suppose 0 = -a + 3*a. Suppose a = -5*j - 4 - 6. Is -3 > j?
False
Let k = 0.8 + -1. Let p = -0.8 + -0.2. Let m = 0.9 + p. Is k not equal to m?
True
Let m = 2197/12 - 183. Which is smaller: 1 or m?
m
Let j = 9 + -5. Suppose 12 = j*a - 0. Suppose 1 = 2*g + a. Are g and -1/10 unequal?
True
Let f = -3/35 - 4/35. Suppose -g - g = 0. Suppose 3*h + g*h = 3. Is f != h?
True
Suppose p - 8 = -4*q, 0 = 5*q - 3*q + 4*p - 4. Suppose -q*b = -7*b - 15. Let l(k) = -k**3 - 6*k**2 - 5*k + 1. Let s be l(-5). Is b less than or equal to s?
True
Let r = -3.01 - -3. Let p = 1.01 + r. Let k = 2 - 1.95. Is p greater than k?
True
Suppose -3*d = -2*c - 2, -8 = -4*d + 4*c - 4. Suppose d + 2 = -o, 3*f - 2*o - 1 = 0. Is 1 at least f?
True
Let b = -0.18 + 0.08. Let g(f) = f**2 - 4*f - 1. Let r be g(4). Which is bigger: b or r?
b
Let z = -0.09 + -1.91. Let d = 2.1 + z. Is -0.1 equal to d?
False
Let s = 26/3 + -133/15. Let t(c) = c**3. Let r be t(1). Which is smaller: r or s?
s
Let g(k) = -k - 3. Let w be g(-8). Let v = w + -6. Let j be v - ((-14)/4 + 2). Which is greater: j or 2?
2
Let x = -26.9 - -28. Let o = x + -0.1. Suppose 3*s = s + 2. Is s > o?
False
Let w = -35 - -24. Let n = -10.96 - w. Which is smaller: -1 or n?
-1
Let a = -5 + 7. Let u = 1 - a. Let o be (46/115)/((-2)/10). Does u = o?
False
Let p be (-4)/2 + 5 - -7. Suppose -p = 5*o - 3*o. Does -6 = o?
False
Let d = -22.54 - -23. Let c = d + -0.06. Is c <= -1?
False
Let q = 24.4 + -3.4. Let i = -18.2 + q. Let z = 3 - i. Which is smaller: z or 0?
0
Let o = 67 - 56. Which is smaller: o or -1/4?
-1/4
Suppose 10*t - 4 = 9*t. Let r be (4/7)/(-1 - 1). Is t equal to r?
False
Let x = 19/91 - 2/7. Which is smaller: -1 or x?
-1
Let k be ((-6)/3 - -2)/1. Is 3/17 < k?
False
Suppose -l + 6*l + 3*s - 7 = 0, -4*l = 5*s - 3. Suppose -2 = -l*j - 4. Is 2/5 at least j?
True
Let x = -316/7 + 46. Which is smaller: 0 or x?
0
Suppose 8*q - 10*q = 26. Is q smaller than 3?
True
Let c(h) = -h**2 + 12*h + 10. Let m be c(10). Which is bigger: 29 or m?
m
Suppose -5*j + 0 - 5 = 0. Suppose -8 - 2 = -5*y. Is j less than y?
True
Let x = -7.7 - -0.7. Let n = -0.17 + 7.17. Let u = n + x. Is 3/7 less than or equal to u?
False
Let h(s) = -s**2 - 7*s + 7. Let y be h(-8). Let z(p) = -p + 5. Let i be z(5). Is y equal to i?
False
Let v be (6/(-10))/((-4)/20). Suppose -v*p = z + 22, 2*z = -2*z - 16. Is p greater than or equal to -5?
False
Let w = -2 - -1. Let d = 199/1624 - 3/56. Which is greater: d or w?
d
Let b be (5 - 1)*20/(-16). Which is smaller: b or -6?
-6
Let j(w) = w**3 - 8*w**2 - 6*w + 3. Let z be j(9). Let o be ((-6)/z)/((-2)/(-15)). Which is greater: -1 or o?
-1
Let r = 2 - 6. Let l = 3 + r. Is l at least as big as -2/3?
False
Let v = 19.1 + -19. Is v != 4/7?
True
Suppose -4*h = -5*h + 1. Which is greater: h or -2/5?
h
Let f = 0 - -2. Let t = 1 - -1. Suppose t*s = -0*s + 4. Does f = s?
True
Let i = 2 - -3. Suppose -5*j - 22 = -4*a + 27, -5 = i*j. Is 12 at least as big as a?
True
Let v(m) = 