, 12 = 3*p. Which is bigger: m or l?
l
Let w(a) = 2*a**2 + 25*a - 14. Let s be w(-13). Which is smaller: s or -2/447?
s
Suppose 0 = -7*m + 2*m. Let g = 142 + 5. Let w be g/(-51) - (-5 + 2). Which is greater: w or m?
w
Suppose -2*k = 5*t - 12, 2*k = 3*t - 0*t - 4. Let o = -8026/117 - -616/9. Is o at most k?
True
Let m = -114 - -114. Let i(k) = 2*k - 3*k**2 + 2*k**2 - 1 + 4*k**3 - 3*k**3. Let u be i(2). Which is smaller: m or u?
m
Let i be (3/(-684))/(27/6). Which is smaller: i or -1?
-1
Let t = 1435 + -1435.1. Let y be 6/4*28/(-3). Does y = t?
False
Let o = 6 - 4. Suppose -4*d - 3*q - 16 = 0, -15 + o = 3*d + 2*q. Let m(l) = 2*l**3 - 11*l**2 - 23*l + 140. Let p be m(5). Is d greater than or equal to p?
False
Let n = -279/16 + 113027/6480. Suppose 0*x - 5*x + 5*s - 15 = 0, 0 = x + 3*s - 5. Is x <= n?
True
Let f be (-8)/2 - 640/6. Let u = f + 9625/87. Is 0 less than or equal to u?
False
Let y = -2/789 - -1237/799257. Is 0 != y?
True
Let h(l) = -346*l + 1336. Let j be h(4). Let g be 94*(3/2 + -2). Do j and g have the same value?
False
Let x = 70 + -46. Suppose -x = -2*s - 20. Which is smaller: s or -0.23?
-0.23
Let l be 2093/(-21) - (-8 + 12). Is l greater than -104?
True
Suppose 2*u = 5*p - 9 - 22, 56 = -3*u - 2*p. Let l be 471/(-9) + 6/(-9). Let k = -70 - l. Is k at least as big as u?
True
Suppose 916 - 125 = -7*g. Are -114 and g nonequal?
True
Let u = 2656.85 - 2655. Is u at least 1?
True
Suppose -4*i + 14*a - 2865 = 11*a, 4*i + 2872 = -4*a. Is i equal to -1?
False
Let a = 2964 - 2959. Which is smaller: a or -8?
-8
Let z be 88 - ((-1)/(-3) - (-28)/42). Is z smaller than 89?
True
Suppose c + 20 = 6*c. Suppose -2*k = k - 15, -3*z = c*k - 20. Which is greater: z or 3/38?
3/38
Suppose -2*j = j - 21. Suppose 5*b = -3*a + 26, 2*b - 2*a = -3 + j. Let o be (-78)/(-120) - 1/b. Is o at most -3?
False
Suppose 3*p + 4*j - j = 0, -3*j = -5*p. Suppose p = 77*v - 82*v - 5. Is v greater than -11?
True
Let t(o) = o**2 - 33*o + 152. Let i be t(6). Let d = 0 + -6. Is i != d?
True
Let r(o) = o**2 - 52*o - 185. Let z be r(53). Is z bigger than -5?
False
Let o = -6 + 6. Suppose 3*v = 4*t + 55, -4*v = -o*v + t - 67. Suppose -6*r + 4*r + 32 = 0. Which is smaller: r or v?
r
Let b = 323 - 205. Let i be (472/(-6))/((-9)/((-162)/(-12))). Is i at most b?
True
Let v(g) = 7*g**3 + g**2 + g - 1. Let d(l) = -l - 11. Let z be d(-12). Let t be v(z). Let b = -6 + t. Is 4 greater than b?
True
Let t = -349 - -367.9. Let l = 8.2 - t. Let v = 11 + l. Is v at least 0.1?
True
Let g = -0.81 - -0.81. Are -290 and g unequal?
True
Let i(h) = h - 3. Let q be i(6). Let u(m) = 2 + 2*m + 4*m - 4*m - q*m. Let j be u(-3). Is j bigger than 11/2?
False
Let d(t) = -t**2 - 7*t + 2. Let v be d(-7). Suppose -7*m + v*m = 0. Let l be m + (-1 - (-28)/20). Is l bigger than 6/11?
False
Let w be (2 - 5) + 28623/9163. Let m = w + 3/238. Is m >= 0?
True
Suppose 5*h + k - 15 = 4*k, -k = -4*h + 19. Is h bigger than 80/11?
False
Let z(d) = -6*d**3 - d**2 - 3*d - 1. Let l(q) = -11*q - 1. Let b be l(0). Let i be z(b). Which is smaller: 4 or i?
4
Let u be (-34)/(-33) + (-320)/240. Is u < -1?
False
Let h be (3 + (-57)/18)*-10. Suppose -3*n - 4*r - 26 = 0, -5*n + r - 24 = -2*r. Let k = n - -7. Are h and k unequal?
True
Let m = 0.3 + -0.4. Let r = -1230.31 + 1230. Is m <= r?
False
Suppose -3*l = 0, 2*l = -0*u + u - 5. Let c(v) = -v + 11. Suppose -2*o = 3*o - 25. Let q be c(o). Is q <= u?
False
Let u be 13496/(-10509) - (-28)/21. Let w = u + 10686856/87575. Let m = w + -122. Which is smaller: 1 or m?
m
Suppose -3*l = 2*l - 20. Suppose 0 = l*r + n + 4 + 3, -r - 13 = 4*n. Is 2/79 greater than r?
True
Suppose -h - 4*c = -21, -4*h - 41 + 30 = -3*c. Which is greater: h or 19/10?
19/10
Let i be 16 + 4/(-8)*-2. Suppose -8 = -5*u + i. Suppose -5*y + 2*g + 2*g + 27 = 0, -5*y - u*g = 0. Which is bigger: y or 4?
4
Let z = -23 - -93/4. Let y = -42.73 + 42.7. Which is smaller: z or y?
y
Let s = -144 - -300. Let i = s - 86. Suppose i = -4*q + 9*q. Do 13 and q have different values?
True
Suppose 4 = -6*a + 4*a. Let x be (a + 0)*4/316. Let q = -52 + 52. Which is greater: x or q?
q
Let t = 190 + -155. Do 71/2 and t have the same value?
False
Let g be 144/14 - (-4)/(-14). Suppose 0 = 2*p + 3*p, 6 = 3*b + 4*p. Suppose b*r = -l + 20, -r - 4*l + g = l. Is 10 bigger than r?
False
Let o be (1 - (-20)/(-16))*-1*412. Which is greater: o or 104?
104
Let n be 44/135 + (-2)/5. Let g = -10919 + 10920. Is n bigger than g?
False
Let a be 12 + 196/(-16) - (-2)/8. Which is smaller: 7.8 or a?
a
Let z be 2*-1 - (0 + -18). Let b = 1376 - 1358. Suppose 0 = d + z - b. Which is smaller: d or 5?
d
Let m be (2120/(-16)*(-10)/25)/1. Is m greater than 381/7?
False
Suppose 5*w + 3*r = -101, 0 = 4*w - 0*r + 3*r + 79. Let s be (-108 - 2)*w/(-165). Is -16 at most as big as s?
True
Suppose -2*a - 7*a + 198 = 0. Are a and 20 equal?
False
Let v = -13 - -17. Suppose n + v*c = -17, n = 3*n - c - 2. Let h be 2/(-4)*0/n. Which is bigger: h or 0.1?
0.1
Let g be 14/(-3) - (-2)/3. Let z = g + 7. Suppose 3 + 0 = -z*q. Is -1/6 less than or equal to q?
False
Let x(m) = -4*m + 31. Let q be x(8). Suppose u = 2*k - 3, -30 = 7*k - 2*k + 5*u. Let w be 6 + q + -2 + k. Which is bigger: w or 0?
w
Let l be (-80)/(-50) - (-2)/5. Let o be l/116 - (0 - 0). Which is smaller: 1 or o?
o
Let k = 71.7 + -70.7. Is -493 not equal to k?
True
Let y(j) = -j**3 + 5*j**2 + 6*j + 3. Let s be y(6). Let z = -281 + 283. Which is greater: z or s?
s
Suppose 4*a - i - 3*i = 96, 0 = -2*i - 6. Suppose -3*z + a = -2*x - 15, 0 = -5*z - x + 47. Suppose -z - 2 = -2*r. Which is bigger: r or 5?
r
Let d(t) be the first derivative of t**3/3 - 7*t**2 - 13*t + 5. Let w be d(15). Suppose -3*o + m - 53 = w*m, 5*o - 5*m = -55. Are -15 and o unequal?
True
Let d = 4535 + -13471/3. Which is greater: d or 44?
d
Suppose 7*x + 8 + 6 = 0. Let d be 2/(40/x)*4/(-6). Let c = 3 + -2.9. Which is greater: d or c?
c
Let w(g) = g**3 + 10*g**2 - 55*g + 26. Let f be w(-14). Are -78 and f non-equal?
True
Let d = -125880 - -1130009/9. Let p = 323 + d. Suppose -4*b = 3*h - 1, -b + 2 = -3*h - 2. Is b not equal to p?
True
Suppose w = 3*j + 1, 3*j + 6 = 5*w + 1. Suppose -4*t + 5*v = 2 + w, t = v. Let x = -0.2 - -0.1. Are x and t non-equal?
True
Let g = -2/2567 + -367073/10268. Which is smaller: -35 or g?
g
Let y(g) = 4*g**3 - 3*g**2 - 7*g + 3. Let d be y(3). Which is bigger: 68 or d?
68
Let t = -8 + 7.7. Let g = -0.23 + 0.3. Let n = g + 0.23. Which is smaller: t or n?
t
Let a be 2 + (-5)/(15/(-6)). Let s be (a/2 - 3) + 5. Suppose -2*c + s*c = -4. Which is smaller: c or -5?
-5
Let o = 52.7 - 52.7. Is o not equal to 365?
True
Let o be (-1)/((4/(-12))/1). Let c = -57 - -117/2. Is c < o?
True
Let w(o) = -o**2 + 2*o. Let j be w(2). Suppose 4*u + j*p - 31 = 5*p, 3 = 3*u + 3*p. Let n = 2 + u. Is 7 < n?
False
Let v be -1*1*-7 + 1. Suppose -i = -4*j - 68, 0 = j - 2*j - 2*i - 17. Let w = v + j. Which is smaller: -8 or w?
w
Let p(k) = 2*k**3 + 28*k**2 + 2. Let r be p(-14). Are -1/146 and r unequal?
True
Let z(b) = b**3 + 23*b**2 - b - 32. Let l be z(-23). Suppose u + 4*k + 12 = 0, 2*u - 5*k = u - 3. Is l <= u?
True
Let g be (7 - (-3)/(-3)) + 2. Suppose -2*c - 2 = -g. Suppose -c*s = -4*s. Do s and 1/10 have the same value?
False
Suppose -5*a - 2*a = 14. Let h be 45/(-255)*a/(-6). Let j = 2 - 2. Is h at most j?
True
Suppose 2*k + 3 = r + 4, 33 = -5*r - 4*k. Is -5 equal to r?
True
Let q = 3984 - 525883/132. Which is smaller: 1 or q?
q
Let b be ((-4)/10)/((-8)/40). Suppose -4*t - t = 25. Let d(g) = g**3 + 3*g**2 - 10*g + 3. Let w be d(t). Which is smaller: w or b?
b
Suppose c + 345 = 5*a, 4*c - a = -525 - 836. Is c equal to -339?
False
Let x = 1123/6479 + 5/589. Is x < 1.5?
True
Let u = -406243/6426 - -885/14. Which is greater: -1 or u?
u
Let f be 12/42 + 332/14. Suppose 6*p - 9*p - f = 0. Let n be (-3)/12 + (-2)/p. Is 1 bigger than n?
True
Let o(m) = 2*m + 40. Let r be o(-14). Let l be 8/6*r/(-8). Are l and -2 nonequal?
False
Let j = -0.05 - 13.95. Is 5/4 bigger than j?
True
Let r be 3 + -6 - (0 + 250/(-5)). Suppose r*t - 50 = 52*t. Suppose 0*s + 30 = -3*s. Is s less than or equal to t?
True
Let z(l) = l**2 - 2*l - 4. Let x be z(4). Which is smaller: x or 5?
x
Let u(i) = 7*i + 5. Suppose -3 = 2*h - d - 16, -5*d = -4*h + 35. Let a be u(h). Let j be (2/a)/(