433 = -9*j. Let l = j + -692. Which is smaller: l or -22?
-22
Suppose -24 = -18*r + 16*r. Suppose 8*h - 4*h = r. Suppose j + 46 = h*j. Is 24 smaller than j?
False
Let p = 61 + -106. Let q = -140.7 - -93.7. Let r = q - p. Is 0.3 smaller than r?
False
Let z be (3/48)/(4/(-184)). Let k = 1042 - 1045. Are z and k equal?
False
Suppose -4*z - 864 = -5*r - 9183, -3*r = 4*z - 8295. Is 2074 bigger than z?
False
Let z = -241 + 463. Let y = -229 + z. Is 14 less than y?
False
Let r(q) = q**3 - 10*q**2 - 9*q - 25. Let i be r(11). Let h be (i + 6 + -5)/(6/(-33)). Are -4 and h unequal?
True
Let g be 11/(-9) + 84/378. Let r be (g*(-3 + 6/3))/(-1). Are -1/12 and r non-equal?
True
Let w(o) be the third derivative of -o**6/120 - o**5/20 - o**4/8 - o**3/6 - 4*o**2. Let t be w(-2). Let i = 2/39 - 103/1248. Which is greater: t or i?
t
Let a be (-4)/3 + 4*1/(-6). Let r be (6/12*20)/(a/(-3)). Suppose 3*j - 2*j = r. Which is smaller: 14 or j?
14
Suppose 0 = 4*s - 3*w + 188, 3*s + w - 39 = -180. Suppose -4*y - 77 = 119. Is s greater than or equal to y?
True
Suppose 7*p + 112 = 917. Let d = -130 + p. Let n be (-114)/36 + d/(-6). Which is greater: -25 or n?
n
Let h = 34 - 32.12. Let d = 0.38 - h. Let g(p) = p**2 + 4*p - 4. Let n be g(-5). Is d greater than or equal to n?
False
Suppose 0 = -48*c + 47*c + 22. Suppose -3*b - c + 25 = 0. Which is smaller: 1/15 or b?
1/15
Let r(d) = -d**2 - 11*d - 7. Let m be r(-8). Suppose 19*v - 14 = m*v. Suppose v*w + 3 = 10. Which is smaller: -2/95 or w?
-2/95
Let z be (-7)/(-876)*(-72266736)/(-437016). Let j = z - 47/19126. Let r = j + 2/139. Which is smaller: -0.1 or r?
-0.1
Let y = 638.88 - 635. Let p = 3.85 - y. Is 2/9 at least as big as p?
True
Let b = -0.676 - -0.076. Let r = b - -0.3. Suppose -23*a = -27*a + 20. Which is smaller: a or r?
r
Let w(m) = 838*m + 2133. Let t be w(-3). Which is smaller: -382 or t?
-382
Let q(v) = 173*v - 532. Let d be q(3). Let h = -30 + 44. Suppose -2*g - h = -g. Is d bigger than g?
True
Let h = -8776 + 8232. Is -543 at least as big as h?
True
Let c = 1106 - 1813. Suppose 194425 = -35618*u + 35343*u. Is u equal to c?
True
Let s(v) = -8*v**2 + 2*v. Suppose -u - 12 = -5*u. Let o be s(u). Let p be 3 + (-10)/(-45)*o/5. Which is smaller: p or 1?
p
Let i = -3529 + 3540. Suppose s - 16 = -3. Is s >= i?
True
Suppose 3*b - 6*p + 8*p - 7446 = 0, -2460 = -b + 3*p. Are b and 2478 equal?
True
Let x(l) = 16*l. Let v be x(5). Suppose -5*f + 25 + v = 0. Let i be (-1 - -2) + (-792)/(-44). Do f and i have different values?
True
Let i(l) = -13*l**2 + 902*l + 4438. Let g be i(74). Let z(k) = -9*k**2 - 2*k - 1. Let j be z(-1). Let p be 0 + (j/3 - -1). Which is bigger: g or p?
p
Let l = -286 - -601. Let a = l + -331. Are a and -9 equal?
False
Let b(u) = u**3 + 42*u**2 + 39*u - 80. Suppose -328 = 8*s - 0*s. Let z be b(s). Is z less than 0.076?
False
Let o = 0.4657 + -41.3357. Let h = o + 42. Let t = 3.13 - h. Do -0.1 and t have the same value?
False
Let a = -221 + 278. Let g = a + -59. Which is greater: -22 or g?
g
Let g(v) = 2*v**2 + 13*v - 27. Let u be g(-13). Let l = u - 75. Is l greater than 65?
True
Suppose 2*b + 10 = -3*x, 0 = -3*b - 3*x - 3 - 6. Let z be 1/((-6)/(-36)*3). Suppose 0 = z*n + n + 72. Is b less than or equal to n?
False
Let z be 12770/(-675) - (-9)/90*-6. Which is greater: z or -21?
z
Let p = 172.796 + -177.2. Let v = p + 0.004. Let q = 6.6 + v. Is -1 at most as big as q?
True
Let o(s) = -23*s + 2622. Let g be o(114). Let k be (2 + 1)*8/(-1544). Is g bigger than k?
True
Let g(t) = t**3 + 6*t**2 - 12*t - 54. Suppose -43 = 3*o - 21*v + 16*v, 4 = -4*o - 4*v. Let l be g(o). Which is bigger: 52/3 or l?
l
Suppose -5*s + t = -4*t + 20, -3*t + 15 = 0. Let o = -16.9 + 9.9. Is o not equal to s?
True
Let v be (10/6)/((-50)/(-180)). Let y be 8/v*2/(-24). Is y equal to -2.3?
False
Suppose -2*v + 6*c = 3*c - 7, -11 = 5*v + 2*c. Suppose 20 = n - 4*q + 62, 0 = 4*q - 12. Which is smaller: v or n?
n
Let c = 4439 + -4438. Which is smaller: c or -4/391?
-4/391
Let r be (-112)/10 - (-2 - -2). Let y = -30990 - -30978. Do y and r have the same value?
False
Let n = -3.7 - -27.7. Let a be 6930/1683 + 12/(-102). Is a > n?
False
Let p be -34 - 1*(-4)/2. Let a = 35473 + -35503. Is p <= a?
True
Let j be 11 + (-1999217)/142802 + (-1 - -4). Which is bigger: -1 or j?
j
Suppose m = k, -4*m - 3*k = 14 - 7. Let w = -2.988 - 14.006. Let j = w - 0.006. Which is smaller: j or m?
j
Let s(m) = -2*m**2 - 46*m - 226. Let c be s(-7). Which is smaller: c or -49/15?
-49/15
Let g(o) = -o - 11. Let n = 51 - 56. Let a be g(n). Suppose 1 = -11*t + 10*t. Which is smaller: t or a?
a
Suppose 0*h - 104 = -2*h. Suppose -9*u + 11*u = h. Suppose 25*a = u*a + 1. Which is greater: a or -2/3?
-2/3
Suppose 5808 = 2*i + 3*n, 2*i - 5810 = 6*n - 10*n. Is i bigger than 2901?
False
Suppose i + 3*k + 4 = 0, 2*i - 3*k + 12 = -i. Let b(w) = -w**3 + 2*w**2 - 3*w. Suppose 4*l - 3 = 2*n + 1, -3*l - 4 = -5*n. Let v be b(n). Is i bigger than v?
True
Let k(f) = -5*f**2 + 51*f - 12. Let m = -147 + 159. Let t be k(m). Are t and -119 nonequal?
True
Suppose -2*w = 3*u - 2557, -w + 2475 = 5*u - 1796. Let r = -785 + u. Let n be 0 - ((-5)/7 + 1). Is r not equal to n?
True
Let b = -3668 - -3626. Let z be (-8)/(-2) - (4 + -1). Which is greater: z or b?
z
Let i(k) = -k**2 - k - 6. Let n be i(5). Suppose -d - 3*z = -15, -10 = -3*d + d - z. Suppose 0 = j - 4*j + d*s - 99, j - 5*s + 21 = 0. Are n and j equal?
True
Let y(v) = -v**3 - 4*v**2 - 7. Let r be y(-4). Let c(q) = -37*q - 109. Let t be c(r). Is t != 150?
False
Suppose -36*u + 1733 = -6439. Let o = u - 390. Do o and -164 have the same value?
False
Suppose 3*m = 15, -3*m - m + 24 = -d. Let n be (5*d/(-20))/1. Let i be (1 + n + -1)*96/(-156). Is i at least as big as 2/3?
False
Suppose 0 = 11*b + 114 - 125. Which is smaller: b or 4/3955?
4/3955
Let f(g) = -g**3 + 6*g**2 + 7*g. Let b be ((-6)/9)/(3/(252/(-8))). Let a be f(b). Suppose a = -j + 3 - 15. Are j and -11 unequal?
True
Suppose -33476 = -493*h + 546*h + 36961. Is -1326 < h?
False
Let g = 25 + -24.88. Which is bigger: -1/5 or g?
g
Let w(f) = -f**3 - f**2 + 25*f - 29. Let l be w(-7). Do l and 106 have different values?
True
Let x(m) be the second derivative of -m**4/12 + m**3 + 15*m**2/2 - 18*m. Let d be x(8). Which is smaller: d or 1/30?
d
Let x = 0.18363 + -0.28763. Which is greater: 3/44 or x?
3/44
Let h be ((-3)/30)/(9740/450 + -10). Is -1 < h?
True
Suppose 0 = -7*j + 3*j + 12. Suppose -4*y = -2*y - j*c - 25, 3*y = -c + 65. Let v be 95/(-7) + y/35. Is -12 < v?
False
Let o be 0*(-8)/64 - -5. Let v = -44 + 42. Is o != v?
True
Let o be ((-24)/9)/8 - (-80)/15. Suppose 0 = o*a - 5*c + 605, 4*c + 13 = 17. Do -120 and a have different values?
False
Let u be ((-3)/2)/((-216)/288). Let l be ((-64)/28 + u)*-119. Are l and 0 equal?
False
Let i be 244/(-20) + (-60)/(-150). Does i = -11?
False
Let g(z) = -2*z**3 + 31*z**2 - 14*z - 14. Let b be g(15). Are b and 9/515 equal?
False
Suppose -5*w - 19 - 2 = 4*v, 0 = 5*w - 2*v + 27. Let k be (2*4/126)/((-2519)/180321). Let b = -2/4809 + k. Is b bigger than w?
True
Let i be 90/54*6*2/20. Which is greater: i or 15/191?
i
Suppose -m = 4*c - 6, m - 2*c - 20 = c. Let y = -11 + m. Let f be y/2 + 3/(-6). Which is greater: 18/11 or f?
18/11
Let s = 13423/9 - 3570023/2394. Let z = -3/38 - s. Which is bigger: 14.9 or z?
14.9
Let r be -13 + 3 + (-19 - (-32 + 12)). Is r at least 42?
False
Let k(j) = 6*j - 76. Let v = 119 + -106. Let d be k(v). Let l = -410 + 2879/7. Which is greater: l or d?
d
Suppose -4821 = -33*w + 2472. Is 881/4 greater than w?
False
Let j = -10145.39 - -10117. Is 2/5 greater than or equal to j?
True
Suppose 17 = -3*t + 5. Suppose -4*r - 3*c + 10 = 6, -3*c = 2*r - 2. Let d be -13*(t - (r + -3)). Is 26 less than or equal to d?
True
Let x = 2 + 4. Let w be ((-23205)/1225)/(-3) + 5/(-7). Which is smaller: w or x?
w
Let v = 16 + -4. Let b be 484/627*-18 - -14. Which is smaller: b or v?
b
Let b be (38/3)/((-4)/198*-1). Is b bigger than 627?
False
Suppose -27*o + 306 = 12*o - 5*o. Which is bigger: 43/5 or o?
o
Let a be (-36)/(-21) + (-6)/(-21). Let x be 1/(12/40) - a. Let z = 5/3 - x. Which is bigger: -1 or z?
z
Let d(z) = -z**3 - 5*z**2 - 23*z - 160. Let c be d(-6). Let r be ((-119)/(-255))/(c/12). Which is bigger: 32 or r?
32
Suppose -266*