/440585079. Let f = 1171/3 - k. Which is bigger: f or 1?
1
Let c be (-680)/(-975) + 2/(-3). Let y = c - 144/455. Let f(t) = t**2 + 6*t - 5. Let w be f(-5). Which is greater: y or w?
y
Let b(c) = -2*c**3 - 17*c**2 + 8*c - 10. Let q be b(-9). Which is smaller: 1/40 or q?
q
Let d = 6156553/204 - 120739/4. Let i = -16/3 - d. Which is smaller: 0 or i?
0
Let a = -305 - -7623/25. Let f = a - 61/175. Let t be (1 + -1)/(-11 - -9). Which is bigger: f or t?
t
Let t = -160 + 172.6. Let m = 3.6 - t. Is m < -8?
True
Suppose 0 = 110*y - 146 + 36. Is -1/313 equal to y?
False
Let f = -59.13 + 0.13. Let j = f - -60. Are 0.095 and j equal?
False
Let a(l) = -l - 51. Let j be a(10). Is -63 greater than or equal to j?
False
Suppose -410 = 4*c - 402. Let m be (-4)/(-6)*(-6)/5. Which is greater: m or c?
m
Suppose -5*w + u = 307, 4*w + 263 = 7*u - 12*u. Is -63 < w?
True
Suppose -16 = -2*i + 2*w, -w - 22 = -3*i + w. Let a be -1*4*i*(-5)/(-4). Which is smaller: -1/4 or a?
a
Let m = 2637 + -2638. Does -3/215 = m?
False
Let u = -1136.2 - -1137. Which is bigger: 0.4 or u?
u
Let i = -14873/4 + 3740. Is 23 smaller than i?
False
Let d = 785 - 792. Which is smaller: -0.013 or d?
d
Let f(r) = -8*r + 14. Let x be f(2). Suppose 0*l = -5*l + 35. Let s be x - (l - 2) - -1. Are -7 and s equal?
False
Suppose 16 = 5*z - 2*k, k = 2*z + 5*k - 16. Suppose f - z*t - 16 = 0, 12 = 3*f - 4*t - 12. Does 3 = f?
False
Suppose -4*q = 4*r - 28, 17 = r + r + 3*q. Let a be 2/r - 250/580. Which is bigger: -0.1 or a?
a
Suppose 0 = 3*i - 8*i + 15. Suppose -45 = -3*p + i*w, p - 2*p = 3*w - 15. Does 29/2 = p?
False
Let g = 0.943 - 1.943. Which is bigger: g or -5/3?
g
Suppose 0 = -4*x - 4*n - 12, 4*x + 5*n + 2 = -9. Let u = 4 + x. Which is bigger: u or 2/181?
2/181
Let y = -16201 + 3612814/223. Which is smaller: y or 0?
y
Let w(n) = -n**2 + 15. Let s be w(0). Let c be (-2)/s - -1*(-746)/30. Which is bigger: 2 or c?
2
Let u be ((-468)/(-42))/(2/(-14)). Let w = 73 + u. Which is bigger: w or -3/4?
-3/4
Let s(m) = 4*m**2 - 3*m - 37. Let l be s(5). Let k = 76 + -27. Does k = l?
False
Suppose -10*r - 87 + 97 = 0. Which is smaller: r or 26/69?
26/69
Suppose 0 = -5*h - 4*z + 40, h - 4*z + 2 = -14. Suppose 40 + 76 = h*i. Let a = i - 22. Is a bigger than 7?
False
Let c = 4 + -5. Let i be 51/6 - 2/4. Suppose 3*r + 18 = 2*a, i*a + 2*r = 4*a + 52. Which is bigger: c or a?
a
Let g = -14.94 - -1.24. Let x = -14 - g. Do -7 and x have different values?
True
Let z be ((-4)/21)/((-18)/21). Let b = 4/63 + z. Is b at most as big as 3/4?
True
Let w = 12864 + -12843. Let d = -0.1 + 0.3. Is d at most w?
True
Let i(v) = -3*v + 13. Let c be i(3). Let h(s) = s**2 + 3*s + 3. Let o be h(-4). Suppose 5*b - a = -2 + o, c*a + 20 = 0. Is -3 less than or equal to b?
True
Let i = 14 - 21.8. Let n = i + 8. Which is smaller: n or -0.07?
-0.07
Let v(g) = -g**3 + 19*g**2 - 22*g + 62. Let r be v(18). Which is greater: r or -9?
-9
Let d = -0.144 + -68.856. Let i = d - -62. Which is smaller: -2/3 or i?
i
Suppose -403 + 6748 = 9*m. Is 704 equal to m?
False
Suppose -3*h - 123 = -3*n, -2 = -n + 3*h + 37. Let u = -42 + n. Is u less than -4?
False
Suppose 3*x + 1 = 4*x. Is x less than -4/149?
False
Let i be (-3 - 1 - -27)*2. Let b = 34 - i. Is -11 at least b?
True
Let u = -8 - 8. Let z = -14 - u. Suppose 6 - 4 = -z*d. Which is greater: d or -10/7?
d
Let h(a) = a**2 + 5*a - 4. Let b be h(-6). Suppose -4*u = -k - 41, -2*k + 4*u = b*k + 104. Let s be 6/(-24) + k/12. Is s > -1/4?
False
Let x be -5 - 69/(-6)*2. Are 154/9 and x equal?
False
Let b(t) = t**2 + 3*t - 23. Let l be b(-7). Let s = 15 + 2. Let i = s + -12. Is i > l?
False
Let j be -57*1*(-3)/9. Suppose 2*h + h = -4*f - j, -4*h - 37 = 3*f. Let i = 21 + h. Are 9 and i unequal?
True
Let j be -194*(-11)/(-534) + 4. Which is greater: 1 or j?
1
Let t = -25 + 24. Which is smaller: -6/59 or t?
t
Let k = -2.1 - -0.5. Let o = k - 1.6. Let g = o - 0.8. Is 2/5 equal to g?
False
Let o(g) = -11*g**2 + 10*g - 35. Let d be o(3). Which is smaller: d or -2?
d
Let b = -44 - -43.58. Let p = b + 0.72. Let l be ((-2)/6)/((-1)/(-2)). Which is smaller: l or p?
l
Let f(v) = -v**2 - 16*v - 5. Let p be f(-15). Let s be (9/(-2))/((p/4)/(-5)). Which is smaller: 8 or s?
8
Suppose 2311 = 15*f + 931. Are f and 830/9 nonequal?
True
Let w(r) = 25 - 9 + 4*r + 3*r - 5*r. Let j be w(-8). Let u(s) = -s**2 - s. Let d be u(j). Which is bigger: 4/7 or d?
4/7
Let f = -165 + 165. Which is bigger: f or 125?
125
Suppose 16*n = 15*n + 116. Let r = n - 99. Are 17 and r equal?
True
Let f = -15354 - -46459/3. Which is smaller: f or 132?
132
Let s be ((-3)/(-3 - 3))/((-3)/(-1524)). Is s at least as big as 253?
True
Suppose -92*t + 90*t + 68 = 0. Suppose -5*x + 1 = 4*a, 5*a - 2*x - t = -8. Is 4 >= a?
True
Suppose 3*j + j = -24. Let v be 30/(-24) + j/8. Which is smaller: v or 0?
v
Let n be (1 + (-53)/3)*(-6)/(-4). Let f(a) = 3*a**2 + a. Let h be f(-2). Let d = h + -35. Is n greater than d?
False
Let b = 7 + -3. Let n be (-4)/10 + 58/55*b. Are 3 and n equal?
False
Suppose 188 = -2*z - 0*t - 2*t, -400 = 4*z - 2*t. Let k = -122 - z. Which is smaller: k or -26?
-26
Let a be (-8)/60*2/(-8). Let f(u) = -u**3 + 6*u - 3. Let i be f(-3). Let n be (6/9)/1*i/4. Is a > n?
False
Let q = -78 + 73. Which is smaller: -3/11 or q?
q
Let z be 2/1 + -11 - -2. Let v = z + 1. Suppose x - 2*y = -9, -5*y + 36 = -3*x + 11. Which is greater: x or v?
x
Let d = -8/413 + 18/59. Which is smaller: 65 or d?
d
Suppose -5 = -2*o - b, o - 2*b - 14 = -3*o. Suppose 4 - o = -2*a + c, a - c = 0. Which is smaller: -1/3 or a?
a
Let l be (18/315)/((-1)/5). Let x be 12*3*(-3)/(-6). Let d be (-1)/(-2)*x/3. Which is bigger: d or l?
d
Suppose 0 = -3*k - 3*m + 81, 9*k = 14*k + m - 115. Suppose k - 148 = 6*x. Is -21 less than or equal to x?
True
Let h = -14 - -17. Suppose 11 = -4*y + h. Let d = -11/58 + -445/406. Are y and d non-equal?
True
Let g(v) = v**2. Let o be g(0). Let k = -419/3717 - -2/1239. Is o != k?
True
Let v be ((-10)/(-4))/((-11)/(-22)). Suppose -p + v*q + 45 = 4*p, q = -2*p + 3. Suppose -p*h - 6 = -2*h. Is -2 != h?
True
Let k be -2 + 0 - (-4 - 3). Let t be (-2 + (k - 3))/(-2). Suppose -n + t*i + i = 2, 0 = -4*n + 3*i - 6. Which is greater: n or 1?
1
Let l be (-206)/(-13) + 34/221. Which is greater: 21 or l?
21
Suppose -t + 27 = -2*v, -3 = -t + 3*v - 7*v. Let o = 5/6 - 3/2. Which is smaller: o or t?
o
Let g = -78 + 81. Let o = 0.8 + 2.2. Let w = g - o. Which is smaller: 0.2 or w?
w
Let z = -1683/212 - -588475/69748. Let x = z + -10/47. Which is smaller: 78 or x?
x
Suppose -18*q - 26*q = -4312. Do 94 and q have different values?
True
Let r be ((-48)/20)/((-15)/100). Let m = r + -11. Suppose -3*h + 6 - 4 = -2*l, -l + 21 = 4*h. Is m at least l?
True
Let w = -0.3 + -0.7. Let r = -30.24 - -30.12. Is w >= r?
False
Let q = 1247 + -1247. Is -1/1695 <= q?
True
Let k = -27 - -31. Let f be k + (-35)/10 + (-1)/2. Is 5 greater than or equal to f?
True
Let c = -69 + -22. Let w = c + 110. Is w at least 20?
False
Let r = -1224 + 3733/3. Let d = r + -18. Let w = -4 + 7. Which is bigger: d or w?
w
Let h = -13109/120 + -1312087/4440. Let n = 405 + h. Let r = -321/407 + n. Is r smaller than -0.1?
True
Let t be -2*(11/((-220)/(-765)) - -2). Are -82 and t equal?
False
Let i(d) be the first derivative of -d**4/24 + d**3/6 - 5*d**2/2 + 3. Let p(k) be the second derivative of i(k). Let w be p(-4). Is 7 at least w?
True
Let q(j) = j**2 + 2*j + 1. Let k be q(-3). Let v be k/(-10) - 738/(-495). Is 2 greater than or equal to v?
True
Let d = -638 - -560. Which is smaller: -77 or d?
d
Let b = 579/1247 + -17/43. Let r = b + -35/87. Let z = 26 + -103/4. Which is bigger: z or r?
z
Let i = -28777 + 56253/2. Which is smaller: i or -651?
-651
Suppose -9*o = -7*o + 56. Let c = o + 27. Which is bigger: -1/4 or c?
-1/4
Let j(a) = -a**2 - 4*a - 2. Let y be j(-3). Let q(z) = 9*z**2 - 2. Let u be q(-2). Let g be u/16 + (-9)/72. Is g >= y?
True
Suppose 12*u = -1319 + 7703. Which is smaller: u or 531?
531
Let s(q) = -q**3 + 3*q**2 + 3*q - 2. Let w be s(3). Suppose 4*r = w*r + 12. Let p be 12/27*2/r. Is p at least as big as 0?
False
Let k(p) = -3*p**2 + 13*p + 8. Suppose 2*u - 14 = -2*z, 2*z - 1 = -3*u + 20. Let b be k(u). Is b != -47?
True
Suppose 5*q + 6*g = 3*g + 2, 0 = 5*q - 4*g - 9. Is q less than 15/29?
False
Let 