Suppose 3*y - 3 = o*y. Is y greater than or equal to -5?
True
Let k(s) = 656*s - 84. Let f be k(-8). Which is bigger: f or -5333?
f
Let q = 1.2 - 1.278. Let r = q - -43.078. Let w = r + -36. Is w >= -1?
True
Let a(t) = 8*t - 110. Suppose 2*q + 20 = -2*q, -27 = -i + 3*q. Let x be a(i). Suppose -h = -5*v + 4, 0 = -2*h - 2*h + 3*v + 1. Is h at most x?
False
Let u be (-703170)/(-821100) - (40/(-168))/((-15)/54). Is -1 at least as big as u?
False
Let l(w) = 3*w + 16. Let g be l(-7). Suppose 2*p + 0 = -3*a - 14, 5*a + 24 = -3*p. Are p and g nonequal?
True
Suppose 15*s + 0*s + 6616 - 6616 = 0. Is s greater than -3/8173?
True
Let h = 12090 + -6661. Is 5429 less than or equal to h?
True
Suppose -27 = -0*q + 3*q + m, -5*q - 5*m = 35. Let n be (-6980)/(-72)*(-4)/q. Let b = 38 - n. Is 0 at least b?
True
Let c = 11.5 - 0.8. Let b = c - 12.7. Let s = -0.055 - -14.055. Are s and b nonequal?
True
Suppose 0 = -2*v + 18 - 14. Let a be v/(-16) + (-55)/440. Which is smaller: -0.3 or a?
-0.3
Suppose 85 = -112*k + 117*k. Suppose -3*d + k = 5*j, 3*d - 13 = -2*j + 1. Let i = -8.9 - -0.9. Which is bigger: d or i?
d
Suppose -4*x - 16 = 5*o, 6*o - 3*o = 2*x + 8. Suppose -6*j - 17 - 73 = o. Is -15 != j?
False
Let b(j) = -j**3 - 29*j**2 - 42*j - 391. Let w be b(-28). Which is smaller: w or 3/1346?
3/1346
Let w = -60055/3 + 19711. Is w < -2?
True
Let i be ((-3)/2)/(-3) + 13740/120. Let g be (48/(-120))/((-1)/i). Which is bigger: g or 189/4?
189/4
Suppose 119*h + 446 + 241 = -27. Are h and 131 nonequal?
True
Let x = -11126 + 11193. Which is bigger: x or 99?
99
Let p be 212/(-28) + 8 + 132/(-14). Does -2/97 = p?
False
Suppose -5 + 3 = 2*d - 2*x, -d = 3*x - 3. Let t = -7668 - -3841670/501. Which is smaller: t or d?
d
Suppose 5*x - 106 = 3*t, 2*x + 2*x - 5*t = 90. Let n be 183/9 + (-8)/((-48)/(-2)). Are x and n unequal?
False
Let z be 35 - (-2140)/(-60) - 7/((-210)/88). Let o(w) = -w**2 + 3*w + 3. Let i be o(3). Is z at least i?
False
Let u = -18.9 + 53.4. Let j = -26.5 + u. Is -1.2 less than or equal to j?
True
Suppose 0 = 7*p + 85 - 120. Suppose 0 = -p*m + b + 3, 3*b = -0*b + 6. Do -1 and m have the same value?
False
Let b = 169 - 172. Let o be -1*(-177)/6*(-1 - b). Is 57 less than or equal to o?
True
Let b be -2*3/9*39/(-13). Let a(m) = -60*m - 2 - 7 - 2*m**b + 29*m - 10. Let j be a(-14). Is 47/2 <= j?
False
Let k = 72/5 - 14. Let w = -26250 + 26782. Is k greater than w?
False
Let t be ((-24)/37504)/((-2)/(-8)). Is t >= 0?
False
Let b(c) = c**2 - 15*c - 325. Let h be b(27). Let d = 3/175 - 817/6825. Which is bigger: d or h?
d
Let i = 264 + -276. Let r be (10/24)/(i/24). Suppose -c - 2*c = b + 3, 3*b + 4 = -4*c. Is r >= b?
False
Let i be 8/(-44) + (-1491036)/561. Is -2658 greater than i?
False
Let g(h) be the first derivative of 16 - 2*h**2 - 8 - 9*h + 2*h + 3*h**2. Let p be g(3). Which is greater: -3/34 or p?
-3/34
Suppose -1 - 13 = -d. Let u be (-34)/(-17)*1/d. Let l = 102 + -101. Do l and u have the same value?
False
Let f = -45280 + 225336/5. Which is greater: -1 or f?
-1
Let h be (-1292)/(-46) - (18/(-12))/(690/(-40)). Is -97 at least as big as h?
False
Let v = 8.545 - 0.315. Let p = 10.23 - v. Is 88 < p?
False
Let j be (8/(-414))/(184/(-138)). Which is greater: j or -10?
j
Let n(a) = -3*a**2 + 16*a + 11. Let v = -199 - -205. Let t be n(v). Which is smaller: 29/6 or t?
t
Suppose -5 + 13 = 4*q - v, -2*q + 3*v + 14 = 0. Suppose 3*j - 3*s - 8 = 2*s, 2*j = -2*s. Let t be (8/4)/((j*-12)/3). Are t and q non-equal?
True
Let n(j) = -152*j - 95. Let a be n(1). Are -250 and a unequal?
True
Let g be -3*(2 - 2 - 1). Let o = -123571063/236 + 523608. Let n = o + -3/59. Do n and g have the same value?
False
Let h(m) be the third derivative of m**4/24 - 8*m**3/3 + 32*m**2. Let j be h(20). Let o be (21/j)/((-20)/40). Which is greater: -12 or o?
o
Suppose 5*o - 3 = 8*t - 5*t, 6*t + 6 = 0. Do o and -7.17 have different values?
True
Suppose 3*u = -2*l + 79, -3*l + 87*u + 112 = 85*u. Is l greater than or equal to 41?
False
Suppose 4*a + 3*r - 110 = 95, -5*a = 3*r - 254. Let b = -49 + a. Which is smaller: -9/8 or b?
-9/8
Let p = -112 - 18. Let z be (333/2220)/((-3)/5). Is z greater than p?
True
Let a(j) = -j**3 - 2*j**2 + 2*j - 63. Let l be a(-5). Which is smaller: l or -13?
-13
Suppose -7*c + 600 = c. Let k(r) = 7*r - 7. Let h be k(9). Let b = c - h. Is b greater than 21?
False
Suppose 3*s + 0*s + 15*s - 2160 = 0. Suppose -2*w + 238 = -0*w. Which is smaller: w or s?
w
Suppose -82*w + 397*w - 347130 = 0. Is w greater than 1106?
False
Let u = 6739 + -6740. Is u <= 8/1599?
True
Let r be (-2)/(-1*6/15). Let d be 5 + -7 - -13*r. Let l = d + -64. Which is bigger: l or -3/8?
-3/8
Let c(n) = n**3 - 8*n**2 + 4*n + 2. Let b be c(5). Let a(q) = -q**3 + 23*q**2 + 493*q - 11130. Let w be a(25). Is b greater than or equal to w?
True
Suppose -5*a + 48 = -3*s, -4*a + 8*s = 7*s - 44. Suppose -a*z = 2*y - 10*z - 610, -z = -4*y + 1215. Is y at most 305?
True
Let w be (0 + -2862)*38/114. Do -955 and w have the same value?
False
Suppose 3*m + 2*j - 1 = 0, -57*m + 9 = -53*m - 5*j. Let k be -1 + (-3 - 106/(-25)). Is m < k?
False
Suppose 5*x - 13 = -3. Suppose 0 = -9*v + 34 + 2. Suppose 2*s = -v*k - 30, 0*k = -k + 4*s - 21. Which is smaller: x or k?
k
Let z = 221 + -219. Suppose 6 = w + 5*c - 18, 0 = -5*w + z*c - 15. Is w at least 135?
False
Let y = 14.5 + -4.4. Let k = -1.6 - y. Which is greater: -2 or k?
-2
Suppose 5*a - 8 = p + 39, -17 = -a + 4*p. Suppose u + a = 12. Suppose -2*b = u*b + 50. Are -10 and b unequal?
False
Suppose 0 = l + 210 - 175. Let x be ((-98)/l + -2)*1/14. Let o = 0 - 0. Is x > o?
True
Suppose -4*u - 31 = -39. Suppose -5*k - 6*o = -11*o, 2*k + u*o = -4. Is k not equal to 0.26?
True
Suppose 0 = 12*z - 6*z + 978. Let b = 289 + z. Are b and 128 non-equal?
True
Let o = -2.02 + 2.17. Let n = -1.25 + o. Which is smaller: -1 or n?
n
Suppose -7*y = 2 + 12. Let r be y/(-4) - 858/44. Let s = 40 + -57. Is r at most as big as s?
True
Let h = 960/11 - 87. Which is greater: 360 or h?
360
Let c = -12.993 - -10.893. Which is greater: c or -2?
-2
Let w be (-5)/((-1350)/27942) + 13/((-390)/(-12)). Which is smaller: 104 or w?
w
Let n be (-50 + 50)/(-2 - 1). Suppose -7*w + 11 + 10 = n. Which is greater: -7 or w?
w
Let n be (18/4*85/357)/(66/77). Are 0.193 and n nonequal?
True
Let y(w) = -1 + 6*w - 3 + 10*w**2 + 9*w - 19*w. Let o be y(-2). Let r = -49 + o. Is -38/9 less than r?
False
Suppose 5*o - 556 = 984. Which is smaller: -0.7 or o?
-0.7
Suppose 4623 = 71*q - 1909. Is -0.13 greater than q?
False
Suppose -2*o = -229 - 329. Is 280 < o?
False
Let a(g) = g**3 - 7*g**2 - 9*g + 8. Let k(r) = -r**2 - r - 2. Let i be k(-2). Let h = i + 12. Let o be a(h). Is -1/57 less than o?
True
Let b = 24.5159 - -0.3841. Which is smaller: 2/21 or b?
2/21
Let a = 2.752 + -0.052. Suppose -16 - 24 = -5*k. Suppose k*l = 3*l. Which is bigger: a or l?
a
Let z be (-165)/9 + (17 - 12)*6/(-45). Let q be (-2)/(2/(-1))*-5. Let h be q*4 + 0 + 0. Is z at least h?
True
Let a = -651605/223 + 2922. Suppose 623*i - 686*i = 0. Is a greater than or equal to i?
True
Let n be (42 + 62)*6/15*(-2)/148. Which is greater: -1 or n?
n
Let r(p) be the first derivative of -p**3/3 - 7*p**2/2 - 7*p + 14. Let k be r(-5). Is k greater than or equal to 6?
False
Let m(j) = -j**2 + 1. Let w(q) = -q**2 - 51*q - 22. Let t(v) = 3*m(v) + w(v). Let b be t(-21). Which is bigger: -713 or b?
b
Let m = -0.0254 - -0.1664. Let i = -0.241 + m. Is 1/152 at least as big as i?
True
Let i(x) = x**3 - 7*x**2 + 5*x - 12. Let z be i(7). Suppose -9*r = z - 68. Suppose -41 = 2*v + 2*v + 3*y, -r*y - 3 = 2*v. Which is smaller: -13 or v?
v
Let b be (0 - (6 + 0))*(-21 - 11682/(-558)). Suppose 7*t = 4*t. Is b > t?
True
Let h = -1827 - -9153/5. Is 4 smaller than h?
False
Let m = 442 + -920. Let r = 478 + m. Which is greater: 25/33 or r?
25/33
Let v(a) = 2*a + 77. Let l be v(11). Let g = l + -25. Is 74 at most as big as g?
True
Suppose k = -6 - 1. Let r(w) = -w**2. Let m(c) = 5*c**2 - 5*c + 3. Let f(b) = -m(b) - 3*r(b). Let h be f(3). Is h != k?
True
Let z = 6506 - 6504. Is -2/7709 greater than z?
False
Let b be (4/14*(72 - 68))/((-2)/(-7)). Let n(g) = 6*g - 4*g**3 - 2*g**3 - 1 + 5*g**3 + 3*g**2. Let w be n(4). Which is smaller: w or b?
b
Let k be (2/2)/(17/(-136)). Let x be (0 + k/(-524