= -2*j - 21. Let m be (-2)/j + (-15)/(-20). Do m and 3/8 have different values?
True
Suppose 5*a - n = -3*n, -2*n - 10 = 0. Let x(p) = p + 1. Let h be x(0). Which is greater: h or a?
a
Let r(m) = -m**3 + 4*m**2 - 2*m - 2. Suppose 3*x - 3 - 3 = 0. Let l be r(x). Let y be (3/32)/(l/8). Is 0 >= y?
False
Suppose 0*z + z = 12. Let w be z/(-24)*(-4)/(-1). Let m(i) = -3*i**3 + i**2 - 1. Let j be m(1). Which is greater: w or j?
w
Let m(d) = -d**3 + 2*d**2 + d. Let l be m(-1). Which is bigger: l or 3?
3
Let j = -17 + 16.3. Is -0.1 bigger than j?
True
Let d = -0.1 + 0.2. Let k = -2.2 - -0.2. Is k not equal to d?
True
Let p be 1*(-4 + 29) + -3. Let g = p + 1. Which is greater: 22 or g?
g
Let k(i) = -i - 2. Let s be k(-1). Let f be s/(-2 + 9/5). Which is bigger: 6 or f?
6
Let m = 58 - 2375/41. Is -1 less than or equal to m?
True
Let t be 6/90*3 - (-21)/(-5). Is t smaller than -4?
False
Suppose 18*h - 13*h = 75. Let j be (12/h)/((-4)/(-20)). Which is smaller: 0.4 or j?
0.4
Let k = 1349/4906 - 1/446. Which is smaller: k or 0?
0
Suppose -3*w + 5*g + 7 = 0, -4*w + g = 7 - 5. Let b(z) = 2*z + 9*z**2 - z**3 - 3*z**2 - 2*z. Let l be b(6). Which is smaller: l or w?
w
Let p = -4 + 4. Suppose -5*l - 9 = 6, -3*f - 4*l - 21 = p. Is f at most -4?
False
Let c = -9 + 4. Which is bigger: -40/7 or c?
c
Let z = 1.8 + -1.827. Is z < 0.1?
True
Let s = -1.9 - 0.1. Which is bigger: s or -7?
s
Suppose 4*o = -o - 10. Let w = -205 + 206. Is o greater than or equal to w?
False
Suppose -v + 3*q = 15, -3*v - 25 = -2*v - 5*q. Let m = -6 + v. Which is bigger: m or -5?
-5
Let x = -0.6 - -0.64. Which is bigger: x or -2?
x
Let i(y) = y**2 - 6*y - 5. Let h = 7 - 0. Let f be i(h). Which is smaller: f or 2/3?
2/3
Suppose -3*p = -4 + 13. Suppose 5*c - 4*w = -4, -5*c + 2*w - 36 = 6*w. Do c and p have the same value?
False
Let a = 0.23 + -0.33. Is -0.1 > a?
False
Suppose 0*s - 5*m + 14 = 3*s, -5*m = -5. Which is greater: 14/5 or s?
s
Let t(h) = 5*h + 6*h**2 + 3*h - 6*h**3 - 7 + 5*h**3. Let g be t(7). Is g bigger than -5?
True
Let u(q) = -2*q + 16. Let v be u(8). Which is smaller: v or 2/51?
v
Let q be (3/(-2))/(4/(-24)). Suppose 5*f - 10 = 0, 3*n + 2*n - 53 = -4*f. Is n at least as big as q?
True
Let a(h) = -h**2 + 7*h - 2. Let x be a(6). Let z be x/6*(-3)/(-5). Let r = 0 - 0. Which is bigger: z or r?
z
Let s be (-10)/4*(-24)/15. Let b = s - 3. Suppose -b = -3*z + 2. Which is bigger: 1/4 or z?
z
Let y = 0.1 - 0.1. Let j = 33 + -32.9. Is j bigger than y?
True
Suppose -2*u - 30 = 4*v, 4*u - 17 = 2*v + 3. Is v at most as big as -10?
False
Let m(a) = -a**3 + 10*a**2 + 12*a - 12. Let l be m(11). Let x = 5965 - 29243/5. Let i = -116 + x. Which is greater: i or l?
i
Let g be -1*(-1 + -1 + 3). Which is smaller: g or -6/5?
-6/5
Suppose -5*j = 3*v + 8, 5*v - 4*j + 8*j = -9. Is v less than 1/12?
True
Let q(z) be the first derivative of z**2/2 + 18. Let d = 2 - 3. Let b be q(d). Which is smaller: -4 or b?
-4
Let z(k) = -k**2 + 5*k. Let o be z(4). Let q(u) = 2*u + o*u - u**2 + 0 + 1. Let p be q(6). Which is smaller: p or -3/10?
-3/10
Let b = 25 - 28. Which is greater: b or -4?
b
Let y be 482/(-16)*-2 + 2/(-8). Which is greater: 62 or y?
62
Let s = 21 + -17. Let o = 0.69 + 3.41. Let h = s - o. Which is smaller: 1 or h?
h
Let x(t) be the second derivative of -t**3/6 + 3*t**2 - t. Let q be x(6). Suppose q*n - w = n - 1, 3*w + 9 = -n. Is n less than or equal to 7?
True
Suppose -5*s + 2*s = -51. Suppose 81 = -3*m + 135. Which is bigger: s or m?
m
Let h(o) = o**3 - 6*o**2 - 8*o + 8. Let f be h(7). Let s = 4/9 - -1/18. Is s > f?
False
Suppose -n = -3*t - 2*n + 12, -9 = 3*n. Let f be 4*-3*(-1)/3. Suppose t = 3*z + r, z + 5*r - 7 = f*z. Do 1 and z have different values?
False
Let m be 4*(-1)/((-12)/9). Is m greater than 4?
False
Let u be 0/(3 - (-8)/(-2)). Which is smaller: -6/19 or u?
-6/19
Let b = 0 + -0.2. Let l(w) = w**2 - 7*w + 3. Let u be l(7). Let h be (-5)/u - (-2)/(-6). Which is bigger: b or h?
b
Suppose -2*k - 2*k - 2*m = -50, -2*k = 2*m - 22. Let r = k + -13. Which is bigger: -2/67 or r?
r
Let g = 133/4 - 195/4. Which is bigger: -17 or g?
g
Let i = -5 - -4. Let x = -16 + 49/3. Which is greater: i or x?
x
Let i = 9 - 8. Let t be (-3 - 0 - -2)*i. Suppose -2*y + 6*y - 4*x - 4 = 0, 0 = -2*y + x. Is t at least as big as y?
True
Let s = 0.06 - -4.94. Let m = -5 + s. Which is smaller: m or -2/7?
-2/7
Let l = -19/12 + 15/4. Let k = -109/42 + l. Which is greater: k or 1?
1
Let d(p) = 2*p - 7. Let m be d(6). Suppose -2*i + i = m*k - 2, -i - 5 = -2*k. Let f be k*(-1)/(9/6). Which is greater: f or 1?
1
Let r be (-3)/6*(-4)/6. Suppose 0 = 5*d + 5*p + 10, -2*d - 4*p + 2 = -2. Let c be (-10)/15*d/4. Which is smaller: c or r?
r
Let y = 52 - 66. Which is greater: 0.5 or y?
0.5
Let s = -3 - -2. Let q = -2 + 1. Is s at least as big as q?
True
Let n be 0 - (4 - 5)/3. Suppose 0*h + 5*c = -h - 1, -4*h - 5*c - 4 = 0. Let m be (1/(-2))/(h/2). Is n at most as big as m?
True
Suppose -3*s - 5*o = -1 + 19, -3*o - 6 = -3*s. Suppose 0 = p - 5*u - 13 - 6, 5*u = -3*p - 23. Let q be (-6)/5*p/(-3). Is q not equal to s?
True
Suppose 16 = -4*d + 5*o - o, 0 = -d - 3*o + 16. Let i be 0/(d/(2 + -1)). Suppose 0 = -i*q + q. Which is greater: 3/5 or q?
3/5
Suppose -3*s = 2*s. Let v be 1/(-5) + 12/(-15). Which is greater: v or s?
s
Let k be 20253/(-31416) + 4/14. Let g = k - 3/187. Which is greater: -1 or g?
g
Let l(w) = -w - 16. Let m be l(-12). Let n = 2 + m. Is n smaller than -1?
True
Let r be -1*3 - (-3 - 5). Let h = -4 + r. Suppose -5*x - h = -6. Is x at most as big as 1?
True
Let v = 20.4 - 21. Let n = -8.4 + v. Which is greater: -0.1 or n?
-0.1
Let w(j) = 2*j**2 + 0*j**2 + 3*j**2. Let r be w(-1). Suppose -r*u = -0*u. Which is smaller: -1/7 or u?
-1/7
Let j = 40 + -47. Is j != -0.1?
True
Let u = -535/1044 - 5/116. Which is greater: 0 or u?
0
Let z(k) = -k**3 + 6*k**2 - 2*k + 10. Let r be z(6). Are r and -4 non-equal?
True
Let l(f) = f**3. Let i(t) = 2*t**3 + 3*t**2 + 3*t + 5. Let c(x) = -i(x) + 3*l(x). Suppose -6 + 2 = -g. Let a be c(g). Which is bigger: a or -2?
a
Suppose 2*i = 2, i = -0*z + 5*z + 1. Is -3/26 bigger than z?
False
Let z = -0.36 + 0.4. Let w = 0.04 - z. Which is greater: -1 or w?
w
Let b be 2 + (2127/(-378) - 0). Let k = 25/7 + b. Let q = k + -4/9. Is -2 bigger than q?
False
Let z(h) = h**2 - 14*h + 15. Let a be z(13). Let f be (a*3/6)/1. Is f <= -2/15?
False
Let s(l) = 2*l - 1. Let v be s(-3). Suppose -8 = 2*k + 2*w, 0 = -2*k + k - 3*w - 2. Is k > v?
True
Let v = 0.22 - 0.42. Which is smaller: v or -2/7?
-2/7
Let o = -1 - 0. Let v = 0.1 - 0.2. Let c = 1.9 - v. Which is smaller: c or o?
o
Let j = 0 + 0.1. Let h be 0*(-1)/(-2)*-1. Are j and h non-equal?
True
Suppose 5*a + 2*l - 55 = 0, 5*l + 3 = a - 8. Which is smaller: 12 or a?
a
Let u = 9 - 10. Which is smaller: -2 or u?
-2
Let z = -43/90 - -4/9. Suppose 3*a = 4*n + 8, -8*a + n = -4*a - 2. Which is smaller: a or z?
z
Let j be 0 + -1 + 13/15. Let w = -10 - -10. Let u be w/((2 - 2) + -1). Which is smaller: j or u?
j
Suppose 4*a - 5*o - 2 = 0, 0 = -5*a + a - o - 10. Which is smaller: 1 or a?
a
Let u = 18 + -9. Let c = -5 - -13. Does c = u?
False
Suppose -6*j - 3*o - 399 = -2*j, -2*j + 3*o - 213 = 0. Which is bigger: j or -101?
-101
Let j be (3/(-24))/((-10)/21). Let k = j + -1/16. Let u = 2068/9 + -230. Which is bigger: k or u?
k
Suppose -h = -a - 3*h - 13, -5*h = a + 28. Is -0.02 >= a?
True
Suppose 3*r + 0 + 15 = 0. Let d = -7 - r. Which is smaller: -4 or d?
-4
Let i(n) = -n**3 + 4*n**2 - 3*n + 3. Let m be i(3). Suppose -44 = -4*p - 5*x - 8, -3*p - 4*x + 28 = 0. Which is smaller: m or p?
m
Let g(n) = n**3 + 10*n**2 - 9*n + 12. Let t be g(-11). Let w be (-15)/t*(-4)/(-12). Let f = -0.03 - -8.03. Does f = w?
False
Suppose 6*l = 2*l + 20. Let g(v) = 2*v - 2. Let o be g(l). Which is smaller: 7 or o?
7
Let v(a) = 2*a**2 - 26*a. Let r be v(13). Is -3/13 < r?
True
Suppose -2*v = 2, 3*b + 2*v - 20 = 7*v. Suppose a - 3*q = -10, q = b*a - 0*q + 8. Which is smaller: a or -2/39?
a
Let x = -25 - -25.09. Which is smaller: -0.1 or x?
-0.1
Suppose -5*t = -0*t. Suppose 124 = -5*x - 4*i, -2*x - 100 = 2*x + 3*i. Let o = x + 57/2. Is t at most as big as o?
True
Let w = 0.5 - 6.2. Let y = -5 - w. Which is smaller: -1/3 or y?
-1/3
Let l(i) = 4*i - 1. Let v be l(4). Suppose -z + v = -2*y, 2*y 