= 7 - m. Let x = t - -0.17. Is x smaller than 1/8?
False
Let u be 9/(6/(-12)*(-12)/(-92)). Which is smaller: u or 0?
u
Suppose i + 5*v = 152 + 77, -259 = -i + 5*v. Do 243 and i have different values?
True
Let b = -306 + 304. Let f(a) be the third derivative of a**4/24 - a**3/2 - a**2. Let w be f(4). Which is smaller: w or b?
b
Let h(t) = t. Let n be h(-2). Suppose -5*a + 12 = -18. Suppose -q = -2*z + q + a, 2*q = -4*z. Which is greater: z or n?
z
Let i = 1/165 - -89/165. Suppose -4*j + y = 0, -2*j - 2*y = 2*j. Is i >= j?
True
Let d(x) = -5 - 4*x + 2 + 1 + x**2 + 7. Let m be d(4). Suppose 2*k = 5*i - 48 + 7, m*i + 2*k = 29. Which is smaller: i or 6?
6
Suppose -5*l = -48 + 43. Which is bigger: l or 2/715?
l
Suppose 4*n + 4*l - 40 = 0, -2*n - 4*l - 6 = -30. Suppose 2*b - n = 2*w, 2*b - 5*w - 12 = -2*w. Which is greater: -5/13 or b?
b
Suppose -4*u + 4*q - 7 - 17 = 0, 5*q + 24 = -4*u. Let v = -7 - u. Let w = -6985/17 + 411. Is v <= w?
True
Let b(j) = j**3 - 7*j**2 + 1. Let z be b(7). Let x(g) = -g**2 + 7*g + 5. Let q be x(7). Let h(i) = i**2 - 6*i + 1. Let o be h(q). Which is smaller: o or z?
o
Let m = -262.028 + 262. Is m at least 0.1?
False
Suppose -3*o = -3*a - 1083, -13*o + a + 1093 = -10*o. Is 366 at least as big as o?
True
Let g = 1029 + -27776/27. Is g greater than or equal to -1?
True
Let q = 17 - 17. Suppose -m + 44 = 4*m - 3*j, 5*m + 5*j = 60. Suppose -r = -6*r - m. Are r and q equal?
False
Let g be (-14)/63 - 62/45. Let s = -4 + 3. Is g at least as big as s?
False
Suppose 3*v = -v + 9564. Let k = v + -43051/18. Let j = k + 2/9. Is 3/20 less than or equal to j?
False
Let s(o) = o**3 + 13*o**2 + 12*o + 12. Let k be s(-12). Suppose 197 = 11*p + 54. Which is bigger: p or k?
p
Suppose 3*k - t + 7 = 0, -3*k + 0*t - 19 = -4*t. Suppose -19*x + 239 - 334 = 0. Which is smaller: k or x?
x
Let r be -2 - -1*(-72)/(2 - 6). Which is greater: r or 15?
r
Let m(i) = -i**2 - 14*i + 54. Let f be m(-17). Let y be (0 + 2/(-8))/f. Let c be 1 + 0 - 2/2. Which is smaller: c or y?
y
Let y = 222/5 + -893/20. Which is greater: y or -1?
y
Let s = -0.1126 + 0.2326. Do s and 7/2 have different values?
True
Let i be 4/((-56)/834) + (-102)/238. Is -66 bigger than i?
False
Let j(w) = -w**3 - 9*w**2 + 12*w - 5. Let m = 17 + -27. Let o be j(m). Which is bigger: o or -26?
o
Let y(n) = n**3 + 4*n**2 - n - 2. Let s be y(-3). Let u = -3 - -16/5. Which is smaller: u or s?
u
Let x(p) be the second derivative of p**4/12 + p**3/3 + 21*p**2/2 - 9*p. Let i be x(-9). Let k be 20/18*i/(-30). Which is bigger: -2 or k?
-2
Let v = 6 - 0. Let h be (2/v)/((-68)/12). Let d be (3 + 9)/4 - 3. Are h and d non-equal?
True
Suppose 0 = -2*k + 4 - 24. Let q = 12 + k. Suppose l = 4*m - 5, 4*m - 8 - q = 2*l. Is m <= 0?
True
Let q(g) = g + 4. Let j be q(0). Suppose -7*d + j*d + 60 = 0. Let c = d - 17. Is c < -0.3?
False
Let q be ((-2)/21)/(2/6). Let s(o) = -116*o - 6147. Let b be s(-53). Which is bigger: b or q?
b
Suppose 3 + 2 = 2*c - 5*m, 3 = 4*c - 3*m. Let p = -2710765243/7859460 - -3/374260. Let n = p - -345. Are c and n equal?
False
Let u(x) = -2*x - 22. Let q be u(-12). Suppose -2*y = q*c, 3*c + 5*y = -5 + 1. Is 4 equal to c?
False
Let f(l) = -l**2 + l + 34. Let q be f(0). Let w be (-22)/8 + q/(-8) + 5. Does w = 0?
False
Let o(r) = -2*r**3 + 15*r**2 + 11*r - 14. Let f(q) = 4*q**3 - 31*q**2 - 23*q + 29. Let t(l) = -4*f(l) - 9*o(l). Let a be t(6). Which is greater: a or 3?
a
Let x = 50431/4 + -12502. Which is smaller: x or 106?
x
Let m = -8 + 8. Let i(g) be the second derivative of g**4/12 - g**3/6 - g**2/2 - g. Let u be i(m). Is -1 less than u?
False
Let a(t) = t - 8. Let o(l) = l**3 - 3*l**2 + 4*l - 4. Let y be o(3). Let v be (y/(-20))/((-2)/40). Let d be a(v). Is 2/17 at least as big as d?
True
Let b(h) = h**3 - 6*h**2 + 4*h - 5. Let f be b(4). Let l = 1 - f. Let i be l/(-11) + 14/8. Is 0 at least i?
True
Let r = 6.3 - 6.348. Let p = r - -0.069. Is p not equal to 0.1?
True
Let j(a) = -73*a**3 + 2*a**2 - 1. Let v be j(1). Let s = v + 223/3. Let g(w) = 2*w**2 + 3*w. Let q be g(-2). Which is greater: q or s?
s
Let v be (-93)/36*-3 + (-8)/(-32). Suppose -s - b = -4, -4*b + v = -4*s - 0*b. Which is bigger: s or -41?
s
Let n(p) = -p**2 + 10*p + 9. Let o be n(8). Suppose o = 8*i - 3*i. Let h = -8 + i. Is h < -1?
True
Let v = 13 - -4. Let b = v + -17.1. Let q = 0.2 + -0.25. Is b less than q?
True
Let g be 10/(-25) + (-6)/10. Let b be 1 + (-4 + -5)/(-3). Suppose -5*x = -b*h + 22, 5*h - x - 36 = x. Which is greater: h or g?
h
Let n = -0.3 - -0.5. Let s = 2 + -4. Let a be s/7 - (-20)/21. Is a smaller than n?
False
Let r = 1555 + -12465/8. Is r less than -2?
True
Suppose 7 - 12 = -c. Suppose -c*u = u - 48. Is 9 >= u?
True
Let n = -6 + 8. Let q = -124 - -125. Let o be q/n*8/(-6). Which is smaller: o or -1?
-1
Let n = -0.356 - -0.33. Let y = n - 2.274. Let m = 2.4 + y. Is m <= 3/4?
True
Let y be (-3)/((-6)/(-8) + 0). Let c(k) be the second derivative of k**5/20 + 5*k**4/12 + k**3/2 - k**2/2 + 26*k. Let l be c(y). Is l at least as big as 3?
True
Let l(b) = 3*b**2 + 32*b + 18. Let q be l(0). Which is smaller: q or 17?
17
Suppose 5*h - 1009 + 729 = 0. Which is greater: 59 or h?
59
Let t = 26.8 + 0.2. Let r = t + -36. Is r > -0.1?
False
Let q be 65/(-28) - (-2)/(-8). Suppose 17*s = -3*t + 20*s + 9, 2*s = 5*t - 3. Which is smaller: t or q?
q
Suppose 56 + 3 = -59*h. Are -8/291 and h non-equal?
True
Suppose -v - 2*a = -2*v + 4, -v + 4*a = 0. Let s(y) = y**2 + 14*y + 38. Let o be s(-5). Let j = o + v. Is 1 smaller than j?
False
Suppose -5*j - 1403 = -3*q, -q + 2*j + 942 = q. Let s be (-25)/q*(-7 - -3). Let n = s - 6/17. Which is bigger: n or 0?
0
Let k = -24 + 24.2. Let b = -1.2 + k. Let d = -0.046 - 11.954. Which is smaller: b or d?
d
Let r = -2.47 - -3.01. Is 2 greater than r?
True
Let t = -18 - -22. Suppose -w + t*o + 0*o + 21 = 0, -o = 4*w + 1. Do w and -1/62 have different values?
True
Let s be ((-35)/(-180))/(4/64). Which is bigger: 4 or s?
4
Let h = 31/5 + -207/35. Let r be 1/(17/(-6) + 3). Suppose 4*l = r*l. Is l smaller than h?
True
Let c(i) = -i**3 + 7*i**2 - 6*i + 26. Let h be c(6). Let v be h/3*30/8. Is 34 <= v?
False
Let i be ((-236)/(-58))/(-2) - -2. Let f = i - 27/58. Which is bigger: -10 or f?
f
Let h be (-1 - (-1078)/(-35))*-1. Which is smaller: h or 33?
h
Let a(c) be the first derivative of 4*c**2 - 15*c + 52. Let h be a(1). Do -6 and h have different values?
True
Suppose 3*w + 6 = 15. Suppose -2*n - x - 1 = 0, -3*x = n + w*n + 1. Is 1/53 at most n?
False
Let q(v) = -140*v - 5. Let y be q(-2). Suppose 4*z - 565 = 5*l, 6*l - l = -2*z + y. Let g be 54/z + (-12)/20. Is g smaller than 1?
True
Let f = -537 - -535. Are f and -313 non-equal?
True
Let f(g) = -3*g + 2*g + 5 + 2*g + 1. Let o be f(-4). Let w be 4/10*10/8. Which is smaller: o or w?
w
Let j(k) = -14*k. Let n be j(-7). Let q = -688/7 + n. Which is smaller: 1 or q?
q
Let v be (-60)/(-21) - 1/(-7). Suppose v*a + 5*a = 56. Is 7 at least as big as a?
True
Let m be (-54)/(-3)*(5 - (-56)/(-12)). Let r be m/(-15)*40/(-96). Which is bigger: r or 0.1?
r
Suppose 5*o + 0 - 2 = -2*p, -5*p = 2*o - 5. Which is smaller: 2/943 or p?
2/943
Let t = 7009 - 11712037/1671. Which is bigger: 0 or t?
t
Let z be (-5)/10*(-1 + -1). Suppose z = -3*m + 2*m. Let y = -197/6 - -33. Which is smaller: m or y?
m
Let s be (1/(-2))/(29/(-58)). Do s and -2/11 have the same value?
False
Let r(q) = 6*q**2 - q - 1. Let l be r(2). Let p = l + -64/3. Let t = -8 + 7. Which is smaller: p or t?
t
Suppose 21 = -4*i + 5. Let w = 32 - 17. Let y be 5*(0 - w/25). Which is smaller: y or i?
i
Suppose -3*p + k - 10 = -27, -2*p - k = -8. Suppose -3*w = 4*q + 15, 4*q + w = 7*q - p. Which is smaller: q or -3/14?
-3/14
Let k = -500 - -290. Which is greater: 2/7 or k?
2/7
Let l be (-48)/32 + 13/2. Suppose 2*z + 29 = l. Is z not equal to -12?
False
Suppose 0 = -101*i + 98*i + 111. Is i at least as big as 37?
True
Let i(l) = 2*l - 11. Let q be (-8)/(-12)*-3*(-7)/2. Let a be i(q). Let v be (-4)/14 - 15/(-126). Which is greater: v or a?
a
Let k be (-3)/((-81)/(-12)) + 331/9. Which is smaller: k or 35?
35
Let d(a) = a**3 + 8*a**2 + 11*a - 4. Let i be d(-6). Suppose -7 = -3*k - 0*g - 2*g, -9 = -k - i*g. Which is greater: k or 18/37?
18/37
Let d be ((-2)/7)/2*(-2)/6. Which is smaller: d or 1?
d
Let s(k)