(-3). Which is smaller: i or n?
n
Let x(k) = 2*k**2 - 98 - 10*k**2 - k**2 + k + 6 + 13*k. Let a be x(6). Which is bigger: a or -331?
-331
Let j = 2087 - 2098. Let f be 0 + (-42)/((-2)/1). Let i = f + j. Is 7 greater than i?
False
Suppose -4*x = -2*n + 411 - 21, n - x = 191. Is n < -4?
False
Let a(d) = -5*d**3 - 2*d**2 + 1. Let v = -28 + 27. Let w be a(v). Suppose 0 = -2*b - 3*b + m - 6, -5*m + 9 = -w*b. Which is smaller: 1/3 or b?
b
Let w = -719/494 + 105/38. Let y be 0 - (1 + (-2844)/1131). Let l = y - w. Which is bigger: l or -1?
l
Suppose 4*n - 20 + 36 = 0. Let h(w) be the first derivative of -w**4/2 - 5*w**3/3 + 3*w**2/2 + 5*w + 2. Let o be h(n). Which is smaller: o or 40?
40
Suppose -5*v = -v - 160. Let i be 3790/14 + -1 + 38/133. Let n = i + -270. Is n bigger than v?
False
Let h be ((-675)/(-27) - 29)*(2 - (-162)/(-84)). Let l = 6201/36934 - -1/626. Is h > l?
False
Let t be 76 + 2 + (-6)/2. Let x(r) = 5*r**2 + 64*r - 40. Let q be x(-12). Let w = q + t. Which is bigger: -15 or w?
w
Let i = 11.71 + -10.5. Let w = -1.01 + i. Let p = 4.3 + -4.2. Which is greater: p or w?
w
Let s(q) be the second derivative of 7/3*q**3 + 8*q + 23/2*q**2 + 0 + 1/12*q**4. Let b be s(-10). Which is bigger: -13 or b?
-13
Let j be 3 + (60095/(-2860))/7. Let f = j + 1721/2860. Is 42 > f?
True
Let f = -1303 + 1426.4. Let v = 124 - f. Suppose -g - q - 11 = 0, g - 4 - 5 = 3*q. Which is smaller: g or v?
g
Let r = 2/235041 + -52884379/18098157. Which is smaller: -4 or r?
-4
Suppose 3*c - 5*c + 6 = 2*t, 2*t = 5*c - 22. Let s be (14/(-4))/((-3)/6 - 0). Let k = s - c. Is k <= 4?
True
Let j(k) = -k**2 - 94*k - 445. Let w be j(-5). Is w less than -2/1399?
False
Suppose v + 19 = -4*w, 8*w - 3*w = 5*v + 20. Let a be (17712/(-210))/(-12) + v. Which is bigger: 0.1 or a?
0.1
Suppose 0 = -8*l - 8150 - 1106. Let s = 21975/19 + l. Which is bigger: 0 or s?
0
Suppose -425*i + 419*i = 6. Let d be 1*i/2 + (-6372)/(-24). Do d and -2/7 have different values?
True
Suppose 0 = -6*h + 7 - 1. Let x = 255947/12 + -151264963/7092. Let y = 3/197 - x. Which is greater: h or y?
h
Suppose 3*n - 4*n - 53 = 3*i, 3*n + 174 = -4*i. Let t = n + 67. Let y be (10/2)/t*-1. Is y != -1/104?
True
Let y = -1.2 + 1.29. Let d be 2 - (2512/52)/(-2). Let x = -26 + d. Is x at most y?
False
Let f(y) = y**2 - y - 8. Let q be f(4). Suppose -586 = -q*i + 2*k, -k + 2*k + 740 = 5*i. Do i and 149 have different values?
False
Let k(d) = -138*d**3 - d**2 + 63*d + 175. Let c be k(-3). Are c and 3703 unequal?
False
Let c(z) = -7*z + 125. Let a be ((-6)/(-15) - (-17)/(-5)) + 22. Let l be c(a). Let s(q) = q**3 - 6*q**2 + 3*q + 1. Let j be s(5). Is l greater than j?
True
Let l(d) be the first derivative of d**4/4 + d**3 + 4. Let q be l(-3). Let r be 9/12*(-2)/3. Are q and r unequal?
True
Suppose -30 = -5*j - 5*j. Suppose 2*l + 130 = -j*l. Let p be (l/(-39))/(2/(-99)*-3). Which is smaller: p or 12?
p
Let y(n) = -n + 4. Suppose 3*c = 6*c + 147. Let l = 55 + c. Let w be y(l). Which is greater: w or -1?
-1
Let h(w) = w**2 - 13*w - 16. Let o be h(17). Let q be (-6)/3 - (30 + -83). Is o > q?
True
Let s = -320153 - -4604120299/14381. Is s equal to -1?
False
Let w = 0 + 4. Let s = -8 + w. Let u be 4030/(-124) + 35 + -5. Is u <= s?
False
Let g be (((-11)/(-3))/((-2)/(-2)))/(20167/9849). Do 1 and g have the same value?
False
Let p = -20166.587 - -20167. Which is bigger: -10 or p?
p
Let x(d) = -d + 44. Let m be x(22). Suppose -m = 11*f - 22*f. Which is smaller: f or 39?
f
Let s(w) = -4*w - 13. Let y be s(-3). Let g be (-2 + y)/6*48. Suppose 12 + 84 = -4*l. Is l <= g?
True
Let k = -13843/55404 - 2/13851. Suppose 0 = 4*y + 126 - 562. Which is smaller: y or k?
k
Let l = 579 - 538.8. Is l <= -9?
False
Let g = -47184093/107037637 - -15013/65627. Let i = g + 54/233. Is 1 < i?
False
Let u(r) = 8*r + 0*r - 7*r + 8. Let j be u(-14). Let a = -18 + 11. Is a equal to j?
False
Let c = -24 - -7. Suppose d + 130 = 5*g, 0 = d + 3*g + 33 + 73. Let f = d + 96. Which is greater: c or f?
c
Suppose -5*v + 419 = -146. Let a = v + -102. Let r(l) = l - 9. Let q be r(a). Is -2 smaller than q?
True
Suppose 909801 = 62*g - 13*g + 184552. Which is greater: 14800 or g?
g
Let l = 8.4 + 1.6. Let z = -1047.9 + 1048. Which is smaller: l or z?
z
Suppose -5*k = 2*v + 11, 6 = 3*v + k + 2*k. Let d be (-4)/v*(-476)/136. Suppose 0 = n + n - 4. Are d and n unequal?
False
Let v = -73183 - -805071/11. Suppose 0 = -0*b + 3*b - 12. Is v < b?
False
Let b = 174.3 + -174.1. Which is smaller: -380 or b?
-380
Let l = 2961 - 2960.8. Let x(z) = z - 1. Suppose -g - 5*j + 10 = 0, 20 = 3*g + 3*j + 2*j. Let h be x(g). Are h and l non-equal?
True
Let l be (-6 + 72/10)/(2/5). Suppose -3*b + 12 = l*h, 4*h - 6*h = -10. Which is smaller: -7/5 or b?
-7/5
Suppose 5*l - 135 = 45. Let b = -43 + l. Suppose -29*f + 36*f + 63 = 0. Which is smaller: b or f?
f
Suppose 44*t - 158990 = 174*t. Which is smaller: t or -1224?
-1224
Let z be (-2)/5*(4 + -14). Suppose z*u - 5 = 2*q + 1, 5*u - 18 = -q. Let l = 12 - 11. Which is bigger: l or q?
q
Let h = -122.99 - -122.89. Is h not equal to 1/3335?
True
Let v = -7.217 - -6.217. Are v and -3280 unequal?
True
Suppose -164*d - 17554 = -18279 - 33551. Is 206 != d?
True
Let v = 145288 + -280986983/1934. Is v greater than 0?
True
Let f = -12217 + 12220. Suppose -3*q = 5*n - 46, -64 + 6 = -4*q - 5*n. Let z be (-1 + 39/q)/f. Is z less than 12/11?
True
Let y = -16289 + 129883/8. Let t = 3015/56 + y. Suppose -d + 3*d = -4*n - 8, 2*d + 8 = -n. Which is bigger: n or t?
t
Let c be 1/2 + 1359/(-126) + 10. Is c equal to -26519?
False
Let q = -22208/53 + 419. Let o = -81 - -73. Let w = o - -8. Is w >= q?
True
Let b(r) = r**3 - 20*r**2 - 94*r + 156. Let u be b(24). Which is smaller: u or 0.2?
0.2
Let c = 325.06 - 326. Let a = c + 11.94. Which is greater: 1/18 or a?
a
Suppose -2*o = 15 + 1. Let a be (-2 - 20/o) + (-826)/(-4). Do a and 207 have different values?
False
Let c(f) = -11*f - 11. Let u be c(-1). Let j(q) = -q**2 - 10*q + 15. Let z be j(-11). Suppose -3*p + s + 0*s = -z, s - 12 = -5*p. Which is greater: p or u?
p
Let b(y) = y**3 - 39*y**2 + 347*y + 57. Let w be b(14). Which is greater: 55/4 or w?
w
Let w = 35691 - 35691. Is w smaller than 8/2047?
True
Let t = -751.5 - -326.5. Does t = -2?
False
Let u be ((-3)/(-2))/(6/(-664)). Let z = u + 164. Is -20 greater than z?
False
Let f(h) = 2*h + 0*h + 345 - 378. Let i be f(14). Which is smaller: i or 35?
i
Let x = -2010.01 + 1938. Let v = x - -0.01. Let l = v + 75. Is -12/7 at least l?
False
Let q(y) = -22*y**2 - 87*y - 10. Let i be q(-4). Is i <= -96?
False
Let b = 4035 - 4173. Do -416/3 and b have the same value?
False
Suppose -2*p + 264 = 4*m, 5*m + 121*p - 116*p - 320 = 0. Which is bigger: -8 or m?
m
Let i(f) = -f**3 - 5*f**2 - 5*f - 1. Let v be i(-4). Suppose -5*a = -15, -4*a + 82 = v*b + 2*b. Let k be (-8)/b - (-1498)/2793. Is k at most 0?
True
Suppose -42*b + 14*b - 14011 = 12085. Which is greater: b or -936?
b
Let f = -51 + -11. Let v be 18/153 + 2/(-17). Which is smaller: f or v?
f
Let l be (-65)/(-3)*(-6)/(-2). Suppose 5*z = -n - 1, -n = -z - 4*z + 51. Let h = 90 + n. Which is smaller: l or h?
h
Let a be (132/8 + 3 + 3)*-14. Let j be 177/84*2*14/a. Let k = j + 2/45. Is k != 0?
True
Let h = -7507986349 + 4797606128870/639. Let n = h + -4463. Let w = n - -12131/3195. Which is smaller: 4 or w?
w
Let z(u) = u**2 + 6*u + 9. Let x be z(-4). Let c be ((-25)/15)/(x/(-3)). Let y = 8 + -3. Is y < c?
False
Suppose 4*l - 18 = g + l, -2*g + 2*l - 12 = 0. Which is bigger: 1/31 or g?
1/31
Let x = -907608903754244042486 + 519853709445209140487792701949/572772818. Let w = 2/12451583 - x. Let f = w - -1420. Is -1 greater than or equal to f?
False
Suppose -216*h = -90*h + 1002330. Is h >= -7957?
True
Let t = -41 + 42. Let c = 43393/40 - 1085. Which is greater: c or t?
t
Let z be 6/32 + (-18830)/88480. Let c(n) = -n - 3. Let l be c(-5). Is z equal to l?
False
Let s(l) = -l**3 - 9*l**2 - 7*l + 10. Let p be s(-8). Suppose -2 + 10 = 2*c, -p*b - c - 12 = 0. Let n = b + 13. Which is greater: 3 or n?
n
Let k = -2280 + 98041/43. Let v = 0.11 - 6.11. Which is greater: v or k?
k
Let o(c) = -49*c + 113. Let t be o(7). Let z = 224 + t. Which is smaller: 20 or z?
z
Let w be 2*-1 - (-24 - -23). Let n be (w - (-178)/(-26))*(-2)/(-6). Which is bigger: 