-4*s. Suppose 382 + 18 = -s*i. Which is greater: 3 or i?
3
Suppose 212*t = -90*t. Are t and -2/23423 equal?
False
Suppose 168 = 2*x + 2*c, -3*x - 5*c + 92 = -2*x. Suppose 2*v = -2*u + x, -3*u = -5*v - 0*u + 221. Which is smaller: v or 39?
39
Let u be (-944)/10 - 22/(-55). Let k be (-93 - (-7 - -3))*1. Let n = k - u. Which is greater: 4 or n?
n
Let q = -75.832 + -0.168. Let s = q + 121. Let x = s - 47. Which is smaller: -2.2 or x?
-2.2
Suppose 25*a + 7*a + 17*a = 6*a. Is 35/24 greater than a?
True
Let s = 7.3 + -0.5. Let k = 2.2 + s. Let q = 78 - 76. Which is bigger: q or k?
k
Let w be 0/(4 + (2 - 2) - 5) + (-60)/(-30). Suppose -3*g + 14 + 28 = 0. Suppose -g = 2*c - 4*c. Which is smaller: c or w?
w
Let m = 2.81 + -3.54. Let d = m - -0.83. Is d at least 251?
False
Let t = -1107/4 - -273. Let s = -8 + 18. Suppose s*u = -17 - 33. Which is greater: t or u?
t
Let r(v) = v**2 - 141 - 4*v + 146 + 8*v. Let d be r(-2). Let p be 1088/(-546)*d - -2. Are -0.1 and p non-equal?
True
Let v be -15 - (1 - -3)*93/(-62). Let s be (-2)/4 - (-2 + v/(-6)). Which is smaller: -6/371 or s?
-6/371
Let h be 59208/9869 - (6/(-69) + 5600/920). Do h and -1 have the same value?
False
Let m(w) = 8*w - 96. Let u be m(13). Let d be 12/u - 282/(-28). Is 11 greater than d?
False
Let l be (-3)/(-3 + 14/4)*-2. Suppose 6*j - l = 9*j. Let u be (-4)/(-6) - (-10)/(-6). Is u >= j?
True
Let o = -25935 + 25721.02. Let i = -214 - o. Which is greater: i or 5?
5
Suppose -12*d + 20 = -8*d. Suppose g + 4*g + d = 0. Let f be (-1)/(g/(8/(-68))). Which is smaller: 0 or f?
f
Let f be (-936)/(-442) - (-2)/(-17). Let a be (8/(-6))/((-13)/39). Suppose 0 = -5*q - 2*z + 18, -2*q = 2*z - a*z - 10. Which is smaller: q or f?
f
Let i be (21/((-357)/(-9112)))/((-2)/4). Which is bigger: i or -1/4?
-1/4
Suppose -6*j = -5*j - 23. Let i be 8/(-1) + (-2 - -3). Let p(h) = -2*h + 9. Let z be p(i). Is z greater than or equal to j?
True
Suppose 3*d = 5*c + 3213, -d - 4*d - 2526 = 4*c. Is c less than -641?
False
Suppose 4*q + 449 = 18*s - 15*s, -5*q + 5 = 0. Let a = s - 457/3. Does 1 = a?
False
Suppose 49 = 5*b + 29, -5*r + 4*b = 71. Suppose 182 = 11*z - 4*z. Are z and r nonequal?
True
Let k(m) = -m**3 - 6*m**2 + 3*m - 14. Let b be k(-7). Let f be 2*(1 + 1) + b + 11. Suppose -f*p + 26*p - 33 = 0. Are p and -5 equal?
False
Let b = 35687 - 35967. Is -285 != b?
True
Let p = -1.091349 - -1.381349. Let u = 1 - 1.1. Let c = 0.1 + u. Which is smaller: p or c?
c
Let h be ((-20)/15)/(10/15). Suppose 0*r - r - 20 = 0. Let a be r/26*(h + 0/(-4)). Is a greater than or equal to 3?
False
Suppose 4*y = -4*n - 868, 0*y + 219 = -y + n. Let z = 3489/16 + y. Let h = 13 - 17. Which is smaller: h or z?
h
Let i = -23207 - -23224. Suppose 0 = 5*l - 2*l - 45. Which is bigger: i or l?
i
Let g(x) = -3*x + 2. Let f be g(-3). Let a(r) be the first derivative of 2*r**3 - 3*r**2 + r - 111. Let i be a(-1). Is f greater than i?
False
Let u be ((-944)/(-413))/(6690/364). Let m = u + 2/223. Let d = 41/180 + 1/45. Are d and m equal?
False
Suppose -4*z + 47*p = 43*p + 548, 0 = p + 2. Which is bigger: -971/7 or z?
-971/7
Let t be (-5 - -2)/(-15) - (-139)/(-545). Suppose 2*q - 4*c - 2 = 0, 5 - 6 = -q + c. Is t at least q?
False
Suppose 0 = -3*s - 9, -5*m + 2*s + 3*s - 2735 = 0. Let d = 122548 - 853966/7. Let c = m + d. Is c greater than or equal to 0?
True
Suppose -n = -2*v + 136, 2*n + 3*v + 483 = 190. Let m = 1276/9 + n. Is -1 not equal to m?
True
Suppose 0 = 2*i + 4, -i = -5*h + 309 + 58. Suppose -5*j = 22 + h. Let x(k) = 3*k**2 - 25*k + 23. Let r be x(6). Is r greater than j?
False
Let k = -4700 + 23466/5. Which is smaller: k or -6?
k
Suppose -4*s - 7*m + 4*m = -3257, -4*s - 2*m = -3254. Let b = s + -811. Do b and -5/36 have different values?
True
Let f be 59/(-36) - (1/(-6))/(40/420). Which is bigger: f or -55?
f
Let a = 381 + -374. Suppose -5*d = 4*o, 11*d - a*d - 2*o + 26 = 0. Is -53/17 at least d?
True
Let m = 2 + -3. Let v = 27 - -23. Let k be v/(-160)*-2*2/(-10). Is m greater than k?
False
Let a = 514.9407 + 0.0593. Let w = 519 - a. Are w and 13 nonequal?
True
Let v(w) = -123*w + 10. Let n be v(2). Is n greater than -236?
False
Let f = -652779/1517362 + 281/1837. Let c = -10413/3422 + 88/29. Let s = f + c. Are -1/12 and s equal?
False
Let y(g) = g**2 - 215*g + 9582. Let t be y(63). Which is bigger: 996/143 or t?
996/143
Let v = 43.6 + -240.6. Let w = -197.07 - v. Which is bigger: w or 15?
15
Let n be -6 - (-7 + -5) - -1. Suppose -n = 4*c + 105. Suppose -2*z - 47 = 7. Is c smaller than z?
True
Let k be (-3 - 4) + (5 - 1)/((-22)/(-781)). Is 8 not equal to k?
True
Let c = -974 + 973. Let h = 3.09 - 3. Let s = 0.41 + h. Which is smaller: c or s?
c
Suppose -j + 189 = 4*k, 348 = 3*j - j - 2*k. Let v = j - 178. Which is bigger: 1 or v?
1
Suppose 365 + 499 = 9*a. Let o = a - 98. Let y be 3/2*(-2 - 0). Is y less than o?
True
Let b be (8/28)/(7/(42 + 7)). Suppose 9*x + 15*x + b*x = 0. Which is greater: -1/633 or x?
x
Let n(q) = 2*q**2 + 4*q - 11. Let y be n(-4). Suppose 2*p = -2, -o - y*p = -2*o + 14. Which is smaller: 5 or o?
5
Suppose -2*c + 2 - 8 = -2*j, -4*c + 5*j = 11. Suppose 4*o - 1 - 36 = 5*p, 3*p + 2*o - 13 = 0. Which is smaller: c or p?
c
Let b = 0.174 - -21.626. Let d = -18.8 + b. Which is smaller: 16 or d?
d
Let t be 6/(-4) - 189/(-42). Let w be 4/(-8) + (4 - t). Is 1/11 at most w?
True
Let g = 3 - 6. Suppose -5*s - 3*i - 12 = 0, -2*s + 2*i = -i + 9. Let v be ((-33)/6)/(s + 44/8). Is v greater than or equal to g?
True
Suppose 3*m + 64 = x, -m + x = 14 + 6. Suppose -3*h = -3*u - 78, 3*u - h + 26 + 62 = 0. Is m <= u?
False
Let x(c) = -477*c - 44. Let t be x(-1). Let r = -445 + t. Let k be -1 - 1 - (1 + 0). Are r and k equal?
False
Let g = 428 - -425. Is 854 < g?
False
Suppose 2*y - d + 8 = 0, 36*y - 22 = 39*y - 4*d. Is -12/5 at least as big as y?
False
Let w = 117 + -116.032. Let u = -0.072 - -0.04. Let x = u - w. Which is smaller: x or 12?
x
Let b = 12.6 + -8.6. Suppose -4*r + 4*o + 41 = 9*o, 4*o = -4*r + 36. Is b at most as big as r?
True
Let s = 0.4 - -2.6. Let p be ((297/45)/(-11) - -1) + 83/(-195). Which is smaller: s or p?
p
Let v be (0/5)/(2 - 1). Let w = -108 + 132. Let j be (2/(-4) - -2)*(-8)/w. Is v <= j?
False
Let k be 4*344*253/736. Which is smaller: 471 or k?
471
Let p = 85.6 - 76.6. Is -24 greater than p?
False
Let o = 74023/806 + 2447/62. Is 131 less than o?
True
Let v(w) = -3*w**3 - 33*w**2 - 23*w - 54. Let k be v(-11). Let i = 169 - -29. Is i greater than or equal to k?
False
Suppose -86*p = -g - 83*p + 11, 0 = 5*g - 2*p - 16. Which is smaller: g or 114/113?
114/113
Let q(a) = -a**3 - 4 - 46 - 48*a**2 - 12 + 17*a**2 + 64*a. Let g be q(-33). Is g equal to 1?
False
Let c be (5 - 3 - 8) + (-70)/(-18) + 2. Suppose 2*x = -2*x. Are x and c equal?
False
Suppose x + 3 - 12 = 2*c, -3*x = 3*c - 9. Suppose 0 = -4*s + k + 5896, x*k = 3*s - 5944 + 1522. Let o = 25048/17 - s. Are o and -2 equal?
False
Let s be 2727288/3510 + 1*(-5 - 0). Let l = 772 - s. Is 0 at least as big as l?
True
Let q = 375 - 372.93. Let t = q - 2.05. Which is bigger: 0.23 or t?
0.23
Suppose -5159 = -3*m + 2*a, -140*m + 143*m = -3*a + 5139. Which is smaller: m or 8583/5?
8583/5
Let j be ((-53)/636)/(32/(-2304)). Suppose 5*s - 10 = -0*s. Is s >= j?
False
Suppose 15 = 3*a + 3*x, -4*a + 6 = 2*x - 10. Let t = 24214/7785 + 2/2595. Let b = t - a. Which is greater: 0 or b?
b
Let k be (836/(-31977))/(4/(-3)). Which is smaller: k or -1.3?
-1.3
Suppose 0*r = -4*r + 8. Suppose r*u + 5 = 1. Let q be (-2)/(-12 + 7*(9 + -7)). Is u less than q?
True
Let k(r) = 1538*r + 1031. Let q be k(-16). Are q and -23577 unequal?
False
Let r(q) = q**3 + 7*q**2 - 24*q - 53. Let u(t) = -11*t - 86. Let k be u(-7). Let l be r(k). Does l = -2/45?
False
Let a = -3500501642313/1580 - -2215507472. Let j = 15/316 - a. Let b = j - -103. Which is smaller: b or 0?
b
Let o be -15 + 20 + -10 - 36/(-8). Is o != 0.3167?
True
Let l = 515.4 - 512.4. Which is smaller: 71 or l?
l
Let t = -34.46 - 0.54. Let v = -26.15 + 25.65. Is v > t?
True
Let t be 2/7 + (-228)/749. Let i(z) = -3*z - 84. Let o be i(-29). Suppose 2*l + o*v = 7, -v = -0*l - 5*l - 8. Which is smaller: t or l?
l
Let x = 23167 + -23166.9. Is x at least 1/3611?
True
Suppose 21*z = 20*z + 10. Suppose -15*c + 45 = -z*c. Let m be (3/c)/(2/(-6)). Is 3/1