ich is greater: k or 11/3?
k
Suppose 2*w = -2*w - 8. Let t be (-4)/(-10) + 34/(-10). Let g be -1 - t/((-3)/w). Which is smaller: g or 0?
0
Let y(f) = f**2 - 2*f + 2. Let d be y(2). Suppose -x = -3*w - 14, 19 = -3*w - 0*w + d*x. Let v be (w - 2 - -4)/1. Is v greater than or equal to 20/9?
False
Let r be 15*(26/(-10) - -1). Let n be (-6)/(-7)*294/r. Which is greater: n or -11?
n
Let l(k) = -4*k + 19. Let o(f) = -f - 1. Let n(v) = l(v) - 5*o(v). Let a be n(-6). Do 15 and a have different values?
True
Let u = 8935/22 - 406. Is -2 equal to u?
False
Suppose 5 = i + 3. Suppose 4*l = p + 7, -p + 2*l = p + i. Which is greater: p or 11/7?
11/7
Let p be (58/9*-3)/((-15)/(-9)). Is p less than or equal to -13?
False
Suppose -z = 3*y - 68, 3*y + 193 = 3*z - 59. Which is greater: 79 or z?
z
Let p be ((-6)/5)/((-2)/(-10)). Suppose -m - m = -4*a + 46, 2*a = -m - 3. Let w = p - m. Is w greater than or equal to 6?
True
Suppose 0 = 4*y + 2*y + 3*y. Which is smaller: y or -4/187?
-4/187
Let s = -186 + 5396/29. Suppose -11 = 2*v - 9. Is v <= s?
True
Suppose -8*j + 5*j - 66 = 0. Which is greater: -87/4 or j?
-87/4
Let k = 1/410 - -807/5330. Is 2 > k?
True
Let z = -11 - -19. Suppose 13*n + 5 = z*n. Which is bigger: n or -5/11?
-5/11
Let o = 7262 - 7261. Let k = 61 + -21. Is o >= k?
False
Let f = 5171996/871 - 5938. Which is bigger: 1 or f?
1
Let a = 918 - 930. Which is smaller: -13 or a?
-13
Suppose 8 = -2*t - 0. Let i be t/(-3) + (-2)/3. Let d = -6 - -8. Is i less than or equal to d?
True
Let n(l) = 55*l - 277. Let x be n(5). Let f = 1/13 - 71/78. Are f and x equal?
False
Let x = 0.04 + -17.04. Let c = x - -17.07. Let f = c + -1.07. Is f at most as big as 1/3?
True
Let m = 28.4 + -33. Let t = 4.7 + m. Is -0.29 less than or equal to t?
True
Suppose -2*g + 0 - 4 = 0. Let w be (-9)/g*12/(-9). Let i(r) = 2*r + 11. Let p be i(w). Which is greater: p or 0?
0
Let m(z) = -19*z + 5*z**2 - 5 + z**3 + 1 + 20*z. Let h be m(-4). Which is smaller: h or 2?
2
Suppose 4*f - 2620 = -4*a + 25476, 3*a - f - 21092 = 0. Let m be 129/a*(-2)/(-2). Let r = -3/71 - m. Are r and 0 nonequal?
True
Let i be (-8)/12*118/(-4). Let h = i - 1021/51. Which is smaller: h or 1?
h
Suppose -4*h - 35 = 45. Let w be (6/(-16))/((-1)/h). Which is smaller: w or -7?
w
Suppose 2*u - 370 = -4*q, 4*q + 2*u = 4*u + 358. Is q at least as big as 92?
False
Let o(l) = l**3 + 11*l**2 + 9*l - 16. Let j be o(-10). Which is bigger: -78/17 or j?
-78/17
Suppose -2*s + 19*s - 3519 = 0. Is 206 > s?
False
Let y(m) = m**2 + 15*m + 18. Let g be y(-14). Let b be (-14)/(-4)*6/3. Is b equal to g?
False
Suppose 4*i + 55 = -3*b, 5*b = 3*i - 162 + 51. Let x = b - -26. Suppose x*u + 3 = 3*p + 46, 3*u = p + 21. Is p bigger than -7?
True
Let y(j) = 12*j - 3. Let b be y(5). Let c = -71 - -128. Is c greater than b?
False
Let f be (4/12)/((-5)/(-6)). Let t = 6.3 - 6.47. Do f and t have different values?
True
Suppose 17 + 165 = -26*q. Let t = -0.5 - 0. Is q at least as big as t?
False
Suppose 2*q = -3*r + 8, -5 = -q - 4. Suppose -5*d + r*d - 14 = 2*x, -d = 5*x + 22. Is -14/11 < d?
False
Let z be ((-12)/40*4)/242. Is 0 greater than z?
True
Let g be 3/4 + -1 - (-2407)/8700. Suppose 4*r - 4 = -0*r. Which is smaller: g or r?
g
Let x(d) = -d**2 - 16*d - 43. Let t be x(-15). Which is bigger: -26 or t?
-26
Let b = -115 + 150. Do 32 and b have different values?
True
Let z be 38/2185*10/(-12). Let k(a) = -a - 6. Let j be k(-7). Is z greater than j?
False
Suppose 2 = 2*c, -8 = -0*y + y - 5*c. Suppose o = -h + 5, -o = -3*h - 0*o + 23. Let p = -11 + h. Is p greater than y?
False
Let z be (12/384)/((-1)/6). Is z < 1?
True
Let r be (-502)/(-3)*(-6)/4. Let s = r - -550. Let t = -3291/11 + s. Which is greater: 0 or t?
0
Let u(r) = -4*r + 2*r**2 - 4*r + 5 - 4*r**3 + 3*r**3 + 2*r**3. Let y be u(-4). Is 5 greater than y?
False
Let f be (-2 + (-10)/(-6))*-12. Suppose -4*g - 2 = -2*g, -2*k = 2*g - f. Suppose -2*t = -2*d + 8, 4*t = -2*d + k*d - 16. Is -4/7 at most as big as d?
True
Let f = -2651 + 2315. Which is smaller: f or -338?
-338
Suppose -6*v + 8*v + 62 = 0. Let p = -2 - -7. Let j = p + v. Is -26 at most as big as j?
True
Let s = 1 + -1. Let m = 135.24 + -114.24. Which is smaller: m or s?
s
Let g be (-2)/2 + -6 + 4. Let z be g/(-2)*(0 - 6). Let r = z + 19/2. Which is smaller: 1 or r?
r
Suppose 0 = -4*h - 3*b + 27, 1 = h - 0*h - 5*b. Let j be h/(-135) - (-1 - 3/(-3)). Are j and -1 non-equal?
True
Let a be (0 - 14/(-5))*10 - 4. Let g = -27 + 50. Which is greater: g or a?
a
Let i = 57.5 + -59.5. Which is bigger: i or 2/225?
2/225
Let f = 0.2 - -0.8. Let a = 0.44 + 0.12. Let y = a + 0.44. Is y at most as big as f?
True
Let m = 318 + -320. Let q(b) = b**2 - 5*b - 1. Let i be q(4). Do m and i have the same value?
False
Let y = 115 + 21. Suppose -10*u + 18*u + y = 0. Is -15 less than u?
False
Suppose -13 - 3 = -4*m. Suppose -m*o = 6 + 2. Which is greater: -3 or o?
o
Let u be (9 - (-2 + 4)) + 3. Suppose -3*h - 9 = 0, -5*w + 2*h + u - 64 = 0. Let n(z) = -z - 17. Let k be n(w). Is -6 != k?
True
Let j = -1.354 + 1.311. Is j greater than -4?
True
Let l(z) = 0*z + 0*z - z - 19. Let h = 320 - 336. Let d be l(h). Are d and -5 non-equal?
True
Suppose 11*y - 160 = -336. Is y equal to 4?
False
Let t(l) = 2*l**2 - 4*l + 3. Let u be t(2). Suppose 31 = u*y + 82. Suppose -7*p = -3*p + 72. Do p and y have the same value?
False
Let h(q) be the third derivative of q**5/30 - q**4/2 - q**3/2 + 33*q**2. Let w be h(6). Which is smaller: w or 8?
w
Suppose 3*w + 3*u + 2 + 1 = 0, 4*w + 3*u = 0. Suppose -a = w*a - 4. Is 2/15 > a?
False
Let v = -124 - -127. Suppose 92 = 2*m + v*u, -184 = -2*m - 2*m + 4*u. Do m and 44 have different values?
True
Let x = -1320 + 1320.62. Is 0.08 > x?
False
Suppose 3*y - k = -51, -4*y = 3*k + 1 + 54. Let d be 30/8 - -2 - 4/y. Is 5 greater than d?
False
Let f = -100 - -88. Let u(t) = t**3 + 14*t**2 + 28*t + 3. Let y be u(f). Which is bigger: -43 or y?
-43
Let p(a) be the first derivative of a**3/3 - 4*a**2 + 9*a + 5. Let v be (24/(-28))/((-1)/7). Let u be p(v). Is -3 < u?
False
Let u be (0*(-1)/(-3))/(-2) + -19. Is u bigger than -15?
False
Let l(g) = -g**3 + 7*g**2 + 7*g + 9. Let z be l(8). Suppose 3*f + 5*m = -8, -3*f + z = -6*f + 2*m. Let w be (1/8)/(2 - 3). Which is smaller: f or w?
f
Let n = -1560 - -656. Let z be n/(-12) - (1 + -2). Let w = z - 75. Which is smaller: w or 0?
0
Let l(x) = -x**3 + 13*x**2 - 34*x - 3. Let n be l(9). Which is smaller: -19 or n?
-19
Let p = -3105 - -3116. Let k be 2/9 - (-176)/18. Which is greater: k or p?
p
Suppose 0 = 4*i + a - 23, 4*a = -3*i - a + 30. Suppose -i*g = 3*x + 2*x + 55, 4*x - 2*g = -26. Is x smaller than -8?
False
Suppose -2*m + 3*c + 133 = 0, -c - 103 = -2*m + 28. Which is bigger: 62 or m?
m
Let r = 0.169 - 0.169. Let y = -7 + -5. Let z be y/54 - (-32)/90. Which is greater: r or z?
z
Let i(g) = 15*g**2 + 5*g - 24. Let u be i(4). Is 237 < u?
False
Suppose -s + 2 = 0, 5*d = -4*s - s + 165. Is 31 bigger than d?
False
Let v = 50 + -55.17. Let z = -1.17 - v. Let p = 5 - 8. Is p at least as big as z?
False
Suppose 5*s = 3*k - 7, -48*k + 11 = 3*s - 46*k. Let v be (6/39)/((-2)/3). Which is smaller: v or s?
v
Let h(p) be the third derivative of -5*p**2 + 0 + 2/3*p**3 + 0*p - 1/12*p**4. Let x be h(3). Which is bigger: -10 or x?
x
Suppose 2*d - 4 = -6. Let j = -2.1 + 2.32. Is d smaller than j?
True
Suppose 3*x + 10 = 2*z, 3*z - 6*z = -2*x - 10. Is z != 27/25?
True
Suppose -46*m = -44*m + 2. Is -5/9 bigger than m?
True
Let i(c) = 2*c**2 - c - 3. Let f(g) = g**2 + 14*g + 10. Let j be f(-13). Let x be i(j). Suppose -x = 5*y + 7. Which is greater: -2 or y?
-2
Let u be -30 + ((-4)/6)/(2/9). Which is smaller: u or 1?
u
Let l(f) = -71*f**3 + 2*f**2 + 4*f - 5. Let i be l(2). Does -1 = i?
False
Suppose -50*k = -42*k + 3992. Which is smaller: -500 or k?
-500
Let b be (-12)/54 - (-209)/9. Let r = b + -18. Suppose r*c - 2 = -27. Which is greater: c or -2?
-2
Let p(g) be the second derivative of -g**5/20 + g**4/3 - 3*g**3/2 + 5*g**2/2 - 36*g. Let j be p(3). Is j equal to -15?
False
Let z be (-21)/(-14)*(-20)/(-6). Suppose 21 = 3*h + p, z*h - 30 = p + 13. Let y be (18/(-12))/(2/h). Is -4 != y?
True
Let y = -35 + 53. Suppose -5*q - 42 = 3*j - 0, 3*q + 31 = 4*j. Let v be q/(-6)*(8 + 4). Is v bigger than y?
False
Let o be (5 - 8 - -1)