s smaller: 3 or c?
c
Let k be 142/10 - 34/170. Suppose 0 = k*h - 15 - 27. Which is bigger: 17/7 or h?
h
Let n be (25744098/(-50313))/(736/(-40)). Let x = n + -14928/541. Let i = x - 6/31. Does -1 = i?
False
Let v be (-16)/3*1116/3472. Which is greater: v or 69?
69
Suppose -5*d - 129 + 118 = -q, 5*d = -q - 19. Is d greater than or equal to -176/49?
True
Let u = -301/6660 - -1/1332. Let w(v) = -v**2 - 21*v - 35. Let q be w(-19). Let o = -3 + q. Which is smaller: u or o?
u
Let p = -23 + 15. Let u be 2/(12/p - -2). Let i be 1 + -6 - (u - 6). Which is greater: i or -4?
i
Let f = -4419 + 4418. Is f at least -3021?
True
Let j = 13035134/229 - 56922. Let t(a) = a**3 + 2*a**2 - 4*a - 2. Let l be t(-3). Is l != j?
True
Let t = -2814 + 2824. Are 4/77 and t equal?
False
Let t be 298/4*((-4137)/(-294) - 2/28). Is 1040 >= t?
False
Let j be (-252)/(-5) + (-8)/20. Let y = 159 + -236. Let t be y/22 - (-214)/4. Is t greater than j?
False
Let p(q) = -q**3 + 4*q**2 + q - 5. Let l be p(2). Let d be -2 + -1 + 0 + l. Let x be 1/(-2) - (1/2 - d). Which is smaller: x or 1/11?
1/11
Let n = -5/3558 + 41237/227712. Let m = n - 10309/384. Is m at least as big as -26?
False
Let f = 77 + -69.8. Let j = f + -7.3. Which is smaller: 6.2 or j?
j
Suppose -7 = -13*w - 33. Let c be (w/(-3))/((-2)/(-21)). Which is greater: c or 19?
19
Let f = 14947/4 + -3736. Which is smaller: f or 146?
f
Let i(m) be the first derivative of -3*m**2/2 - 44*m - 20. Let h be i(-15). Which is greater: h or 2?
2
Let c be (-11)/(-2)*78/143. Suppose -c*n + 294 = -2*r - 82, -3*n = -4*r - 764. Which is smaller: r or 2?
r
Let w(s) = -s**3 - 64*s**2 + 70*s + 109. Let x be w(-65). Let t = -2.8 + 3. Which is smaller: x or t?
x
Let i be 4/(-2) + (1 - -5). Let a(l) = -3*l**2 + 15*l - 8. Let c be a(4). Suppose -7*j + 9*j + c = 0. Is i <= j?
False
Let z = -1447.1 - -1446.6. Let x = -1.1 - -1. Is z greater than x?
False
Let d = -3.44 - -0.04. Let o = 75 + -80.4. Let g = o - d. Which is greater: 0.5 or g?
0.5
Let m be 57916/(-63)*9/(-6). Let w = m + -1376. Is 4 < w?
False
Let p = -7033 - -41065/6. Which is smaller: -190 or p?
-190
Let c = 81 - 57. Suppose 279 = 5*k + c. Let g be (-136)/k*3/2. Which is greater: g or -5?
g
Let c(m) = 3*m + 6. Let z be c(-4). Let f be z/(-8) + 88/(-160). Suppose -26*l + 30 = -41*l. Which is smaller: l or f?
l
Let t = 27 - 20. Suppose -j - t = -9. Suppose p + j = 2*p. Is p at least as big as 1/2?
True
Let m(b) = -6*b - 25. Let h be m(-6). Let o be (-10)/(-6)*(-8 + h). Let g be -3 - 1/5*o. Is -8 >= g?
False
Let y = 1232 - 912. Are 320 and y nonequal?
False
Let g(b) = -11 - 2*b**2 - 4*b + 8*b**2 - 5*b**2. Let p be g(-2). Which is smaller: 3/14 or p?
3/14
Let k = 183 + -103. Let z be (-40)/k - (-107)/206. Do -1/3 and z have the same value?
False
Let z = -365 - -800. Let n = z + -412. Is n greater than or equal to -0.08?
True
Let c = 57 - 61. Let n be 1/(c/(-40) - 0). Are 10 and n nonequal?
False
Let m = 324 - 295. Suppose 28*c + 52 = m*c. Which is bigger: -1/5 or c?
c
Suppose 0 = 11*s - 8*s - 1248. Let h be (7 - 10) + 5030/s + 1. Let u = 132/13 - h. Which is smaller: 2/5 or u?
u
Suppose 152*k + 1461 = -g + 156*k, 2*g + k = -2877. Is -1440 not equal to g?
True
Let s(x) be the second derivative of 12*x + 0 - 1/3*x**3 + 17*x**2. Let m be s(14). Is -5 at least m?
False
Let w(q) = -2*q**3 + 21*q**2 - 18*q - 82. Let i be w(9). Which is smaller: 2/3897 or i?
i
Let i = 440/21 + -77419/3696. Let v(h) = -h**2 + 5*h - 1. Let a be v(5). Which is greater: a or i?
i
Suppose -64*j - 147203 = 69117. Which is smaller: -3383 or j?
-3383
Let s be 6*(2 - (-44)/(-12)). Let f be ((24/s)/2)/(30/75). Let n be 3768/5880 - f/(-5). Is 2/5 greater than n?
True
Let j = -1138 + 2566. Suppose -15*g = -32*g + j. Is 86 greater than or equal to g?
True
Let j = -271427/235 + 1155. Suppose 17*t - 10061 = -10061. Is t != j?
True
Let b(y) be the first derivative of -y**4/4 + 19*y**3/3 - y**2/2 + 19*y - 18. Let w be b(19). Suppose 32*v - 35*v - 27 = w. Which is greater: -7 or v?
-7
Suppose 0 = g + 3*g + 124. Let m = g + 61. Let f be 46/(-60) + (-4)/m. Which is smaller: f or 0?
f
Suppose 844 = 4*c - 5*j, -2*j - 1 = 7. Let p = 142138 + -141933. Is c > p?
True
Let x = -28 + 29. Let y = 31 - x. Let u = y - 30.14. Is u equal to -0.4?
False
Let r = 69 - 68. Let x = -2228/17 - -131. Let u = 69/272 - x. Which is smaller: u or r?
u
Suppose 87*w - 76 = 163*w. Which is bigger: 23/72 or w?
23/72
Suppose 13 = -2*t + 5*s, 5*t + 1 = 6*s - 4*s. Let u be t - (-1 - (-5)/(25/10)). Which is smaller: 2/125 or u?
u
Let c be (-85)/(0 - -1) + 2*(-72)/16. Which is smaller: c or -1426/15?
-1426/15
Let y = -21660.8378 - -21661. Is -1 equal to y?
False
Suppose -3*i = -3*a + 12, 4*a = a + 5*i + 8. Let c be 115/15*-2*a/4. Let b = 74/3 + c. Is b bigger than 2?
False
Let j = -5794 + 7722. Is 1928 not equal to j?
False
Let n be -1 - (-7960)/(-18) - 4/(-18). Let p = n - -39428/89. Is p less than -1?
False
Let z be (44/(-10))/(4/(-70)). Let m = z - 42. Which is smaller: m or 33?
33
Let i(j) = -j**2 + 50*j - 271. Let v = -566 - -611. Let m be i(v). Which is smaller: m or -47?
-47
Suppose -21*q - 24*q = -7110. Suppose n + 2*b + 38 = 2*n, -q = -5*n + 2*b. Suppose -2*a + 155 = 3*a. Is n greater than or equal to a?
False
Let v = 6 + 7. Let i = 13.04 - v. Let u = 0.06 + i. Is u greater than -0.5?
True
Let b = -18 + 6. Let i(o) = 26*o + 179. Let v be i(-7). Is b at least v?
False
Let m = -859 + -595. Let a = -787 - m. Which is smaller: a or 666?
666
Suppose -22200 = -12*n - 38*n. Which is bigger: n or -1?
n
Let m = 329558143744141466074/3 + -119149439959658004307787470/1084629. Let k = m + -3715679519. Let x = -2/2639 - k. Which is smaller: x or -1?
-1
Let c = -5872/3 + 1956. Is -0.05 at least as big as c?
True
Let p be (-17)/(-34) + 71/2. Suppose -p = -42*f + 33*f. Which is bigger: 6 or f?
6
Let z = 102 - 90. Let y be 2/3 + z/(-54). Let m = 35/9 + y. Which is smaller: 4 or m?
4
Let r = 4708 - 10248. Which is smaller: r or 1?
r
Let q be 3 - (-3)/(6/14). Let d be 5/q - (0 + 21/6). Let m be d - (-8)/2 - 1. Is m < -1/66?
False
Let k = -46 - 112. Is -2/13 less than or equal to k?
False
Let y = -1535583553/15255 - -100661. Which is smaller: y or 1?
y
Let f = -13637/2 - -6771. Which is smaller: f or 1/2?
f
Let l = -4907459/33 + 148713. Let g = 8 - 6. Is g <= l?
True
Let g(c) = 142*c**2 + 5*c + 4. Let i be g(-1). Suppose -10*b = -13*b - i. Let m = b + 46. Is -1/43 at most m?
False
Let j be (-48)/264 - 4878/(-7590). Which is greater: 0 or j?
j
Let n be (-1)/4 - (-564262)/(-744). Which is smaller: -759 or n?
-759
Let m(a) = a**3 + 4*a**2 - 6*a. Let y be m(-5). Suppose -y*x - 10 = -5. Let b = -428241 + 3425923/8. Is x > b?
False
Suppose 2*q - 6*q = -3*m, -3*m - q = -15. Let y be 12/16 + 4 + (-391)/m. Is y equal to -93?
True
Suppose 4*a = -2*s + 34, 32 = 5*s + 7. Let r be (2 - a)*-1 - (0 + 3). Which is smaller: -2/385 or r?
-2/385
Let x = 109 + -102. Suppose -x*d = 4*z - 2*d + 6, -3*z - 4*d - 5 = 0. Which is smaller: z or -5/46?
-5/46
Let a = -27583/3 - -219149/24. Which is bigger: a or 1?
1
Let a = 377 - 362.56. Let c = 0.44 - a. Let l = -16 - c. Are -2/7 and l equal?
False
Let v(b) = -b**2 - 20*b - 5. Let i be v(-18). Suppose -3*n = i*n + 2108. Suppose 0 = -4*s - 2*k - 250, 0 = -0*s - 3*s - 5*k - 198. Is s < n?
False
Let l = 16 - 161/10. Let r be 1/(-2)*(1 + 3 - 4). Are r and l nonequal?
True
Let t(s) = 3*s**2 - 10*s + 5. Let y be t(-5). Let d be (-45)/(-39) - (410/y + -3). Which is bigger: -1/24 or d?
d
Let i be (14/7)/((-168)/86 - -2). Let o = 48 - i. Suppose -o*l + 3 = -2. Are 1/31 and l nonequal?
True
Suppose 0 = 8*m + 3*m - 33. Suppose 7*b - m*b - 5*a = -6, -2 = -a. Is 23/31 < b?
True
Let c = 227 + 986. Does 1211 = c?
False
Let f = 441 + -264. Let p = 177 - f. Let z = 0.4 + -0.2. Which is smaller: p or z?
p
Let g(t) = t**3 - 11*t**2 - 12*t - 3. Let c be g(12). Let z be (c/1 + 1)/(49/294). Is z greater than -12?
False
Suppose -136*p - 18 = -139*p. Suppose -2*b + 2*b = -2*b. Which is smaller: p or b?
b
Let n(f) = -f**3 + 5*f**2 + 7*f - 15. Let u be n(7). Let y = u + 263/4. Let w = -36 - -35. Which is greater: y or w?
y
Suppose 0 = 22*s - 19*s - 96. Suppose 7*c = 9*c + s. Let n be -3*(c/4)/12. Which is smaller: n or 22/5?
n
Let l = 11056 - 11637. Which is bigger: -5231/9 