qual?
True
Suppose 4*m - n - 31 = -9, -2*m - n + 8 = 0. Suppose 0 = -m*q + 5. Suppose -3*d - 5*r - 5 = 0, 0 = 4*d + d + r + q. Which is greater: 2/45 or d?
2/45
Let t(o) = -o**3 + 5*o**2 - 8*o + 28. Let i be t(5). Does i = -67/6?
False
Suppose x - 30*x - 7221 = 0. Is -251 greater than x?
False
Let l = 102.1 + -114. Let q = l - 4.1. Is -0.1 equal to q?
False
Let u = 0.19 + -0.1. Let y = 0 + u. Let r = y + 0. Which is smaller: r or 1?
r
Suppose -3*x - 12 = -4*l, 3*x - 3 = x - l. Do x and -1/1071 have the same value?
False
Let s = 528256/351 - 1505. Is s greater than -1?
True
Let j be 4 - (3 + -4 - -6). Let q be 4/14 + (-308)/49. Let g be q/33 - 8/(-165). Is j equal to g?
False
Let z = 757 + -1097. Is -340 less than z?
False
Let v = 32632/693 - 518/11. Is v less than 0?
True
Let j be 2/(-7) + 4/14. Let t(o) = -o**3 + o + 7. Let y be t(j). Suppose -8*h + 290 = 242. Which is smaller: h or y?
h
Suppose r - 4*r - 3 = 0. Let o be 2*75/(-6) - (37 + -39). Which is smaller: o or r?
o
Let k = -2/9085 - -345264/154445. Is k at most 3?
True
Let s(m) = -m**2 - 5*m + 5. Let q be s(-5). Let o = 0.4392 - 0.0392. Which is greater: o or q?
q
Let c = 62.7 + -60. Let i = c - 1.3. Let b = 1.3 - i. Is -1/2 >= b?
False
Let h = -31.031 + 0.031. Let t = h - -20. Let r = t + 11.2. Which is smaller: 2/27 or r?
2/27
Let m(g) = -7*g**2 + 12*g - 2. Let a be m(2). Let q be 169/a - 26/(-156). Which is greater: q or 0.2?
0.2
Suppose -4*z = r - 15, 4*z + 0*r = 4*r. Suppose -4*j + 11 = -17. Let k = z - j. Is k greater than -4?
False
Let m(o) = 1. Let r(t) = -2*t - 4. Let g(u) = 6*m(u) + 3*r(u). Let d(v) = -v**2 - v. Let f(y) = -d(y) + g(y). Let k be f(6). Is k less than 2/95?
True
Suppose -6*c - c = 3*c. Is c > -1401?
True
Let l = 14 + 2. Suppose o - 3*o = l. Let b(g) = 3*g**2 - 44*g + 56. Let w be b(13). Is w greater than o?
False
Let u be (-2)/(((-5)/(-2))/(-5)). Suppose 0 = z - u + 1. Let p be (-61)/(-21) - (6 - z). Do p and -1 have different values?
True
Let b(y) = -2*y + 1. Suppose 12*o = 11*o + 1. Let j be b(o). Let r be ((-6)/(-5) + -1)*-6. Which is smaller: j or r?
r
Let t be (-4 + 0)/(46/(-529)). Which is bigger: t or 48?
48
Suppose -4*w = 1121 - 921. Are -60 and w equal?
False
Let s = -149412 - -28089327/188. Let x be 97/(-47) - (0 + -2). Let y = x + s. Which is smaller: -1 or y?
-1
Let x = 33 - 29. Let l be (1 - x) + (3 - 2). Which is bigger: l or 0?
0
Let w be 10/(-35) + (-39954)/(-6363) + -6. Which is smaller: 1 or w?
w
Let p(b) = b**2 + 3*b - 5. Let n be p(-4). Let w = -119509/55 - -2173. Which is smaller: w or n?
n
Let z be (-60)/(-232)*1/(1/2). Are -1/3 and z nonequal?
True
Suppose 4*c = 6 + 10. Suppose 0 = -5*k - s - 3*s, -c*s = 20. Suppose -3*w = -p + 2, 3*p - k = 11. Which is smaller: -3/10 or w?
-3/10
Suppose -s = s. Let w = -65 - -12. Let k = -53.1 - w. Is k equal to s?
False
Let p = -8.1 - -8. Let z = -0.01 + -2.99. Let s = -5 - z. Which is smaller: s or p?
s
Let f be (-436)/(-22) + 4/22. Let u be (-1)/(5/f*2). Which is greater: -1 or u?
-1
Let m = -97 - -108. Let c = 14 - 3. Let i = c - m. Which is smaller: -3/5 or i?
-3/5
Suppose -772 = 39*p + 437. Which is smaller: -129/4 or p?
-129/4
Let r = 1712 + -6361/4. Which is greater: r or 121?
r
Suppose 159*l = 157*l + 24. Let s be (24 - 2)*l/(-84). Do s and 2/5 have different values?
True
Suppose 8*q = 3*q. Suppose -r + 3*r - 10 = q. Suppose -5 = -5*z, r = -2*t + 5*z - 2. Is 2/15 greater than or equal to t?
True
Let i = -433.13 - -433. Is -1/7 less than i?
True
Let h be ((-2)/(-4))/(6/12). Let i be 4 - (4 - 29) - h. Is 29 at most i?
False
Let b = 378 - 364. Which is greater: -8 or b?
b
Suppose 3*n = n + 30. Let x = -14 + n. Let j be (x - 1)/(-16 + 14). Which is bigger: -1 or j?
j
Let o(j) = -j - 4. Let n(l) = l**3 - 10*l**2 - l + 10. Let f be n(10). Let y be o(f). Let d be (y - (-6)/(-5))*-5. Is 26 at least d?
True
Let n(r) = -5*r + 2. Let b be (-4)/(-16) - (-11)/4. Let w be n(b). Suppose 0*c + 6*c + 72 = 0. Which is smaller: c or w?
w
Let d be (12236/(-798))/((2/9)/2). Is d > -139?
True
Suppose -l = -19*l - 18. Which is smaller: l or -31/28?
-31/28
Let k = -30.5 - 54.5. Is -2 <= k?
False
Let o = 137/4 + -17133/500. Which is greater: -1 or o?
o
Let c = 27 - 136/5. Let d = 33.7 - 33. Let z = -0.5 + d. Which is bigger: c or z?
z
Let y(a) be the third derivative of -a**6/120 - a**5/60 - a**4/24 - 8*a**3/3 + 3*a**2. Let i be y(0). Let p = i - -16. Is p greater than or equal to -1/10?
True
Let c = -14/15 - -274/165. Let m(p) = -2*p + 74. Let o be m(36). Which is smaller: c or o?
c
Let n be 7/(75/100 + (-10)/24). Is n < 18?
False
Let w = -2.8 + -39.2. Let n = w - -41.73. Let m = 1.27 + n. Which is greater: -4 or m?
m
Let m = -27.381 + -0.219. Let b = m + 17. Let s = 11 + b. Which is greater: s or 2/7?
s
Let j be -1 - 2 - 1/1*-34. Are 0 and j equal?
False
Suppose 2 = 3*f - 4*f. Let l be (f - -1)*(-6)/(-3). Let u be l - (0 + -6 + 2). Is 3 greater than u?
True
Suppose h = 2*c + 2, 0 = 2*h + h + c - 27. Let u be ((-20)/h)/(2/4). Are 1 and u equal?
False
Suppose 3*x = -2*m - 3*m - 28, 20 = -3*m - x. Let p be (m/10)/(54/(-45)). Let q = 231 + -2081/9. Are q and p nonequal?
True
Let g = 2638 - 2508.3. Let p = g - 130. Which is smaller: p or -3/4?
-3/4
Let y = -355 - -2483/7. Are -15/2 and y equal?
False
Suppose -2*y - 4*k = -32, -y - y + 32 = -3*k. Suppose -5 = 4*g - 3*n, -y = -3*g - 3*n - 4. Let w be (-3)/(-3)*(16 - g). Is 15 less than w?
False
Let k = 0 - 0.1. Let i = -2.1586 - -0.1586. Are k and i non-equal?
True
Let s(u) = u**3 + 11*u**2 + 3*u - 5. Let t be s(-12). Let y = 262 + t. Which is smaller: 78 or y?
y
Let f = -229/600 - -1/150. Is f bigger than -2?
True
Let y be (12/(-10))/((-6)/15). Let u(t) = -t**3 + 2*t**2 + 4*t. Let j be u(y). Do j and 2 have the same value?
False
Let h = 2/215 + 619/2795. Let y(u) = 5*u - 4 - 2 - u**2 - 4*u + 5*u. Let j be y(5). Is h at least as big as j?
True
Let b(q) = -68*q + 21. Let k be b(4). Which is greater: k or -252?
k
Suppose -z = 5*r - 25, -5*z + 8 = 4*r - 12. Suppose -5*v + 6 = -9*v - 3*x, -10 = 3*v + r*x. Which is greater: v or 2/55?
2/55
Let j = 1672 + -1841. Which is bigger: -170 or j?
j
Let t = 43 - 44. Let m be 1 - (3 - 2) - (-3 - t). Is 0 < m?
True
Suppose 0 = 22*r - 1067 - 407. Is 66 less than r?
True
Let y = 38 + -32. Suppose -6*c = -5*c - y*c. Is -19 less than or equal to c?
True
Let u be (-1038)/90 - (-2)/10. Let d = 11 + u. Which is smaller: d or 6/13?
d
Let t = -10/35528403 - 3727604512957/4973976420. Let w = t + 7461/10. Let l = w - 5/28. Is -3 less than l?
False
Let h(i) = -7*i - 2. Let d = 24 - 23. Let c be h(d). Which is greater: -6 or c?
-6
Suppose 2*n + 5*b = 10, -2*b = 4*n - 5*b + 6. Which is smaller: n or 1/429?
n
Let y = -39 - -64. Suppose -h = t - 2, -5*t + y = -h - 3. Suppose 0 = 9*q - 4*q + t. Is q at most as big as -2/21?
True
Let x be (220/(-25))/((-6)/(-30)). Which is smaller: -39 or x?
x
Let a(t) = -t**3 - 4*t**2 - 5*t - 2. Let l be a(-3). Let b be 11/10 + (-2)/l. Suppose -12*i + 50 = 13*i. Is i > b?
True
Suppose -5*x = -d - 3 - 18, -4*d + 12 = 4*x. Is -3/499 > d?
True
Let f = -83 + 85. Is 13/14 greater than f?
False
Suppose -210 = -d - 2*d. Which is smaller: d or 72?
d
Let x be ((-440)/132)/(26/(-12)). Is 1 greater than x?
False
Let x = 4 - -0.6. Let c = x - 1.4. Let n = -0.2 + c. Which is bigger: -0.1 or n?
n
Let r be (-345)/92*14/35. Which is smaller: r or 187?
r
Let u(q) = -2 + 8*q + q**3 + 4 + q - 5*q**2 - 12*q. Let t be u(5). Which is bigger: t or -12?
-12
Let g = 122 + 307. Suppose 2*k = g + 619. Let f be (k/(-130) + 4)*-10. Which is bigger: f or 0?
f
Let d be -119*8/(-12) - 1/3. Suppose 2*s = -9 - d. Is s at least -44?
True
Suppose 8 + 8 = 4*i. Does 29/11 = i?
False
Suppose -39 = 2*k - 5*k. Suppose k*l - 125 + 385 = 0. Which is greater: l or -22?
l
Let g = 142 - 144. Let z = 0.8 + 0.4. Let s = -5.8 - z. Is s greater than g?
False
Suppose -36 + 804 = 2*d. Let g = 16510/43 - d. Which is smaller: 0 or g?
g
Let u = -64 + 100. Are 35 and u nonequal?
True
Let j be (-76)/13 + (-18)/117. Let y = j + -9. Are -72/5 and y non-equal?
True
Suppose -2*r + 1176 = 6*r. Is 147 greater than r?
False
Let s be 171/152*(-8)/(-6). Suppose -i + 3*v - 4*v + 3 = 0, -9 = -3*i + v. Suppose -1 = 2*g + q, q - 4*q + 15 = -i*g. Which is bigger: g or s?
s
Suppose -2*a - 