 + 48*u - 7620. Is u < 518/33?
True
Let s be 13/13 + (732/(-189))/4. Suppose -5*v + 5*g - 15 = 0, -5*v - 12 = -4*g - 0*g. Does v = s?
False
Suppose -11*z + 5*z = -12. Suppose 2*j = -z*l + 10 + 64, -3*j = -l + 21. Suppose 36*p - 9 = l*p. Which is smaller: p or 1?
1
Let o = -9705 + 9704. Do -6.113 and o have different values?
True
Suppose 36 = -2*l + 7*l + 4*y, -l + 5 = 3*y. Let d be 1*19*5/(20/l). Are d and -2/5 nonequal?
True
Let r(k) = 8*k**2 - 53*k - 542. Let t be r(-9). Which is greater: t or 3505/6?
3505/6
Suppose -36 - 30 = -2*l. Let a(z) = -62 + l + 37 + 9*z**2 + z**3 + 8*z. Let y be a(-8). Are 8 and y non-equal?
False
Suppose -3*o + 0 = 9. Let l(k) = -6*k + 21. Let b be l(0). Suppose 0 = -14*w + b - 35. Is w >= o?
True
Suppose z + 20 = -3*d - 0*z, -8 = 4*z. Let j be (10/d - -1) + (-33)/99. Which is greater: j or -1/87?
-1/87
Suppose 83*y = 75*y. Suppose -a - 138 = 3*o, -3*a + y*a - 92 = 2*o. Which is bigger: o or -41?
-41
Let w = -62264599/23668 - -10523/4. Which is smaller: -1 or w?
-1
Let t be (15/(-20)*-4)/((-15)/(-1190)). Which is smaller: 241 or t?
t
Let x = 0.089 + -0.019. Let a = x + 0.13. Which is greater: -45 or a?
a
Let u(k) be the second derivative of -k**4/12 + 17*k**3/6 + 81*k**2/2 + 20*k. Let o be u(20). Which is greater: o or -2/3?
o
Let b(h) = -h + 24. Let d(u) = -u**2 + 4*u + 6. Let c be d(4). Suppose 0 = c*y + 2*y. Let q be b(y). Which is smaller: q or 70/3?
70/3
Let p = -134 + 136. Let t(z) = -2. Let o(q) = -q - 3. Let v(u) = 3*o(u) - 5*t(u). Let b be v(p). Which is greater: -4 or b?
-4
Let q be (-2 + 2)*14/(-42). Suppose -3*s + 15 = q, -2*z + s = -4 - 39. Which is bigger: 25 or z?
25
Let w be (-251545)/26840 + -2 + 7. Let j = -2/671 + w. Is j greater than or equal to -5?
True
Let z be 4/(-5)*((-7)/12 - (-1)/3). Are z and -0.082 equal?
False
Let a be 3/(84/52) + -16 + 1 + 13. Let w = -1 - -0.7. Let v = w - -0.34. Which is greater: v or a?
v
Let s be (-1024)/10 + (-6)/(-15). Let x = -4650 + 4548. Is x >= s?
True
Suppose -152629 = 299*r + 286004. Are r and -1466 nonequal?
True
Suppose 0 = 123*z - 138*z - 945. Suppose 5*m - 2*m = 207. Let c = m + z. Do 11 and c have the same value?
False
Let y(r) = -64*r - 1. Let k be (-3)/6 + (-9)/(-6). Let f be y(k). Let x = f + 53. Do -12 and x have the same value?
True
Let t be (-45)/15*(3 - 4). Let n(w) = -w**3 + 3*w**2 - 3*w + 2. Let m be n(2). Suppose 0 = 4*a - 4*l + 63 - 3, -4*a + t*l - 59 = m. Which is bigger: -17 or a?
a
Let p = 50.088 - 0.088. Suppose 4*f + 2*b = 24, 5*f + 5*b - 21 = 9. Let k be -1 + f/10 + 0. Are p and k equal?
False
Suppose 2 = 2*w - 2. Suppose -4 = -2*d - w*d. Let f = 765126/469 + -11420/7. Is d greater than f?
True
Let r be ((-26)/(-7202)*-6)/((-1)/(-2)). Which is smaller: r or -1?
-1
Let u = -4.955 - 0.045. Let c = -119.01 + 119. Are c and u non-equal?
True
Suppose -5*q + 16 - 3 = 2*z, 4*z = -4*q + 8. Suppose -5*r - 70 = 5*o, 0*o + 4*r + 44 = -q*o. Is o at least -1?
False
Let p = -299 - -650. Let v be (-183)/p*3/2. Let z = -7/6 - v. Is z < -2/5?
False
Let v = -1/332 + -3161/52788. Let h = -43973 + 43974. Do h and v have the same value?
False
Suppose -36*t + t + 1960 = 0. Which is smaller: -8 or t?
-8
Let y be 2*26/(-12)*(-78 - -9). Let p = y - 3889/13. Let d = -4.9 - 0.1. Is p at least as big as d?
True
Let j be 360/26 + (-48)/(-312). Let o be 126/365 + 9/((-315)/j). Is o bigger than -1?
True
Let q = -121755/23 - -5294. Are 0 and q non-equal?
True
Let l be (-1)/735*-5*(-10 + (-11744)/(-1176)). Are l and 0 equal?
False
Let b(h) be the second derivative of h**4/12 - h**3/6 + 9*h**2 + 22*h. Let g be b(-10). Let f = g + -76. Which is bigger: f or 53?
53
Let w = 10283 + -12692. Is w less than -2411?
False
Suppose 0 = 2*v - 3*w - 1621, -4*w + 624 + 1816 = 3*v. Which is smaller: 806 or v?
806
Let j(l) = l**2 - 10*l + 17. Let h be j(7). Let z be 219/h - 13/(-52). Which is smaller: -55 or z?
-55
Let l = -720 + 277. Let v = l - -299. Is -146 less than or equal to v?
True
Let u(f) = -f**2 + 9*f + 12. Let a be u(10). Let i = 2 - a. Suppose 0 = -i*p - 7*p. Which is greater: -8/19 or p?
p
Let z = -228 + 578. Let d = 349 - z. Which is smaller: d or -2/5?
d
Let n(m) = -m**3 + 2*m**2 + 8*m - 6. Let w be n(3). Let t be 6/27 - 488/w. Is -54 greater than t?
False
Let t = 34/3 - 11. Let d = 1115 + -1114.97. Which is smaller: t or d?
d
Suppose 3*x + 4*a + 1531 = 0, 16*a - 2032 = 4*x + 12*a. Which is smaller: -508 or x?
x
Let k be (((-504)/18)/2)/(-7). Is 5/3 >= k?
False
Let r = -0.75691 - -0.01691. Is 0.3 at least as big as r?
True
Let b = 4838644/433215961 + 2/161467. Does b = 0?
False
Let q = 2 - -98. Let r = q + -100.3. Let f = -16/31 + 210/527. Which is bigger: r or f?
f
Let t(p) = p**3 - 48*p**2 + 124*p - 202. Let g be t(39). Is g greater than 1/2?
False
Let w = -11314 + 12252. Is w at least 2?
True
Let g be 758/7*(-75 + 68). Which is smaller: g or -756?
g
Let a = -2262 + 2262.169. Which is smaller: a or 0.14?
0.14
Let m = 1421.46 + -1471. Let l = -50 - m. Let j = l - -0.36. Is j > 7?
False
Let g = -84123.2 - -84123. Let a = -0.3 + 0.8. Which is bigger: a or g?
a
Let n(o) = 3*o**2 - 24*o - 2. Let v be n(8). Let u = 0.7588 - 0.3488. Which is smaller: u or v?
v
Suppose -j - j - 4 = 0, 2*j = -2*q - 140. Let v be 2/(-3) + q/(-84). Let x = 4308 + -4309. Which is smaller: x or v?
x
Let m be ((-3)/3)/(1/(-6)*3). Let a = m - 0. Which is bigger: a or 5/6?
a
Let h be ((-3)/(-1))/(17/1037). Suppose 4*x + 3*o = -0*o + 743, -5*x - 4*o + 930 = 0. Which is smaller: h or x?
x
Let l(b) = -66*b - 686. Let k be l(-15). Does k = 1221/4?
False
Let w(t) = -274*t + 1255. Let s be w(20). Which is smaller: -4226 or s?
-4226
Let z(k) = -12*k + 316. Let q be z(0). Let x = -312 + q. Which is smaller: x or -11?
-11
Let i = -133 - -95. Let l(d) = -3*d**3 - 5*d**2 + 4*d - 1. Let q be l(2). Is i equal to q?
False
Suppose -28 = 65*h - 37*h. Let y be -4 + (-1)/4*-4. Which is smaller: h or y?
y
Let g be (-3)/((-9)/(-16))*360/96. Let c be 20/212*g/(-450). Which is smaller: c or 0?
0
Let z = 156.2 + -100. Let s = z + -52. Let o = s + -4.2. Is o smaller than 0.7?
True
Let p = 20191.74 - 20192. Which is bigger: p or 198?
198
Let k = 576.6 - 575.2. Let c = -8 + 5. Is k not equal to c?
True
Suppose -2*p - 25 = 13. Let n = -57 + p. Which is smaller: n or -78?
-78
Let z be 0 - (0 + -3 - -2). Suppose 6 = -2*a - 27*k + 23*k, -2*k - 17 = -a. Let w be 216/(-696)*(-2 + a/3). Which is smaller: w or z?
w
Let z be 8 + 8748/78 + (-2)/13. Let j be 6/((-30)/(-4)*1416/z). Is j greater than 0?
True
Let s be 56/(-21)*(-42)/(-24)*222. Are s and -1038 non-equal?
True
Let f = -671 + 36235/54. Suppose 0 = 4*x + 5*d + 21, -2*x - 5 + 22 = -3*d. Are f and x equal?
False
Suppose 17 + 57 = -2*s. Let c = 40 + s. Suppose 4*y + 3*j = -j - 24, c*y = 4*j + 17. Is y less than 1/9?
True
Let r(q) = q**2 - 11*q + 32. Let n be r(5). Let b be 24/n*(14/(-8) - -2). Are -0.8 and b unequal?
True
Let m = -9381/39215 - -15/713. Let h be 8 + 8 + -18 - (-1 - 0). Does m = h?
False
Let f = -766 - -809. Let u be (-1564)/(-28) + (-2)/(-14). Let n = 100 - u. Which is smaller: f or n?
f
Suppose -21*d + 2*n - 398 = -26*d, 2*n + 12 = 0. Let v(q) = -q + 2. Let u be v(2). Which is greater: d or u?
d
Suppose 4*y + 36 - 6 - 2 = 0. Suppose -2*z + 12 = -7*z + 4*h, -z - 6 = -2*h. Which is smaller: y or z?
y
Let f be 63175/(-6) + (-131)/(-786). Which is smaller: -21057/2 or f?
f
Let x = -3 - -2. Let r be (-54)/48*(1896/630 - 3). Which is greater: x or r?
r
Suppose -8*a + 30 = -3*a + 5*n, 3*a + n = 18. Let g be 2*(-1)/a + (-658)/6. Which is greater: -111 or g?
g
Let b = 4254 - 4254.8. Is -75 smaller than b?
True
Let g be (-6990)/(-4)*88/(-66). Let i be -2*8/32 - g/4. Do 582 and i have different values?
False
Let y be (-18)/18 + 6761/6758. Let m = 655505/47306 + y. Let k = -9901/714 + m. Is -1 greater than k?
False
Let r = -100 - -112. Suppose r*k - 13 = -25. Is -4 smaller than k?
True
Suppose -t = -3*r + 759, 1473 = -2*t + 7*r - 10*r. Are -745 and t unequal?
True
Suppose 4*n - 6 - 10 = 0. Let r be (3 - n) + 7*2 - -1. Let l be (((-9)/52)/3)/(r/(-224)). Which is greater: l or 0?
l
Let f = -66 + 69. Suppose -30 = -5*i - 5*x, 2*i = i - f*x + 10. Let g be (-20)/4*i/(196/(-1)). Which is bigger: g or 1?
1
Let b = 140.846 + -141. Is -0.02 equal to b?
False
Let g = -243580/33