*i - 2*h = -3*h + 1100. Let v = -349 - i. Is -220/3 <= v?
True
Let x be 6*((-1358)/(-2724) + (-3)/6). Let w = -6.9 + 7. Which is bigger: w or x?
w
Suppose -i = -3*t + 891, -4*i - 2735 - 844 = 3*t. Is -895 at least i?
False
Let z = -36 - -16. Let n = z - -47. Suppose -4*k = 5*y - 128, -3*k + 3*y + 62 = -7. Does k = n?
True
Let n be 36/1528*(-2)/21. Let m = n + 10903/92253. Let t = m + -1558/345. Which is bigger: t or -4?
-4
Let c = 250521/55 - 4555. Which is smaller: c or -6?
-6
Let p = -6467 + 6463. Is p at most as big as -164/53?
True
Let h(k) be the first derivative of -k**4/4 - 7*k**3/3 + k**2/2 + 10*k - 34. Let b be h(-7). Let u be (b - 4) + 9/3 + -2. Which is bigger: 2/15 or u?
2/15
Suppose b = 5*i + 4*b - 8, -12 = i + 4*b. Let y = -6 + i. Let z(s) = -5*s + 2. Let o be z(-2). Are o and y unequal?
True
Let a = 42 - 37. Suppose -21 = -o - o - a*u, -4*u = -12. Suppose -2*k - 5*x - 15 = -0, o*k + 6 = -2*x. Is 1/5 > k?
True
Suppose 4*x + b = 0, 2*b - b = 4*x - 8. Do x and 57/263 have the same value?
False
Let t = -1342883/805 - -11677/7. Suppose -2*g - 4 + 2 = 0. Are t and g equal?
False
Let d(y) = -y**2 - 5*y + 3. Let u be d(-6). Suppose 20*i + 720 = 340. Let r be (6*i/152)/((-2)/40). Which is greater: u or r?
r
Suppose x + 19 = 4*j, -x - 3*x - 181 = 5*j. Let f = 1.3621 + -0.3621. Which is smaller: x or f?
x
Suppose 7*p - 386 = -134. Suppose 4*w - 4*c = p, 4*w + w - 4*c - 40 = 0. Suppose -w*h - 30 = 22. Which is smaller: -27/2 or h?
-27/2
Suppose 12 = -h - 43*a + 46*a, 5*h = -3*a + 12. Which is bigger: -2805 or h?
h
Suppose 13*l + 17 = 108. Let u(o) = -2*o**2 + 13*o + 4. Let n be u(l). Let q be n/(-6) + 35/(-182). Which is bigger: q or -1?
q
Let v = -44 - -3. Let h be (-9)/3 + -31 + -1. Let z = v - h. Which is greater: z or -9?
z
Suppose -941 = -6*q - 239. Suppose 162 = 5*l + q. Suppose l*s - 2*s = s. Which is smaller: s or -2?
-2
Let o = 4861.219 - 4861. Which is greater: o or -0.1?
o
Let l(i) = i**2 - 3*i + 2. Let h be l(2). Let d be ((-2240)/(-240))/((-34)/3). Is d bigger than h?
False
Suppose p = -3*m - 8, 20*p - 5*m = 16*p - 15. Let g be (4 + p)*488/2. Do g and -245 have different values?
True
Let x = -5.93 + 6.03. Let d be 24/(-10) + 2/5. Let g be (2/3)/(d/2). Are x and g unequal?
True
Let j be (-12)/18*6/(-4). Let k be (-16)/12 + 2640/1575. Does j = k?
False
Let l = -124 + 63. Suppose -n = -195 + 254. Is l at least as big as n?
False
Let d(g) = 39*g - 622. Let j be d(32). Is 622 >= j?
False
Suppose 0 = -2*d - 80 + 1632. Suppose 2996 = 4*j + d. Let f be (-4)/6 - j/(-765). Is f != -1?
True
Suppose -175*g - 31061 - 177889 = 0. Is -1 smaller than g?
False
Suppose -242 = -3*u - 8*u. Let k = u + -56. Let w = 35 + k. Which is bigger: w or -0.036?
w
Let q(i) = -i - 2. Let f be q(-8). Let b = 25213/5 - 5038. Which is smaller: f or b?
b
Let d = -2018.1 - -2127. Let h = -9406 + 9297. Let n = h + d. Which is smaller: n or 24?
n
Let v be (-8)/(-10)*(-5)/(-2426). Suppose 3*i - 3*u + 13 = -23, u = 5*i + 16. Which is smaller: i or v?
i
Suppose 12 = 2*b - 2*w, 0*w + 8 = -2*b - 2*w. Let x be (4/120)/((-18)/(-540)). Do b and x have the same value?
True
Let r = 9 - 6. Let n = 2548293/10 + -255104. Let d = 555/2 + n. Is r smaller than d?
False
Let q(y) = -y + 11. Let s be q(7). Suppose -46 = -s*u + 62. Let x = 27 - u. Is x smaller than 2?
True
Let q(o) = 1103*o - 244688. Let z be q(222). Let g be (-2)/3 - (-536)/3. Is g > z?
False
Let d(s) = -s**3 - 7*s**2 - s - 6. Let w be d(-6). Let z be w/30 - -1 - (-107)/160. Which is bigger: 1 or z?
1
Let q(v) = v**3 + 4*v**2 - 12*v + 5. Let u be q(-6). Suppose -u + 11 = 6*m. Suppose 1 - m = -3*r. Which is smaller: r or 4/3?
r
Let o be (-1)/10 - (-287)/70. Suppose -q = -6*q + 5*g + 215, -o*q - 3*g + 207 = 0. Suppose 4*v - 47 = 3*v. Is v > q?
False
Let z be -2498 - (6 + -2 + 0). Let j = 247700/99 + z. Let n be 0 - (-4)/(-4)*1. Which is smaller: n or j?
n
Let h be 2/4 + (-195)/(-2). Suppose -3*o = -b + 22, h = 4*b + 3*o + 10. Let v(k) = k**3 - 10*k**2 + 3*k - 7. Let g be v(10). Is b >= g?
False
Let q(f) = f**2 - 8*f. Let g be q(8). Let y be (0 - g)/(-1*(-2)/(-2)). Let v = -92/13 - -3509/494. Which is smaller: v or y?
y
Let l = -2020/185871 + -2/1169. Let o(d) be the third derivative of d**6/120 - d**5/12 + d**4/6 + d**3 + 13*d**2. Let b be o(3). Is l at most b?
True
Let m = -0.0114 - 313.9886. Let k = 313 + m. Which is greater: -0.2 or k?
-0.2
Let q = -11.5 + 36.7. Let h = 0.2 - q. Let f = h - -25.1. Which is greater: f or 12?
12
Let k(v) = 40*v + 0*v**3 - 23*v + v**3 - 21*v**2 + 3*v**2 - 9. Let y(p) = -p**2 + 12*p - 10. Let w be y(9). Let f be k(w). Which is greater: f or -10?
f
Suppose -o - 5*x = -0*o - 135, 0 = -12*x + 72. Is 115 at most o?
False
Let q be ((5/2)/(-5))/(13/(-26)). Is 9/100 equal to q?
False
Let s be (-19 + 6)*(-12)/172*2. Which is bigger: s or 2?
2
Suppose -9*g - 370 + 1189 = 0. Let a = g + -97. Let j be (-20)/a + 4/6. Is j >= 34/9?
True
Let z(q) = 10*q**2 - 12*q - 17. Let c be z(2). Which is bigger: c or -42/17?
c
Let t be (-4 + 930)*(-11)/(-44). Is t smaller than 231?
False
Let a(q) = -757*q - 1040. Let p be a(-13). Which is smaller: 8800 or p?
8800
Let l = -3527/1670 - -21/10. Suppose 1494*y + 64*y + 983*y = -792 - 1749. Which is smaller: l or y?
y
Let t = -622/203 + 122/29. Is t < 99?
True
Let k = 6 + -2. Let g(l) = l**2 - 4*l + 3. Let p be g(k). Suppose -13 = 2*w - 3*r, -2*w = 3*r + 200 - 217. Is p at least as big as w?
True
Let t be 6*(24/6 - 4040/888). Which is bigger: -2 or t?
-2
Let y be ((-2395)/(-42) - -5) + -5. Let r = 57 - y. Which is greater: r or 0?
0
Let b = 125.6233 + 0.3767. Are b and 3/7 nonequal?
True
Let y(x) = -4*x + 34. Suppose 74*w - 9 = 75*w. Let g be y(w). Which is smaller: g or 66?
66
Let g be 4/(-7) + (-2)/14. Let t = -42 + 45. Suppose -2*n + t*h - 10 = -2, -4*n + h = 6. Are g and n nonequal?
True
Suppose 85*s - 504 = s. Let r be (-20)/(-3)*135/190. Which is greater: s or r?
s
Let q = -30 - -30. Suppose -d + 25 + 12 = q. Let y be d + (1*(-1 - -3))/(-1). Which is smaller: 34 or y?
34
Let v be (-1 - -5) + ((-1176)/(-1500))/(4/(-20)). Let y(c) = 3*c + 3 - 2*c - 2*c. Let w be y(4). Is v < w?
False
Let a be (18/42 - (-64)/(-84))*-6. Suppose 0 = -5*b - a*r - 665, -3*b - 273 = -4*r + 126. Which is bigger: b or -134?
b
Suppose 31*g - 131 + 281 - 119 = 0. Is g > 145/349?
False
Let b = 15851 - 15580. Which is smaller: b or 273?
b
Let q(c) = -5*c**3 + 3*c**2 + 3*c. Let a = -62 + 60. Let i be q(a). Let w = 320/7 - i. Which is bigger: w or 2?
2
Let r be (1 - 7619)*37/(-222)*-6. Is -7620 not equal to r?
True
Let b = -490 - -495. Suppose 0 = x + 2*p - 26, 20*x = 23*x - b*p - 67. Which is greater: x or 40?
40
Suppose -16*c + 179*c + 0 = -0. Which is smaller: c or -4/7075?
-4/7075
Let x be (-2)/((-6)/(-1692)*-3). Suppose 112 = 2*b + 4*j, -j + x = -9*b + 12*b. Do b and 64 have different values?
False
Let m = -951 + 1442. Let d = -772 + m. Does d = -282?
False
Let o = -130193 - -2434478905/18699. Are o and 0 nonequal?
True
Suppose u + 3*k - 9 = 0, -2*k + 4*k = -2. Let g be ((-13)/(182/210))/((-6)/4). Let l be ((-32)/(-140))/(u/g). Is 1 equal to l?
False
Let w = 304.767 - 306. Let s = w - 0.127. Is 1 less than s?
False
Let f = -1768 + 1768.8. Is 7/31 greater than f?
False
Suppose 4*c + 187272 = 19*c + 2*c. Which is smaller: 11015 or c?
11015
Let f = 31 - 53. Let n be ((-33)/11 - f/6)*6. Suppose -26*g = -22*g - n. Which is greater: g or -1/56?
g
Let x = 963 - 958. Suppose -x*t = -283 + 23. Suppose 3*n - 159 = -0*n. Which is bigger: t or n?
n
Let f be ((-3)/9)/(2/(-2)). Suppose 1433 + 3817 = 30*q. Let m = 141 - q. Which is smaller: f or m?
m
Suppose -g + 1012 + 2725 = -4*b, -2*g - 4*b = -7366. Is g > 3702?
False
Suppose -5*r + 1675 + 364 = -3*f, -2*r - 4*f + 800 = 0. Suppose -1628 = -18*x + r. Which is smaller: x or 0?
0
Suppose -32*t = -42*t. Is t at most as big as -1/108?
False
Let f be (-16 - -28)*(-2)/(-12). Suppose f*g + 3*u + 4 = 6*g, 5 = 5*g + 3*u. Let y be 1 + 0 + (-29)/27. Is y at least g?
False
Let m = 6429 - 6396. Which is smaller: m or 31?
31
Let j = -127 - -123.25. Let m = 3.32 + j. Is m bigger than 0.3?
False
Let f = 13/123 + -622/6273. Let v(r) = -r**2 + 10*r - 17. Let t be v(8). Are t and f equal?
False
Let f(d) = -d**2 - 20*d - 68. Let c be f(-15). Suppose 2*g + 3*v - 188 =