to -11?
True
Suppose -47*r = -62*r + 5775. Let i = r - 377. Let v be 2/(-12)*1*-40. Which is bigger: i or v?
i
Suppose -4*o + 2*o + 108 = 0. Let k(x) = -2*x + 30. Let f be k(-8). Let v = f - o. Which is smaller: 0 or v?
v
Let v = -77.38 + 75. Let u = v + 2.28. Which is smaller: u or 78?
u
Suppose 3*w - 7 = r - 6, r = 4*w. Which is greater: w or 1.154?
1.154
Suppose -f - 3*x = -2*f + 117, 5*x - 407 = -3*f. Let m be 18418/(-144) - (-380)/475*10/(-36). Let i = f + m. Is i bigger than -1?
True
Let w = -155 + 89. Let x(g) = -g**3 - 19*g**2 + 41*g - 86. Suppose -231 = -987*i + 998*i. Let n be x(i). Is n at least w?
True
Let v = -1346307644/18509 + 72738. Is v >= 0?
False
Let j(x) = -266638*x**2 - 3*x + 2. Let r be j(-3). Let u = r - -170358040/71. Let h = u + 322. Are h and 1 nonequal?
True
Let k = 216 - 192. Suppose v - 30 = 2*m - m, -k = m - 3*v. Which is smaller: m or -32?
m
Let t(l) = 3*l - 7. Let x be t(-16). Let r be -1 - (8/(-4) - 48). Let c = r + x. Which is smaller: c or -3?
c
Let g = 626296/19 - 32950. Let i = g - 13. Let f = -84129 - -84128. Which is bigger: f or i?
i
Let j = 5 - -4. Let o = j - 15. Let p = -72 + 468/7. Is o greater than p?
False
Let q = 49 + 216. Let l = q - 324. Is -2 less than l?
False
Suppose 4*p + 37 + 15 = 4*d, -5*d + 4*p = -65. Let n(a) = -a + 2. Let q be n(-1). Suppose z - d = -z + q*l, 0 = z + l + 6. Is -3 equal to z?
False
Let l = -6992 - -3914. Which is smaller: -3077 or l?
l
Let a(d) = 2*d**2 - 519. Let u be a(0). Let f = -5718/11 - u. Let p = f - 28/33. Is p != 0?
True
Suppose 177*j = 196*j + 54188. Is j at most as big as -2852?
True
Let w be (2 - (-3)/(-2))/(-7). Let z = 577 + -395. Let m = -181 + z. Which is smaller: w or m?
w
Let s be (240/3546)/(1 + 10/(-6)). Is 1 at most as big as s?
False
Suppose 259 - 52 = 3*u. Let i = u - -25. Is i at least as big as 95?
False
Let z be (-32)/21 - (-215)/129. Which is bigger: 23/7 or z?
23/7
Let w be (4 - 45/10)*14. Let u(j) = 2*j + 16. Let b be u(w). Suppose -4*x - 15 = -d, -2*d - x + 9 = -b*x. Is d <= 3/5?
False
Let j(d) = d**3 + 4*d**2 - 3*d + 14. Let r be j(-5). Let w be (-8 - -5) + 36/r. Let i be ((-9)/(-30))/(w/5). Is 1 not equal to i?
True
Let w(z) = -z**3 - 8*z**2 - 12*z - 9. Let o(h) = h - 24. Let v(m) = -1. Let q(g) = 2*o(g) - 22*v(g). Let k be q(10). Let j be w(k). Is -8 not equal to j?
True
Let u = 2.2 - 2.2. Let j = -2924 - -2892.047. Let n = j - 0.047. Which is greater: n or u?
u
Let d = 163 + -144. Let s = 35 - d. Let x(l) = 4*l - 7. Let h be x(6). Which is smaller: h or s?
s
Let x be (-1252 - -18)*((-3)/(-4))/3. Let c = x - -309. Which is smaller: 6 or c?
c
Let v = 83 - 134. Let w be 10/(-25) - v/15. Suppose 0 = -2*p + p - w. Is -16/7 bigger than p?
True
Let s = -126 + 50. Let p = 120 + s. Which is bigger: 0.2 or p?
p
Let y be 15 + -2 + (-3519)/238. Is -0.3 not equal to y?
True
Let g = -4378 + 4350.57. Let p = -3.87 + g. Is 1 at least p?
True
Let x = -116 + 118. Suppose o = -4*y - 268, y - o + 67 = -x*o. Is -66 < y?
False
Let f = -2348.9 - -2349. Is 2340/19 at most f?
False
Let w = -50.3001 - -0.3001. Are 1 and w equal?
False
Let x = 2675/828 - -4/207. Which is bigger: 2 or x?
x
Let t(f) = f**2 - 5*f. Let a be t(5). Let m be (-225)/105*(21/20)/(-21). Is a <= m?
True
Let z(x) = -x**3 + 2*x**2 + 65*x + 12. Let j be z(-7). Which is greater: j or -0.66?
-0.66
Let q = -4893/16 - -306. Let x(s) = -27*s**2 - 171*s + 755. Let z be x(3). Which is bigger: q or z?
q
Suppose -15228 = 1795*j - 1983*j. Let f = -68 + 150. Which is greater: f or j?
f
Suppose x = -2 + 35. Suppose 0*b + 39 = 3*g + 3*b, 3*g - 3*b - x = 0. Suppose -85*u - 2329 = -3349. Is u >= g?
True
Suppose 5*r - 40 = -2*b, -4*b + 2*r + 3*r + 20 = 0. Suppose -5*u + 50 = -b. Let f be (8/u)/(13/(-18)). Is f > -1?
True
Let i = 45.896 - -0.104. Let d = i + -45. Let x = -1.79 + 1.766. Is d less than or equal to x?
False
Suppose -21*n - 48 = -9*n. Let z = 19 + n. Let q be 1095/25 - ((-18)/z - -1). Which is smaller: 45 or q?
q
Let l = -97.237 - -0.237. Let j = l + 87. Let d = j - -6. Do d and -3 have different values?
True
Suppose -28*n = -430*n - 166*n + 6248. Which is bigger: n or 162/13?
162/13
Suppose -4*c = 3*a - 7*c - 12, -a = 2*c + 5. Let x be (6/1701 - a) + (-3 - -4). Is x >= 0?
True
Let d = 100790 - 308233/3. Is -1955 less than d?
True
Let t = 13/22 - 25/44. Let z = 84 - -75. Let h = z - 159. Do t and h have different values?
True
Let y = -353189/127 - -2781. Let m(i) = i**3 + 2*i**2 - 5*i - 7. Let j = -131 - -128. Let n be m(j). Is n bigger than y?
False
Let j = -1 + 1. Let s = -71038/2631993 - 8/12129. Is s != j?
True
Suppose -3*c + 8*c = 25. Suppose 0 = c*o - 4*k + 46, 3*o + 36 = -o + 3*k. Let j be -18*((-9)/o - 0). Which is greater: -28 or j?
j
Let h = 403 - 309. Let j = h - 94. Are -10/23 and j equal?
False
Suppose 0 = -105*s + 97*s - 256456. Let z = -39398055/1229 - s. Are z and 0 unequal?
True
Let m = -576 + 1098. Let i = m - 522.0484. Which is smaller: i or -0.1?
-0.1
Let g be -1 + 10/15 + (-120)/105. Which is bigger: 0.1 or g?
0.1
Let c = -50/21 + 613/231. Suppose -4*m + 15 = m. Suppose -x + 2*h = 4 - 14, -h = m*x + 5. Which is greater: x or c?
c
Let o = -1638873/40 + 40969. Is 1/2 < o?
False
Suppose -73*y = -200*y - 130048. Is -1024 smaller than y?
False
Suppose -606 = -3*c - 588, -c = -q - 2656. Is -2651 at least as big as q?
False
Let i(v) = 71*v**2 - 401*v - 3665. Let u be i(-9). Which is smaller: 5696 or u?
u
Let v = 29808 - 29808. Is v less than -4/3801?
False
Let d(i) = -3*i**3 - 3*i**2 - 2*i. Let x be d(-3). Suppose 145*t = 140*t + 25, -5*c + 300 = 2*t. Which is greater: x or c?
x
Let t = -92 + 96. Suppose t*h + 255 = -113. Is -91 greater than h?
True
Let z = -13813/44364452 - -20/15049. Which is smaller: 1 or z?
z
Suppose 0*o + 4 = -2*o - 5*y, 2 = -y. Suppose -o*s = -2*s - 2. Suppose 3*l = 5*r - 18, -2*l - s - 12 = -4*r. Which is smaller: 1/67 or l?
l
Let k(v) = -v**2 + 9*v + 1. Let t(c) = -4*c + 12. Let u be t(4). Let h be 2 - (u - 0 - -2). Let x be k(h). Which is greater: x or 20?
x
Let o = 60 - 57. Suppose -25*r = 22 + o. Which is bigger: -3/215 or r?
-3/215
Let k = 0.363 + -0.5158. Which is smaller: 0.1 or k?
k
Let q = 5.26 - 18.36. Let c = -482.9 + 483. Is q at least c?
False
Let c(k) = -k**2 + 118*k - 1970. Let p be c(98). Which is smaller: p or 11?
p
Suppose -1519 = 10*f + 39*f. Let c = 2/2139 - 346528/10695. Is f equal to c?
False
Suppose -10*z = 195 - 1045. Let x = -60 + z. Is x greater than or equal to 31?
False
Let j(l) be the first derivative of -3*l**2/2 + 10*l - 15. Let a = 82 + -77. Let b be j(a). Which is smaller: -6 or b?
-6
Let r = 19348 - 14594. Are r and 4754 non-equal?
False
Let i = 673 + -733. Let t be 20/i + 15/99. Which is bigger: t or -4?
t
Let a be 95/3 + 4/6. Suppose -14*j - 15*j + 377 = 0. Suppose -43 = -n + z - j, -n - 5*z = -42. Which is smaller: a or n?
n
Let x be 2/(-4) - (-99)/18. Suppose x*n = -4*h - 7, 0*h = n - 2*h - 7. Let y be 36/(-234) + (0 - 0)/1. Is y greater than n?
False
Let s be (-4)/(-16)*(-12)/53. Suppose -31*n + 30*n - 11 = -8*b, 3*n + 13 = 4*b. Which is greater: s or b?
b
Let t = 5/348 - 79/116. Is t != -1/1244?
True
Let r be 1602/(-298) + 260/65 - -2. Is 2 bigger than r?
True
Suppose -l + 210 = 6*l. Let r be 46/l + -3 + 6/(-30). Is -3/4 at least as big as r?
True
Let f = 549 - 544. Suppose -2*r + 184 = 2*r. Let q be r*5/10 - f. Is q <= 16?
False
Suppose 38*t - 35*t = 5*k + 11, -4*k + 3*t - 10 = 0. Which is smaller: -14/11 or k?
-14/11
Let g(x) = x**3 - 11*x**2 - 12*x. Let q be g(12). Let d be 2/(-4) - q - (-81)/(-2). Suppose 0*l + l = -3*z - 125, 5*l = -4*z - 185. Which is bigger: d or z?
z
Let u = 14374.93167 + -14375. Which is smaller: -0.1 or u?
-0.1
Let o(r) = -36*r**2 + 65*r - 46. Let j be o(27). Which is greater: -24536 or j?
j
Suppose -44*w + 48227 = 553699. Let a be (-12)/10 + w/(-9590). Which is bigger: 1 or a?
1
Let h be 6 - (2635/(2 + 3) - 5). Let b be (h/(-12) - -10)/((-4)/1). Which is smaller: -12 or b?
b
Let g = -59768/6148615 - 2/10163. Which is smaller: g or 0?
g
Let d = -2.49 - -4.8. Let c = 2.31 - d. Is 0.09 bigger than c?
True
Let c = -18668 + 17747. Do -929 and c have different values?
True
Let l = 6506 - 6586. Which is bigger: -0.1 or l?
-0.1
Suppose -25*b - 57*b = -4 + 86. Which is smaller: 55/611 or b?
b
Let 