be 2/(-10)*25/(-15). Which is smaller: k or 0?
0
Let f = -1.04 + 0.04. Let k be ((1/(-1))/3)/1. Is f <= k?
True
Let k(t) = -t**3 - 9*t**2 - 10*t - 4. Let h be k(-8). Let r be (1 - -2)*h/18. Does 2/5 = r?
False
Suppose -3*k - 21 = -0*k. Let l = k - -5. Suppose -1 = -0*m + m. Which is bigger: l or m?
m
Let l(f) = 4 + 2 + f - 4. Let o be l(-1). Let t be (-1 + o + 0)/2. Does t = -3?
False
Let f be 2 + (17/4 - (-6)/(-24)). Let t(y) = y**2 + 3*y - 5. Let x be t(-5). Which is bigger: f or x?
f
Let c = 62317/11 - 5699. Let g = c + 34. Is g <= 0?
False
Let n = -10 + 24. Which is bigger: n or 12?
n
Let x = 3356 + -107381/32. Let m be (24 + -11)*13/(-160). Let k = x - m. Which is bigger: 1 or k?
k
Let m be -38 + 0/(6 - 3). Let v be m/(-6) + 5/(-15). Let u be 0 - (-3)/(9/v). Is u < 0?
False
Let q(w) = 3*w - 3. Let z(y) = y**2 - 8*y + 8. Let g(k) = 11*q(k) + 4*z(k). Let h be g(1). Which is greater: 3 or h?
h
Suppose -5*i = 5*s + 10, 4*i - 3 - 3 = 3*s. Let q be s/(-3) - 96/198. Which is smaller: q or -1?
-1
Suppose 0 = -4*x + f - 3, 2*x + 2*f - 1 = 3*f. Suppose 1 = 3*p - 14. Suppose -3 = s - p*r + 5, -2*r = 4*s + 10. Is x bigger than s?
True
Let r = 10.032 - 0.032. Which is smaller: r or 3?
3
Let m(q) = -q**2 - 7*q. Let z be m(-7). Suppose z = -5*u + 5, 2 = -0*r + 2*r - 2*u. Which is smaller: 1 or r?
1
Let w = -9 + -4. Suppose -2*q = -2*v - 30, 1 = -v - 4*q - 4. Is w >= v?
True
Let j be (-16)/20*-1*(-5)/(-2). Is 2 at least j?
True
Let z(d) be the third derivative of -d**4/24 - 11*d**3/6 + 2*d**2. Let j be z(-9). Suppose 4*h + 2*s = 2*h + 4, 4*h + 16 = 2*s. Is j greater than h?
False
Suppose 2*d + 7*d - 36 = 0. Do d and 1 have different values?
True
Let a = 0.1 - 30.3. Let l = -27 - a. Let i = l - 3. Is 1 at most as big as i?
False
Let b(d) = -d**3 + 6*d**2 - 2*d - 14. Let z be b(5). Which is smaller: -3/37 or z?
-3/37
Let x = -0.24 - 0.06. Let q = -0.2 - x. Let v = -5 + 5. Which is bigger: v or q?
q
Let m be 1 + 21/(-15) - -1. Let a be (2/21)/(2/6). Which is greater: m or a?
m
Let d = 0 - -1. Let g = -95 + 667/7. Is d less than or equal to g?
False
Let t(i) = i - 1. Let b be t(9). Suppose -4*o = -b*o. Is -3/4 <= o?
True
Suppose -b + 0*b = -2*u + 11, -1 = -b - u. Suppose -o + 4 = -5*v + 2*o, 0 = -3*o + 9. Suppose -v - 3 = 2*h. Do b and h have the same value?
False
Let x be -1 - -2*(-9)/(-24). Which is greater: -0.04 or x?
-0.04
Let a = -0.13 - -0.18. Which is smaller: 1 or a?
a
Suppose b + 6*c = c - 49, -2*b - 110 = -2*c. Which is smaller: -55 or b?
-55
Let z be (6 + -8)/(4/6). Let o(m) = m**3 + 3*m**2 - 2*m - 2. Let h be o(z). Is h at most 5?
True
Let p = -5 + 8. Suppose 2*j = -p*s + j - 2, 3*j = -6. Which is greater: s or -4/7?
s
Let o(x) = 2*x + 8. Let p(u) = u + 4. Let t(a) = 3*o(a) - 5*p(a). Let r be t(-5). Let l be (-4)/(r - 10 - -1). Is l smaller than -1?
False
Suppose 34 = 2*m + 4*o, -o + 50 = 3*m + 4*o. Let w = m - 9. Does 5 = w?
False
Let p = 13 - 27/2. Suppose 0 = 3*x - 4*x + 2. Suppose 2*i = 2*u + x, 0 = 2*i - 5*i + u + 3. Which is smaller: i or p?
p
Suppose -1 = 2*s + 1. Do s and 2/19 have the same value?
False
Let k be (-38)/3*3*-1. Suppose -j - k = 5*v - 0*v, -2*v - 6 = 5*j. Let d = v + 9. Which is smaller: d or -4/9?
-4/9
Suppose 2*v + 6 = -k, -5*k + 2*k - 3*v = 9. Which is bigger: k or -1?
k
Let f be 1/(-2)*(-2 - 44). Let c = -47/2 + f. Is -3 <= c?
True
Let v(a) = a**3 - 2*a**2 - 1. Let j be v(2). Suppose 5*y = -4*d - 33, 3 = d + y + 10. Are j and d equal?
False
Let n be (0/2)/(-2 - -4). Let q(f) = -f**3 + 4*f**2 - 3*f + 2. Let b be q(3). Suppose -b*k + 21 = u + 2*k, 2*k - 8 = 2*u. Which is smaller: n or u?
n
Let v(m) = -m**3 - 6*m**2 - 6*m - 5. Let p be v(-5). Suppose y + 0*y - 1 = p. Let d be 1 + ((-16)/3)/4. Are d and y unequal?
True
Let w be (-2)/4*-1*(-19 - 3). Is -21/2 bigger than w?
True
Let j = 26 - 20. Which is greater: 3 or j?
j
Let j be ((-141852)/285075)/((-3)/(-5)). Let v = 9/1267 + j. Let h = v - -3/5. Is h less than or equal to 0?
True
Let j = 37 + -33. Which is smaller: 2 or j?
2
Let q = 0.9 + 0.1. Suppose 4*n - 7 = 9. Suppose -7*s + n = -3*s. Is s equal to q?
True
Let z = 226/9 + -24. Which is bigger: 2 or z?
2
Let r = 10 + -18. Let u = -7 - r. Is 1 at least u?
True
Let m be (-218)/(-4) + 6/2. Let s = -569/10 + m. Is 1 < s?
False
Suppose 0 = -t + 3*r + 14, -3*t - t = -5*r - 42. Is t at least as big as 13/2?
True
Suppose -5*i + 2*g = 10, 3*i + 0*g = -g - 6. Is i >= -12/7?
False
Suppose 3*k - 2*u - 5 = 2*k, -5*u - 2 = -k. Are k and 0.08 equal?
False
Suppose 2*t + 24 = 4*x - 0*t, 16 = -4*t. Suppose 2*r + x = 2. Does r = 2/5?
False
Let a be ((-20)/(-8))/(2/4). Suppose 0 = r - p + 2*p - 4, a*r - 2*p = -15. Let s = 3/29 + 14/145. Which is greater: r or s?
s
Let y = 68 + -38. Which is bigger: 0.2 or y?
y
Let b = 1.95 + 0.05. Let u = b + -1.8. Let n = 0.1 - u. Which is greater: n or 0.1?
0.1
Let i = 27 + -49. Which is bigger: i or 0?
0
Let w(y) = y**3 + y**2 - 4*y + 3. Let l be w(2). Suppose -f - 2 = -l. Let p = f - 1. Is 3 not equal to p?
True
Let p = 94 + -61. Is p <= 33?
True
Let b be 158/(-10) - (-6)/(-30). Let w be 2 + ((-102)/b)/(-3). Which is smaller: -1 or w?
-1
Let x = 42 - 169/4. Let n(i) = -i**2 - i. Let p be n(-1). Is p smaller than x?
False
Let v be (-6 - -1 - -4)/(-1). Which is smaller: -1/7 or v?
-1/7
Let w = -1433/1314 - 3/146. Which is greater: w or 0?
0
Let u = -1.2 + 2.1. Let l = u + -0.6. Let d = l + 0.7. Is -0.02 smaller than d?
True
Let j be ((-12)/3)/(-16)*2/2. Which is bigger: -12 or j?
j
Suppose 4*b + 26 = 5*a, -3 = -2*a + 2*b + 9. Let s be 3/((-18)/8) + a. Let y = 28/5 + -262/45. Are y and s equal?
False
Let o = 1015 - 1011. Suppose -2*z + z + 5 = 0. Which is bigger: z or o?
z
Let w = -38 - -38. Which is bigger: w or -1/40?
w
Let y be (-4)/(-10) - 7*(-1)/(-14). Is 1 greater than or equal to y?
True
Let s be (0 + 1)*(-2 + 0). Let n be (-18)/7 + (-2)/(-1). Is s less than or equal to n?
True
Let o = -0.4 - -0.6. Let y = -0.5 - -0.2. Let i = 0.2 + y. Which is smaller: o or i?
i
Let k be 54/(-40) + (-1)/4. Let m = 2 + k. Let i = -293 - -292.98. Which is smaller: m or i?
i
Let c(z) = z**2 - 4*z + 6. Let k be c(4). Let u = -11 + k. Is -5 < u?
False
Suppose c - 2*n - 1 = 0, 6*c - 4*c - 2 = -3*n. Suppose 7 = 3*k - 2. Let j = 3 - k. Is j greater than or equal to c?
False
Let v be (-46)/(-14) - 2/7. Let f be 10/v + (-3)/9. Suppose 0 = 3*s + 12, -3*s - 10 = -w + 2*w. Is w greater than f?
False
Let u = 357993/182 - 1967. Let s be ((-9)/(-378))/((-104)/(-1614)). Let z = s - u. Which is smaller: 0 or z?
0
Let t be 5/((-60)/8)*-24. Let g be 4/t*4*0. Let o be (1/4)/(2/(-4)). Is o > g?
False
Suppose -4*a + 18 = 2*l, 2 = -3*a + 4*a - 2*l. Suppose -a*b - 16 = -4*k, -4*b - 2*k - 3 = 1. Is b greater than 0.4?
False
Suppose 0 = 2*p - 7*h + 2*h + 25, -20 = -4*h. Suppose 4*w - 5*j - 33 = p, 2*w = -w - 3*j + 18. Which is greater: 8 or w?
8
Let y(x) = x**2 - x - 2. Let o be y(3). Is 1 equal to o?
False
Suppose 3*c + 2*y = 28, 3*y - 4 = c - 28. Which is smaller: 13 or c?
c
Suppose 4*o - 8 = -0. Suppose -4*l = o*v - 2, -5*v - l = 2*l - 5. Let a = -3/13 - 4/39. Which is smaller: v or a?
a
Let c be 3/((-7)/((-28)/6)) + 0. Which is bigger: c or 7/11?
c
Suppose -l + 4 = -2. Let w be l*-1*2/2. Let v = w + 5. Does v = 0?
False
Let z(g) = -g - 7. Let i be z(-4). Which is smaller: -4 or i?
-4
Let t = -4 - -3. Let z = -0.4 - -0.7. Let p = z + -0.5. Does t = p?
False
Let h = -1115/22 - -101/2. Let i = 33 - 34. Is h not equal to i?
True
Let j be 182/252 - (-2)/(-9). Is j > -0.1?
True
Let x = -3.95 - 0.05. Let w = -0.08 + 0.18. Is w smaller than x?
False
Suppose -2*m = 5*t + 17, 5 = -2*t - 2*m + 3*m. Let j be t/(0 + 171/6). Are 0 and j nonequal?
True
Let u be (18/5)/((-2)/(-5)). Suppose 5*q - 1 = u. Is 3 smaller than q?
False
Let y = 0.3 + -1.3. Let d = y + 1.5. Let k = -0.4 + d. Which is greater: 0 or k?
k
Let a(c) = c**3 + c + 10. Let y be a(0). Let m(d) = -8*d + 26. Let o be m(2). Is y >= o?
True
Suppose -k = -v - 5, v + 5*k - 7 = 4*v. Let t = v + 5. Is t greater than or equal to -4?
True
Let t = -8.82 - -6.23. Let n = -0.01 + t. Let v = n - -0.6. Is v greater than or equal to -2/7?
False
Let h = -13 + 13. Let a be (-3)/15 - 62/(-210). Which is bigger: h or a?
a
Let j = 0 - 1. Let f = 3 + j. Which is smaller: -4 or f?
-4
Let k(d) = 3*d - 2