(y) = -3*y - 18. Let n(r) = r + 6. Let q(w) = -17*n(w) - 6*s(w). Let u be q(-5). Let m = -1054/5 - -212. Is u smaller than m?
True
Suppose 4*b + 11 = -61. Let r be 4/(-6) - 21/b. Is r smaller than 2?
True
Let s(a) = -a**2 - 9*a + 7. Let k be s(-9). Let x = k + -9. Is x at least -3?
True
Let h be 4 - (-8 + 33 + (1 - 1)). Which is bigger: -19 or h?
-19
Let t = -0.14 - -11.14. Let d = t - 14. Which is smaller: -1/3 or d?
d
Let k be (-8)/(-5)*6/24. Let i(o) = -o**2 + 6*o + 6. Let l = -12 - -19. Let t be i(l). Is t smaller than k?
True
Let b be -1 - -2 - (0 - 3). Suppose -4*m = -m - 72. Let d = -20 + m. Do d and b have the same value?
True
Let x(d) = 0*d - 10 + 4 - 2*d + d. Let y be x(-7). Are 2 and y non-equal?
True
Let o(m) = -4 + m + 5 - 2*m. Let y be o(-1). Suppose y*i - 4*i - 6 = 0, i + 9 = 3*a. Do a and 1 have the same value?
False
Suppose m - 9 = -2*m. Suppose 0 = 3*c - 0*c + m. Let i(a) = a**2 - 4*a - 1. Let p be i(4). Do p and c have the same value?
True
Suppose 8*w - 3*w = -3*c - 122, 4*w = 3*c + 167. Let m be (14/c)/((-39)/7). Which is greater: -1 or m?
m
Let u = 6 - 6.5. Let c = 0.4 + u. Which is smaller: -3 or c?
-3
Suppose -3 = -5*n - 3*f, 4*n - 6*f + 4 = -2*f. Suppose 4 = -0*l - l. Which is bigger: n or l?
n
Let w = -5 + 2. Let b = w + -1. Let i = 2 + b. Is 0.1 greater than i?
True
Suppose 3*q - 4 = f - 2, -5*q - 3*f - 6 = 0. Suppose 7*k - 4*k + 3 = q. Let w be (-1)/2*(k + 5). Is w bigger than 1?
False
Let t(g) = -g**2 + 6*g - 6. Let w be t(4). Suppose -w*x - 5 = 3. Which is smaller: -5 or x?
-5
Let v = 8/275 + -28/55. Which is smaller: 1 or v?
v
Let r be 2 - (-3 + 0 + 0). Suppose 3*m - 10 = r. Suppose -3 - 2 = m*q. Is 0 equal to q?
False
Suppose 11*x = 9*x. Which is smaller: -2 or x?
-2
Let s = -6.61 + -2.44. Let r = s - -0.05. Let g = r - -8.9. Are g and 1 equal?
False
Suppose -3 = -3*p - 0. Let v be 112/(-192) + p/4. Which is bigger: v or 1?
1
Let r(h) = h**3 - 8*h - 9. Let u be r(-3). Is 3 greater than u?
True
Let h(w) = -w**2 + 6*w + 1. Let q be h(6). Is q at least as big as 4?
False
Let y = -27 + 19. Let f be (28/y)/(2/4). Which is bigger: f or -8?
f
Suppose 0 = -5*u + 4*u + 3. Suppose -3*z + 9 = -u*t, 0*z + 6 = 5*z - 2*t. Which is smaller: z or -1/10?
-1/10
Let s = 20/9 - 118/45. Which is smaller: s or -1.2?
-1.2
Let d = -41 - -77. Let r be -1 + 3 + (-80)/d. Let n = -1 + 1. Is n at least r?
True
Suppose d + 12 = -2*d, 5*a + d + 4 = 0. Let b be (-2)/9 - (-1200)/1512. Which is smaller: b or a?
a
Suppose 8*l - 3*l - 10 = 0. Suppose 0 = c - 0 - l. Is 3 != c?
True
Suppose 3*b + 10 = -2*b, 0 = -3*o - 5*b - 10. Is 5 < o?
False
Let j = 4 + -4.2. Is -0.6 less than or equal to j?
True
Let u = -345 - -2405/7. Let n be (-2)/(-12) + 7/(-6). Is n greater than or equal to u?
True
Let g(z) = -z + 3. Let o be g(6). Suppose 2*j - 2 = j. Let l = -2 + j. Is o at least l?
False
Let c = -12 + 12. Suppose -3*n + 6 = -5*n, -j - 4*n - 12 = c. Which is smaller: j or 17?
j
Let u = 66.64 - 67. Which is bigger: 1 or u?
1
Let j = 21.8 - 23. Let i = j + 1.4. Which is smaller: 0.1 or i?
0.1
Let n = 25/4 - 117/20. Which is greater: 0 or n?
n
Let b = -4 + 1. Let c = b - -6. Is c greater than 1?
True
Suppose -3*i + 74 = -b - b, -5*i - 3*b + 136 = 0. Is -2 at most as big as i?
True
Let j = -213 + 136. Is j less than or equal to -0.1?
True
Let s(q) = -q**3 - 7*q**2 + 8*q. Let v be s(-8). Suppose v*j + 32 = -4*j. Which is smaller: j or -7?
j
Let n(b) = 3*b**3 + b**2 - b + 1. Let i be n(2). Let h be (-2 + i/15)*-2. Does h = -1?
False
Let y = 2957/15 + -1089/5. Is -20 at most as big as y?
False
Let r = -0.08 + 0.38. Let c be (-159)/20 + 18/12. Let j = c - -31/5. Is r less than j?
False
Let f = -13223/14339 - 1/1103. Are 0 and f equal?
False
Suppose -2*r = -3*r + 5. Let i(d) = d**2 - 5*d + 1. Let t be i(r). Is 0 at most t?
True
Suppose 9*p - 15 = 4*p. Which is greater: 0 or p?
p
Let c be (-178)/6 - 9/27. Which is smaller: -1 or c?
c
Let d = -439 + 438. Let o = 0.08 - 10.08. Is o greater than or equal to d?
False
Let o = -26773/35 - -765. Which is smaller: -1/4 or o?
-1/4
Let q be -1 - (1 - 1 - 1). Let u = -48 + 39. Are u and q nonequal?
True
Let t be ((-84)/5)/(12/(-270)). Let x = t - 543. Let s = x - -1153/7. Which is smaller: 1 or s?
s
Let k = -0.39 - 0.01. Let v = k - -0.3. Let z = -5 - -5. Which is smaller: z or v?
v
Suppose -4*d = -0*d + 8. Let k(t) = t - 5. Let v be k(5). Let m be v/(-2 + (-1 - -1)). Which is bigger: d or m?
m
Let a(b) = b**2 + 2*b. Let p be a(-1). Suppose z - 4 = 1. Suppose -3*f - z = 2*f. Is f at most as big as p?
True
Let s = 0.46 + 1.04. Which is smaller: -2 or s?
-2
Let b be 1 - (2 + -3 - 0). Suppose 4*n = b*n. Which is greater: 2/29 or n?
2/29
Suppose -4*c - 497 - 531 = 0. Let r = c - -1281/5. Is r > -1?
True
Suppose 2*s - b - 3 + 19 = 0, -s - 6 = -b. Which is bigger: -9 or s?
-9
Let a(o) = -39*o - 1. Let i be a(1). Let w be 1/3*15/i. Which is smaller: w or 1?
w
Let y = -2 - -11. Suppose -12*w - y = -15*w. Which is smaller: 2 or w?
2
Let t be (-2 - -1)/(2 + 75/(-38)). Is -37 smaller than t?
False
Let x be (4/5 - 2)*-5. Let o be 2/x - 48/9. Let u = o + 5. Which is smaller: u or -3?
-3
Let s be (-10)/4 + 1/2. Let w be 2/s*-9 + 1. Let g be (-28)/w + (-8)/40. Is -4 smaller than g?
True
Suppose -5*i = -2*r - 6, -4*i - 15 = -5*i + 5*r. Is -2/51 at most as big as i?
True
Let o = 0.016 + 3.884. Let f = 4 - o. Which is bigger: f or 3/4?
3/4
Let l(i) = 2*i - 14. Let g be l(9). Do g and 5 have the same value?
False
Let v be (-3)/(102/(-64)) - 2. Let s be -2 + 3 - -1 - (-6)/(-3). Which is bigger: v or s?
s
Suppose b = 1 - 0. Let m(a) = -a + 1. Let h be m(-3). Suppose d - h*p = 1 - 0, -4*d = -3*p - 4. Is b at most d?
True
Let r be 1*(1/(-1) - -3). Let g be (-4)/24*-1*r. Is 0 > g?
False
Suppose 0 = -0*z + 2*z. Let v be (1/10)/(2/(-5)). Is z less than v?
False
Let n be 1890/(-702) - 1/(1 + -2). Which is smaller: -3 or n?
-3
Let g = -48 + 137. Is g smaller than 88?
False
Suppose d = 2*f + f + 14, -f - 12 = -4*d. Suppose 3 = d*w - 1. Which is bigger: w or 3?
3
Let s = -26 - -62. Let r be (9/s)/((-10)/(-64)). Which is bigger: 2 or r?
2
Let n = 37/129 + 2/43. Let t = 167/4 + -42. Is t > n?
False
Let l be (4/(-14))/(4/(-6)). Let n be -4 + 2 - (-37)/28. Let u = n + l. Do 3 and u have different values?
True
Let p = -3/34 - 59/102. Which is smaller: 8/7 or p?
p
Suppose 3*x + 0 + 6 = 0. Let g = x - -5. Suppose 2*d = -d - g. Which is greater: d or -2?
d
Let a be ((-15)/50)/((-7)/5). Which is smaller: 1 or a?
a
Let r = 3 - 1. Suppose 15 = -3*w + 9. Let b be (-2)/6*4/w. Which is smaller: r or b?
b
Suppose 4*g = g. Suppose 5*n - 5 = -g*n. Suppose 1 + 3 = -4*a. Which is smaller: a or n?
a
Suppose 23*t = 25*t. Let p = -2.5 - -3. Let q = p + -0.2. Which is smaller: t or q?
t
Let y be (1 - 1)*(-5)/10. Which is smaller: y or -2/9?
-2/9
Let k = -10 + 12. Let q be -10*(-2)/(-8)*k. Is -6 less than q?
True
Let r(b) = b**2 - 5*b + 5. Let q be r(4). Let f be 10/6 + 4/(-6). Is f equal to q?
True
Let v be (-10)/20 + 1*14. Is 14 > v?
True
Suppose -2*y - 3*i = 7, 0 = -5*y - i + 3*i + 30. Suppose 4*d = 3*j + 1, 0 = j + 3*j + y*d - 36. Which is greater: 6 or j?
6
Let j be ((-6)/8)/((-4)/16). Suppose -j*x - 2*x = 40. Let z be x/14*(-4)/(-8). Which is greater: z or 0?
0
Let l be 1 - 1*(-6)/(-27)*9. Do l and -1/41 have different values?
True
Let n = -41 - -63. Which is smaller: n or -0.2?
-0.2
Let c = -7.5 + 7. Let s(f) = -f**3 + 5*f**2 - 3*f - 4. Let q be s(4). Is q equal to c?
False
Let c be ((-6)/20)/((-15)/(-20)). Is -1 != c?
True
Suppose 0 = -5*g + 6*g. Are g and 0 equal?
True
Let c(j) = -j + 1. Let z be 3*(0 - 5/3). Let r be c(z). Which is smaller: 2 or r?
2
Let n = -13 + 10. Let k = 1 + -4. Is k >= n?
True
Suppose -4*a + 23 - 7 = 0. Suppose p = -a*t - 13, -t - 5*p - 14 = 2*t. Is t <= 0?
True
Suppose 0*d = -d + 6. Suppose 4*z + 2 + d = 0. Let a = -3 - -2. Which is bigger: z or a?
a
Suppose 2*t + 2*t = 3*t. Let r be 6/8 - 3/(-12). Let l be -1*(-1 + r + -2). Which is greater: t or l?
l
Let a(s) = s**3 + 6*s**2 + 3*s + 2. Let n be a(-4). Is n smaller than 22?
False
Let q(x) = x - 2. Let y be q(3). Let l = y + 1. Suppose 0 = -4*s + l*a + 12, 2*a - 9 + 1 = 0. Which is smaller: 6 or s?
s
Let p be ((-6)/(-4) - 1)*0. Suppose 5*c + 6 + 4 = p. Let l(b) = b**3 + 4*b**2 + 4*b + 1. Let w