= -302 + 300. Do -218 and k have the same value?
False
Let o be (-155265)/231 + 1/(21/(-18)). Is o less than or equal to -673?
True
Let w = -1050 + 618. Is w at least 1?
False
Let o be ((-3)/(-2))/(((-3)/2)/(-1)). Let c be (-6)/(-9)*3/(-107). Which is smaller: c or o?
c
Let s = 82 + -82.1. Let q(p) = -12*p**2 + 2*p - 1. Let o be q(2). Let l be (-24)/o*3/(-4). Which is bigger: s or l?
s
Let a = -712/3 - -234. Suppose c - f + 7 = 0, 4*c + f = 2*f - 19. Let u be 2/(c/6) - 1. Does a = u?
False
Let f = 250 + -251. Which is bigger: f or -9/2?
f
Let r = 249 + 321. Is 569 < r?
True
Let o = 23.0006 + -0.0006. Let r(f) = -f - 5. Let y be r(-7). Let j be 9/(-15)*y/3. Which is smaller: o or j?
j
Let m be -37*(-6)/(((-27)/2)/(-9)). Which is smaller: m or 149?
m
Let m = 3597/13958 + -572930829/2220145522. Let s = -28475036/1785119157 - m. Let r = s + -2/261. Is 0 at most as big as r?
False
Let l(o) = 12*o - 3. Let c be l(-1). Let a be (-4)/(-24)*c/35. Does a = 1?
False
Suppose -2*z + 4 + 0 = 0. Suppose -2*k + 24 = 3*m, -m - 18 = -5*m + z*k. Let f be -3 - (78/66 + -4). Is m greater than or equal to f?
True
Let a = 221/55 - 21/5. Let o be ((-3)/9)/(3/9). Let t be -11 - -10 - 0/o. Are t and a nonequal?
True
Let b = 38 - 26. Let a be (124/(-6))/((-2)/3). Let y = a - b. Which is bigger: 20 or y?
20
Suppose 2*x - 15 = -11. Suppose 5*m = 3*g + g - 113, -6 = -x*m. Which is smaller: g or -0.1?
-0.1
Let i be 12*12*13/12792. Let j(f) = -f - 5. Let d be j(-5). Is d smaller than i?
True
Let k = -18.07 - -18. Let l = -11.07 - k. Let z = l + 13. Do -3 and z have the same value?
False
Suppose -u + 60 = -6*u. Suppose j = -4*n - 47, 2*n - 3*j + 34 = 7. Are n and u non-equal?
False
Let y = -6 + 6. Let d be (-242)/(-77) + (8/(-2) - -1). Is d greater than or equal to y?
True
Let s = -4 - -3.8. Let h = -0.22 - s. Let a(y) = y**2 + 6*y + 7. Let p be a(-4). Is h bigger than p?
True
Suppose -9*i + 17 = 62. Suppose -v + 0*v + 4*r = 2, -5*v - 34 = 4*r. Is v equal to i?
False
Let s = -1.741 + 1.821. Let d = 5 + -3. Which is greater: s or d?
d
Let z be 2/8 - (-395)/20. Let s be 14/77 + z/11. Suppose -g + 8 = 4*u - 6, 2 = 3*u + 5*g. Which is smaller: u or s?
s
Let x(i) = -2*i**2 - 4*i + 38. Let h be x(6). Is -46 at least as big as h?
True
Let s = 0.634 - 1.634. Suppose 7*b - 4*b = -2*p + 60, -30 = -2*b + 2*p. Which is smaller: s or b?
s
Suppose 4 = -w + 3*w. Let t = 1226 + -1220.33. Let c = -0.33 - t. Which is bigger: c or w?
w
Let z = 297 - 297.049. Which is smaller: z or 2/3?
z
Let l = 89 + -44. Let a be (2/(-3))/(10/l). Let v be (3/(-63))/(a/18). Which is greater: -1 or v?
v
Let k be (2/(-4))/(1/(-6)). Suppose 2*q + 2 = 5*c - 4, -q + 4*c = -k. Let w be 13/q*(-1 - 14). Which is greater: -0.1 or w?
w
Let p(h) = -h**3 + 13*h**2 + 13*h + 8. Let a be p(14). Let t be (a/(-4))/(7/28). Suppose -9*z + t*z = -3. Are z and 3/4 non-equal?
True
Let w(z) = -5*z**3 + 2*z + 1. Let m be w(-1). Let x be ((-57)/m)/((-13)/(-52)). Is -57 equal to x?
True
Let v = 434240/343 + -1266. Which is greater: -1 or v?
v
Suppose 3*l = -2*m - 13 - 1, 0 = 2*l - 3*m + 5. Let b be -4 + (3 - 1) + l. Let f be (-13)/24 - 4/b. Which is bigger: -1 or f?
f
Let m = -2 - -6. Let u be (-2 + -10)/m - -11. Let q(j) = -j + 7. Let w be q(u). Is -1/18 equal to w?
False
Let b = 13 + -12.8. Let r = -11.92 - 1.08. Is b not equal to r?
True
Let v be (-4)/2 + -7 + 6. Let m be 10/(-8) - v/(-4). Let z be (-6 - m)*9/6. Which is smaller: z or -7?
-7
Suppose -1053 = 8*c - 1213. Is -2 greater than or equal to c?
False
Let j = -622 + 616. Suppose b - 19 = -c + 6*c, -4*b + 5*c + 31 = 0. Let u be (-15)/b + j/(-8). Which is smaller: -4 or u?
-4
Suppose -s + 3 = -4*s. Let b be (s/3)/(4/(-72)). Let y(a) = a**2 + 1. Let p be y(-2). Is b > p?
True
Let g(y) = 5*y + 8. Let n be g(8). Let u be 6/4*n/(-36). Do -3 and u have the same value?
False
Let f = -4/435 - -1378/55245. Which is greater: 0 or f?
f
Suppose -l - 4 = -3*l. Let g be l/(-8) - (-42)/8. Let z(r) = r**3 - 8*r**2 + 14*r - 7. Let c be z(6). Is g less than c?
False
Let g(a) = 6*a**3 + a**2 - 6*a + 6. Let w(k) = k**3 - k + 1. Let f(y) = -g(y) + 4*w(y). Let v be f(2). Suppose 90 = 8*m - 13*m. Is m greater than or equal to v?
True
Let v(s) = s**3 + s**2 + s + 11. Let c be v(0). Suppose -2*f = c - 33. Is 11 less than f?
False
Suppose 5*t = y - 345, -27*t = -y - 31*t + 363. Which is smaller: y or 353?
353
Let q(h) = -h**2 + 16*h - 16. Let o be q(11). Let l be 1 + o/18 - 3. Let r(z) = -z**3 + 4*z**2 - 2*z - 2. Let n be r(3). Is l <= n?
True
Let o(b) = -b**3 - 4*b**2 - b - 1. Let r be o(-4). Let g = -12 - -10. Let u = g + r. Is u at least as big as -1/14?
True
Let r(n) = n**2 + 6*n + 7. Let s be r(-5). Suppose -s*c + 5 = -1. Suppose 4*m + 2 = 2*x, -2*m - 8 = -m - c*x. Is -2/7 > m?
False
Let u = 1984 - 1985. Is -23/39 >= u?
True
Let r = 19 - 19. Let k(g) = 3 + 1 - 2 - 3 - g. Let a be k(2). Is r > a?
True
Let d = -9.9 - -8. Let h = 11.9 + d. Let j = h - 9. Is -13 at least as big as j?
False
Let s = 0.2696 - 10.2696. Let t(x) = x - 4. Let g be t(3). Which is bigger: s or g?
g
Suppose -35 = -5*f - 2*w, 15 = -0*f + 5*f - 2*w. Suppose -3*y - 3*x + x = 14, 2*y + 22 = f*x. Does -1 = y?
False
Let x be (1/3)/((-2)/6). Let d = 8666/1682733 - 4/3319. Which is bigger: x or d?
d
Let r = -36/5454456779 + 8926965779770999/54359116259514. Let g = r + 5/29898. Let k = g - 164. Which is smaller: 0 or k?
0
Let n = -1769/11 + 161. Let d = 56 + -87. Let c = d - -32. Which is smaller: n or c?
n
Suppose 3*j = -35*r + 30*r + 509, -5*j + 900 = -2*r. Is 180 bigger than j?
True
Let p(u) = 2*u**2 + 40*u - 66. Let y be p(-18). Are -140 and y nonequal?
True
Let u(g) = 2*g - g**2 - 67 + 40 - 18 - g**3. Let n be u(0). Is -45 equal to n?
True
Let w = 32.948 + 0.152. Let r = -33 + w. Which is smaller: -10 or r?
-10
Let f be (-12 - -6)*(-15)/(-3). Let x = f - -207/7. Which is smaller: x or 0?
x
Let t(v) = v**3 - 14*v**2 - 175*v - 17. Let l be t(22). Which is greater: l or 11?
11
Let b = -186 + 121. Is b at most as big as 1?
True
Let b be (2/3)/((-6)/(-36)). Suppose 0 = -b*p - p - 3*o + 20, -4*p = -3*o + 11. Which is greater: 3/2 or p?
3/2
Let o = 3 + 5. Suppose -2*n = 4, -k + 2*n - o = 6*n. Is k less than or equal to -16?
False
Let g(t) = -t**3 - 4*t**2 + t - 2. Let c be g(-5). Suppose 5 = -l - 2*a - 5, c = -3*l - 2*a. Suppose 3*r + 4 = -2. Which is smaller: r or l?
l
Suppose -21 = -343*s + 350*s. Which is smaller: -8 or s?
-8
Let q = 8.08 + -9.1. Let n = -0.99 - q. Is n at least 0?
True
Let l(v) = 4*v**2 - 8*v + v**2 - v**2 - 3*v**2 + 7. Suppose 0 = -2*i + 14. Let x be l(i). Is -1/3 greater than or equal to x?
False
Let v = -3.756 - -3.156. Let p = -5 - -7. Which is smaller: p or v?
v
Let u(y) = y**3 + 6*y**2 - y - 3. Let k = 11 + -17. Let c be u(k). Suppose 6*z + 36 = c*z. Is z at most as big as -12?
True
Let o = 82 + -36. Let q = o - 46. Which is greater: q or 0.057?
0.057
Let j(b) = -b**3 + b - 1. Let m be (-6 - -4) + 3/3. Let a = m - -1. Let y be j(a). Is y greater than or equal to 4/17?
False
Let f = -157 + 298. Is -2 less than or equal to f?
True
Let l = -19881/5899 - -6/347. Which is greater: -2 or l?
-2
Let g be (-2)/(-12)*698/(-68). Let h = 3845/68 - 113/2. Let c = h + g. Which is smaller: -3 or c?
-3
Let y(h) be the third derivative of h**6/120 + 7*h**5/30 + h**4/24 + h**3/2 + h**2. Let g be y(-14). Which is smaller: g or -13?
-13
Let d(h) = 5*h**2 - 3*h. Let f(n) = -10*n**2 + 7*n. Let c(y) = -13*d(y) - 6*f(y). Let o be c(-2). Let q be 1*14*(-1)/1. Are q and o non-equal?
False
Let t = 95 + -92. Suppose 0 = t*v + 3*n + 51, 4*v - n = 2*v - 49. Which is smaller: -20 or v?
v
Suppose -3*l = -0*l + 12. Let c(w) be the first derivative of w**2 - 28*w + 24. Let y be c(12). Is y at least l?
True
Let a = 16 + -15.99. Let z = a + 4.99. Let b = -5 + z. Which is bigger: b or -3/2?
b
Let t be 72/(-48) - (2 + 135/(-6)). Which is bigger: t or 7?
t
Let n(t) = 8*t + 25. Let w be n(6). Let x = 81 - w. Let d(a) = -8*a**3 - a - 1. Let r be d(-1). Are x and r equal?
True
Suppose -4*a + 936 = -4*c, 21*a = 4*c + 18*a + 941. Is c at most as big as -241?
False
Let j(d) = -2*d**2 + 6*d - 4. Let y be j(1). Which is bigger: y or -73?
y
Let x(t) = t**3 + 10*t**2 + 9*t - 6. Let u be x(-9). Let v be (u/10)/((-288)/(-90)). Is v less than or equal to 1?
