*b - 25. Let u be h(-21). Let m be d(u). Which is smaller: -7 or m?
-7
Suppose 11*z - 46 + 13 = 0. Which is smaller: 13/7 or z?
13/7
Let h be ((-57)/(-12) + -4)*412. Suppose -r - p + 2*p = h, 15 = -3*p. Let u = -20412/65 - r. Is 0 less than or equal to u?
False
Let t = -184/1703 - 6/131. Suppose 0 = 6*y - 2*y + 20, 0 = -2*w + 5*y + 25. Suppose w = -n - 2*n + 3. Which is bigger: n or t?
n
Suppose -3*l - 245 = -239. Which is smaller: l or 0.41?
l
Let h be (-15 + -437)*((-2)/(-4))/1. Is h at least -226?
True
Let u be 10/(-8) - (-435)/348. Let c be 1 + (3 - 2)*-5. Let v = -3 - c. Is u > v?
False
Let l(y) = -y**2 + 13*y - 7. Let v be l(12). Suppose 3 = 2*w - v. Let i be 0/(-1 - -1*w). Does -2/3 = i?
False
Let f = 308.026 - 0.026. Is f at most as big as -0.1?
False
Let v(y) = 6*y**2 + y. Let x be v(1). Suppose 5*r - x + 2 = 0. Let n be ((-248)/(-122))/1 + -2. Which is smaller: n or r?
n
Let h = -0.4 - -17.4. Let d = h + -16. Let m = d + -1.1. Are m and 0.1 equal?
False
Let u = 540 - 542. Is u greater than 14?
False
Let j = 1 - -7. Let k be 40/18 + j/(-36). Suppose 0 = 2*r - k*l + 28, -l + 1 = -2*r - 23. Is -10 at least as big as r?
True
Suppose -33*b + 418 + 44 = 0. Is b at least as big as 10?
True
Suppose -47 - 124 = -19*u. Let g be 1 - 0 - (-18 + 1). Suppose b - 3*b + 2*q + g = 0, -u = -4*b - 5*q. Which is greater: 7 or b?
7
Suppose -10*o + 8*o + 6 = 0. Suppose 2*r + 13 = -3*x - 2*r, o = 2*x + 5*r. Are -6 and x nonequal?
True
Let p be (0 + -1)*67/67. Let b be 1/(-21)*25 - -1. Is p != b?
True
Let u be ((-15)/5)/12 + 1/4. Let h be u*(45/(-10) - -5). Which is greater: -2/13 or h?
h
Let i be 3 + (-3 - (-4)/2). Suppose -i*q - q - 2*c = 8, -21 = q - 3*c. Let r be (4 - -2)*(-2)/q. Does 0 = r?
False
Let u be ((-4)/6)/(4/(-30)). Let t be 6/(u + -2) - 4. Let v(j) = -j**3 + 4*j**2 + 15*j - 21. Let d be v(6). Which is smaller: t or d?
d
Suppose 2*p + 11 + 21 = 3*n, 3*n - p = 34. Suppose -5*t + 2*t + n = 0. Is t at least as big as -0.06?
True
Let t(u) = 4*u**2 + 64*u + 58. Let w be t(-15). Is 1 < w?
False
Suppose -4*n - 4*f = 60, n + 5 = -2*n + 5*f. Let t be (n/(-3))/(40/15). Do 0.2 and t have the same value?
False
Let i = -55 - -57. Suppose i*b - 3*a = -99, -2*b + 3*a = 2*a + 93. Does -2/7 = b?
False
Suppose -3*u = -2*m + 15, -15 = -m + 5*u + 3. Suppose y + 5*w = 0, 32 = -y - 0*y + m*w. Let s = y + 104/5. Is s less than 1?
True
Let c = -461 - -468. Let a be 1 + (-2 - (-2 + 8)). Let p(u) = -u**3 - 8*u**2 - 7*u + 6. Let y be p(a). Are c and y nonequal?
True
Let b = -3611/181580 + -2/1297. Which is greater: b or 1?
1
Suppose -43*n - 33 = 139. Is n smaller than -24/7?
True
Let u(i) be the second derivative of i**3/3 - 5*i**2 - 3*i. Let b be u(5). Which is bigger: b or -47/3?
b
Let n be (11 - -1)/(-4) - -4. Let i be (-2 - 540/(-267))*n/(-2). Which is bigger: i or -0.1?
i
Let l(k) = 3*k**2 - 4*k**2 + 14 - 13 - 7*k. Let t be l(-7). Is -1/14 less than t?
True
Suppose 0*z = 4*p + z - 391, -2*p + 178 = 4*z. Suppose 5*g = -0*g + b + p, 0 = 4*b - 4. Let n = -20 + g. Which is greater: n or -9/8?
n
Let s = -10.44 - -2.64. Which is bigger: -1/4 or s?
-1/4
Let f = -783 + 757. Which is greater: -2/7 or f?
-2/7
Let m = -16 - -23. Suppose 3*f + 2 = -m. Let o be 234/(-30) + f/15. Which is smaller: o or -9?
-9
Let s = -0.246 + 1.246. Is s at most as big as -23?
False
Let p = -0.148 + 53.048. Let j = 52 - p. Which is bigger: -1/5 or j?
-1/5
Suppose 0 = -s + 7 + 3. Suppose s = 5*c - 0. Let d be 0 - 9/(-27) - (2 - 3). Which is smaller: d or c?
d
Let k(j) be the second derivative of -23/2*j**2 + 0 + 5/3*j**3 - 1/12*j**4 + 11*j. Let s be k(7). Is -5 <= s?
True
Suppose -14*k + 17*k = 15. Suppose -2*g = 3*g - 5*i + 30, -3*i + 24 = -k*g. Do -11/7 and g have different values?
True
Let u be (-21 + 0)*(-4)/12. Suppose -5*b + 4*r = -4*b + 21, 2*r - 8 = -2*b. Let n be -2 - 0 - 10/b. Is n >= u?
True
Let t = 784 - 413. Suppose 0 = -14*f + t - 119. Is f <= -1/5?
False
Let o(i) = -2*i + 41. Let t be o(-8). Is t smaller than 57?
False
Let n = -1538 + 96904/63. Let y = n - 548/1071. Let k be 0/((-3 + 1)/(-2)). Which is bigger: y or k?
k
Let i = -56.563 + 6.025. Let p = i - -2.748. Let x = p - -48. Is 1/3 at least as big as x?
True
Let g be 2/4 + 183/(-6). Let f = 68 - 67. Let m be (12/30)/(f/g). Do -11 and m have the same value?
False
Suppose 7 = -h + 2*x, 4*x = 9*x - 20. Which is smaller: -2/529 or h?
-2/529
Suppose 6*i + 26 = -28. Let f be ((-13)/(-3) - 4) + 3/i. Which is smaller: -9 or f?
-9
Suppose -3*o = 11 - 2. Let m be 2 - (9/o)/1. Let n be 2 - (2 - 2*2). Which is smaller: m or n?
n
Let d = -763 - -717. Which is smaller: 6 or d?
d
Suppose 0*p + 4*p + 3*t = -18, 2*p = -5*t - 2. Let f(i) = i**3 + 6*i**2 + i + 2. Let v be f(p). Let j be (-8)/14 - (-27)/(-14). Which is bigger: v or j?
j
Let o = 26 + -18. Let l be (-4)/24*o - (-78)/(-9). Is l greater than -8?
False
Let i be (((-567)/(-396))/(-21))/(3/(-2)). Which is greater: -9/4 or i?
i
Let b(l) = -l + 59. Let o be b(11). Suppose -10*r + o - 238 = 0. Is -19 > r?
False
Let z(f) = -f**3 - 10*f**2. Let i be z(-10). Which is greater: -8/15 or i?
i
Let j = -2.065 + 0.065. Suppose -3 + 4 = a. Let i(z) = 4*z**3 + z**2 - 1. Let t be i(a). Do j and t have the same value?
False
Let a = 49 + 63. Suppose -l + a = l. Are 55 and l unequal?
True
Let r = 39 - 25. Let w(x) = -16*x**3 - x**2 - 3*x - 2. Let l be w(-1). Are l and r unequal?
True
Let h = -8 - -6. Let a be ((-111)/51 - h)*-1. Which is bigger: a or -0.1?
a
Let w = 1275/7 + -183. Let r be (-12 + 1)/((-42)/2). Let p = w + r. Are 0.06 and p nonequal?
True
Let y(m) = -121*m**2 - m - 1. Let b be y(-1). Which is smaller: -119 or b?
b
Let r be (-12)/9 - -1*2. Suppose o + 102 = -5*z + 38, -3*o - z - 136 = 0. Let k be (-8)/(-14) + o/126. Is k <= r?
True
Suppose -8 = -4*w - 2*i, 15*w - 12*w - 2*i = -1. Which is greater: w or 16/23?
w
Let r(v) = 4*v - 32. Let h be r(9). Let u be 6/(-21) + (90/21 - h). Which is smaller: 12/13 or u?
u
Let r = 7.289 - 0.089. Let j = -7 + r. Which is greater: 0.01 or j?
j
Suppose 2*j + 53 + 114 = 5*b, 2*j - 2*b + 164 = 0. Are -82 and j equal?
False
Let j = 8 - 5. Suppose -2*a = -j*u + 25, -a + 3*a + 4*u = -18. Let o = 4 + a. Which is smaller: o or -8?
-8
Suppose -104 = 6*w - 602. Let f = w + -83. Is -4/41 greater than f?
False
Let l be (-19 - (-10 - -17))*(-2 - -4). Are l and -45 nonequal?
True
Let i = 169 - 113. Let w = 54.92 - i. Let r = 0.08 + w. Is -1/3 smaller than r?
False
Let t be ((-28)/8)/(2/4). Let o(s) = -s**3 - 8*s**2 - 6*s + 5. Let b be o(t). Let y(k) = -120*k + 237. Let l be y(2). Which is bigger: b or l?
b
Suppose -17*t + 41*t = 14*t. Let h = 6 - 12. Is t greater than h?
True
Let r = 2/23 - 165/46. Let m(k) = -k**3 + 5*k**2 + 2*k - 5. Let l be m(0). Which is greater: r or l?
r
Let p = -35 - -101. Let x = -197/3 + p. Which is smaller: x or -41?
-41
Suppose 6*z - z = 2*k + 75, -5*k + 4*z - 162 = 0. Let b be (-6)/(k/(-8) + -3). Let o = 200 - 208. Is o > b?
False
Let y be (-14604)/(-675) - 8*5/500. Which is smaller: 23 or y?
y
Let g be (-24)/14 + -5*(-6)/(-105). Let b be (-1)/g + (-138)/36. Is b smaller than -2?
True
Let r = 61 + -61. Let a = -53 + 30. Let t be a/(-5) - (-4)/10. Which is smaller: t or r?
r
Let j = -298497/23 + 12975. Which is bigger: -3 or j?
-3
Let k = -8200/297093 - -14/593. Which is smaller: -1 or k?
-1
Let h = -166 + 166. Which is smaller: h or 2/157?
h
Let z = 1 + -9. Let u = -11 - -4. Let b = u - z. Which is greater: -1/8 or b?
b
Let x be 0/(2 - (-9)/(-3)). Let q be ((-124)/310)/((-118)/(-880)) - -3. Which is bigger: q or x?
q
Let f be (1 + 10/(-6))/((-548)/24249). Is 29 at most as big as f?
True
Let u = 4.1 + -0.1. Let y = 0 - u. Suppose l + 4*p - 6*p = 8, p = 2*l - 4. Which is bigger: y or l?
l
Suppose -30*n = -25*n + 2*c + 1, -2*c = 3*n - 1. Which is smaller: 19/9 or n?
n
Let a be -2*(-3)/12*(-3 + 3). Which is smaller: 1/16 or a?
a
Let y be 2 - 60/(-35)*-4 - -5. Is y equal to 0.029?
False
Let h = -1397 - -1408. Which is smaller: h or 0?
0
Let k be (2931/2)/(-3)*2. Let y be 73116/75 - -2*1. Let o = y + k. Is 1 greater than o?
True
Suppose -c - 3*v - 121 = 0, 448 - 133 = -3*c + 3*v. Is -2 less than c?
False
Let f = -46 - -43. Let p(a) = -7*a - 1. Let x be p(-3). Suppose 6*r = r - x. Is r smaller than f?
True
Let s be (-2)/(-3) + (-10)/6. Suppo