-2) - 140/(-248). Which is greater: o or b?
b
Suppose -4*v = 4*u - 11 - 25, -1 = u + 3*v. Suppose 5*c = -4*g + 45, -u - 1 = c - 4*g. Let t be 640/(-180)*9/(-6). Is t > c?
True
Let r be ((-3)/(-2))/(21/56). Let a = 3 - r. Let t = 1.6 + 16.4. Is a equal to t?
False
Let z = -1 - -6. Suppose -36 = 9*u - 11*u. Let n be u*(-2)/54*-6. Are n and z non-equal?
True
Suppose 0 = -4*u + 4*j - 300, -280 = 4*u + 5*j + 65. Let n = -64 - u. Is n > 18?
False
Let d = -105 + 120. Is d <= 16?
True
Let k be (86/(-10)*6)/((-5964)/5680). Which is greater: k or 48?
k
Let u = 20485/42 + -4393/7. Is -140 at least u?
False
Let v = 62 - 31. Let n = v + -23. Which is smaller: n or 0.1?
0.1
Suppose 14*j - 16*j = -16. Let c = 0.08 - 0.28. Are c and j equal?
False
Let t = -440 + 438. Which is greater: t or 42?
42
Let b(g) be the first derivative of 3*g + 2 - 1/4*g**4 + 4/3*g**3 - 3*g**2. Let p be b(2). Which is smaller: 1/12 or p?
p
Let a(j) = -j + 13. Let w be a(14). Suppose 5*l - 5 - 165 = 0. Let z be l/72 + (-4)/16. Which is greater: z or w?
z
Let l = -58523/13 - -4505. Let d = l + -223/65. Let r = -4 - -2. Is r at most d?
True
Let x = 46 + -36. Let n = x - 16. Let y = 3 - 2.9. Which is smaller: y or n?
n
Let d = -2994 - -2991. Let y = -19771/22 - -898. Let a = -1/2 - y. Which is smaller: a or d?
d
Suppose 2*d = -5*k + 20, -2*k = 3*k - 2*d. Let o be k/(-7) - (-1)/(105/23). Which is bigger: 1 or o?
1
Let i be (87/58)/(25/(-68)) - -4. Which is smaller: 27 or i?
i
Let d = 5 - 4.88. Let t be (-1 + 2/(-6))*48/32. Which is smaller: t or d?
t
Suppose 0 = 6*t - 2*t + 4. Let x be (-4 - 0)/((-2)/t). Which is greater: x or -5/9?
-5/9
Let l(z) = -z**3 + 19*z**2 + 21*z - 47. Let u be l(20). Is -27 greater than u?
False
Let t be 0 + -1 + 3 + -1. Let b = -517/2 + 16023/62. Is b equal to t?
False
Suppose -19 = -r - 3*f - 0*f, -2*f = -5*r + 146. Let c = r + -12. Let u = -14 + c. Which is smaller: 3/5 or u?
3/5
Let c be (16/(-2))/((-2)/(-4)). Let i be c/56 - 2/(-7). Which is greater: i or 0.2?
0.2
Let i be 18/(-84)*40/(-6)*28. Which is smaller: 42 or i?
i
Let m = 35 + -35. Let k = 3.3 + -5.9. Let i = k + 3. Is m bigger than i?
False
Suppose -4*m = -13*m + 126. Suppose -v + 5*n - m = 0, 3*v - 4*n = -v - 8. Is 2 greater than or equal to v?
True
Suppose -17*p - 140 = -7*p. Let x = -14 + 7. Let n be (x/p)/(1/6). Which is bigger: n or 0.01?
n
Let x = 936059/105 + -8915. Which is greater: x or 0?
0
Let h be (2995 - (4 - 11))*(-1)/(-2). Which is bigger: h or -1?
h
Let b = -1833 - -1832. Is b less than -9.69?
False
Let n = 1410/11 + -430028/3355. Which is greater: 1 or n?
1
Let i(y) = -y**2 + 5*y - 1. Let s be i(4). Suppose s*w = -w + 8. Suppose 2*t = 4*b - 32, w*t + 34 = -0*t + 5*b. Which is greater: -14 or t?
t
Let f = 18.4 - 18.2. Suppose -o + 3*b - 7 = 0, 5*b - 2 = -3*o + 19. Which is bigger: f or o?
o
Suppose 4*q - 4 = -a + 2*q, 5*q = -5*a + 30. Suppose c - 2*v = -1, 6*c - 4*v + a = 2*c. Let p = -2/449 - 3135/1796. Does p = c?
False
Let c = -34 - -36.5. Let b = c - 2.51. Which is bigger: b or -0.3?
b
Suppose 2*v - 66 + 4 = 3*x, -v - x = -36. Let z = -307/9 + v. Let a = -386 - -386. Which is smaller: a or z?
z
Let a(j) be the third derivative of j**4/24 + 7*j**3/6 - j**2. Let o be a(-7). Suppose -3*s = f - 4, s + 6*f - 7*f = 0. Do s and o have the same value?
False
Let z(s) be the third derivative of 13*s**4/24 + 13*s**3 + 2*s**2 + 3*s. Let a be z(-6). Which is greater: 5/26 or a?
5/26
Let y be (-3)/39*(-6)/3. Let o(q) = -q**2 + 4*q + 5. Let j be o(5). Suppose -2*h + 4*h = j. Do h and y have different values?
True
Let x be 1 - -2 - (4 - -58). Let u = -56 - x. Which is greater: u or 5?
5
Let h(r) = 6*r - 5. Let f be h(1). Let q(b) be the second derivative of b**4/3 - b**3/3 + b**2/2 + 4*b. Let o be q(f). Is 2 at least as big as o?
False
Suppose -14*b + 1741 + 1661 = 0. Which is smaller: b or 245?
b
Let c be (-2)/8 - (-118)/(-8). Let t be 4 + -20 - (-1 - 1). Which is greater: c or t?
t
Let k = -57.1 - -58. Let r = -10 - -39/4. Which is smaller: r or k?
r
Suppose -20*q - 342 = 318. Let o = -43 - q. Which is smaller: o or 4?
o
Let i be (-2 + 0 - 4) + 23. Let v be 134/8 + 1/4. Is v smaller than i?
False
Suppose -q + 48 = -2*b + 53, 0 = b + q + 5. Which is greater: 1/573 or b?
1/573
Let o(f) = -f**2 + 9*f - 12. Let j be o(8). Let u = 5 + j. Let p be ((-5)/(-20))/((-14)/(-48)). Which is greater: u or p?
u
Let d be (-27)/(-63) + 190/(-35) + -3. Let g = -21 + 11. Is d <= g?
False
Let p(y) = y**2 - 1 + 2*y - 3 - 3*y. Let u be p(4). Suppose -10 = -2*w - u. Are -1/9 and w non-equal?
True
Let x(n) = 7*n + 10. Let d be x(19). Which is smaller: d or 1?
1
Let z(g) = 662*g**2 - 3*g - 2. Let k be z(-1). Let u = k - 81551/123. Which is greater: 0 or u?
0
Let j = 23.97 - 46.23. Let v = -22 - j. Let z = v - 0.36. Is -27 >= z?
False
Let f(x) = 8*x - 467. Let w be f(40). Which is smaller: -143 or w?
w
Let u(f) = f**2 - 16*f + 23. Let b be u(12). Let g(k) = -k - 25. Let y be g(b). Is -2/89 greater than or equal to y?
False
Let q = 7/4 - 9/4. Which is bigger: q or -95?
q
Suppose 0 = 3*m - 13*m + 460. Suppose -12*f + 235 = -317. Is f less than or equal to m?
True
Suppose -5 = -5*j - 0. Let n be (0 - -1)/(-7 - -8). Let w be 0 + n + (-14 - -16). Which is greater: j or w?
w
Let f = 532/2313 - 2/257. Is -0.001 >= f?
False
Let k be (-12)/(-18)*(41 + -2). Which is bigger: 27 or k?
27
Let s = 9/4 - 47/20. Suppose -t - 1 = -0. Let l be -3 - (t - (0 - -3)). Is l at most as big as s?
False
Suppose 620 + 1822 = 22*t. Is 111 bigger than t?
False
Suppose 1232 + 88 = -2*a. Let y = 37622/57 + a. Are y and -1 nonequal?
True
Let m = -4.776 + 3.776. Let s = 15.66 + 0.34. Let b = -7 + s. Is b less than m?
False
Let h(k) = 7*k + 56. Let z be h(11). Is z smaller than 133?
False
Suppose -4460 = -14*a + 846. Do a and 379 have the same value?
True
Let u = -0.29 - -0.27. Let t = 0.32 + u. Which is bigger: t or -3?
t
Let o = -44 - -67. Suppose 0 = 3*g + 2*z - 65, 4*z + 0 = -8. Is g at least as big as o?
True
Suppose 3*s - 3*d = -27, -25 - 7 = 4*s - 3*d. Let h(i) = i**2 + 16*i + 37. Let y be h(-13). Let r be (s - y) + 2/1. Which is bigger: r or -2/17?
-2/17
Let g(w) = -4*w - 18. Let o be g(-6). Let k be 42/(-162) + -1*(-2)/o. Which is smaller: k or 0.4?
k
Let u be 24/6 - (-1 - -88). Is -83 bigger than u?
False
Let p = 3.69 + -0.69. Is 1/5 at least as big as p?
False
Let n = 1331 + -3095. Let i be (-12)/(-30) - n/(-10). Let k = i + 1940/11. Which is smaller: 1 or k?
k
Let d = 0.832 - 287.832. Which is bigger: -1/3 or d?
-1/3
Let x = 1420 + -1398. Which is smaller: x or 17?
17
Let o(a) = a**3 - 6*a**2 + 6*a - 2. Let y be o(4). Let q be (-15)/y*(1 - 3). Let v be q/(-1) - 8/2. Which is smaller: 1/46 or v?
v
Let a = 9/1934 - 5382385/13538. Let g = 396 + a. Which is smaller: -2 or g?
-2
Let j(h) = -3*h**2 + 159*h + 36. Let z be j(55). Which is smaller: z or -2?
z
Let z = 18.2 + 4.8. Let y be (-258)/645*5/(-4). Which is smaller: z or y?
y
Let z be 2/11 - (-80)/44. Suppose 5*w + 30 = z*w. Let b be 25/w - 2/4. Which is bigger: 0.2 or b?
0.2
Let h(s) = -s**2 - s - 2. Let a be h(-6). Suppose 3*k + w = -98, 5*w - 74 = 3*k + 30. Which is smaller: k or a?
k
Suppose -2*w + 2*b - b = 228, -w = 4*b + 123. Let v = -81 - w. Which is bigger: 33 or v?
v
Suppose 0 = -3*i + 36. Let u = -11 + i. Let w be (7/(-2))/(u/(-2)). Is w at least as big as 7?
True
Suppose -3*c = -3*t + 24, 35 - 82 = 5*c + 2*t. Let k be 2/c - 6/(-27). Let z = -98 - -487/5. Is k equal to z?
False
Let r(h) = -308*h - 12. Let u(x) = 28*x + 1. Let j(n) = 3*r(n) + 32*u(n). Let s be j(-1). Do 25 and s have the same value?
False
Let c = 27 - -37. Let w = 64 - c. Let h be 4/(-6)*36/(-80). Which is greater: w or h?
h
Let y(o) = 3*o - 2*o**3 + 6*o**3 + 32 + 32 - 60. Let f be y(-2). Is -35 less than or equal to f?
True
Let h be ((-6)/13)/(39/(-26546)). Let i = 314 - h. Let m = 4 - 3. Is m >= i?
True
Let a(k) = -k**2 - 6*k - 3. Let n be a(-5). Let i = 147.13 - 148. Let z = -0.9 - i. Is n greater than or equal to z?
True
Suppose 0*c = -c + 10. Let f be 3 + 0 + (-12)/c. Let p(x) = x + 7. Let m be p(-5). Which is greater: m or f?
m
Let l = -19709/6 - -3285. Let y = -1 + 2. Which is smaller: y or l?
l
Let m = -47 + 48. Let r = 0 + m. Are 0.01 and r unequal?
True
Let z = 44 + -39. Suppose 0*u = 2*u - z*u. Is 