Which is smaller: -2 or v?
v
Let m be 3 + (-18 - 2) + -3. Suppose -266*p - 848 = 609*p - 27*p. Is p < m?
False
Let o = 1.0696 - 0.0696. Which is smaller: -101.08 or o?
-101.08
Let o(b) = 152*b + 1244. Let h be o(-30). Is h != -3316?
False
Let a = 330/359 - 22806/15437. Suppose -4*h + 0*h - 8 = 0. Is h greater than a?
False
Let v be (-2 + 22/8)/(1/48). Suppose 0 = -v*x + 35*x. Let z(i) = -i**3 - 2*i**2 + i. Let h be z(x). Are h and 3/56 equal?
False
Let l be (-1 - -10)/((-3)/(-2)). Let q = -87 - -102. Suppose 0 = -5*w + q, -w = -53*c + 58*c - 43. Which is smaller: c or l?
l
Let b = -17756/315 - -1327/21. Let l = 56/9 - b. Is l != 2?
True
Let c = 388.7 + -934.7. Does -0.4 = c?
False
Let i = -5.008 - -4.978. Is -393 <= i?
True
Let u = -42984021 + 42167316917/981. Let z = -6/109 - u. Let q = z - 149/18. Which is bigger: q or 64?
64
Let c be (5 + -42 - -5)/(3/(-12)). Let g be (-128)/((-5 - -2) + 2). Are g and c equal?
True
Let k(b) = b**2 + 5*b + 6. Let d be k(-3). Suppose d - 34 = 2*p. Let j = 7 + p. Is j less than -9?
True
Let k = -2896 - -2895. Is -3/994 at most k?
False
Let r be ((-6)/(-27) - 22/18)*-1. Let h = 97/10 - 17149/1770. Which is greater: h or r?
r
Suppose 170*z + 6052 = -186*z. Let w be -1 + (-15 - (-1 - 1)). Which is bigger: z or w?
w
Let m be 312/(-260) - (-409)/(-5). Let t be 4/(-18) - 240/(-108). Does t = m?
False
Let i be (-4)/6 + (-23)/(-3). Let d(s) = -6 + 0 + 3 - 5 - s**2 + 8*s. Let m be d(i). Which is smaller: -1/3 or m?
m
Let z(t) = -28 + 16 + 3*t + 13. Let j be z(1). Suppose 3*p + 2*p = -j*g + 266, 4*g - 272 = -2*p. Are g and 68 equal?
False
Let k(r) be the second derivative of -r**3/2 + 29*r**2/2 + 18*r. Let i be k(6). Suppose z + d = -i, -2*d + 2 = -2*z - 0*d. Is -3/2 > z?
True
Let z(q) = 15*q - 16. Let a be z(18). Is 259 smaller than a?
False
Let z = 142 - 153. Let u = -11 - z. Which is smaller: 18/17 or u?
u
Let m = 20 + 8. Let n = m + 35. Let b = n + -65. Is 4/3 greater than b?
True
Suppose 67*r + 257643 + 214387 = 56429. Which is smaller: r or -1/4?
r
Let y be 1/9 - ((-2410005)/135)/(-17). Is y < -1051?
False
Let u = 0.0953 - 12.0953. Is u > 152?
False
Let t(m) = 7*m - m**2 + 2*m**2 + 7*m**2 + m**3 - 1. Let d be t(-7). Let f be (-14)/(294/9) + -2 + (-2304)/(-966). Which is smaller: d or f?
d
Suppose 5*j + y + 230 = 0, -j + 4*y + 24 = 91. Let m = 271 + -331. Let w = m - j. Does -11 = w?
False
Suppose r - y - 7 = 0, 7*r - 13 = 3*r + y. Suppose 0 = -3*w + 7*w + r*s - 16, 0 = 4*s. Let p be -5*1*9/(-15). Is w at least as big as p?
True
Let v = 0.3 + -1.3. Let j = v + 2. Let k = 0.05878 - 1.65878. Which is smaller: j or k?
k
Let x = -339 - -348. Suppose -20*r + x*r = 154. Is r at least -14?
True
Let w be ((-240)/140)/(4/(-14)). Let u be w/(24/(-2))*(-2)/(-177). Is u > -1?
True
Let j be (1 + -1)/(2 + 0). Let p be 1 + (-2 - (9 + j)). Let r = -1465 - -1455. Is p bigger than r?
False
Let b(x) be the second derivative of -x**4/12 - 5*x**3/2 - 17*x**2/2 + 11*x. Let r be b(-14). Let v be 3*r/(9/(-4)). Is v smaller than 3?
False
Suppose -13 = -14*x + 43. Suppose -a + 2 = 0, -4*a = 2*g + a - 14. Suppose 0 = -5*q + w - g*w + 17, x*q - w = 19. Is 21/4 bigger than q?
True
Suppose w + 5*o - 21 = 0, 2*w + 2*o + 40 = 98. Let k be (0 + 18/5)/(12/200). Suppose -30 = -j - 5*l, 14*l - 10*l - k = -2*j. Which is greater: w or j?
w
Suppose -4906*z = -4938*z. Is -1/8856 equal to z?
False
Suppose 32*c - 1711 = -3855. Is c <= 37?
True
Let f = -306 + 362.4. Let o = f + -221.4. Which is greater: o or 1?
1
Suppose -4*l + 43 = 5*g, -2*l - 3*g - 74 = -97. Suppose -55 = l*h + 50. Which is smaller: -14 or h?
h
Let c be 3*1 - (-1 + 28). Let x be c/14 + (-8)/(-4). Suppose 5*f + 2*v - 11 = -0*v, 3*v - 9 = 0. Which is smaller: f or x?
x
Let a = 1299302/3 - 440972. Is -7871 less than or equal to a?
False
Suppose -5*a - 15 - 2 = -3*b, -5*a - 16 = -4*b. Suppose 36*u - 734 = -86. Let j be u/(-14) - a/14. Is j <= 1?
True
Let v be (-4)/(-10) + ((-132426)/(-5310) - 25). Is 1 > v?
True
Let h = 65 + -60. Suppose h*b + 12 = -7*b. Let w be 0/(-6) + b/1. Is w at least as big as -6/53?
False
Suppose 4*p + 4 = 0, 69*h + 5*p + 365 = 65*h. Is 29 at least as big as h?
True
Let x be (-14628)/28 + -12 - (5 + 0). Let h = -540 - x. Is -2 bigger than h?
False
Let m = -279 + 495. Let r = m - 2380/11. Which is smaller: r or -3?
-3
Let l(d) = d + 30. Let i be l(-10). Let z be ((-276)/i)/(-3) + 6/15. Suppose 0 = -z*p - 0*k - k - 39, k + 4 = 0. Is p >= -7?
True
Let w(z) = z**3 + 45*z**2 + 79*z - 159. Let x be w(-43). Is x greater than 127?
True
Suppose 5*j + 4*m = 1258, -23*j + 24*j - 269 = 5*m. Is j smaller than 2025/8?
False
Let c = 58 + -58.026. Let r = 0.012 + c. Let v = -2.014 - r. Which is smaller: v or -0.8?
v
Let n be (-5)/(-4)*-2*(-8)/(-650). Let p be (2/(-3) + 1)/(390/1908). Let k = n + p. Is k at least 3?
False
Let x = -680 + 686. Suppose -x*n + 11 = 143. Is n less than or equal to -24?
False
Let a be (497 + 56 - 3/(-3))*(-1)/2. Is a smaller than -275?
True
Let m(u) = 94*u - 8290. Let q be m(89). Let c = 17553/233 - 1/699. Which is bigger: c or q?
q
Let b = -5079400/53 + 95834. Which is bigger: -5 or b?
b
Let w = -129495 + 1684237/13. Which is smaller: w or 63?
w
Let h = -896.915 - -896. Let l = h - -1.015. Let j = -13255/29 + 457. Is j smaller than l?
True
Let g be (-1141)/11 + 48/(-176). Let f be g*5/175*10/12. Which is smaller: -3 or f?
-3
Let z = -10 + 11.2. Let y = -0.1 - -1.6. Let i = y - z. Which is smaller: i or -6?
-6
Let w = -31 - -35. Let u(y) = -y + 20 + w*y**2 - 5*y**2 - 17. Let r be u(2). Which is smaller: -1 or r?
r
Suppose 0 = -23*k - 26*k - 2*k + 11424. Which is bigger: 223 or k?
k
Let c(n) = -482*n + 2864. Let p be c(6). Which is smaller: -628/23 or p?
p
Let a be ((-14)/(-8)*(-152)/(-532))/((-13)/20566). Which is smaller: -797 or a?
-797
Suppose -6*b + 9*b = 18. Suppose 5*m - b = 2*m. Let g = -2/141 + -107/2397. Is g greater than or equal to m?
False
Suppose 4*q - 8 = 0, 3*p - 4*p + 2*q = 61. Let o = p - -65. Let d be (-66)/(-4) + 0 + (-12)/o. Is 69/5 greater than d?
False
Let n(q) = 3*q**2 - 47*q + 43. Let p be n(5). Are -101 and p nonequal?
True
Let n = 6723 + -114258/17. Is n at most as big as -1?
False
Let h = 753767/4 - 186425. Let v = h - 2004. Suppose 518*a - 3518 + 2457 = 5673. Is a bigger than v?
True
Suppose 3*q + 1985 = -3*f + 4*q, q + 1 = 0. Is f > -660?
False
Let m be 11/(-33) - 182/(-6). Let y = 54 - m. Let q be 4*(3 + y/(-3)). Is -19 at least q?
True
Let c be -2 + (-394)/8 - 5/(-20). Let l = -10 + 32. Let k = l - 73. Is k at most c?
True
Let v = 18266 + -18268. Is 321 > v?
True
Suppose -2*f + 4*f + 10 = 5*b, -4*f = 3*b - 6. Suppose 2385*n - 253 = 4773*n - 2365*n. Is n greater than or equal to f?
False
Let d(l) = -4*l**2 + 321*l - 2300. Let j be d(8). Let y = 3 + -7. Let m be -1 + y/(8/(-6)). Is m less than j?
True
Let a = -2864.0104 - -2864. Do 1/3 and a have the same value?
False
Let t be (2/(-4))/((33/(-60))/11). Let g be (-4)/8 + 5/t. Let n = -469 - -8909/19. Which is bigger: g or n?
g
Let p = 57059/83736 + -1/1163. Are 0 and p equal?
False
Let x = -48 + 54. Let d be (77/28)/(x/(-8)). Let q(r) = -r**3 + 9*r**2 + 10*r - 4. Let n be q(10). Which is bigger: n or d?
d
Let j be (-2625578)/755 - 6/15. Let z(t) = 491*t - 41. Let s be z(-7). Let n = j - s. Which is greater: -1 or n?
n
Let u be ((-20)/(-3))/(53/(-102) + (-34)/(-68)). Let z = -474 + 135. Which is bigger: u or z?
z
Let u be 313/24 + (-4)/6. Let n be 21 - (-5)/(5/(-8)). Is n less than u?
False
Suppose 3*p + d - 388 = 444, 5*p = -5*d + 1370. Let u(z) = -z**3 + 15*z**2 + 20*z - 21. Let s be u(15). Does s = p?
True
Let w be 5/(-8 - 294/(-36)). Let i(q) = 4*q**3 - 4*q**2 + 6*q + 1. Let l be i(2). Which is greater: l or w?
w
Suppose 3*k = -59 + 11. Let g be 6/(-9)*11/(77/105). Let x be (-5)/(g/(-4))*(-21)/(-3). Is x >= k?
True
Let c = -65.8 + 1691.8. Which is greater: c or -2/5?
c
Suppose f - 11 = 2*b, b - 2*b = -5*f + 28. Let h be ((-12)/9*b + -2)/(-1). Let v = -228/91 + 14/13. Is v at most h?
False
Let u = -0.9 - 110.5. Let h = u - -112. Which is bigger: 2/5 or h?
h
Let w = -14424/253645 - 2/7247. Suppose 2*j = -3*j + 5. Suppose v - j = 2*b, b - v = -2*v + 1. Does b = w?
False
Let k = 95.1 - 74. Let z = k + -20.1. Let x = 0.06 - 5.06. Which is greater: x or z?
z
Let y = 4761 + -466