3 < r?
True
Let s = -4878 + 4868. Which is smaller: -41 or s?
-41
Let x = 32/150835 - -11081997357/4374215. Let f = x + -2534. Which is smaller: f or 0?
f
Suppose 7*t - 2*t - 145 = 0. Let y be (-9 + 7)*t/(-2). Suppose 59*n + 333 = 960 + 1143. Is y equal to n?
False
Let a be 2/(-7) + (531878473/(-303457) - 0). Let f = -150297/563 + a. Let s = -2020 - f. Is s <= -1?
False
Let u(m) = -m**3 + 25*m**2 + 121*m - 142. Let y be u(29). Do -6/47 and y have the same value?
False
Let z(l) = -178*l + 28. Let r be z(4). Let o be r/12*1/69. Let m = o - -505/138. Which is smaller: 1 or m?
1
Suppose 907*c = -2*o + 912*c - 18, 3*o - 2*c + 5 = 0. Let i = -1.04 - -0.04. Which is smaller: i or o?
i
Let g(r) = -5*r - 30. Let d(p) = 11*p + 61. Let b(a) = -3*d(a) - 7*g(a). Let j be b(-9). Suppose -18 - j = u. Is -27 less than or equal to u?
True
Let u = 424.31 + -427. Let z = -2.69 - u. Which is smaller: z or 1/28?
z
Let y = -381 + 388. Suppose 3*z - y*z = 5*w, -5*w - 5*z = 0. Which is smaller: -2/129 or w?
-2/129
Let w = -549 + 253. Let j be (w/(-20) - 9)*5. Let s(q) = -q**3 + q**2 + 30. Let r be s(0). Is j > r?
False
Suppose 47*m - 43*m = d + 28, -76 = 4*d + 2*m. Which is smaller: d or 3/143?
d
Let l = -5.227 + -13.773. Is l greater than or equal to 25?
False
Let j = -11138 - -11083. Which is smaller: j or 2/3?
j
Let y = 10 + -8. Let f be (501/2)/(7/y). Let d = f + -555/7. Are -9 and d nonequal?
True
Let t = 2225 + -1227. Let a = 22958/23 - t. Is -1 smaller than a?
True
Let u be 2 + 1 + (-1)/(156/477). Let w = 82 + -82. Are w and u equal?
False
Let i be (4 - 1141/98)/(-94) - (-2)/7. Is -1 at most as big as i?
True
Let t = -1.7324 - -0.7324. Is t at most as big as -5/121?
True
Suppose 3*u = -2*u + 195. Suppose -3*h = -2*v - u - 14, 4*h - 74 = 2*v. Are h and 22 nonequal?
True
Let y(x) be the first derivative of x**4/12 + 2*x**3/3 + 5*x**2/2 + 47*x + 2. Let f(r) be the first derivative of y(r). Let l be f(-1). Are 27/13 and l unequal?
True
Let i = -5229 - -5165. Which is smaller: 8 or i?
i
Let g(o) = -385*o - 4081. Let q be g(-14). Are q and 1310 non-equal?
True
Suppose 0 = -o - 2*o - w + 145, 4*o - 210 = 2*w. Let v = o + -55. Let d = 16/3 + v. Which is smaller: 0.18 or d?
0.18
Let f be (9 + 27/(-3))/((-8)/(4 + 0)). Which is smaller: 2/1097 or f?
f
Let c = -1840 - -1958. Which is smaller: 0.39 or c?
0.39
Suppose 2*f - 19 = 1. Let i = f + 6. Suppose -3*t = -n + 7, n + 2*t = 4*n - 42. Is i at most as big as n?
True
Suppose -2*j - 327 = -2*d - 37, -6*d = 5*j - 804. Which is smaller: d or 161?
d
Let l(v) = 7696*v - 7615. Let j be l(3). Which is smaller: j or 15472?
15472
Let k = 6769/3 + -2256. Which is smaller: -2533 or k?
-2533
Let d(i) = -118*i - 6. Let h be d(9). Let s be (7 - 1) + (-1249478)/(-1179). Let q = h + s. Is -2 at most as big as q?
False
Let s = 8 + 11.3. Let c = s - 19.4. Is c smaller than -361?
False
Suppose 0 = -a + 3*y + 16, -414 = -4*a - 3*y - 425. Which is smaller: a or 13/139?
13/139
Let g = 51.42 - 44.42. Let w = -347/42 + 25/3. Is w != g?
True
Let j = -9479 - -5546. Is j not equal to -3934?
True
Let f be (105/(-36) + 3)/(15/4185). Which is smaller: f or -4.8?
-4.8
Let d(v) be the third derivative of -v**5/60 + 13*v**4/24 - 5*v**3/2 + 15*v**2. Let c be d(11). Suppose -19 = 2*p - c. Which is greater: -4 or p?
-4
Let c be (((-30)/(-9) - 5)*3)/(13/26). Which is bigger: c or -200?
c
Let l = 3535.8 + -2973. Which is smaller: l or 2/7?
2/7
Let h = 134 - 199. Let f be 26/h + 58/20. Let x = -886 - -889. Is x <= f?
False
Let x(i) = -i**3 + 18*i**2 - 17*i + 14. Let h be x(17). Suppose 4*w - 6 = h. Suppose -z - w = -3*u - 3, 4*z - 7 = -3*u. Which is bigger: u or -1/42?
u
Let f(b) = 509*b - 224. Let u be f(20). Is 9957 equal to u?
False
Let n be (-9 + 3 - (-420)/45)/((-1)/9). Let q(j) = -j**2 + j - 32. Let b be q(0). Is b smaller than n?
True
Let m be (-9)/(-4) - 1 - (-10)/(-8). Is m at least 1/15117?
False
Suppose -10*h + 9*h = 4*v + 1016, -h = -3*v - 755. Let t = v - -191. Is -62 > t?
False
Let t(j) = -436*j + 5045. Let d be t(8). Which is greater: 10896/7 or d?
d
Let s be 18/189*-7 - (-86)/(-654)*-5. Which is smaller: -1 or s?
-1
Suppose 3*c + 14 = 2, -3*c + 82 = f. Suppose f = x - 9. Is 103 < x?
False
Let n(b) = -b**2 - 76*b + 1045. Let c be n(-85). Is -34 at least as big as c?
False
Let t = -15 - 51. Let v = -71 - t. Let j be (-2 - -3)/(v/30). Are 1 and j non-equal?
True
Suppose 11 = p + 4*b, 0*p + b = 2*p + 5. Let k(w) = 2*w**3 + 2*w**2 + w. Let n be k(p). Let q = -20 - -21.6. Which is smaller: q or n?
n
Let g = 9803 - 9802. Are g and -1051/2 equal?
False
Suppose 24*g + 15 + 297 = 0. Let m(f) = f**2 + 24*f + 143. Let z be m(g). Do z and 5/67 have the same value?
False
Let o be (8 - -8 - 94)/(-2 + 482/4). Is o at most as big as 0?
True
Suppose 225*x = 197*x + 287000. Are x and 10251 non-equal?
True
Let c be 4/(-12) - (-94)/270. Suppose -18*k - 3*k - 6*k + 27 = 0. Is c at most as big as k?
True
Let a = -4.6 - -6.6. Does -33 = a?
False
Let v = 155 - 429. Let k = -372 - v. Which is bigger: -95 or k?
-95
Let h(o) = -o**2 - 9*o - 154. Let r be h(-5). Which is greater: r or -131?
-131
Let m be (-3898)/(-648) - (8 + -2). Let g = m - -6121/2268. Are g and 3 unequal?
True
Let q(v) = v**3 + 7*v**2 - 10*v - 12. Let m be q(-8). Let p = -6 - -12. Suppose 0 = -g - m*c - p, 9*g = 4*g + c - 9. Is g bigger than -7?
True
Let t = -7.65 - 0.15. Let k = -100.2 + t. Which is smaller: -1 or k?
k
Let p be ((-111)/(-12) - 9*(-12)/(-432)) + 247. Which is smaller: 2039/8 or p?
2039/8
Suppose 7*k - 3*k = 0. Let z be ((-24)/9*-21)/3. Let i = 719/39 - z. Which is smaller: k or i?
i
Let s = -111 + 112. Let x be ((2 - 6) + s)*(-1)/(-1). Let d = -4 + 4.1. Which is smaller: d or x?
x
Suppose 0 = 3*q - d - 47 - 15, 3*q - 2*d - 61 = 0. Let h be (-21)/(4 + -2 + -3). Let f be 56/14*h/4. Do q and f have different values?
False
Let d be (71 - 72) + -10 + 8 + 4/2. Do d and -2/5857 have the same value?
False
Let o = -238 - -248. Suppose 6*c = o*c, 0 = 4*a + 5*c. Does -17/19 = a?
False
Let x = -11330 - -11317. Is 63 greater than x?
True
Let o(h) = -h**3 + 45*h**2 - 1. Let c be o(45). Do -1/1976 and c have the same value?
False
Let v be 982/34 - 3 - (-2)/17. Suppose 30 - v = -4*b. Is b <= 2/749?
True
Let o = 8651453/2420 - -44004/121. Let q = 3940 - o. Let c = 3/5 - q. Are 2/3 and c non-equal?
True
Let q = -97 - -102. Suppose 7*n - 4 = q*n. Let c be (-442)/(-55) - 4*n/20. Which is smaller: 7 or c?
7
Suppose 5*z + 5*q - 3210 = 0, -24*q + 19*q - 5 = 0. Let b = 646 - z. Which is smaller: b or 23/14?
23/14
Let c = -66583 - -165858249/2491. Let r = c + 11264/809575. Which is greater: r or 1?
1
Let l = -81 - -117. Let t be 1 + (-1942)/4466 + l/(-63). Are 0 and t non-equal?
True
Let y = -10 + 9. Let f = 3.251 - 0.051. Which is smaller: y or f?
y
Let u be 296/3404 - 177742/(-23). Which is smaller: -0.1 or u?
-0.1
Let v = 2.469 - 2.49. Let c = -27.021 - v. Suppose -3*x + 2*x = -4*b, -3*b - 3*x = 0. Is b not equal to c?
True
Let k = -1.46 - -2.04. Let t = -0.58 + k. Which is greater: t or 0.071?
0.071
Suppose 0 = 21*p - 20*p - 4. Suppose 21 + 43 = -p*v + 4*g, -3*g = -2*v - 31. Let w = v + 31. Is w greater than 14?
False
Let n = 40 + -60. Suppose -104 = 3*h - 107. Let c = h + n. Which is smaller: -2 or c?
c
Suppose -5*u = -m - 25, u = -5*m + 5*u - 20. Suppose -4*g + m*g = -3*i - 22, -3*i + 5*g = 26. Does i = -7?
False
Let z(i) = -2*i + 12. Let a(h) = -h**2 + 7*h - 6. Let c be a(4). Let f be z(c). Let q be (-1)/(3 - f)*3. Which is smaller: q or 2/77?
q
Let p be 80/30*(-54)/(-4). Let u = -31 + p. Suppose 6*k + 9 = u*k. Is -5 at most as big as k?
False
Let j = 136 - 44. Let n = j - 92.7. Let z = 20/7 + -46/21. Which is smaller: n or z?
n
Let x be ((-33642)/351)/(24/(-312)). Which is greater: x or 1249?
1249
Suppose 77*r = 42*r + 1645. Is -53 <= r?
True
Let t be ((-15)/(-20))/((-42)/(-16)). Let j(w) = -w**2 + 56*w + 944. Let i be j(71). Is i < t?
True
Let a be 1/3 - ((-473)/3 - -2). Which is smaller: 166 or a?
a
Suppose -7*z = -z + 114. Let a = 25 + z. Let f(p) = p**3 - 10*p**2 + 11*p - 18. Let h be f(9). Is h at most as big as a?
True
Let c = 2051 + -958. Is -0.2 > c?
False
Let b be (1 + (-15)/12)/((-7)/(-14)). Let o be (164/(-14))/(6/(-3)). Let r = o - 6. Are b and r non-equal?
True
Let z(r) = 10*r + 12. Su