s + 11. Let f be a(10). Let m be (-22)/(-24) + (-14)/f. Which is greater: m or 0?
m
Let z = 10210/3 + -3331. Let s = 73 - z. Let w(o) = o - 4. Let a be w(6). Is s greater than a?
False
Let x = -19338454486459/17663 + 1094856734. Let k = 3/1039 + x. Which is smaller: 1 or k?
k
Let r = -38 - -40.7. Let v = -3 + r. Let z = -3 - -2. Which is bigger: v or z?
v
Suppose 6*p - 12 = 2*p. Suppose -5*z + 2*z = -p*u + 12, -z = -4*u + 19. Suppose l - 1 = z. Which is smaller: 3 or l?
l
Let g = -66 - -67. Is 42 greater than g?
True
Let v be (-7 - 91/14)/((-1)/(-2)). Is -26 less than v?
False
Suppose 2*k = -k. Suppose -w - 1 + 7 = k. Let s be 15/w*-1 + 3. Which is bigger: 2 or s?
2
Let c be 11/4 - (-2)/8. Suppose -3*r = -0*r - 21. Suppose 2*o = r - 1. Is c at most as big as o?
True
Suppose -5 + 2 = -3*w. Let x be w/((-2)/2*1). Let h = -1 - -5/4. Is h at most as big as x?
False
Suppose 4*h + 2 = 3*s, -s + 4 = 2*s - 2*h. Suppose -m + 1 + 4 = 0, s*f + 3*m = 23. Suppose c - 5*w = 31, -3*w = f*c - 2*w - 19. Which is smaller: 5 or c?
5
Let b be ((8/14)/4)/((-2)/(-8)). Which is bigger: -2/13 or b?
b
Suppose 0*h = h. Let m be 42/(-70) - 1/(-5). Which is bigger: m or h?
h
Let d = -11 - -15. Is d smaller than 4?
False
Let v = -25 - -13. Suppose f - 2*f = -5*r - 70, -31 = 2*r - f. Which is smaller: v or r?
r
Suppose 0 = 4*z + 3*s + 8 - 25, 5*z + 2*s - 23 = 0. Suppose z*o - 2*o = 27. Let v be o/3*1/1. Is 1 at most v?
True
Let u be (8/(-8))/((-2)/(-18)). Which is greater: u or -19/2?
u
Suppose 0 = t - 4*m + 27, 3*t - m - 2*m + 45 = 0. Is t < -11?
False
Let t be (-52)/(-24) + (-2)/12. Suppose -f + 4 = t. Is 6 >= f?
True
Suppose -8 = -3*r - 2. Suppose -3*n - 3 = 3*o, -4*n + 4 = -0*n + r*o. Is 2 greater than or equal to n?
False
Suppose 3*p = w + 15, -p + w - 11 = 6*w. Let o be 0/(2 + 0 - p). Let j be (-1 - o)/(1/(-2)). Does j = 1?
False
Suppose 3*w - 2 = 1. Let h be ((-3)/(1 + 11))/(-2). Which is bigger: h or w?
w
Suppose -l + 4*l - 4*w - 4 = 0, 12 = -l - 2*w. Let y be (-4)/(-10) - (-24)/15. Suppose -5 - 5 = y*h. Is h < l?
True
Let r be (-20)/8*24/(-10). Let a be 2/r*6/13. Let m be 2/7 + (-2)/7. Is m less than or equal to a?
True
Let v = -104/3 - -2986/87. Is v at most 0?
True
Let p = -6.9 - -7. Let y = 1 + -0.9. Let m = y - -0.9. Which is greater: p or m?
m
Suppose -c + 1 = -1. Is c not equal to -12?
True
Let v be (0*3/(-6))/(-2). Let m = 14/57 + -296/741. Are m and v unequal?
True
Let o = -0.03 - 13.97. Let u = -13 - o. Is u >= 7?
False
Suppose -2*j + 5*i = -31, -3*i + 4*i = -j - 2. Suppose -6 = -4*h + z, 0 = 4*h - j*h - z. Suppose -3*r - 3 = -h*r. Is r smaller than -4?
False
Suppose 6*b - 3*b = -66. Which is smaller: b or -21?
b
Let n = -32 + 22. Let z be (-4)/n + 64/(-110). Let o be 5 - (-7 + 96/8). Which is bigger: o or z?
o
Suppose 3*h = -4 + 10. Which is smaller: 5/3 or h?
5/3
Let f = -0.4 - -0.7. Let l = f + -0.2. Which is greater: l or -5/3?
l
Let v = -27 + 129/5. Suppose j = -2 + 4. Suppose 2*g + 2 = -z - 2*z, -4*g = 3*z - j. Is z <= v?
True
Suppose -5*j + q + 9 + 5 = 0, j = 2*q + 1. Suppose 2*t - j = -2*p - 3*t, -4*p - 6 = -2*t. Is 1/21 bigger than p?
True
Let d(w) = w. Let m be d(0). Suppose -3*p + 2 = -p. Which is smaller: p or m?
m
Let d be 1888/(-9) - (-4)/(-18). Let k be 4/14 - (-144)/d. Is k smaller than -1?
False
Let o = -2 + 9. Suppose 0 = z + 2*h - 7*h + o, -3*z - 4*h = -55. Suppose -j = -5*c + z, -2*j + j - 4*c = -14. Which is smaller: 3 or j?
j
Let b(m) = -m**3 + 15*m**2 - 24*m - 27. Let q be b(13). Suppose -5 = 2*d + 7. Let n be (-29)/39 + d/(-9). Is n >= q?
True
Let x = 1.8 + -1.9. Is 2/5 at most x?
False
Suppose -5*c = 7 - 37. Is c at most as big as 8?
True
Suppose -4*f + n - 68 - 27 = 0, 4*n = -4. Is -24 > f?
False
Suppose 0*b = -3*b - 39. Is -13 greater than b?
False
Let z = 17 - 12. Suppose 0 = -2*d - z + 3. Which is smaller: d or -4/9?
d
Let j be (-2)/(-9) + 110/(-90). Is 1/16 >= j?
True
Suppose -m = -0*w - w + 13, 5*w - 4*m - 65 = 0. Suppose 3*u = s + 6, -2*u = 2*s - 33 + w. Is s less than 6?
False
Let h = 3.1 - 3. Is -2/11 smaller than h?
True
Let i be -5 - -2 - -2 - -3. Is i smaller than 4?
True
Let u(f) = 6*f + 6. Let x be u(6). Let g be (9/4)/(x/224). Is g equal to -2?
False
Let t = -43 - -64. Let o = t + -16. Which is greater: o or -2?
o
Let r be 2/(-6) - (64/24 + 5). Which is bigger: r or -7?
-7
Suppose -3*b = 623 - 221. Let s = b + 407/3. Which is bigger: s or 1?
s
Suppose 4*r - 5*r + 1 = 0. Are 2 and r nonequal?
True
Let j(r) = -6*r + 10. Let q(b) = -7*b + 9. Let z(s) = -6*j(s) + 5*q(s). Let k be z(14). Which is smaller: 1/3 or k?
k
Suppose 3 + 2 = 5*x. Is x smaller than 2.1?
True
Let f = 0.95 - 1. Which is bigger: f or -0.1?
f
Let w = -587 - -35805/61. Is 1 > w?
True
Let a be -1 + 0 - (-232)/244. Which is bigger: a or 1?
1
Suppose 0 = 5*a - 15, -2*p - 2*p - a = -147. Let u be ((-1)/2)/((-3)/p). Let c be 3/u*4/(-10). Which is bigger: 1 or c?
1
Let r = 4 - -10. Let l = -12.6 + r. Let g = 0.4 - l. Is g at most as big as 1?
True
Let p = -5 - -3. Let x = -2/65 - 10/13. Which is bigger: x or p?
x
Suppose d - 2*y - y + 14 = 0, 0 = -3*y + 12. Let j be (5/3 + d)*0. Which is smaller: j or -0.1?
-0.1
Let b be (-7)/((-1260)/32) + 6/27. Let g = 0 - 0. Let z(o) = o**3 + o**2 + 1. Let t be z(g). Which is greater: t or b?
t
Suppose 27 = 3*v + 3*x, -2*v = -0*v - 3*x + 2. Suppose 0 = h - 3 - v. Suppose 3*z - 5*i = 7, h*i + 8 = 4*i. Which is bigger: -2/11 or z?
-2/11
Suppose k = -16 + 1. Does -17 = k?
False
Suppose -n + 32808 = 2*n. Let g = -306123/28 + n. Let j = -11/4 + g. Which is smaller: 1/3 or j?
j
Let n = -255 + 459. Let z = -3470/17 + n. Do z and -1/3 have different values?
True
Suppose t + 5*d + 15 = 0, -t = 3*t - 3*d + 14. Which is smaller: t or -4?
t
Let c be (2 - 6)/2 - 0. Let d = -2 - c. Suppose -4*b - 34 = 5*z, -3*z + b - 4*b - 21 = d. Does z = -6?
True
Let b = -0.03 - 1.97. Let z = b + 1. Let s = -0.2 - -0.2. Is s less than z?
False
Suppose -d + 2 = -0. Let c be d + 1 + 7/(-3). Is 1 > c?
True
Let v(u) = -u**3 - u**2. Suppose b = -3*b - 8. Let a be v(b). Suppose -o + 2*m + 4 = 0, -a = 3*m + 2. Do -1/4 and o have different values?
True
Let l(w) = -w**2 - w - 3. Let t be l(0). Let o be t/(-7) + (-78)/84. Is o not equal to 0?
True
Suppose 3*x + 2*i - 3*i + 5 = 0, -10 = 3*x - 2*i. Let g be 1 - 1 - 2/(-4). Is x at least g?
False
Suppose 5*f + 2 = 3*f. Is 1/68 equal to f?
False
Let z be (1/1)/(-1 + 0). Let c(r) = -6*r**3 + 2*r**2 + 2*r + 1. Let g be c(-1). Let b = -8 + g. Is b smaller than z?
False
Let a(j) = j**3 + 7*j**2 + 7*j + 7. Let u be a(-6). Let o = 4 + -2. Is u equal to o?
False
Suppose 0 = -2*h - 2*f - 8, h - 5*f = 3*h + 17. Let n = h + 3. Suppose 2*p - 12 = 4*k + n, p = 5*k + 19. Is 1 greater than p?
True
Let o = -1 + 1.4. Let g = o - 0.2. Let f = -211 + 211.2. Is f != g?
False
Let k = -14/13 + 71/78. Do k and -1 have the same value?
False
Suppose 0 = -7*h + 2 + 5. Which is smaller: 2/47 or h?
2/47
Let d(c) = -c**3 + 2*c**2 + 2*c + 3. Let h = 5 + -2. Let r be d(h). Let s be (-21)/18 + (-2)/(-4). Is r at most s?
False
Let w = 11.9 + -11. Let m = -0.1 - w. Let o = -0.323 + 0.123. Is m at most o?
True
Let f = 5 - 7. Let x be -2 + (3/3 - -2). Is x != f?
True
Let u(c) = -c**3 - 5*c**2 - 2*c + 2. Let n be 2 + (-7 + 2 - 1). Let g be u(n). Suppose -5 = k + 1. Do g and k have the same value?
True
Let c = 40188 + -3014203/75. Let d = -24/25 + c. Which is smaller: -2 or d?
d
Suppose 0 = -g + 3*m - 6*m - 17, 14 = 3*g - 4*m. Let d be 5/((-80)/(-22)) + -3 + 1. Which is bigger: g or d?
d
Let y be 15/(-6) + 2/4. Suppose 3 - 6 = -3*o, 3*h + o - 16 = 0. Suppose -4*b + 5*s - 31 = 0, -h*b - 3*s = 9 + 2. Is y <= b?
False
Let z be (-7)/21*(22 + -1). Let y = 5 - 9/2. Do y and z have different values?
True
Let n be 3/(-19)*(-13)/(-65). Which is greater: n or 0?
0
Let o be (40/(-28))/(9/7). Let h be (-2)/(-7) - 16/7. Which is smaller: o or h?
h
Let d = 1.7 - 1.3. Are d and 0 equal?
False
Suppose -4*p - 10 = p. Let q = -1 - p. Which is greater: -11 or q?
q
Suppose 0 = 2*k + 152 + 142. Let q be 12/(-15) - k/90. Is q less than 1?
True
Let z be 0 + 1 + -1 + 1. Which is smaller: z or 8/5?
z
Suppose 0 = f + 2*f. Let v(a) = 0*a**2 + 3*a**2 - a**3 + 3*a - 4 - 6*a**2 + f*a**2. Let l be v(-4). Is 2/3 bigger than l?
True
Let n = -1.5 + 0.5. Let x = n - -0.8. Which i