*-2. Which is greater: d or -1030?
-1030
Let z = 0.3 + -0.4. Let m = -2.57 - 0.28. Let l = 13.15 - m. Which is bigger: l or z?
l
Suppose 8 = -z + 93. Let s = -82 + z. Let c(y) = y**2 - 8*y - 1. Let m be c(s). Are m and -14 unequal?
True
Let t = 15811 - 15944. Is -133 >= t?
True
Suppose -q - 3*q + 2*u = 10, 5*q = 3*u - 15. Let b be (-6 - 25)/(3/156). Let s be 2/(-8) + (-299)/b. Is q smaller than s?
False
Let x = 58.8 - 231.8. Let q = x + 175. Is -19 at least as big as q?
False
Let d = -1606/2665 - -36/65. Let w(m) = m**3 + 4*m**2 + 22*m - 26. Let q be w(1). Is q smaller than d?
False
Suppose -15*k - 228 = -12*k. Let d = k + 93. Suppose d = -8*f + 1. Which is greater: f or 0.16?
0.16
Let f be 1 + 0 + 6/9. Let p = -403.1063 + 0.1063. Let t = 402 + p. Is f bigger than t?
True
Suppose -3*f = 3*y - 35793, 37088 = 3*f + 2*y + 1296. Do f and 11931 have different values?
True
Let m = 1047 + -1046. Is 0.0467 not equal to m?
True
Let d be (-1)/((-12)/(-54) - (-289)/(-1260)). Let j be 40/30*(-2)/d. Let o = j + 17/105. Is 1 at least as big as o?
True
Suppose 2*v + a = -3*v - 49, 3*a - 53 = 5*v. Let c be 1*(3/((-6)/v) - 5). Which is bigger: 0.061 or c?
0.061
Let s = 345 - 205. Suppose s = -10*l + 3*l. Are l and -59/3 unequal?
True
Suppose 4*c + 2*m + 12 = -18, c - 2*m + 10 = 0. Let y be (-12)/166*c/(71 - -1). Are y and -1 equal?
False
Suppose 0 = -4*k + 21 + 335. Let y = k + 13. Let d = y + -144. Is d at most as big as -43?
False
Let p be -12*(-15)/180*(8 + 0). Suppose 4 = -2*m + i, p*i = -m + 6*i + 8. Which is smaller: -6/245 or m?
-6/245
Let g = 88 - 81. Suppose g*o = -3*j + 6*o + 56, -26 = -3*j + 5*o. Which is bigger: j or 19?
19
Suppose -1091 = 4*m + 269. Let z = -185273 - -184934. Is m smaller than z?
True
Let z(y) = -y - 1. Let q be z(-2). Let a = -4/397 - 51582/2779. Let g = 2442/133 + a. Is q greater than g?
True
Let o = -195 + 81. Let b be 2*1 + 6 + 0 + (-120 - -1). Which is smaller: b or o?
o
Let z = -170/31 + 2025/341. Let h be (1 + 0 - -1)/(-2). Is z equal to h?
False
Let i = -406.68 - -4048.68. Which is smaller: i or -1/7?
-1/7
Let l = 686 - 622. Suppose 3*o - l = -o. Which is smaller: o or 21?
o
Let r(j) = -5*j**3 + 2*j**2 - 3*j - 4. Let g be r(-4). Let s = 843756191/71 - 11883530. Let h = s - g. Which is smaller: -1 or h?
-1
Let a = -688 - -1483. Is a at least -0.4?
True
Let d = 37 - 27.5. Let q = 51.5 + d. Let s = -63 + q. Which is bigger: 31 or s?
31
Suppose 5*b - 4*c = -0*c + 3145, -5*c - 25 = 0. Let q = b - 1239/2. Let h = -3 - -3.2. Is h less than q?
True
Let j = 37209/91 + -5856/13. Which is smaller: -42 or j?
-42
Let d(w) = w**3 - 15*w**2 - 17*w + 20. Let n be d(16). Suppose -2 = -4*x + 2*h + 22, 0 = n*h. Let g(r) = -r**2 - 7*r + 1. Let m be g(-6). Is m less than x?
False
Let u(i) = -5*i + 81. Let m be u(17). Let d = 2.69 + -2.8. Let w = -1.11 - d. Is w less than or equal to m?
False
Suppose 3*i + 2*i - 2*r - 10 = 0, 3*r = -i + 2. Suppose 3*s = 3*b - 1836, s - 3084 = -3*b - i*b. Let z be (2/10)/(b/70). Which is greater: 0 or z?
z
Suppose 10*x + k = 12*x - 35, -5*x = -2*k - 86. Suppose -4*t - 36 = -x. Does -34/9 = t?
False
Let c(u) = -9*u - 141. Let w be c(-33). Let h be w/(-136) - (-6)/4. Let r be (-2*6)/4 + 2. Is h greater than r?
True
Suppose -11*w - 19 + 4111 = 0. Which is smaller: 371 or w?
371
Suppose -1781 = -406*r + 655. Which is smaller: -2487 or r?
-2487
Let l = -205.6 - -39.2. Let p = -166 - l. Is -0.11 greater than or equal to p?
False
Let h = -178 - -901. Let k be 6 + (-8)/3*(-9666)/36. Is h > k?
True
Suppose -4229 = -10*y - 5349. Which is greater: -135 or y?
y
Let o = -4591 - -4596.3. Let z = 5.7 - 0.3. Let x = z - o. Which is smaller: x or -1?
-1
Let q = -302169 - -302171. Let b be ((-22)/(-10))/(12/5). Is q at most as big as b?
False
Let i be (-4 + (-56)/(-12))/((-1)/3). Let n be (-4)/14 + (-187)/154 + i. Suppose 10 - 26 = 4*g. Is g not equal to n?
True
Let k(m) = -2*m**2 + 141*m + 11. Let z be k(23). Suppose -z = 6*w - 2130. Are 10 and w unequal?
True
Let y = -81512813406494/13975 + 5832759462. Let a = y - 134/25. Does 1 = a?
False
Let q = -19.9 - -1.1. Let l = q + 20.8. Is l bigger than -14?
True
Let r = 3571 + -3876. Is r at least as big as -307?
True
Let u = -168698/27 - -6248. Which is smaller: u or -0.779?
-0.779
Let l be (-2301)/(-195) + -13 - (-282)/335. Is l != 0?
True
Let m = 126 - 126. Let c be ((-16)/(-7) - 2) + m. Is 0.003 smaller than c?
True
Let z = 278561748/255655 - 12/51131. Is z greater than 1089?
True
Let h = -7913 - -7874. Is h >= -57?
True
Suppose 0 = -3*v - 2*m - 95, -3*m = -4*v - m - 150. Let s be (65/v)/(3/(-6)). Let k = -186 + 190. Is k greater than s?
True
Let f(c) = -104*c - 835. Let x be f(-7). Which is greater: -7 or x?
-7
Let t = 23346 + -23264.27. Which is greater: 2/7 or t?
t
Let b = 1530 - 1489. Which is greater: b or 32?
b
Let f = 818 - 4933/6. Suppose -3*c - 3 = 2*u + 4, 5*u = 3*c + 35. Suppose -4*d + 3*d = -5*r - 22, u*d + 7 = r. Which is smaller: r or f?
r
Suppose b = -45 + 96. Let m = 52 - b. Let z be 4/m + 360/(-84). Is 1/7 bigger than z?
True
Let n = -8734 - -8748. Suppose -b = 3*u - u + 22, -110 = 3*b - 5*u. Let t = -16 - b. Is n > t?
False
Let b = -599441/33 - -18164. Which is bigger: b or 0?
0
Let k = -21/4 - -9/2. Suppose -7*p - 19 = -47. Suppose -5*j + 2*b - 20 = -4, -p*j - 4*b + 4 = 0. Is k less than j?
False
Suppose -68 - 400 = 6*q. Let x = 53 + q. Let g = -4 - x. Which is smaller: g or 22?
g
Let l be (5 - -1) + 0 + -4. Suppose 3*m - 2*o = 13, -4*m = -3*o - l*o - 29. Is m < 2/525?
False
Let d = -2.435 + 1.435. Suppose 2*v = 5 - 1. Let h be (-356)/116 + v + 1. Which is bigger: h or d?
h
Let a = -10214 + 10320.1. Which is greater: a or -3?
a
Suppose n + 3268 = 2*d, -1582 + 11386 = -3*n - 4*d. Is -3268 less than n?
False
Let a = -212 + 213. Let v(w) be the third derivative of w**4/24 - w**3/6 + 7*w**2. Let h be v(1). Which is bigger: h or a?
a
Let v be ((-12)/(-10))/((-23)/(-345)). Suppose -v - 2 = -z. Suppose -2*j = z - 44. Are j and 13 equal?
False
Let q = -2542/4245 + -1/849. Let m = -11.8 + 12. Does q = m?
False
Let n = -17.34 - -17.2. Let w = n + -11.86. Is -0.5 < w?
False
Let z(s) = 46 + 5*s + 24*s - 11*s. Let w be z(-5). Which is smaller: -47 or w?
-47
Let v = 0.00022 + 0.29978. Is v greater than 155?
False
Let o(w) = w**2 + 2*w + 4. Let i be o(-2). Let y be (43/43)/(10/i). Is -9/4 greater than y?
False
Let o = 39 - -34. Let t = o - 78. Which is smaller: t or 2?
t
Let s be 5/(-115) - 4792/(-184). Which is smaller: 5.5 or s?
5.5
Suppose -3*q - 173 = -u, -212 + 47 = -u + 5*q. Which is greater: 371/2 or u?
371/2
Suppose 187*x + 1776 = 203*x. Is x at least 105?
True
Let d(u) = u**2 + 205*u + 7316. Let p be d(-69). Which is greater: -2066 or p?
-2066
Let n = -4453.2 + 4450. Does n = -258?
False
Let j = 448.3134 + -0.3134. Is -0.1 at least as big as j?
False
Let u = -2441 + 2442. Is u at most as big as 66/25?
True
Suppose 5*y + 46 = -234. Suppose -25*t + 623 - 1998 = 0. Which is smaller: t or y?
y
Let q be 3*-3 + 87 + -106 + 28. Let s be ((-2)/(-18))/(23/(-3)). Which is greater: s or q?
q
Let n = 19676 + -18973. Is 724 less than or equal to n?
False
Let t be (4/(-2450))/((-1)/15). Suppose 157 = 401*g + 356*g - 914*g. Is g at least as big as t?
False
Let t = 1297670.0462 + -1297775. Let w = t + -0.0462. Are 0 and w unequal?
True
Let b(s) = -4*s**3 - 132*s**2 - 30. Let i be b(-33). Which is smaller: -340/11 or i?
-340/11
Let o = -14.1644 + 0.1644. Is o less than or equal to -51?
False
Let o = 3.5 + 5.955. Let n = o + -9.5. Let h = 35.045 + n. Are -2 and h non-equal?
True
Let y = -74 + 8. Let j = -1593.59 - -1527.5. Let i = j - y. Which is smaller: -0.2 or i?
-0.2
Let a be 6*((-28)/8)/(-1). Let o = a + -61. Let c = 38 + o. Is -8 at least c?
False
Let j = 170 + -1192/7. Let n be -181 + ((-8)/6 - (-3)/9). Let p = -4001/22 - n. Which is smaller: p or j?
j
Let j = -106 - -17. Let y = j + 87.5. Let l = -0.2 - 3.8. Which is smaller: l or y?
l
Let d be ((1 + -1)/(44 + -49))/1. Let i = 722 + -176889/245. Which is greater: d or i?
i
Let d be -16 + (553602/(-693))/(-49). Let y be ((-3)/(-2) + -1)*0. Is d < y?
False
Let x(h) = -153*h**2 - 118*h - 778. Let t be x(-6). Which is smaller: t or -5582?
-5582
Let c = 4372 + -4329. Is c < 0.17?
False
Suppose 2*v + 1 = 2*c + 9, 2*c = -2*v + 12