68)/136)*23/((-12995)/10). Is 1 at least as big as d?
True
Suppose 9*t - 497 = 52. Let o = t + -56. Suppose 13*k = o*k. Which is greater: 1 or k?
1
Let j(z) = -272*z - 16530. Let g be j(-59). Which is greater: -480 or g?
-480
Let a be 105/(-6)*16/(-310). Suppose 4*o - 28 = 4*r, -83 = 2*o - r - 91. Do a and o have the same value?
False
Let a = -397630/693 + -50/99. Is a at least -574?
False
Let k(v) = -10*v**3 + 3*v**2 - 7*v + 5. Let u be k(2). Let p = 51 + u. Is p less than -27?
False
Let f = -70 - -36. Let v(l) = -4*l**2 + 9*l - 56. Let p be v(6). Let z be 1/(-2) - (-4 - p/4). Which is smaller: f or z?
f
Let t(r) = 10*r - r - 36*r + 5*r - 78. Let v be t(-4). Which is greater: 43/4 or v?
43/4
Let g = -5990.772 - -2.772. Which is smaller: g or 2/3?
g
Let b(n) = 3*n**3 + 47*n**2 + 31*n + 75. Let q(j) = j**3 + 16*j**2 + 11*j + 25. Let p(x) = 6*b(x) - 17*q(x). Let v be p(-10). Is v at most 35?
True
Let k = -12 - -20. Let n(j) be the third derivative of -j**5/60 - 25*j**4/24 + 15*j**3 + 10*j**2 - 1. Let g be n(-28). Which is smaller: k or g?
g
Let p(q) = 3*q + 33. Let c be p(-12). Let g be (2 - (1 + 2))*c. Let i be g - (-338)/5 - 12/20. Which is greater: i or 71?
71
Let p = 0.049 - 57.049. Let o = p + 22. Let t = 34.9 + o. Is t greater than 1.1?
False
Let a be 1*(0 + (-2)/8) + (-27)/(-108). Is 19/71 greater than a?
True
Let o(i) = 2 - 23*i - 8 - 20. Let y be o(-2). Let f = -25/2 - -71/6. Are y and f unequal?
True
Let f(i) = -i**2 + i. Let r(x) = -7*x**2 + x - 10. Let g(c) = 6*f(c) - r(c). Let q be g(-5). Let s be (4/q)/((-8)/76). Is -3 greater than or equal to s?
True
Suppose 0 = 4*o - l - 33, -o + 28 + 4 = -5*l. Suppose -5*w = -0*w - 65. Suppose -o*f - 43 = w. Is -9 at most f?
True
Let u(w) = -305*w + 2964. Let j be u(15). Which is smaller: -1609 or j?
j
Let a(q) = q**2 + q. Let z(m) = 100*m**3 + 12*m**2 + 14*m - 2. Let c(t) = 12*a(t) - z(t). Let w be c(1). Which is greater: w or -1?
-1
Let d = -213 + 210. Let y = -3 - d. Is y not equal to -1/9?
True
Let a = -29966152/410001 - -4166/57. Is a less than or equal to -1?
False
Let f = -172 - -183. Suppose -3*k + f = 5*r, 0 = -4*k - r - r + 38. Is 9 at least k?
False
Let g = 435 + -895/2. Let j = -1692827/10 + 169283. Which is smaller: j or g?
g
Let o(m) = 5459*m - 10913. Let w be o(2). Let r be (11 - 0)*(1 + 0). Is w equal to r?
False
Let i = 2113 + -2113. Which is smaller: -4/103 or i?
-4/103
Let p(h) = 4*h**2 - 4*h - 15. Let c(w) = w**3 + 2*w**2 - 6. Let l be c(0). Let y be p(l). Is y <= 152?
False
Let f be 28400/(-420) + (-6)/(-21). Which is greater: f or -11?
-11
Let r(v) = 140*v**2 - 1818*v - 26. Let a be r(13). Which is greater: 2/3261 or a?
2/3261
Suppose -105*b - 2724 + 3459 = 0. Which is smaller: b or 205?
b
Let s = 7 - 1. Let b = 62 + -60.45. Let j = b + -0.55. Which is bigger: s or j?
s
Let k = 172.7 - 170.6. Which is smaller: k or -5?
-5
Let l be (-57)/(-18) + (-6)/36. Suppose 2*y - 1 + l = 0, -j - 5 = -5*y. Let p be ((-3)/j)/(8/40 + 0). Does p = 6?
False
Suppose 30 + 89 + 31 = -2*w. Is -43 <= w?
False
Let o = 106.7 - 100. Let j = -6.774 + o. Let l = j - -0.874. Is 0 greater than or equal to l?
False
Let c be 25256/(-1800) - (-44)/(-550). Which is greater: c or -15?
c
Suppose 0 = 4*q + 28, -5*q + 2663 = -4*v + 2702. Which is smaller: v or -74/503?
-74/503
Let n = -2 + 1.7. Let t = -0.4 - n. Let q = -2.7615 + 2.9415. Which is smaller: q or t?
t
Suppose -25640*r + 25636*r = 0. Which is greater: 4/2925 or r?
4/2925
Suppose g = 4*n + 19, 688*g - 3*n = 693*g + 20. Is g > 355?
False
Suppose -23*s = 260*s + 575 - 9. Which is smaller: s or 458.4?
s
Let f = 27490/51 - 539. Suppose 64 = 5*d + 14. Let z = d + -9. Is f at most as big as z?
True
Let c = 43678/1490787 + 14/6999. Is c less than 0?
False
Let y = -14 + 13. Let x be (3 - 23)/(y/11). Let c be (-30)/x*4/(-2). Is c less than 0?
False
Let m be 4/(0 - 4/(-8)). Suppose m*h - 18 = -34. Is -12/5 greater than or equal to h?
False
Let g(p) = 278*p + 6. Let u be g(1). Suppose 17*c - u = 19*c. Is -143 greater than or equal to c?
False
Let r = -175 + 376. Let p be (2/(-526))/(67/r). Which is greater: p or 1?
1
Let w = -69481 - -484737/7. Do -233 and w have the same value?
False
Let g = -263 - -171. Suppose -6446 = 93*d - 2549 + 4287. Do g and d have the same value?
False
Let j = -24.77 - -1.97. Let v = -4.8 - j. Let i = 20 - v. Which is greater: -1/8 or i?
i
Let f be (-3)/((-21)/(-14)) - (-2308)/(-2). Let k be (f/490 - 4/(-10)) + 2. Which is smaller: k or -2?
-2
Suppose 4*d - 3218 = 922. Suppose -162 - 70 = -17*w - 41*w. Let t be ((-9)/(d/20))/(w/4). Which is smaller: 1 or t?
t
Let q be 4/26 - 2134/13. Let g = -104 - q. Suppose -4*u + 48 = g. Which is greater: 2/39 or u?
2/39
Let u(o) be the second derivative of o**5/20 - o**3/2 - 3*o**2/2 + 12*o. Let m = -23 - -21. Let a be u(m). Which is smaller: -2 or a?
a
Let v(c) = -c**3 + 14*c**2 - 22*c + 79. Let a be v(13). Let n be (6 - 0)/(a + 36). Is -12/5 greater than n?
True
Suppose -2*u - 7*u + 3278 = -4*w, -2*u + 729 = -w. Is u < 360?
False
Suppose -7*a + 3 = 5 + 5. Is 2/1893 < a?
False
Let g = -42 - 128. Let c = 172.4 + g. Is c at least as big as -0.1?
True
Suppose 5*d + 5*p = -289 + 1029, 5*d - 734 = -2*p. Suppose 143*h + 6 = d*h. Is h at least 2?
True
Suppose 28*z - 30*z + 22 = 0. Suppose z*d + 4 = -7. Is 2/251 at least d?
True
Suppose -11*r + 14*r - 12 = 0. Let d = r + -5. Let l = -226 + 218. Which is smaller: d or l?
l
Suppose l - 4*l = 15, -l + 141 = 2*d. Which is greater: d or 0.3?
d
Suppose 39*t + 197*t - 37475 - 27189 = 0. Is t at most 253?
False
Let a = -391.5 - -979.4. Let i = -588 + a. Which is smaller: i or 96/17?
i
Suppose -4*a + 69 = -47. Let j = a + -24. Suppose -2 = 2*x, 0*x = j*s + 3*x + 38. Is -9 greater than s?
False
Let j(u) = -u**2 - 14*u + 8. Let f be j(-8). Suppose 0 = 54*y - 46*y + f. Is 1 equal to y?
False
Let i = -4 + 0. Let k(v) be the second derivative of v**4/12 - 5*v**3/3 - 38*v**2 + 12*v. Let u be k(15). Which is bigger: u or i?
u
Let y = 24790880943/4024749505 + -98020/162649. Let z = 272/49 - y. Which is smaller: 1 or z?
z
Suppose 74*p + 4924 + 78097 - 1621 = 0. Which is smaller: p or -1109?
-1109
Let q = 3026 - 39158/13. Suppose -4*h = -36, 0 = 4*c - 55*h + 58*h - 87. Which is greater: c or q?
c
Let d(f) = 375*f + 1505. Let z be d(-4). Is 177/49 at most as big as z?
True
Suppose -7*c + 37 + 19 = 0. Let x be ((-1380)/(-480))/((-2)/c). Is x at most 0?
True
Let x be (-1)/2 - 10/(-4). Let m be (-20)/(-28) - x/(-7). Let r be (11/((-66)/(-12)))/(25/(100/88)). Which is smaller: m or r?
r
Suppose 5*l = -44 - 26. Let d be l/(-2) - 41030/5852. Which is bigger: d or 0?
0
Let t be 97848/270*(-3)/(-24). Which is smaller: 46 or t?
t
Let y(t) = 14*t + 86. Let f be y(-6). Suppose 0 = -5*n + f*h - 180, 58 = 4*n - 5*h + 219. Is n <= -34?
True
Let n be 2/13 + 752826/3068 + 0. Let k = n + -491/2. Is 0.1 at most as big as k?
False
Let i be (-10)/(-8) + (-216)/(-32) + 48/(-6). Is i smaller than -4/1655?
False
Let o(k) = -k**3 - 16*k**2 - 23*k + 27. Let v be o(-14). Suppose -h - 6 - 39 = 0. Is v greater than h?
True
Let b be ((-20)/(-175))/((-110)/(-28)). Is b not equal to 1?
True
Let v(l) = 31*l - 20. Let b be v(8). Suppose 3*i = -i - 3*y - b, -100 = 2*i + 5*y. Suppose 3*x + 227 = -4*o - 8, 3*x + 3 = 0. Is i less than o?
True
Let j be (2/(-11) - 3048/(-1397)) + -1. Does j = -1/23142?
False
Let f = 1948/41 - 6827576/143705. Are f and 0 unequal?
True
Let z = 369 + -369.0687. Let y = 255.0687 + z. Is 0 greater than y?
False
Let k = -21 + 23. Suppose -r = 7 + k. Let a be (210/216 - 1) + 2/r. Which is greater: 6 or a?
6
Let i = -587.4 - -591. Let x = 5.97 + 8.03. Is i at least as big as x?
False
Let u be 0 + -10 - (-4 + 0/(-2)). Let k be (16/(-24))/((-5)/81*u). Which is bigger: 0.04 or k?
0.04
Let i = -21 - -62. Let f = i + -58. Suppose 60*a + 961 - 263 = -262. Which is smaller: f or a?
f
Suppose -n = 6*f + 94, f - 6*f + 2*n = 50. Let v = 10 - 20. Which is smaller: v or f?
f
Let u(c) = -9*c - 13. Let n be u(-2). Let p be (-54)/(-2) + (n + -2 - 3). Is p at least 26?
True
Let w(c) = 110*c + 769. Let j be w(-7). Are 2/1787 and j non-equal?
True
Let w = -41 - -45. Suppose 4 = 2*d, -5*z + z + w*d = -28. Let j be (-23)/z - 10/(-45). Which is smaller: -2 or j?
j
Let t = 65 - -53. Let m = 105 - t. Whi