2 = -704. Which is bigger: g or 138?
138
Let f be (-15)/(45/4)*(-9)/12. Which is bigger: 157/5 or f?
157/5
Suppose 3*b - 13*p = -11*p - 402, 5*b = 3*p - 669. Let u = b - -121. Let t = -1 - -2. Which is smaller: u or t?
u
Let p be ((-40 - -6) + 33)/((-1)/(-1)). Are p and -169/154 equal?
False
Let i = -0.08 + 60.08. Let b = 65 - i. Which is smaller: 0.37 or b?
0.37
Let m = -683 + 1021. Which is greater: m or -6?
m
Let s(x) = -39*x**2 - 42*x - 126. Let v be s(-4). Which is smaller: v or -584?
-584
Suppose 37*c = 47*c - 210. Suppose c = -a + 55. Let r(v) = -4*v + 8. Let t be r(-6). Which is smaller: t or a?
t
Let j be 20/110*(-781187)/94. Do 2 and j have the same value?
False
Let x = 72905866/57 + -1279122. Let m = x - -212/3. Is 0 at most m?
False
Suppose -48*i = -22*i + 312. Let w be -5*261/81 - -3. Which is greater: i or w?
i
Let j(q) = 3*q**2 + 39*q - 87. Let r be j(2). Is r greater than or equal to 83?
False
Suppose 223 + 17 = 5*x. Suppose 15*p - 91 = -31. Suppose -p*s + o - 4*o = -194, 5*s - 227 = 4*o. Is x less than or equal to s?
False
Let f = 8.76 + -123.76. Are 2 and f unequal?
True
Let d = 5352 - 5352.68. Which is smaller: -47 or d?
-47
Let a = 577 + -542. Suppose 2*s + 3*j - 200 = -0*s, 2*s - 196 = -2*j. Let o = s - 59. Is o at most a?
True
Let y = 4.61 - -162.39. Let a = -164 + y. Let m = -14 - -15.3. Which is smaller: m or a?
m
Suppose -r + 32 = -4*m, -m + 2*m = r - 32. Let o = 53 - r. Let f(u) = -u**2 - 5*u + 34. Let z be f(-7). Which is greater: o or z?
o
Let z be (-115)/39 - (69/9 + -6). Is z > -7?
True
Suppose -4*i - i - 4*j = -17, 2*i - 20 = 5*j. Suppose 4*c + 3*d = -d, 0 = 4*c - i*d. Let p = -1111/10 + 111. Is p != c?
True
Let w be 2 + 15/(-12) + 0. Let g(r) = -r**3 - 7*r**2 - 8*r + 4. Let t be g(-4). Let n be t/(-9) - (335/15 - -1). Is n < w?
True
Let u = 42751.473 - 42778. Let d = 0.527 + u. Is d greater than 0.5?
False
Suppose -4*c + 1 = 5*u - 9, -8 = -4*u + 3*c. Let q be 1*u/6 - 345/90. Is 3 less than or equal to q?
False
Suppose 4*p = -10 + 6. Let g = -3187 + 5361. Let o = 23894/11 - g. Which is greater: p or o?
p
Suppose 122491 + 133229 = 40*a. Which is smaller: a or 6392?
6392
Suppose 0 = 4*c + 2*j - 50, 5 = c - j - 0*j. Suppose -16*u + 26*u = c. Which is greater: 1/142 or u?
u
Let v = -1359 + 1457. Let o be 6/(-21) + 228/14. Let z(l) = -l**2 + 22*l + 1. Let x be z(o). Which is greater: x or v?
v
Let r(g) = g**3 - 4*g**2 - 4*g + 20. Let f be r(3). Let a be (-3)/f - (-13 + 12). Let c be (6/10)/(0 - 1). Which is bigger: c or a?
a
Suppose 4*n = -3*l - 375, 5*n = -13*l + 15*l + 250. Is l > -125?
False
Let g(w) = 9*w**3 - 106*w**2 - 26*w + 21. Let x be g(12). Are x and 242 non-equal?
True
Let m be 3/(-1) + (-16)/3 + 8. Suppose 20 = 8*v - 4*v. Suppose v*x + 267 = 2*x. Is m at least x?
True
Let o = -91.8289 - -0.1289. Let d = -76.3 - 14.7. Let i = o - d. Is i at least 1/3?
False
Let n(z) = 30 - z**2 - 1323*z + 1319*z - z**2. Let o be n(13). Let p be (-15)/o + ((-2)/6)/(-1). Are 1 and p equal?
False
Suppose -c + j = -2*c + 345, 3*c - 1031 = -j. Suppose 340 - c = 3*l. Is l at most -5/9?
True
Let t be ((-434)/(-28) - 15)/(2/356). Which is greater: t or 791/9?
t
Suppose 13*z + 123 = -33. Let d be -3 - ((-2)/(-4) - (-102)/z). Suppose 2*k + 12 = -2*k, -d*v + k = -43. Which is smaller: v or 9?
v
Let c = -90.35 - -2.45. Let a = c - -90. Let q = 3 - a. Which is greater: 0.1 or q?
q
Suppose 315 = -10*u - 265. Let q = u - -55. Let z be q*(-4)/(-1752)*-2. Is 0 <= z?
True
Let l = -69837/4 - -11942459/684. Let x be (-21)/63 + (-34)/(-57). Let p = x - l. Which is bigger: p or -2.9?
p
Suppose -2*m = 4*n, -4*m + 0*m = n - 7. Suppose 25 = 3*i + m*i. Let o be (-1 - 34)*(3456/(-990))/32. Which is greater: i or o?
i
Let l(t) be the second derivative of 11*t**5/20 - t**4/12 - t**3/6 + t**2 - 3*t. Let k be l(-2). Suppose 404 = -33*x - 2533. Which is bigger: x or k?
k
Suppose -5*x = 5*m - 180, -x + 216 = 3*x - 4*m. Let q(r) = 3*r**3 + 2*r**2 + 3*r + 2. Let v be q(-2). Let o be (18/4)/((-2)/v). Is x at least o?
True
Let i(p) = 5*p**2 + 5*p - 5. Let x be i(2). Suppose -264 = -2*j - 2*o, 3*j + 2*o - 378 = 5*o. Suppose 8*a = 63 + j. Is a less than or equal to x?
True
Let p = 30 + -30.05. Let h = 0.21 - p. Let z = h + 0.03. Are z and -0.1 equal?
False
Let l = 2950.8 + -2951. Which is greater: -35 or l?
l
Let z(j) = j**3 + 27*j**2 + 28*j + 52. Let g be z(-26). Is -6/577 equal to g?
False
Let b = 4440 - 128790/29. Is -2 at least as big as b?
False
Let w = -621 + 631. Let r be (w/34 + 0)*-1. Which is smaller: -0.1 or r?
r
Let i = -1.447 + 34.017. Let n = i + -32.6. Which is smaller: n or -3/29?
-3/29
Let w = 37307.382 - 37301. Which is bigger: -1/2 or w?
w
Let n = -0.14168 - -5.14168. Is n bigger than 28/47?
True
Suppose 0 = -3*j - 5*g + 2, 1079*j - 1076*j + 2*g + 1 = 0. Which is smaller: j or -17/27?
j
Let c = 6688 + -6686. Is -0.951 bigger than c?
False
Suppose 0 = -12*m - m - 936. Let t be (-597)/(-8) - 27/m. Which is bigger: 76 or t?
76
Let u be (2 - -1) + -5 + -8. Let t(x) = x**3 + 10*x**2 + 16*x + 16. Let g be t(u). Which is greater: -143 or g?
-143
Suppose 5*p - 2 = 18. Suppose 0 = -2*w - p + 8. Suppose -2*a = -5*z + 239, -3*a + 135 = w*z + z. Is z greater than or equal to -1/4?
True
Let v be (-11848)/(-75) + 688/25800. Which is smaller: 206 or v?
v
Let m = 2231 + -2204. Is 0.1 < m?
True
Let g = 2/364161 + 3568049416/11288991. Let u = g + -316. Which is smaller: 0 or u?
0
Let v = 1819 + -1816.679. Let o = 2.14 - v. Which is greater: 1 or o?
1
Let c(f) be the first derivative of f**3/3 + 31*f**2/2 - f - 22. Let u be c(-31). Is u < 6/31?
True
Suppose -2*n + 39 + 60 = -5*f, 96 = -5*f + 3*n. Let a = 74 + -94. Is f bigger than a?
False
Let y = 298289/253 - 1179. Let w = y + 854/19987. Which is bigger: w or 0?
w
Let t(b) = -7*b**2 - 298*b - 143. Let d be t(-42). Which is smaller: d or 166/7?
166/7
Suppose 4*d + 22 - 121 = -j, 3*j - 276 = -5*d. Let f = -14 + j. Let r = f + -74. Is 0.1 > r?
True
Let g = 1.5704 - -102.2296. Which is smaller: 0.05 or g?
0.05
Let v = 53099/7 + -52114/7. Let t = 8274 + -8133. Let q = t - v. Which is smaller: q or 9?
q
Let y be (-3)/(-9) - (-1034)/(-141). Let v = 1 + 0. Let s be 2/v*y/(-14). Which is greater: 2/115 or s?
s
Let d be 12/(-42)*(-21)/18. Let q(m) = -32*m - 255. Let c be q(-8). Is d equal to c?
False
Let h = -8.68 - -8.58. Is h smaller than -828?
False
Let d = 1141 + -1134. Which is greater: 411 or d?
411
Let g = -3411.1 + 3411. Is -4/179 at most as big as g?
False
Let l be (11 - 6) + (-3)/((-15)/(-10)). Let d be l*(852/(-1530) + 6/15). Which is smaller: d or 1?
d
Let j be (-4)/(-2)*(-599)/(-2). Let b be 4/(174 + 2)*26357. Let c = j - b. Which is smaller: 0 or c?
c
Let t(z) = z**3 + 23*z**2 - 6*z + 25. Let m be t(-12). Suppose 29*u - m = 1306. Which is bigger: u or 105?
105
Suppose 4*a - 2*g = 82, 10*a - 5*a - 104 = 4*g. Suppose 5 = -5*i + a. Suppose 3*r - 1 = 2*y + 1, 0 = i*r + 5*y + 5. Is 0 at least r?
True
Suppose 269*f + 5*q - 3405 = 267*f, -4*q + 12 = 0. Is f at least as big as 1695?
True
Let t = 243 - 241. Let g = 2/873 + 743/291. Let w = 7/3 - g. Is w smaller than t?
True
Let c = -95 - -97. Let d = c + 34. Suppose 0 = 4*w + 12, 9*f + 2*w = 6*f - d. Is f > 3?
False
Let b = -6084 + 5144. Which is bigger: -945 or b?
b
Let y be (-1 + 14)*(-1 + 7)*(-5)/(-30). Let p(t) = t - 3. Let m be p(3). Is m equal to y?
False
Let o = -872 + 1667. Let v be o/(-6) + 7/(-14). Is -133 >= v?
True
Let y be 60/33 - 8/(-44). Suppose -y + 8 = 3*p. Let u be (-185)/(-20) + p/(-8). Which is bigger: u or 44/5?
u
Suppose -7*k - 52*k + 649 = 0. Let b(c) = c**3 - 10*c**2 - 13*c + 47. Let z be b(k). Is 13 greater than z?
False
Let r(l) = -81*l**3 + 11*l**2 + 1 - 76*l**3 + 158*l**3. Let t be r(-11). Let m(s) = -12*s. Let k be m(t). Which is smaller: k or -11?
k
Let w = 15704 + -15871. Is w greater than or equal to -166?
False
Let j be (-4 + 10 - 8)/(11 - 9). Which is bigger: -4/133 or j?
-4/133
Let i = 29 - 29. Suppose 10*k + 769 + 911 = i. Let d be 1 + 0 + k/174. Which is smaller: d or -1?
-1
Suppose -4*h = 3*p + 2*p - 20, 2*p = -2*h + 10. Let c be ((-82)/(-5))/((70/(-25))/(-7)). Suppose -47*y = -c*y - 18. Which is smaller: h or y?
y
Let n = -2155.6 - -951.6. Is n greater than 2?
False
Let v = -482 + 482. Let t be (-6)/(-2)*(-93)/(-9). Suppo