 is bigger: 57 or c?
57
Suppose -k = -p + 3*k, 2*p + 2*k = 30. Suppose -117 = -l - p*l. Is l less than or equal to -2?
False
Let r(o) = o**3 + o**2 - 82*o + 32. Let u be r(7). Are -155 and u equal?
False
Let b = -110 + 86. Let d be 1 - -2 - 247/9. Which is smaller: d or b?
d
Let k = 1/2151 - 50909/4302. Suppose -d = -2*t + 15, 0*t - 2*t = -4*d - 48. Is d bigger than k?
True
Let z = 3.3 + 60.7. Let t = -6793/3 + 2265. Is t at least as big as z?
False
Let d = -9913/150 + 397/6. Let i(z) = z**3 + 12*z**2 + 12*z + 12. Let y be i(-11). Which is bigger: y or d?
y
Let o be 1602/(-27) + 2/6. Let p = 65 + o. Let m(j) = 2*j**3 - 11*j**2 - 8*j + 9. Let z be m(p). Which is smaller: z or 5?
z
Let b = -75826.11 - -75826. Let k = -77/3 - -25. Which is smaller: b or k?
k
Suppose 0 = -6*f - 9 + 7 + 2. Let q be ((-12)/(-40))/(76/(-10)). Which is smaller: f or q?
q
Suppose p + 11*p - 312 = 0. Suppose 2*g = -a - p, 5*a - 2*g - g + 143 = 0. Which is smaller: a or -111/4?
a
Suppose -3*u + 2*z - 2242 = 0, -2*z = 166*u - 168*u - 1494. Is -749 at least as big as u?
False
Let v be (-2)/(-7 + 20/4)*5. Suppose 0 = -5*p + m + 120, v = m + 10. Which is bigger: 87/4 or p?
p
Let p = 2/3931 - -35201/349859. Let n = 98 + -97. Is n <= p?
False
Let w = -367.716 - -368. Let u = w - -1.216. Which is smaller: u or -0.1?
-0.1
Suppose 2*s + 5*g - 3*g - 10 = 0, 3*s - 3*g = 3. Suppose -s*r - 7 = 3*f - 10, -2 = 4*r + f. Which is smaller: r or 1/70?
r
Let r = 168254 - 49635053/295. Let i = r - -1/59. Is i bigger than -31/5?
True
Let v = -4.76 - -5.202. Let h = 45.442 - v. Is h > -1?
True
Suppose 3*q = 2*y + 17, -8 = 3*y - 7*y. Let k(a) = 3*a**2 - 2*a + 8. Let r be k(2). Is q > r?
False
Let x = 34.6 - -14.2. Let y = -1535 - -1584. Let w = x - y. Which is bigger: w or -1/3?
w
Let u = 28 - 27.8. Let h be 12/(-27) - 2318/171. Which is smaller: u or h?
h
Let j = 2572.6 + -2630.818. Let k = j + 0.218. Which is greater: k or 0.1?
0.1
Let c(m) = -6*m + 35. Let d be c(9). Let a be (-9)/(-3) + d - (0 + 0). Let r = a + 27. Which is smaller: r or -2/15?
-2/15
Suppose -r = -4*r + 12. Suppose 0 = -4*q + 5*q + r. Let z be -1 - (q - 14/(-4)). Are -5/3 and z equal?
False
Let w = -1524019/6003 - -5844/23. Is w smaller than 0?
False
Suppose -13*r + 11*r = 0. Suppose r = -2*c + k + 6, -c + k + 13 = -2*k. Let w be (-44)/(-132) + c/(-15)*-13. Is 0 greater than or equal to w?
False
Let b = -5 - -7. Let t = b - 0. Let m = 5.05605 - 0.05605. Which is smaller: m or t?
t
Let t = -46 + 199. Suppose -173*p = -176*p + t. Which is greater: p or -1?
p
Suppose 3*k + 6 = 75. Let t = 3 - 30. Let v be (-1 - 87/t) + -2. Are k and v non-equal?
True
Let m = -1560.73 + 1562.8. Let a = 1.1 - 2.1. Is m smaller than a?
False
Let t be (50/906)/25*30. Which is bigger: t or 1?
1
Let g(n) = -15*n**2 + 227*n - 1169. Let b be g(5). Does b = 14?
False
Let j be 42180/108 - -6 - 8/(-18). Let z be 2 + (394*-6)/(-6). Is j < z?
False
Suppose n = -2*n. Suppose 6*y - 2*y + 24 = n. Suppose 5*h + 10 = 3*j, -4*h - 25 = -22*j + 23*j. Which is smaller: h or y?
y
Let a be 0 + 0 + (1 - 1). Let j be 25443/77 + 1*3. Let x = 332 - j. Which is smaller: x or a?
x
Let d = 377.116 - 0.116. Let w = d - 376.8. Let j be (-8)/(-354)*15/10. Which is greater: w or j?
w
Suppose -2*j + 4*j - 15*j + 44*j = 0. Which is smaller: -2/26317 or j?
-2/26317
Let k be (-1 + 6)*(16 - 15). Suppose -k*f + 1 = -9. Suppose 4*q = -4*d, 4*d + 5*q = f*q + 5. Which is smaller: d or 4?
4
Let v(j) = 7*j + 5. Let m(q) = 3*q + 3. Let y(b) = -9*m(b) + 4*v(b). Let p be y(8). Let l be ((-15)/40)/(((-1)/(-4))/p). Which is smaller: l or -1?
l
Let c = 309 + -310. Are 2/11217 and c unequal?
True
Let l = 32 + -20. Let i = 58/5 - l. Is -0.24 greater than i?
True
Let m = -359 - -360. Is -16/41 less than m?
True
Let f = 12.4 + -30.1. Let p = 9.5 + f. Which is greater: 0 or p?
0
Let n = 3.93 - 4. Let a be (-1)/((-1)/(-3)) + 1 + -2. Let b be a*108/88 + 5. Which is smaller: n or b?
n
Let i = 2/4547 - -49993/54564. Let n be (12/(-8))/(24/(-32)). Which is greater: n or i?
n
Let w = -99 - -99. Let l = 974 - 762. Which is smaller: l or w?
w
Let n = 691 - 879. Which is smaller: n or -208?
-208
Suppose 0 = 4*b - 6*b - 20*b + 1078. Do b and -2.96 have the same value?
False
Suppose -10*g - 18*g + 21*g + 35511 = 0. Is g > 5074?
False
Suppose 4*w - 5*i = 1289, -3*w = -2*i - 1217 + 238. Which is smaller: w or 2980/9?
w
Suppose 6*g + 57 = 33. Let j = 6.3 - 1.3. Is g at most as big as j?
True
Suppose -3*k - 216 = -2*d - 2*d, 5*k + 4*d = -392. Suppose -5*s = 23*s + 2072. Is s greater than k?
True
Let y(h) = h**3 + 38*h**2 + 14*h - 7. Let f be y(-33). Let i be 6/(-2) + (253368/f)/17. Which is greater: 0 or i?
0
Let d be (-2)/(-7) + 234/(-28)*-2. Let t = d - 17. Suppose 0 = -3*i - h - 0*h + 19, 9 = 3*i + 3*h. Do i and t have the same value?
False
Let v be 183/(-732)*48/14. Which is smaller: -8/17 or v?
v
Let n be (0 + (-12)/(-5))/((-102)/(-3570)). Is 72 equal to n?
False
Suppose 2*z - 4 = -0*z. Suppose -5*x - z*l - 15 = 0, -2*l - 20 = -5*x + 3*l. Let o be ((858/60)/(-11))/(x/2). Is 2 greater than or equal to o?
False
Let k = -0.1 + 0. Let z = 85.52 - 70.2. Let u = -0.32 + z. Is k < u?
True
Let y = -402 + 217. Which is smaller: -14 or y?
y
Let n = 18726 + -15973270/853. Which is greater: n or -1?
n
Let h be -7 + 3 + -8 + (-384)/(-32). Is h at least as big as -77/326?
True
Suppose -4*o - 152 = -b, 0 = 3*b - 2*o - 93 - 303. Are b and 55 nonequal?
True
Suppose o - 15 = -18. Let g be (-5 - (-15)/5) + 6/(-27). Which is smaller: g or o?
o
Let i be (-189)/450*(-328)/4879. Does 0 = i?
False
Suppose 5*r = 3356 - 11016. Let m be 9/12*(-1 + r/(-6)). Let l = m - 192. Is -2 >= l?
False
Let p be 4/(-14) + (-1633)/(-7). Let o = 260952.1 - 260952. Is o <= p?
True
Let d = -150 - -164. Suppose 5*w + 12 = 3*m, -d*m + 10 = -15*m - 3*w. Is m > 5/99?
False
Let b = -5122 + 5232. Which is bigger: 5 or b?
b
Let u = -7435.84 + 7436. Which is bigger: -121 or u?
u
Let n = -157/20 + 6807/820. Let d = n - -2/41. Let q(c) = -2*c**2 - 10*c + 1. Let w be q(-5). Is w greater than d?
True
Let x = 481 + -5.1. Let b = 476 - x. Are -71 and b equal?
False
Let n be (15/(-10))/(23/414). Let b(x) = 27*x**3 - x. Let j be b(-1). Are n and j equal?
False
Let n = -542 + 534. Let r be (-2)/(-13) - 536/104. Is r at least n?
True
Let q = -141748 - -1840554/13. Which is smaller: -168 or q?
-168
Suppose -394 - 49419 = -457*h. Are h and 94 non-equal?
True
Suppose -3*y = 0, 2*m + 4*y = -12 + 86. Suppose -676 = -4*b + 2*i, -b - 3*i + m = -146. Is b greater than 173?
False
Suppose b + 4*b - 2*k = 2, 3*b = -5*k - 5. Let o be -1 - (b/(-1) - 1). Let t = 56/23 + -53/69. Which is smaller: o or t?
o
Suppose 46*s - 2160 = 66*s. Let x = s - -95. Is x < -134/11?
True
Let j(z) be the second derivative of 4*z**3 + 3*z**2/2 - z - 4. Let n be j(-2). Which is smaller: -4 or n?
n
Let m(j) = -40*j**3 - 7*j**2 - 2. Let q(p) = -p**3 - p**2 - 1. Let v(z) = -m(z) + 4*q(z). Let f be v(-1). Do f and -33 have different values?
True
Let y = 709 + -1114. Let u = -399 - y. Let c = -15 + 9. Is u less than c?
False
Suppose -2*b + 4*n + 60 = 0, 30 = 5*b - 3*b + 2*n. Suppose -15 = -3*l + 3*h, 0*l + 2*h = 4*l - b. Let p = -7.204572 - -0.204572. Is p at least as big as l?
False
Let r be (238/21 + -12)/(6/783). Is r less than or equal to -51?
True
Let m = 165 + -198. Let p be (-5)/(-65)*(-5 + m). Are -3 and p nonequal?
True
Let p = 14913 + -14904. Let g = 5 + -1. Are p and g equal?
False
Let o = 371.045 + -2.045. Which is smaller: 0.4 or o?
0.4
Let r = -23 + 20. Let q(u) = 4*u**3 - 40*u**2 - u + 4. Let v be q(10). Is r <= v?
False
Let a be (-3 + 7/2)*2. Let t be -3 + -7*8 - a. Let f = 46 + t. Which is greater: f or -15?
f
Suppose -59*z = 55*z - 290016. Which is bigger: 2542 or z?
z
Suppose 135*x = 382*x + 109*x. Which is smaller: -2/915 or x?
-2/915
Suppose -12*n - 1300 = n. Let t = -65 - n. Suppose -26*o + t = -21*o. Is 7 at least as big as o?
True
Let s = 3367 + -3372. Which is smaller: 576 or s?
s
Let o = -164315/2916 + 1127/20. Is o bigger than 0?
True
Let y = 79896 + -79854. Suppose -3*h + 2*h + 20 = 0. Suppose -5*z = -h, 0 = 5*g - 5*z - 47 - 138. Which is greater: g or y?
y
Let z = -0.027 + 0.487. Let y = z + -1.36. Let q = 1.3 - y. Is 1 greater than q?
False
Let p be (((-200)/(-310))/10)/((-4