ppose -2*t = -4 + a. Does t = -4?
True
Suppose -2*a - 52 = 36. Let z = -20 - a. Let r be ((-2)/z)/((-2)/(-3)). Which is bigger: 0 or r?
0
Let h = 53 - 48. Is -1 smaller than h?
True
Let w be (-2)/(-4)*-2 + 6. Let y = w + -5. Let r = -146 + 1024/7. Which is greater: r or y?
r
Let p be 1*(5 + -2) - 21. Let l be (1/5)/(p/(-30)). Let r(m) = m + 5. Let x be r(-6). Is l greater than or equal to x?
True
Let j be 0 - 1 - (-3 - -1). Let g be 0 + j + (-2 - -2). Which is smaller: g or -0.2?
-0.2
Suppose -104 = -5*k + 2*q, k - 4*k - 5*q + 81 = 0. Let x be 4/k + 150/22. Let b = 11 - 4. Is b greater than x?
False
Let b = -2 + -3. Let s = -63 + 62. Which is smaller: b or s?
b
Let x be 4/(-6)*-3 - 0. Suppose 2*p - 4*w = -6, -3*w + 2 = -x*p - w. Let j be (-18)/(-14) - (-4)/(-14). Are j and p equal?
True
Suppose -30 + 9 = 5*r - 3*o, 2*o - 13 = 3*r. Let s = 1 + r. Are s and 2 nonequal?
True
Suppose -6 = -2*f, -5 = i + f - 2. Let j be (6/(-3))/(1/(-2)). Suppose -b = -2, -j*a + b = -2*a + 12. Which is greater: i or a?
a
Suppose 4*i - 5*p - 19 = 0, -2*i = 2*p - 4*p - 8. Are 1/78 and i equal?
False
Let u(l) = 2*l + 13. Let t = -31 + 21. Let r be u(t). Let d be 2 + 2 + r + 0. Is d greater than or equal to -3?
True
Let s(h) = -4*h - 8. Let k be s(-4). Suppose -4*y + 3*o = -2*y + k, 2*o = -y + 3. Which is bigger: 0 or y?
0
Suppose -8*u + 5*u + 2 = 5*b, -3*u - 3*b = 0. Which is smaller: u or -1/36?
u
Let d = 13 - 6. Is -1 < d?
True
Let r = 5 + -7. Is r bigger than -3?
True
Let c = -1 - -1. Suppose 4*i - 8 = -c*i. Which is smaller: 5/3 or i?
5/3
Let q be (1 - -3) + ((-9)/6 - 3). Is -6.3 > q?
False
Let l = -169/12 - -75/4. Is l >= 4?
True
Let j = -10 - -16. Let u = -9 + j. Is u equal to 3?
False
Let r be (3/(-21))/(3/27). Which is smaller: 0 or r?
r
Let q be -1 - (1 + (-12)/4). Which is smaller: 0 or q?
0
Let s = 17/2 - 9. Do s and 4/7 have the same value?
False
Let r = 31/5 - 1762/285. Which is bigger: r or 0?
r
Suppose -f = l + 1, 3*l - 2*l + 1 = 5*f. Let g be (4/(-18) - 1) + 1. Is g bigger than l?
True
Let z = -129008/5 - -25889. Let i = z + -87. Which is smaller: 0 or i?
0
Suppose 0 = -10*q + 5*q + 10. Let c = 2 + -1. Is c at most as big as q?
True
Let r = 7 - 5. Let l be -1*(0/1 - r). Let t = -174 - -1216/7. Which is smaller: t or l?
t
Let a = -8683/16 - -543. Is a less than 0?
False
Let q = -38.35 + 32. Let k = q - -1.25. Let a = -5 - k. Is a equal to 0?
False
Suppose 4*x + 3*q - 2*q = -20, -5*q = -4*x + 4. Let s be -1 - 1 - (x - 1). Suppose -5 = -5*u, 0 = -4*j + 5*j - 3*u + s. Is 0 less than or equal to j?
True
Let g = -12 - -10. Which is smaller: -4 or g?
-4
Suppose -3*f = 2*f. Is 1/13 at most as big as f?
False
Let g = 88/153 + -6/17. Suppose 0*x = x. Which is smaller: x or g?
x
Let n(t) = -t**2 - 6*t - 1. Let l be n(-6). Let d be (-2)/(-1)*l/2. Which is smaller: -2 or d?
-2
Let b(c) = -c**3 + 8*c**2 - 6*c - 6. Let x be b(7). Is -104 at least as big as x?
False
Let s be (-13)/(16/3 + -5). Which is smaller: -40 or s?
-40
Let p = 0.87 + -1.07. Which is greater: p or -55?
p
Let m be 0/(0/(-1) - 1). Let n(j) = j + 7. Let p be n(-6). Let z = m - p. Which is smaller: z or -2?
-2
Let i = 638 + -68265/107. Is 1 >= i?
True
Suppose 8 = 5*b - 3*b. Let l be 6/14*b/6. Which is smaller: 0 or l?
0
Let d = 13/140 - -3/28. Let k(t) = -t**3 - t**2 + 2*t - 1. Suppose -m - 9 = 2*p, p + 0 = 4*m - 9. Let s be k(m). Which is smaller: d or s?
s
Let x be 5/(-2) + (-1)/(-2). Suppose -k - 3 = -5*f, f + 5*k = 6*f + 5. Let y be (-2 + -1)*f/4. Is y greater than x?
True
Suppose 2*d + 4*y = -d - 9, 0 = -3*d + 4*y + 15. Is d at most as big as 2/3?
False
Suppose a - 220 = -77. Which is bigger: a or 144?
144
Let t be 3/(-11) + (42/(-24) - -2). Is t less than 0?
True
Let b be 489/(-105) + -4 + 9. Is 0.1 at least as big as b?
False
Suppose 0 = -l + 3*j + 31, 4*l + 5*j - 90 = 0. Which is greater: 24 or l?
l
Suppose -9 = 4*i + 15. Let m = i + 8. Let t be (-140)/(-30) + 8/(-12). Is t < m?
False
Let y(k) = 12*k**3 + k**2 + 2*k - 5. Let t(p) = -6*p**3 - p + 2. Let i(n) = -5*t(n) - 2*y(n). Let v be i(1). Suppose 0 = v*h - 7*h. Is h < -1/5?
False
Let d = 0 + 4. Which is greater: 19/6 or d?
d
Let s = -6 + 3. Let w be (-25)/(-9) - s/(-1). Is w greater than -3?
True
Let k = -242 - -963/4. Which is bigger: -2 or k?
k
Let h be 2*(3/1 + -1). Let k(z) be the second derivative of z**4/12 - z**3/3 - 5*z**2/2 - z. Let a be k(4). Is h less than or equal to a?
False
Suppose 3 = -10*t + 7*t. Let m = 4 + -3. Which is smaller: t or m?
t
Let l = 148 + -1034/7. Which is smaller: -0.09 or l?
-0.09
Let d = -2 + 1.7. Let l = d + -0.7. Suppose -4*z = 5*m - 28, -2*z - 5 = -3*m + 3. Is l bigger than z?
False
Let x be (5 - 0) + -3 - -1. Suppose 3*j - x + 0 = 0. Let v be -2*2/(-20)*-1. Which is smaller: v or j?
v
Let l = 68 + -67.8. Which is smaller: l or -0.02?
-0.02
Let t = 283 + -2823/10. Which is greater: t or 2?
2
Let w = 8 - 8. Are w and -14 equal?
False
Let w = -2 + 1. Let x = 0 + 1. Is x <= w?
False
Suppose 0 = -3*b - 18 + 6. Let h be b/72*(2 + -5). Which is greater: h or 0?
h
Let z = -62 - -42. Is z at most as big as 0?
True
Let j be 4 + (-16 + 17 - 4*1). Which is smaller: j or 2/125?
2/125
Let s(l) = l**2 + 4*l - 2. Let w be s(-5). Suppose 4*h + 4 = 0, 3 = -2*r + r - w*h. Let y be (24/36)/((-1)/(-3)). Is y at most as big as r?
False
Let a be (7/(-14))/((-2)/16). Let n be (-65)/225 - a/(-10). Let d = 3 - 3. Is n greater than d?
True
Suppose -25 = 5*m + 3*c, 2*m + 3 - 19 = 4*c. Let w be -2 + m + (-111)/(-30). Suppose 2*k + 12 = -4*b, -2*b - 2*k + 6*k + 14 = 0. Is b < w?
True
Let m(p) = -p**2 + 5*p - 3. Let a be m(4). Which is greater: a or -2?
a
Let j be (-2)/(-9) + 526/(-18). Let w be j/27 - (-2)/2. Let i = 1 + -1. Is i bigger than w?
True
Suppose 4*a + 43 - 3 = 0. Is a smaller than -11?
False
Let t = 0.04 - 0.34. Which is smaller: 1/2 or t?
t
Suppose 3*v - 4*o = -13, o = 6*v - 3*v + 1. Is v > 2?
False
Let f be (6/(-10))/(1/(-5)). Let k(c) = -c. Let g be k(-2). Suppose -g*x + f*x = 0. Which is smaller: x or 1?
x
Let l be (-9)/72 - 14/16. Which is smaller: -7/6 or l?
-7/6
Let l = 205 + -1433/7. Let k(r) = r**3 + 3*r**2 - 5*r + 2. Let i(v) = v**3 - v**2 - 1. Let s(d) = -2*i(d) + k(d). Let a be s(4). Which is greater: a or l?
l
Suppose 5*q - 2*m - 52 = 0, 5*m + 3 + 2 = 0. Which is greater: q or 7?
q
Let o be 6/16*(-5)/(-30). Which is smaller: 1 or o?
o
Let p be 6/33 - 36/77. Let s = 2 + 0. Do p and s have different values?
True
Let n be (77/(-50) + 15/10)/(-1). Is n not equal to -1?
True
Let z be 4 + (-114)/15 + 4. Which is bigger: z or -10?
z
Let k be (9/(-54))/((-2)/14). Is 2 greater than k?
True
Let a(n) = n**3 - 4*n**2 - n + 5. Let g be a(4). Let u = 1516/1255 + -2/251. Which is greater: u or g?
u
Suppose -3 = b - 4*p, 4 = 3*b + p - 0. Do 4/3 and b have the same value?
False
Let k = -6 - -5.96. Let z = k + -0.01. Is -0.1 < z?
True
Suppose -15*j + 49 = -131. Which is greater: 19 or j?
19
Suppose s + 3 = z + 6, -5*z - 25 = 5*s. Which is smaller: s or 4/31?
s
Let t = -2/465 - 202/1085. Is t > 1?
False
Suppose 5*h + 119 = 29. Which is greater: h or 1?
1
Suppose 4*k - 28 = -2*z + 10, -2*k - 4*z = -22. Let l = k + -10. Which is greater: -7/3 or l?
l
Suppose 0 = 5*s - 24 + 9. Suppose -2*r - x - 6 = 3*x, -19 = -s*r + x. Which is smaller: 3 or r?
3
Let k(c) = c**2 + 18*c + 11. Let s be k(-17). Let y(i) = i - 2. Let b be y(3). Suppose b = -4*z - 19. Which is smaller: z or s?
s
Suppose 0 = -5*u - 4*q - 4 + 7, 0 = 4*u + 4*q. Suppose -n = u*g + 9, -5*n = -2*g - 6 - 0. Does g = 0?
False
Let t be (9/5)/(12/40). Let s = t + -7. Is -1 greater than s?
False
Let v be -7 - (-3)/(-6)*-2. Suppose 6*d = -31 - 17. Let a = d - v. Which is greater: -3 or a?
a
Suppose -3*f = 7 - 4. Let i(t) = -t - 6. Suppose -4*d - 4 = 3*u - 2*u, 2*u - 4*d = -8. Let x be i(u). Which is bigger: x or f?
f
Let h(s) = -3*s**2 - 2*s + 1. Let p(v) = v**2 + v - 1. Let m(n) = -h(n) - 2*p(n). Let o be m(-1). Is 2 at most o?
True
Let x(a) = -a**3 + 5*a**2 - 5*a + 2. Let p be x(3). Let v = p + -5. Which is smaller: v or -2/17?
-2/17
Suppose -2*r - 6 = -2. Let f = -1 - r. Suppose 4*m - f - 11 = 0. Which is bigger: 1 or m?
m
Let k = 19 - 6. Let a = 17 - k. Which is greater: a or 5?
5
Let x = -0.03 + 1.03. Let i = 4 - x. Which is smaller: -0.2 or i?
-0.2
Let a be 0 - (-3)/