et k be 391/(-238) - (-21)/12. Which is greater: k or 8?
8
Let x = -9/20 + 1/5. Let v(g) = -3*g. Let p(n) = 2*n. Let q(r) = -4*p(r) - 3*v(r). Let w be q(-4). Is w < x?
True
Suppose 0 = -51*j + 29*j. Which is bigger: j or 508?
508
Let j be (12/(49824/520))/((-1712)/(-174)). Let y = j + -1/856. Which is greater: 1 or y?
1
Suppose 290*m = 286*m - 4. Is -15.4 bigger than m?
False
Let q be 8*(-1 - (-1 + 2)). Let i(x) = 516*x - 2080. Let z be i(4). Is z less than or equal to q?
True
Suppose -5*d + 5*q - 578 - 652 = 0, -2*q = d + 252. Is -248 less than d?
False
Suppose -3*o - 120 = -570. Is 151 at least o?
True
Let v = -1/110 + 233/1430. Let o(m) be the first derivative of -m**4/4 + m**3/3 + m**2/2 + 1. Let x be o(0). Which is smaller: x or v?
x
Let y = 0.112 - 11.212. Is y at least as big as 0?
False
Suppose -f = -28 - 0. Let b be (-2 - -16)*(-120)/f. Let y be (4/b)/((-3)/18). Are -9 and y unequal?
True
Let b = -7592 + 53272/7. Which is smaller: 17 or b?
17
Let p(o) = o**2 + 7*o - 15. Let h = 4 - 1. Let j = h - 12. Let c be p(j). Which is smaller: c or 2?
2
Let b be 18 + (-368)/20 + (-3)/(-5). Does b = 5/4?
False
Suppose 0*b + 2*b - 16 = 0. Let q be (-2 - -2)/(b - 10). Is q > -1/14?
True
Let i = 83/4 + -20. Which is smaller: i or 0?
0
Suppose -13 = 3*r + 4*f - 2, 0 = 3*r + f + 5. Let m(a) = -a**2 + 2*a + 2. Let h be m(r). Which is smaller: 0.07 or h?
h
Suppose 4*j = -0*j. Suppose 0 = -4*p + 15 - 7. Suppose -4*k + p*k = j. Is -1 bigger than k?
False
Let a = 2434 - 771576/317. Which is bigger: a or 0?
a
Suppose -2*r - 2*l + 7 = 43, 8 = -2*l. Which is smaller: -8 or r?
r
Suppose 3*b - 157 = -4*z, -3*b = -z - 32 - 135. Let f = -69 + b. Which is greater: f or 0.1?
0.1
Let h = -444 - -445. Do h and 2/365 have the same value?
False
Let h(c) = -c**3 - 10*c**2 + 10*c + 10. Let o be h(-11). Suppose 1 = -v, 3*v = -4*z + 8*v + o. Suppose 0*g = z*g + 36. Which is smaller: g or -10?
-10
Let i = -0.3 + 0.2. Suppose 2*r - 2*w - 8 + 2 = 0, -4*w - 12 = 4*r. Suppose r = -j + 4 - 3. Is j <= i?
False
Let a = 539 - 602. Which is smaller: -61 or a?
a
Let o be (-2038)/7084 + (-165)/35 + 5. Is -1 at least o?
False
Let b be (-8)/(-3) - (-1)/3. Suppose 4*v = 5*o + b*v - 35, 2*o - 6 = 2*v. Suppose o*x = 6*x. Which is smaller: 3/16 or x?
x
Suppose -40 - 10 = -2*o + 5*s, -4*o - s + 122 = 0. Let w be (o/36)/(5/4). Is w > -14?
True
Let t(u) = 3*u - 102. Let l be t(33). Which is smaller: l or -28/9?
-28/9
Suppose 0 = 27*d + 70 + 65. Does -3 = d?
False
Let h = 1586 + -1586.1. Which is smaller: h or 631?
h
Suppose -15*b = -49*b - 57*b. Which is smaller: -6/55 or b?
-6/55
Let x = 68315/4 - 16991. Is 88 less than x?
False
Suppose 27*s - 26*s = 16. Suppose 13*q - s*q = -99. Is q equal to 34?
False
Suppose -10*m = 455 + 1155. Which is smaller: 1 or m?
m
Let f(a) = -5*a - 105. Let d be f(-21). Is d less than -12/31?
False
Let t = -154 - -162. Which is smaller: t or -1/3?
-1/3
Let z be (9/12)/(1/(-356)). Let g = 2917/11 + z. Which is smaller: g or -2?
-2
Let d(v) = -27*v**2 - 94*v - 12. Let t be d(-6). Is 0.3 <= t?
False
Suppose -4*u = -26 + 2. Suppose -k - u = -1, -3*k - 6 = 3*a. Do a and -2 have the same value?
False
Suppose 3*h - 8 = 5*f, 3*f = -2*h - f + 20. Suppose -h*r = 3*r - 18. Let q be 2 + -4 - (r - 4). Is q smaller than -12?
False
Suppose 5*a + w + 68 + 11 = 0, -69 = 4*a - 5*w. Is -18 at least as big as a?
False
Let v = 0.17 + -0.48. Let x = 0.18 + v. Let o = x - 1.87. Is -2/5 bigger than o?
True
Let t = -44/185 + -6/37. Let m be 6 - ((-200)/(-21) + (-45)/(-315)). Which is bigger: t or m?
t
Let g = -0.043 + 0.043. Let v be 7/28*8/254. Let h = v - -249/635. Which is bigger: g or h?
h
Let r = -4.062 + -0.038. Let b = r + 3.1. Is b < -24?
False
Let w = 0 - 9. Let n = -24 - w. Let l = n - -14.9. Is l less than 0.08?
True
Let j be ((-1)/3)/(14077/1407 + -10). Which is smaller: j or -61?
j
Let q be (-7 - -10)/((-2)/(-2)). Are q and 4 non-equal?
True
Let t(j) = -3*j**2 + j**3 + 4*j**2 + 1 - 2*j + 0*j**2 + 3. Let y be t(-3). Let x be (-7)/(-84) + 6/y. Do x and -10 have the same value?
False
Let o(a) = a**3 - 4*a**2 + 6. Let z be o(5). Suppose 0 = 4*g - 3*i - z, 4*g + 0*g - 11 = -i. Suppose -12 = g*u - 0*u. Which is smaller: 2 or u?
u
Let t = -594/1337 + 3/191. Which is greater: t or 15?
15
Let v(x) = 3*x - 1. Let r(i) = -10*i + 2. Let j be ((-84)/9)/((-4)/6). Let o(k) = j*v(k) + 4*r(k). Let l be o(4). Which is smaller: l or -1?
-1
Let o = 51 + -55. Let f be (o/6)/((-8)/168). Is 14 at most f?
True
Let c = -44 + 46. Let f(l) = -l**3 - 3*l**2 + 3*l. Let d be f(c). Is d less than or equal to -16?
False
Let t be (4 + -6)*(16 - (-1 + -2)). Is t less than or equal to -2?
True
Let y = 10740 - 10740.2. Let q = 37 - 35.1. Which is greater: q or y?
q
Suppose -20 = 5*g - 2*w - 25, 4 = 4*g - w. Which is bigger: g or -2/1657?
g
Let t(h) = -4*h - 2. Let k be t(0). Which is smaller: -3/421 or k?
k
Let h be 18/(-10)*280/(-168). Let b be -1*4/(0 + -1). Is b greater than h?
True
Let y be 6/(-4*9) - 58/(-24). Which is smaller: -0.3 or y?
-0.3
Let p(f) = -23*f**3 + 2*f**2 + 2*f + 1. Let c be p(-3). Is 1265/2 > c?
False
Let l = 9 + -11. Let t = 2.22 + l. Let j = t + 1.78. Which is bigger: j or -3?
j
Suppose -15 = 7*w + 6. Let a be (22/33)/(1 + w). Which is bigger: a or 0.3?
0.3
Let y = -3 - -13. Suppose -y = -5*r + 3*r. Suppose -15 = -k - r*l, -3 = -k - 2*k - l. Do k and 2/23 have the same value?
False
Let h be 22/(-275) - (-3602)/25. Which is smaller: h or 143?
143
Let g = -1 + 2. Let j be (1/1 - 1)/g. Let f be (87/30)/(-1) + (44 - 41). Which is smaller: j or f?
j
Let a = -745 - -531. Which is bigger: -215 or a?
a
Let o be (-320)/800*10/(-10872). Is o less than -1?
False
Let c = -111 + 111.2. Is -167 bigger than c?
False
Let x = 26.3 + -27. Let u = x + 0.8. Which is bigger: -1/6 or u?
u
Let p(f) = -f**3 + 5*f**2 - 10*f + 17. Let z be p(5). Which is bigger: -34 or z?
z
Let s = 30873/20 - 1543. Which is bigger: 1 or s?
1
Let y = 0.16 + -0.152. Let j = y - 21.008. Which is smaller: -1/4 or j?
j
Let v be (-22)/(-6) - (-12)/9. Suppose v*g + 75 = 5*f, 3*f + 27 = -3*g - 0*g. Which is bigger: g or -32/3?
-32/3
Suppose 7 = -4*z + 3*l, -3*z = l - 0 + 2. Let f be z/2 + 189/28*-2. Is f bigger than -14?
False
Let v(h) = -5*h. Let x be v(-1). Suppose -k - 3*k = -8. Let u be (5 - (4 - k))*2. Is x != u?
True
Let a be (-6)/(-33) + (-6)/22. Which is smaller: a or 7?
a
Let i = 0 - 1. Let u = 920.5 - 923. Which is greater: i or u?
i
Let j be (-1)/1*(0 - -1). Let l(t) = t**3 + 18*t**2 - t - 18. Let w be l(-18). Are w and j nonequal?
True
Let i(w) = -w**2 - 12*w - 21. Let l be i(-7). Let a = l + -47/3. Which is bigger: -2 or a?
a
Let o = 2730 + -19114/7. Do o and 1/3 have the same value?
False
Let g be -2 - 0 - (-42)/20. Let h = 17/30 + g. Which is smaller: 2 or h?
h
Suppose -5*y = 2*s + 7 - 32, s + 4 = 3*y. Suppose -7*h + y*h = 8. Let g be (2/4)/(1/2). Which is greater: g or h?
g
Suppose 2*o - 80 = -3*g, g = 3*o - 0*g - 120. Let w = -41 + o. Is -7 equal to w?
False
Let w = 2.54 - 1.14. Let b = 1.3 - w. Which is greater: b or -13?
b
Let i(m) = -m**2 + m - 40. Let j be i(0). Suppose q - 6*q - 3*z = 12, q = 5*z + 20. Is q > j?
True
Let m be (4 + -1 + -3)/(-2). Let y(x) = -x**3 - 4*x**2 - 3*x. Let b be y(-3). Suppose -u + 3*j = -0*u + 8, b = u - 2*j + 6. Which is smaller: u or m?
u
Let s be ((-14688)/(-357))/((-15)/(-14)). Which is smaller: s or 2?
2
Suppose -2*h + 13 + 259 = -2*x, -3*h + 2*x = -410. Is 138 not equal to h?
False
Suppose 0 = -h - 554 + 543. Does -103/10 = h?
False
Let k be 66/396 + ((-37)/24 - 0). Is k greater than or equal to 0?
False
Let s(i) = 3*i - 54. Let r be s(8). Let q = -10 - -9. Is r at most as big as q?
True
Suppose -25 + 257 = -4*x. Is x equal to -58?
True
Let l = -0.0691 + -0.0309. Is -101/3 > l?
False
Let y(v) = v**3 - 5*v**2 - 5*v - 1. Let d be (27/(-6))/(6/(-8)). Let z be y(d). Suppose -z*a + 16 = -3*u, u + 5*a - 13 = 15. Is u less than 3?
False
Let x(r) = -3*r + 12. Let y be x(6). Let m = -8 + y. Which is greater: -12 or m?
-12
Let w be (-1836)/945 + -1 + 3. Let s = w - 13/105. Which is bigger: s or 1?
1
Suppose -2*y - 3 + 7 = 0. Let v be (-65)/(-39)*(-1 - y). Let z be (-35 - v)*(-4)/(-8). Are -15 and z non-equal?
False
Let g = 22789 - 14265917/626. Which is bigger: 0 or g?
0
Let h = 1266 - 125