Which is smaller: m or -4?
-4
Let w be 39/9*-3*-1. Which is bigger: w or 9?
w
Let l = 2 - 4. Let t be (4 - 1) + l + -3. Suppose p - 3 = -4. Is p bigger than t?
True
Let s(v) = 4*v - 24. Let h be s(3). Is h < -13?
False
Let r(c) = -c - 2. Let m be r(-4). Is 10 greater than m?
True
Suppose 132 = 43*d - 39*d. Do 34 and d have different values?
True
Let a be -5*1*(-6)/(-5). Let i = -10 - a. Let w = -10 - -6. Are w and i equal?
True
Let v be (-72)/(-45)*2/(-104). Which is smaller: -1 or v?
-1
Let o = 5.2 + -5. Let n = 10.8 + o. Let h = n + -7. Which is smaller: h or 0?
0
Suppose 2*u = -3 - 5. Let v be u/18 - (-56)/441. Is v at most as big as 0?
True
Let k(s) = -s**2 + 2*s - 2. Let r be k(0). Which is bigger: r or 6?
6
Suppose 2*o - 8 = -2*o. Let t = -1 - -1. Let m = 1 + t. Is o bigger than m?
True
Suppose -14 = 7*y - 0. Is y < -4?
False
Let s(j) = -11*j + 9. Let d(n) = 5*n - 4. Let k(z) = 7*d(z) + 3*s(z). Let y be k(1). Is y at most as big as 1?
True
Let x = -8 + 4. Let k(r) = -6*r**2 + 36*r + 36. Let s(a) = a**2 - 7*a - 7. Let l(o) = 2*k(o) + 11*s(o). Let c be l(x). Is -1/4 less than c?
False
Let c = 20 - 20. Let u be 8/(-15) - 2/(-5). Do c and u have the same value?
False
Let b(s) be the first derivative of s**4/4 - s**2/2 + s + 1. Let c be b(1). Let n = -138 - -1243/9. Is n >= c?
False
Let l be 4/18 - 13/18. Let m be 0 - (-12)/8*2. Suppose m*r + 2*t + 5 = -4, -2*r + 4*t = -10. Which is smaller: r or l?
r
Let k(v) = 8*v**3 + 2*v**2 + v. Let z be k(-1). Suppose 3*i + 2*i = -60. Let t = i - z. Does -3 = t?
False
Let n = 1 - 1. Suppose -3*b + 4*b = n. Suppose 0*f + 4 = -2*f. Is b less than or equal to f?
False
Let x = 0.2 + -0.21. Let s = -0.09 + x. Which is bigger: -2 or s?
s
Suppose -2*k - 4*y - 20 = 0, -5*k + y + 5 = -k. Let h = 2 - k. Suppose -t + 3 = 1. Is h equal to t?
True
Let x = 56 + -40. Is x > -2?
True
Let d(n) = n**3 + 6*n**2 + 4*n + 2. Let h be d(-5). Let c = 8 - h. Are 1/6 and c nonequal?
True
Suppose -2*i - 2*i + 210 = -2*s, -5*i - s + 280 = 0. Suppose l + 4*l - i = 0. Is 12 > l?
True
Let q be 22/(-99) - 358/9. Which is bigger: q or -39?
-39
Let v = 4 - 6. Let q = 0.6 - 2.6. Let i = q + v. Is -1/3 != i?
True
Let l = -33 - -45. Which is smaller: l or -2/3?
-2/3
Let l(f) = f - 8. Let b be l(8). Let r be (-2)/(-10)*5/(-6). Is b != r?
True
Suppose 4*q - 4*g = -2*g - 14, -g = -3*q - 13. Let f be (q/(-4))/(3/4). Let c = -2 - -3. Do c and f have different values?
True
Let u = 0 - 0.7. Let g = u - 1.3. Let d = 2 - g. Is d at least -1?
True
Suppose 0 = q + v - 6, 0 = -8*v + 4*v + 20. Let d = -215/154 + 17/14. Is q less than or equal to d?
False
Let a = -10 + 11. Which is bigger: a or -11?
a
Let w = 0.53 - 0.43. Let c be (-1)/(-2)*(-4)/5. Is w < c?
False
Let b be (-2)/(5 + -6 - 1). Suppose 2*q - 4 = -f + 8, -q + 4*f - 12 = 0. Is q bigger than b?
True
Let b = -0.1 - 0.1. Let f = b - -0.5. Let p = -47/15 - -14/5. Which is smaller: f or p?
p
Let p be 1 - (220 - (0 + -1)). Let x = p - -2422/11. Is x greater than -1?
True
Let f = 1 + 2. Suppose -2*b = 5*r - 12, -f*r = 2*b + b - 9. Which is smaller: -2/7 or b?
-2/7
Suppose 4*g - 2*g - 19 = -5*b, 3*g + 2*b - 12 = 0. Suppose -n - 13 = -4*m + 8, 0 = 4*m + 2*n - 18. Suppose -3*k = g*k - m*o + 15, -5*o - 21 = 4*k. Is -4 < k?
False
Let g = 4 + -3.7. Let a = -0.4 + -0.3. Let t = g - a. Is -2/3 at least t?
False
Suppose 9 = 2*p + 7. Is p greater than -2/57?
True
Let k be (-15)/20 - (-58)/(-8). Let f be (-65)/(-20) + 2/k. Let o be (0*f/6)/1. Which is greater: o or 2/5?
2/5
Suppose -5*h + 1 = -4. Let i = 67 + -602/9. Are i and h equal?
False
Let d be -3 + -1*(-20 + 2)/3. Is 4 greater than d?
True
Suppose -b + 2*b - 5*p = -11, -3*p + 4 = 2*b. Which is bigger: b or -3?
b
Let g = -55 - -32. Is g smaller than -23?
False
Let g = 41 - 42. Let f = 103129/63 - 1637. Let z = -59/126 + f. Is z smaller than g?
False
Let c(m) = m**2 + 8*m + 8. Suppose -4*g - 17 - 11 = 0. Let i be c(g). Suppose v + i = -0*v. Which is bigger: -1/7 or v?
-1/7
Suppose -g - 3*g + 4 = 0. Suppose 0 = 5*x + 4 + g. Let u be (-1)/(9/6) - x. Which is bigger: -1/3 or u?
u
Let g(u) = -u + 10. Let i be g(9). Is i less than or equal to -1/9?
False
Let o = -2 - -3. Let i = o + 0. Which is smaller: i or -0.1?
-0.1
Let f = -13/15 + 7/15. Which is smaller: f or 5?
f
Let p be 10/25*(-1 - -6). Suppose 2*c - p = 4. Is c bigger than 2?
True
Let o = 1 - 0. Let g = -124 + 125. Is g less than o?
False
Let g(p) = 2*p**3 + p**2 - 1. Let j be g(1). Suppose 0 = -7*f + j*f. Which is greater: -4 or f?
f
Let h(u) = u + 8. Let i be h(-6). Suppose i*o + 6 = 4. Is -1 smaller than o?
False
Let x(n) = -22*n**3 - 2*n - 1. Let f be x(-1). Which is smaller: f or 24?
f
Let c be (5 - 3) + 1 - 1. Suppose -c*f - o + 3 + 7 = 0, -f + 4*o - 13 = 0. Which is greater: f or 2/5?
f
Suppose 2*w - 3*h + 8 = 0, 4*h = -4*w + 6 - 2. Let r(z) be the first derivative of z**2/2 - 11*z - 2. Let c be r(9). Is c at least w?
False
Suppose -j + 2 = -4. Suppose -j = -0*v - 3*v. Let y(x) = -x**2 + 4*x - 2. Let b be y(v). Is b bigger than 3?
False
Let p be (-1)/(-10)*(1 + 2). Let q be -3 + 0 - (-2)/3*6. Is p < q?
True
Suppose 12*t - 16 + 4 = 0. Let j = 0 - -1. Is t <= j?
True
Let y = 58 + -57. Let x = -0.22 + -0.88. Let k = y + x. Is k smaller than 2/5?
True
Suppose -4*q = -5*q - 1. Let t be ((-14)/(-7))/(7 - q). Suppose 2*y = -y. Which is greater: t or y?
t
Let h = -4.2 - -4. Is -6 equal to h?
False
Let l be 1/1 + (-114)/(-12). Which is smaller: 10 or l?
10
Let l(f) = 0*f**3 + 7 + 3*f**3 + 6*f - 2*f**3 + 3*f**2 + 4*f**2. Let g be l(-6). Do 6 and g have different values?
True
Let q(c) = -c - 3. Let i be q(-6). Let z = -61 + 63. Which is smaller: i or z?
z
Let h be 2/(-4) + (-30)/(-28). Which is smaller: 0 or h?
0
Suppose -5*p + 0 = 5*i - 5, -4*p + 2*i = 8. Let n be -2*(10620/(-56))/(-9). Let k = -42 - n. Which is smaller: k or p?
p
Let b(n) = -n**2 + 1. Let m be b(3). Which is greater: -7 or m?
-7
Let z be -1 + (-24)/(-20) + 171/(-5). Which is smaller: z or -36?
-36
Suppose -4*w + 2 = 6. Let t = 2/63 + -136/315. Do t and w have the same value?
False
Suppose -s = q - 3*s + 3, -s = -3*q - 9. Which is bigger: 3 or q?
3
Suppose -6*i = 2*z - 3*i - 8, -12 = -3*z + 4*i. Let h = z + -2. Suppose 7*b - h*b = 15. Is 1 at most as big as b?
True
Suppose 3*b - 201 + 63 = 0. Let f = 139/3 - b. Which is greater: f or -0.01?
f
Suppose -44 = -2*b - 2*b. Let h = b - 7. Is h at most 5?
True
Suppose -2*y - 5 = -y - 2*c, -3*c + 14 = 5*y. Suppose -28 + 12 = 4*d + 4*t, 0 = 5*d - 3*t + 4. Let u be d - ((-2)/(-11) - 2). Is y at least u?
True
Let a = -2413/1924 - -2/481. Let g be 4/(-14) - 15/21. Which is greater: g or a?
g
Suppose 6*p - 2*p + 4 = 0. Let n(r) = r**2 - 5*r - 3. Let m be n(3). Let k be 22/24 + 6/m. Is k < p?
False
Suppose -11 = 3*h + 5*n, -2*h + 0*n + 3*n = 1. Let d = 7 + h. Suppose 4*i - 2*i = -d*z + 26, 0 = i - 3. Which is bigger: z or 5?
5
Let a = 0 - -1. Suppose 4*y = 3*i - 21, -9 = 2*y - 3*i - 0*i. Let j(q) = q**2 + 7*q + 4. Let o be j(y). Which is smaller: o or a?
o
Suppose 2*a - 10 = 0, -15 = -5*m - 3*a + a. Which is greater: -3 or m?
m
Let n(v) = 3*v + 1. Let c(h) = -3*h - 2. Let p(k) = 4*c(k) + 5*n(k). Let g be p(7). Is g greater than 17?
True
Let b = 8 + -1. Let o(j) = -j**2 + 8*j - 7. Let i be o(b). Which is greater: i or 1/3?
1/3
Let z = 38 - 112/3. Is -90 < z?
True
Suppose 3*a - u = 4*u + 21, 2*u = -2*a - 2. Suppose a = -2*i - 0*i. Is -1 less than i?
False
Suppose 0 = r + 2. Let s be -4 - (-1)/(0 + 1). Which is bigger: s or r?
r
Let x(h) be the second derivative of h**5/20 + 2*h**4/3 - h**3/3 + 5*h**2 - 3*h. Let i be x(-7). Let y = i - 359/5. Is y equal to 1?
False
Let l = -3 + 3. Let k be l/(-2) - (-3 - -4). Is -2 >= k?
False
Suppose 2*y + 10 = 7*y - 2*l, -5*y - 3*l = 15. Suppose 0 = c - y + 3. Is c >= 1?
False
Suppose -4*a = -20, 4*d - 3*a = -2*a - 17. Do d and 2 have different values?
True
Suppose 0 = -4*z - 3*a + 39, 2*a + 2*a - 20 = 0. Let p be z/27 - 1/(-9). Which is greater: p or 0.2?
p
Suppose -2*v + 10 = 4*g, 0*v - 4*v = -5*g + 45. Let h(i) = 5*i + 1. Let m be h(1). Which is greater: m or g?
m
Let f be (-3)/(-4) + 51/(-4). Is f < 4?
True
Let m(i) = i**2 + 3*i - 3. Let b be m(-3). Let f be (b + 5 + -2)/(-2). Suppose 2*p + f = 2. Is 2 at most p?
False
Let w be 5 - 0 - 2 - 4. Let o = -3 + 3. I