1)/4336. Which is smaller: j or 7776?
7776
Let t = 376 + -445. Let x = -138 - t. Do -2/3 and x have different values?
True
Let c = -1331/26 - 43/13. Suppose 0 = -2*a - 145 + 29. Let w = a - c. Is -5 at least as big as w?
False
Let a(z) = -2*z**2 - 172*z - 1247. Let g be a(-78). Is -1869 smaller than g?
True
Let a(v) = v**3 - 27*v**2 + 49*v + 45. Let u be a(25). Let y be 56/42*(-2)/u. Do -1 and y have the same value?
False
Let c = 31 + -29.7. Let u = -1124.8486 - -1125. Let i = 0.0486 + u. Which is smaller: c or i?
i
Let b(a) = 246*a - 1000. Let c be b(4). Suppose 60 = 7*f - 11*f. Is c > f?
False
Suppose -2*x + 5719 = -3*s, -5*x - 2*s + 11073 + 3215 = 0. Is -2/7 greater than x?
False
Let x be ((-4342)/(-668))/((-1)/(-20)). Is x not equal to 121?
True
Let k be (-1 + (-1 - -10))/2. Suppose -k*t = -6*t - 24. Let m be (-216)/60*(14/4 - (-7)/(-42)). Is t less than m?
False
Suppose 657 = -7*f + 4*f. Let s = -1532/7 - f. Which is greater: 0 or s?
s
Suppose n + 4 = 2*n. Let w be (n/(-5))/(2*(-5)/2). Which is greater: w or 0?
w
Let r = 112 - 123. Let j be (78*(-8)/(-12))/2. Suppose -3*p + 6*p - 2*g + 20 = 0, 3*p + j = -g. Are p and r nonequal?
True
Let d = 65 - 51. Let c = d - 1. Suppose -5*r + 6*r + 17 = -3*v, -3*v - c = -r. Which is smaller: 0.8 or r?
r
Suppose -2*c - 1 - 5 = 4*x, -2*c = -x - 14. Suppose 4 = c*p - 31. Let i = p - -5. Are 13 and i non-equal?
True
Let r(k) = 38*k**3 + 4*k**2 + 2*k + 7. Let l be r(-2). Let o = l + 286. Are 2/1055 and o unequal?
True
Let j = -49 + 99. Suppose 5*q + 45 = j. Is -6/19 <= q?
True
Suppose 6*y = 2*y + 68. Suppose 5*a - 4*s + 2*s = y, -a = 2*s - 1. Let j be (-21)/(-72) - a/(-8). Is j <= -5.8?
False
Suppose 3*r - 86 = -242. Let l = r - -51. Let o be 3 + 0 + (-50)/18. Is l <= o?
True
Let k be (-12)/(-144)*2/(-1) - (-20417)/(-6). Is -3403 equal to k?
True
Let d = 309 + -35. Let o = d + -275. Is 4 < o?
False
Let z be ((-30)/8)/(3/(-16)). Let n(i) = 2*i - 2. Let t(g) = -29*g + 215. Let a(b) = -3*n(b) - t(b). Let r be a(10). Which is greater: r or z?
r
Suppose -4*n + 8 - 24 = 0, 5*f - 2*n = 18. Let v be -3 - (-2 - f - -3). Let z be (-79)/4 + v/8. Is -20 greater than or equal to z?
True
Let b be (-12)/(-8)*(-352)/(-12). Suppose t = 2*m - 444, 268 = m - t + b. Suppose -m = -7*j - 3*j. Which is bigger: -0.2 or j?
j
Let t = 34246 + -32047. Which is greater: t or 2198?
t
Let q be -4*2/12 + 25/15. Let n be q + (-2)/(-13) - (-12)/(-78). Let m = -4 - -16/3. Is m at most n?
False
Let a(k) = 2*k**2 - 10*k + 16. Let o be a(2). Let q be -3*(-42)/o*(-32)/(-64). Which is smaller: q or 17?
q
Let r be (-2592)/216 - (-679)/59. Which is smaller: 1 or r?
r
Let f = -32307 - -32327. Which is smaller: -5/22 or f?
-5/22
Let d be 140/(70/(-7)) + 12. Let u = -3 + 13. Let x be 2/12 - u/(-84). Is x bigger than d?
True
Suppose 0 = -4*z - m - 3 + 1, z = 3*m + 6. Let g be -6*(-636)/(-13258) + 40/140. Which is bigger: g or z?
z
Let f be 3/(3/(-4))*-2. Let p be (-2)/(-8) - (-142)/f. Let b = 122893.9 - 122894. Which is bigger: p or b?
p
Let w(i) = -i**3 - 31*i**2 + 64*i - 50. Let p be w(-36). Which is greater: 4130 or p?
4130
Let z(m) = 274 - m - 541 + 279. Let h be z(-2). Is 11 at least h?
False
Let f = -8064/5 + 1626. Suppose -5*c - 2*t - 16 + 82 = 0, -5*c - 5*t = -60. Are c and f nonequal?
True
Suppose 3*g - 4*t = 11, 2*t = -3*t - 25. Let i be g/3 + (-1 - -26). Let v = -12916 - -12942. Do i and v have different values?
True
Suppose -547 = -4*d - 6*r + 11*r, 2*d + 2*r - 242 = 0. Which is bigger: d or 139?
139
Let z = -25 - 4. Suppose 4*r + 8*f + 88 = 4*f, -f = 5*r + 134. Are z and r equal?
False
Let g be 0 + (-338)/136 + 98 + -103. Let f = -4259 + 72441/17. Let x = g + f. Do -5 and x have the same value?
False
Let n = -35 + 39. Let v be 5/20 - 5/n. Are v and -4/39 unequal?
True
Let b = 1.59 + 1.85. Let j = -0.44 + b. Which is bigger: 21 or j?
21
Suppose 424 = 4*l - 2*h, 5*l - 2962 = -5*h - 2477. Which is greater: 108 or l?
108
Suppose 25*z + 2*u = 30*z - 19, 0 = -3*z - 3*u + 3. Which is smaller: 102/23 or z?
z
Let c = -1219.5 - -1433.5. Is c at least 1.5?
True
Let d be -7 + (-5)/(((-81015)/(-59180))/((-46)/24)). Which is smaller: d or -1?
-1
Let m(d) = -d - 10. Let j(k) = -2*k - 21. Let u(q) = -3*j(q) + 5*m(q). Let x be u(-6). Suppose -29 + 53 = 3*s. Are x and s equal?
False
Suppose -i + 15 = -5*a, 2*a + 1 = i + 4*a. Let u be (12/(-7))/(i + -4). Which is smaller: 8 or u?
u
Let t be (-4 + 10)*-2*(-22)/8. Suppose -6*q - 43 = 89. Let w = q - -54. Which is bigger: t or w?
t
Let x = 543.1 - 571. Let k = x - -27.94. Which is smaller: k or -4?
-4
Suppose -r - 4*r = -75. Suppose 246*s - 247*s = -4*q + 2, -4*s = q - 60. Is r smaller than s?
False
Let n = -21/68 + 19/612. Let a be 10/18 - 2/6. Let y = a - n. Which is smaller: y or 0?
0
Let v(b) = -3*b - 17 + b - 7. Let w be (-8)/(-6)*(-10)/(10/9). Let f be v(w). Does f = -4/75?
False
Suppose 7*f = -f. Suppose -2*n - 3*x - 12 = f, 9 = -3*n + 2*n - 3*x. Suppose 15*i - 28 = 22*i. Which is bigger: i or n?
n
Let v = 1.64 - 89.64. Let q = 73 + v. Is 0.1 != q?
True
Let o(b) = b**2 + 2*b - 6. Let r be o(-3). Let c be (r + 21)*(544/132 + -4). Which is greater: c or 1?
c
Let o = 1364 - 1384. Is o less than 15?
True
Let d be ((24/20)/3)/(10/650). Let k be -1 - 69/(-54) - d/(-117). Which is smaller: k or 8?
k
Let d = 7266 + -7244. Is 303/13 bigger than d?
True
Let v = -0.0288 + 0.0288. Which is smaller: -3841 or v?
-3841
Let k = 51 + -282. Let o be 21/(-66) - (-42)/k. Is 338 smaller than o?
False
Let h be (-58)/(-87) - 26/(-114). Let z = -364/513 + h. Which is bigger: -1 or z?
z
Let g = 209 - 204. Suppose -2*s + 69 + 227 = g*r, 0 = -3*s - 6. Which is smaller: 61 or r?
r
Let h(k) be the third derivative of 34*k**2 - 1/60*k**5 - 19/24*k**4 - 43/6*k**3 + 0 + 0*k. Let z be h(-12). Does z = 42?
False
Let k = 53.9 + -54. Let v = 80.06 + -9.06. Is v at least as big as k?
True
Let v be ((-26519)/(-230) - -26)/12. Is v > 13?
False
Let d be (-16)/(-128) - 432642/(-112). Is -1 < d?
True
Suppose -4*r - j + 3023 = 0, -884*r + 888*r - 3026 = -2*j. Are r and 5293/7 nonequal?
True
Let s = -3.8 - -4. Let z = 251 - 167. Let x = 96 - z. Which is smaller: x or s?
s
Suppose -878 = -2*y + 1066. Are y and 972 equal?
True
Let w be (2 + 88/(-16))*(-2)/7. Let f be (-74568)/(-52227) - (-700)/(-490). Is w smaller than f?
False
Suppose -3*b + 3953 = 4*c + 29259, -4*b = 3*c + 33732. Do -8430 and b have the same value?
True
Let g(a) = -3*a**3 - 2*a**2 - 33*a - 164. Suppose -3*q = -y + 10, 0 = 43*y - 40*y + 3*q + 30. Let u be g(y). Which is smaller: u or 327?
u
Suppose -18*m + 28853 = -56046 - 28825. Is m not equal to 6318?
False
Suppose 5*c + 38*c + 106*c - 298 = 0. Suppose 0 = -4*o - 19 - 101. Let n be -2 - o/7 - 0. Which is greater: c or n?
n
Let p = -1089682419 + 5031063703289/4617. Let w = p - -104/19. Suppose -147 = 15*g - 147. Which is smaller: g or w?
g
Let b = 49 - 31. Let m = b - 18. Suppose 4*y - 23 + 7 = m. Which is smaller: y or -3?
-3
Suppose -3*v - 2346 = 4*a, -3*a - 428 = 2*v + 1331. Let w = 33351/20 - 10773/10. Let p = w + a. Is 5 greater than p?
False
Suppose 3996 = -2*p - 4192. Which is smaller: p or -4093?
p
Let r = -226 - -376. Let t = -222 + r. Let d = -73 - t. Which is bigger: -20 or d?
d
Let b(s) be the first derivative of -s**4/4 + s**3/3 - s**2/2 - 18*s - 84. Let o be b(0). Is o equal to -123/7?
False
Let q(d) = 2*d**3 - 59*d**2 - 341*d + 18. Let u be q(-5). Which is smaller: u or 23?
u
Let f(u) = -u**2 + 5*u + 13. Let c be f(7). Let b be (c + (-65)/(-41) - 1)/(-1). Let r = -881/246 + b. Are r and -3 unequal?
True
Let o = 3632 - 3633. Which is smaller: o or 12/391?
o
Let x(s) = -7*s**2 + 20*s - 56. Let u be x(4). Is 1.8 at least as big as u?
True
Suppose 2*q - 2 = -2. Suppose 9*o - 7*o - 2 = q, 0 = -y + 4*o - 16. Suppose 0*k = -4*k + 12. Which is smaller: k or y?
y
Suppose 4*s - 495 = 9. Let a be s/560 - 4/(-10)*1. Suppose 3*x + 10 - 25 = o, 4*x = 4*o + 20. Is a at most o?
False
Let r be (-2669)/4233 - 6/(-9). Which is bigger: -14 or r?
r
Let f be (-1 - (-6 + 17)) + (-3795079)/(-316255). Is f < 1?
True
Suppose 5*y = 4*v + 228, -3*y - 4*v + 128 = 4. Let z = 46 - y. Let k = z + -6. Which is smaller: 1 or k?
k
Let y(c) = -c**3 + 4*c**2 + 3*c - 24. Let i be y(6). Let s = -125 + i. Let z = s - -141. Which is greater: -63 or z