k - 4. Which is bigger: k or y?
y
Let r be (-24)/96 - 326/8. Which is greater: -209/5 or r?
r
Suppose 3*d - 7*d - 3*f - 96 = 0, -2*f - 100 = 4*d. Is d greater than or equal to -29?
True
Let l = -1693/12 - -141. Which is bigger: l or 0?
0
Let q be -2 + 12 + (-31 - -21). Let j(v) be the third derivative of v**4/24 - 7*v**3/6 - 2*v**2. Let c be j(4). Is q >= c?
True
Suppose -126 = 5*h - 11*h. Let w be (-8)/(5 - 1) + 48/h. Which is smaller: 25 or w?
w
Let p be ((-30)/(-25))/((-2)/(-5)). Let g = p + -3. Let m = -374 - -374. Is m at most as big as g?
True
Let r = 7.7 + -8. Let u = -0.41 - r. Let s = 42/5 + -8. Is s less than or equal to u?
False
Suppose -w - q = 2*q - 13, -12 = w - 2*q. Let l be (-3 - 55/(-10))*w. Which is greater: l or -4?
-4
Let h be (1 - 11/5)/((-6)/(-20)). Let r be (-1)/36*-17 - h/(-16). Let a = -0.3 - -0.4. Is r equal to a?
False
Suppose -27 = 9*t + 18*t. Is -7/67 != t?
True
Let p be 3/(-2) - ((-8454)/(-1548) - 7). Are -1 and p nonequal?
True
Let i = -623 + 501. Which is smaller: i or -1?
i
Let s be 2/(1/13*-2). Let w = -27 - s. Suppose -4*d - 5*y - 57 = 0, 2*d - 9*y + 23 = -6*y. Which is smaller: d or w?
w
Let y = -2447 + 21992/9. Let h = y + 34/9. Let j = 2 - 2.2. Do j and h have the same value?
False
Let d = -2831 - -625657/221. Do d and 1 have the same value?
False
Suppose -i - 130 = -6*i + 3*t, -5*t = i + 2. Let a = -25 + i. Does a = -3?
False
Let x(i) be the second derivative of -i**5/20 + i**3/3 - i**2 - 20*i. Let w be x(0). Is w not equal to -7/3?
True
Let i be (-2 + 4)*(-2)/4. Let y = 651 + -22133/34. Which is greater: i or y?
y
Suppose 71*v - 105*v - 2856 = 0. Which is bigger: v or -85?
v
Suppose 0 = -212*h + 219*h. Is -3/85 equal to h?
False
Let a = -2.31 - 2.69. Which is smaller: a or 48?
a
Let m = 0.0252 - -13.2348. Let k = -0.26 + m. Let j = 12.9 - k. Do 20 and j have the same value?
False
Let m(p) = -p**3 - 11*p**2 + 2. Let k be m(-11). Let q(t) = 4*t - 5*t + 1 + 2*t. Let r be q(3). Which is smaller: k or r?
k
Let b = 5275/6 + -879. Is -31 not equal to b?
True
Let b(j) = 2*j**2 - 5*j + 4. Let n be b(4). Suppose -3*m - m = -n. Suppose -c - m = -1. Are c and -3 nonequal?
False
Let s(v) = v**3 - 1. Let x(d) = 6*d**3 - 16*d**2 - 15*d - 27. Let y(p) = 5*s(p) - x(p). Let a be y(17). Let k be (-10)/6 - (-4)/a. Which is smaller: k or -14/9?
k
Let f = 17441 - 122355/7. Is -38 at most f?
False
Let q = 13 - -7. Suppose 11*v - q = 6*v. Which is greater: v or -2/3?
v
Let u(r) = 6*r**2 - 124*r + 50. Let m be u(22). Does m = 225?
False
Let v = -49139/2 + 3194239/130. Let w = v - 9/5. Let k = w + -1/52. Which is greater: 3 or k?
3
Suppose 13*g - g = 624. Suppose -3*l = -6, 5*b - g - 339 = 2*l. Which is smaller: b or 78?
78
Let m = 378 + -344.2. Let f = m - 34. Let u = -0.2 - -1.2. Is u < f?
False
Let k = 11 - 16. Let x = -9 - -12. Let w = x - 9. Is w bigger than k?
False
Let a = 0.3 + -8.3. Let n be 2/7 - ((-24)/14 - -2). Suppose -9*y + n*y = 0. Which is smaller: a or y?
a
Suppose -3*p = -p - 6. Suppose 14 - 65 = -p*m. Let x = m + -15. Which is greater: x or 1?
x
Let y = -127 + 175. Which is smaller: -1/3 or y?
-1/3
Let p be 6/(-21) + (-3)/210*-916. Let l = 628/35 - p. Is 5 < l?
True
Let y = -0.067 - -0.167. Let o = -0.2 - y. Let s = 0.2 - 0.3. Which is smaller: o or s?
o
Let b be -1 + 0/(-1) - (-10 + 9). Suppose 10 - 1 = -x. Let o be 2 + x/(-33) + -2. Which is smaller: o or b?
b
Let m be ((-14)/(-4))/((-3)/(-6)). Let t = 17 - 8. Let i = t + -2. Is i at most as big as m?
True
Suppose 4*t + 2*a - 18 = 20, -14 = -t + a. Let d = 98 + -99. Is d greater than t?
False
Suppose 3 = 3*p - 6. Suppose p*d + 7 = 2*q, 0*d + 4*d + 2*q = -14. Let i = 168 - 168. Which is smaller: i or d?
d
Suppose 38 = 4*y - 6. Let z = 19 - y. Let c = 15 - 9. Do c and z have the same value?
False
Let a = -81 + 66. Do a and -47/3 have different values?
True
Let o = -976 - -22442/23. Which is bigger: 1 or o?
1
Let t be (((-8)/25)/(-4))/(4/(-6)). Is t less than 0?
True
Let r be -3*20/15 + -12. Suppose -3*o - 19 = 2*i + 33, 4*i = -20. Which is greater: o or r?
o
Suppose -73 - 123 = -4*c. Which is smaller: 43 or c?
43
Let g(b) = b + 12. Let o be g(-8). Suppose 7*w + 72 = o*w. Which is smaller: w or -23?
w
Let b(i) = -i**3 + 6*i**2 - 6*i + 5. Let s be b(5). Suppose s = a - 2, 2*k + k - 4 = a. Which is smaller: -1 or k?
-1
Suppose -1008 = 224*m - 233*m. Are m and 112 non-equal?
False
Let o(d) = -2*d - 6. Let s be o(-3). Suppose s = -2*f - f. Let k = 3076/5599 + -2/509. Do f and k have different values?
True
Let y be (12 - -16)/(-14) - (2 + -5). Is -22/125 smaller than y?
True
Let b = 54 - 53. Let m be ((-20)/(-15))/(25*(-2)/6). Which is bigger: m or b?
b
Let n(x) = -x. Let f be n(12). Let h be (f/18)/(4/(-36)). Is 6 bigger than h?
False
Suppose d + 5 = -4*v + 6*v, 0 = 2*v. Suppose g - 2*h + h + 4 = 0, h = 1. Which is bigger: d or g?
g
Let m = -12 - -32. Is m equal to 132/7?
False
Let d = -222 + 223. Does -3/19 = d?
False
Let u(s) = 1 + 14 + 0*s + 3*s. Let x be u(-5). Suppose 4 = -4*p + 2*p. Is p at least as big as x?
False
Let p = 303 + -150. Let z be 34/p + (-46)/126. Is z <= 0?
True
Suppose 5*x + 2*y + 19 = 4, -x + 14 = -3*y. Is x != 1/790?
True
Let o(w) = -5*w**2 + 20*w + 9. Let v(u) = u**2 - 2*u - 2. Let f(m) = -o(m) - 6*v(m). Suppose 2*r + 12 = -0*r. Let y be f(r). Which is smaller: y or 16?
y
Let y(a) be the second derivative of 2*a**3 - a**2/2 - 2*a. Let c be y(1). Let g = -48 - -58. Which is bigger: g or c?
c
Let p(b) = b**2 + 5*b + 5. Let z be p(-4). Let d be (-220)/(-90) - ((-33)/27 + z). Is d != 4?
True
Let f(c) = c**2 - 11*c - 4. Let x be f(12). Suppose 153 = 7*v + 20. Suppose 3*y + 0*y + 3*j - 27 = 0, -5*j - v = -3*y. Are y and x equal?
True
Suppose -5*w + w + 4 = 0. Let k be -4 - 287/(-60) - (-2)/(-8). Is w equal to k?
False
Let j(k) = -10*k - 89. Let o be j(-9). Which is smaller: -28/79 or o?
-28/79
Suppose -691 = -5*d + 4*q, -17*q + 524 = 4*d - 13*q. Which is smaller: 541/4 or d?
d
Let g = 0.1 + -1.1. Let n be 1/(-4)*(-6)/32. Is n at most g?
False
Let g = 215 + -221. Does -35 = g?
False
Let c = -275 - -273. Let z = 2.915 - -0.085. Which is smaller: z or c?
c
Let t(u) = u + 8. Let x be t(-9). Let j = 1 - -1. Suppose 3*o - j*o = -3. Is o > x?
False
Let j = 12.15 - 12. Let d = 5.15 - j. Let k = -0.76 + -0.24. Which is smaller: d or k?
k
Suppose -116*c + 110*c - 654 = 0. Which is bigger: 2 or c?
2
Let q = 2/939 + -1892/6573. Which is smaller: q or 6/13?
q
Let a be (-1 - -2) + -3 + 63992/31977. Which is smaller: -1 or a?
-1
Let m be 2*1 - 0/6. Suppose m = v + 3. Is 1/29 smaller than v?
False
Let u = 659 + -707. Is 9 at most as big as u?
False
Let a be (-11)/(2 + -6 - -5). Let o = -30 + 15. Let m = o - -4. Are a and m unequal?
False
Let l = 18/5 - 74/15. Let t(v) = -2*v + 30. Let p be t(13). Suppose r = -p*r. Which is smaller: r or l?
l
Suppose -4*z - 2*j + 0*j - 86 = 0, j - 1 = 0. Suppose -4*n - 147 + 44 = 5*v, 5*v + 121 = 2*n. Which is bigger: v or z?
z
Suppose -3*u + u = 5*y - 24, 2*u + 3*y - 16 = 0. Suppose -10 - 14 = -u*x. Let i = x - 13. Is i not equal to -10/7?
True
Let q = 3.9 - -4.1. Let p = q + -8.4. Which is smaller: 4 or p?
p
Let n be (-13 - -11)*(459/(-66))/(-3). Which is smaller: -6 or n?
-6
Suppose 261 = -76*b + 125 - 396. Let i(x) = -7*x**2 - x. Let d be i(-1). Do b and d have the same value?
False
Let q(j) = -2*j**2 - 63*j + 60. Let w be q(-31). Do w and 90 have the same value?
False
Let u be (14/3 + (-14)/21)/(-1). Let y be ((-6)/(-12))/((-42)/u). Which is greater: 0 or y?
y
Let f be (-2)/((-1)/(5/(25/(-20)))). Let q(x) = -3*x + 1. Let p be q(3). Is p < f?
False
Let h(a) = -13*a + 2. Let z be h(-3). Let p = 0.447 + -0.447. Do p and z have the same value?
False
Suppose -16*m + p - 3 = -12*m, 3*m + p = 3. Suppose l + 10 = -1. Is m > l?
True
Suppose -m - r - 48 = 0, 46 + 2 = -m + r. Let a be (4 - m/(-30))/((-6)/(-20)). Do 7 and a have different values?
True
Let h(u) = u + 13. Let k be h(-8). Suppose 4*d - k*d = 0. Suppose -101*q + 99*q + 2 = 0. Are d and q non-equal?
True
Let m be 5/(-3) + 4/6. Let j = -110187/9022 - 233/347. Let b = -168/13 - j. Is b > m?
True
Let y(x) = x**2 + 16*x + 5. Let f(z) = z - 16. Let d be f(0). Let v be y(d). Suppose v*r - r + 68 = 0. Are r and -16 unequal?
True
Let c(n) = n**3 - 13*n**2 - 18*n + 7. Let r be c(