-93
Suppose -6*k = 7*k + 1716. Let b = -107.1 + 107. Are k and b equal?
False
Let m be (-2)/((-40)/(-15)) - 5394/(-120). Is m bigger than -0.1?
True
Let i be 17/1*-3*24/36. Let y(g) = 102*g + 678. Let k be y(-7). Is i at most k?
False
Let l(d) = -88*d**2 - 13*d + 6. Let z be l(-3). Let g = -747 - z. Which is smaller: g or 570?
g
Let d be (-14)/(-56) - (-57)/(-84). Let q = 97.49 - 97. Let i = -0.53 + q. Which is smaller: d or i?
d
Suppose -2*a = 2*w + a - 6, 5*a - 10 = 4*w. Suppose w*q = 2*q + h - 73, 3*q - 5*h - 90 = 0. Let u = q - 34. Which is smaller: u or -14?
-14
Suppose -2*y + y + 39 = 0. Let x be (-30)/4*(80/(-6) - 560/(-70)). Is x less than y?
False
Suppose j + 479 = -3*r, -r - 5*j - 52 = 117. Let l = -39 - r. Is 121 at most as big as l?
False
Let x(s) = s**3 - s**2 - 2*s + 1. Let j be x(2). Let b = 5645/1260642 + -1/2578. Is b at least j?
False
Let s be 4 - (0 + -1 + -167). Suppose 0 = -l - 5 + 178. Which is greater: l or s?
l
Let m = -434.3 - -434.6. Let g = 6 - 6.5. Does g = m?
False
Let a = -42 - -78. Suppose -a*c = -40*c + 12. Suppose 0 = -0*n - c*n - 3*n. Which is smaller: n or -1/94?
-1/94
Let l be ((-7802)/4 - (-60)/(-12))/((-4)/16). Which is greater: l or 7821?
l
Let k = -1.92 - -2.78. Let a = -0.76 + k. Which is smaller: a or 52?
a
Suppose -78*i = 63144 - 20010. Which is smaller: -555 or i?
-555
Let h be ((-41160)/(-135))/4*99/22. Let o = 383 + -39. Is o bigger than h?
True
Suppose 9*y = -12*y + 16674. Let t be y/(-42) + (-45)/7 + 7. Which is greater: -0.2 or t?
-0.2
Let c = 0.6 + -64.6. Let p = c - -113. Let h = p + -48.8. Which is smaller: h or 5?
h
Suppose -4*l - 1135 = -247. Let o = l - -234. Do 98/9 and o have different values?
True
Let m(w) = w**3 - 11*w**2 + 18*w - 6. Suppose z - 12 = 2*u, 3*z + 5*u = 2*z - 9. Let v be m(z). Which is greater: v or -77?
-77
Suppose -3*w - 1 + 241 = 0. Suppose 0 = -q - 4*j + 11, 8 = 4*q - 21*j + 19*j. Suppose q*r = -2*p + w, -19 = -r - 2*p + 9. Which is smaller: r or 25?
25
Let b be 12/((-231)/22 - -12). Which is greater: 636/79 or b?
636/79
Let z(q) = -18*q - 4. Let o be z(-2). Suppose -4 = 36*f - o*f. Let d = 1341/11 - 123. Is f < d?
False
Let p = 43 + -46. Let z = -33 + 36. Suppose -z*m - 2*t = -7, m + 0*t - 5*t = 8. Which is smaller: m or p?
p
Let f = -77.832 + -0.168. Let z = f - -15. Let r = z + 62.99. Is 0.5 > r?
True
Let a be 3 - ((-5757)/9 - -1). Let c = a + -642. Is 615 > c?
True
Suppose -4*f = -4*o + 96, 18 = -2*f - 4*o - 0*o. Let l = 97/5 + f. Let u(j) = j + 2. Let z be u(-1). Is l at most as big as z?
True
Let o = -400 - -458. Suppose -50 - 59 = 3*u - 2*v, 2*u - 5*v + o = 0. Let p(d) = 8*d. Let t be p(-5). Which is bigger: t or u?
u
Let z be 4/(-102)*1*2. Suppose 2*c - 2*c = 6*c. Suppose c = -56*w + 52*w. Which is bigger: w or z?
w
Let s = 12.536 - 12.536. Which is smaller: s or -3903?
-3903
Let t(g) = g**2 + 2*g - 1. Let v be t(-3). Let r = -44310 + 132940/3. Which is smaller: v or r?
v
Let q = 3394340383/9547 + -355540. Which is greater: 1 or q?
1
Let r(y) = y**2 + 31*y + 129. Let q be r(-28). Suppose 0 = 3*n + 3*c - q, -6*n - 60 = -10*n + 4*c. Suppose -2*o - 3*o + 80 = 0. Which is smaller: o or n?
n
Let y(z) be the third derivative of 3*z**4/4 - 2*z**3/3 - 34*z**2. Let k be y(-1). Which is smaller: k or -20?
k
Let s(c) = 21*c + 12. Let i be s(2). Let x = i + -35. Suppose -6 = -13*j - x. Is j < -1/50?
True
Let q be ((-63)/15 + 5 - 0)/(18/20025). Do q and 890 have the same value?
True
Let o = 430 - 438. Let q be 11 + -5 + (-92)/o. Which is smaller: q or 19?
q
Let k be (-10)/(-4)*(-98)/(-35). Let y be (k/5)/((-14)/(-70)). Let x be (2/y)/(260/140). Which is bigger: -1 or x?
x
Let k = 0.3 + -0.2. Let a = -101878.0353 + 101887. Let d = a + 0.0353. Which is greater: k or d?
d
Let w = -90 + 90.062. Let j = -0.1 + 0.068. Let m = w + j. Which is greater: m or 3/5?
3/5
Let s = -205 + 209. Suppose -4*v - b = 71, 5*v - s*b + 7 + 66 = 0. Are -19 and v unequal?
True
Let k(m) = 2*m**3 + m**2 + 1. Let l be k(2). Suppose d + l = 5*j - 78, 2*j - d = 42. Let y = 21 - j. Does y = 13/7?
False
Let g = 3 + -1. Let y be (-15 - -14) + ((-80)/(-37))/g. Which is smaller: 0 or y?
0
Let z(l) = l**2 + 118*l - 389. Let o be z(63). Which is smaller: o or 11015?
o
Let r be 6/4*((11 - 110) + 9). Let v = r - -1754/13. Let w be (2 - 4)/2*1. Which is greater: w or v?
v
Let r(u) = -u**2 + 35*u + 32. Let a be r(34). Let z = -70 + a. Which is greater: z or -1/35?
-1/35
Let l = 1176.6 - 1178.1. Which is bigger: l or -0.1?
-0.1
Suppose 10*r + 18*c + 2348 = 15*r, 920 = 2*r - 4*c. Is 445 greater than r?
False
Let g = -139.7 - -144. Let p = -1.2 - -1.14. Let w = p + -0.94. Is g at least w?
True
Let c be 322/(-3) + 8 + 52/(-6). Let v = -82 - c. Is v less than or equal to 22?
False
Let o = -278 - -146. Let s = o + 109. Are 0 and s non-equal?
True
Let y = -2142 - -36413/17. Do y and 16/3 have the same value?
False
Let m(c) = -444*c**2 + 19*c + 45. Let h be m(-2). Which is bigger: h or -1770?
h
Let m(x) = 5*x**2 + 3*x**2 + x + 3 - 10*x**2 - 15*x**3. Let y be m(-2). Let l = -110 + y. Which is bigger: 5/2 or l?
l
Suppose 3*w + 619*u - 130 = 623*u, 2*u = 5*w - 226. Are w and 46 nonequal?
False
Let r be 65 + -7 + 8 + -3 + -1. Let k be r*(-5)/10 + 6. Do k and -25 have the same value?
True
Let w = 20.8 + -23. Let g = w - -5.2. Let u = 41 + -127/3. Are u and g non-equal?
True
Suppose -4*o + 6 = -6. Suppose 0*g = -d + g + 2, o*d = -5*g + 22. Suppose x = d*b - 3*x + 60, 5*b - 2*x + 75 = 0. Which is smaller: -43/3 or b?
b
Let t = -159 - -158. Let x(v) = -13*v**2 + v + 2. Let w be x(t). Is w bigger than -53/4?
True
Suppose -682 = -25*i + 1464 - 1196. Is 28 at least as big as i?
False
Let y(s) = s - 7. Let a be y(-2). Let v = 6103/27 + -433337/1836. Let u = 4/17 + v. Which is greater: u or a?
a
Let f be 16 + -27 + 7/((-49)/(-75)). Which is smaller: f or 51/37?
f
Let p = -63 + 30. Let o be p/(6*2/3). Let s be 14*((8/(-1))/4)/4. Are o and s nonequal?
True
Let z = -70 - -83. Suppose 6*v - 17 - z = 0. Let c be (0 - v)*(-72)/(-60). Is -8 smaller than c?
True
Let f = -0.927 - -1.427. Is f >= 0.0375?
True
Suppose 7*p - 865 + 270 = 0. Suppose -355 = 18*h - p. Which is bigger: -125/9 or h?
-125/9
Let w be 1/(3*(-1)/(-9)). Let d be 383*(-5 + 4) + w. Let f = d - -2675/7. Which is bigger: 1 or f?
f
Let l = -3.821 + -0.079. Let c = 58.9 + -58. Let y = l + c. Is 5 < y?
False
Let z = -666.5 + 655.5. Let v = 6.8 + 1.2. Is z < v?
True
Let j be ((-24)/(-15)*(226/24 + -9))/((-40)/60). Let g = -12 - -7. Let s = g + 16. Which is greater: j or s?
s
Let d be -10 + 3 - (2 - (2 - 3)). Let b be (-13)/(-20) - d/225*-9. Which is smaller: -1/7 or b?
-1/7
Let j = -49/566 - -32918/5943. Let a = j - 44/7. Do a and -1 have different values?
True
Suppose -5*r - 3*i + 4 = 0, 14 = -34*r + 37*r - 4*i. Let s be 1 - (-1 + (-30)/21). Which is greater: s or r?
s
Let d = 21539/11751 - -3/7834. Is d <= -42?
False
Let h be 30/405 - 3215/37935. Which is bigger: 0 or h?
0
Suppose 2*n + n + x = 0, n = 5*x. Let a be (-2 + n)*(-1)/2. Let f = 376/1305 + -14/45. Is a != f?
True
Suppose 2*q = 2*n + 30, -n - 2*n = 4*q + 10. Is -15 greater than or equal to n?
False
Suppose -5*t + 41*t = -13*t - 19*t. Let d = 1669413/538 + -3103. Which is bigger: d or t?
t
Let g(w) = -w**3 - 7*w**2 - 7*w - 2. Let l be g(-6). Let b = -8 - l. Let p = 6904 - 6917. Are p and b unequal?
True
Let h = -66333 + 66278.317. Let q = -0.317 + h. Which is greater: q or -2/7?
-2/7
Let y = -13.958 - -14. Let s = -0.004 + y. Let a = s + -3.038. Is -4 not equal to a?
True
Let s(j) = 2*j + 14. Let b be s(-6). Suppose n - 3 = -b, 0 = -2*d - 3*n - 9. Let o be 4 - ((-1098)/15)/d. Is o at least -7?
False
Suppose 0*k + 56 = -7*k. Let f = 17 + k. Suppose o - 905 = -894. Which is smaller: o or f?
f
Let a be -6 + 4564/91*5/42. Is a greater than -1?
True
Let b = -2 - -1.9. Suppose -6*v - 25*v = 4*v - 2065. Do v and b have the same value?
False
Let b = -3948 + 4657. Is b bigger than 709?
False
Let b be 119/51 + 18775/15. Let c = b - 79000/63. Let s = -2 - -1. Is s >= c?
False
Let u = 399/16 - 497/16. Does -5 = u?
False
Suppose -187*a + 8268 = -175*a. Suppose -l - a = -2*m, 5*l = -2*m + 632 + 27. Is m smaller than 343?
True
Let f = 72 + -93. Let t be (20 + f)/(398/397 + -1). Let l = t + 3578/9. Is 1 <= l?
False
Let p(u) = -33*u