= 5*h, d = a*d - h + 1. Which is greater: t or d?
d
Let i(n) = n**2 + 7*n + 6. Suppose -a - 2*z + 37 = 0, 3*a + 196 = 7*a - 4*z. Let c be ((-8)/6)/(10/a). Let u be i(c). Which is smaller: 2 or u?
u
Let q(g) = -g**2 - 13*g + 11. Let o be q(-14). Is -3 equal to o?
True
Suppose 2*j - 3*q - 2*q = 38, 0 = -5*j + q + 49. Let v be (4/(-6))/((-24)/j). Let r = -20 + 79/4. Which is smaller: v or r?
r
Let m be (-20)/(-72) - (-2)/9. Is m > -10?
True
Let g be ((-8)/(-6))/2*3. Suppose -s = -g*s. Which is smaller: -1/3 or s?
-1/3
Let z(n) = n**3 + 8*n**2 + 2*n + 9. Let i be z(-8). Let q = 3 + i. Does q = -4?
True
Let n = 6.1 - 14.1. Is n greater than -0.3?
False
Suppose -3*x - 169 = 5. Is x < -58?
False
Suppose -3*r = 4*y - 5, 4*r - 2*y + y = 13. Let s(l) = -l + 2. Let h be s(6). Let q = r + h. Is q > -1/8?
False
Suppose -k - 5*a - 4 = 0, 10*k - 5*k + 2*a - 3 = 0. Suppose -8 = 2*v + 2*v. Let n = 3 + v. Is n less than k?
False
Let r(s) = -3*s**2 - 6*s + 18. Let c be r(3). Is c > -27?
False
Suppose 0 = -4*x + 19 + 97. Which is greater: 28 or x?
x
Let d = -10 + 6. Let k = d - -3.9. Let f = 4/3 - 1. Is f less than k?
False
Let k = -94 - -95. Is k greater than or equal to 5/14?
True
Let f = 0.16 - 1.56. Let v = f - -1.4. Is -4 less than v?
True
Let a(w) = w**3 - 3*w**2 + 2. Let f be a(3). Let i be (10 + -3 - 2)/1. Suppose -i*c + 25 = 5*g, -5*c - g + 27 = 10. Is c bigger than f?
True
Let l = 476/9 - 53. Suppose -4*w - 9 = -1. Let b be w/(-7) - (-2)/(-7). Is b at most as big as l?
False
Let q(l) be the second derivative of l**3/6 - l**2 + l. Suppose 0 = -4*y + 4, -3*w - 2*y = 2*w - 7. Let k be q(w). Is -1 at least as big as k?
True
Let d = -5 + 13/3. Suppose 3*s - 5*s = v - 11, v - s = 2. Let z = v + -6. Is z greater than d?
False
Let u(r) = 5*r - 11. Let a(b) = -6*b + 11. Let y(j) = -4*a(j) - 5*u(j). Let q be y(0). Let x be q/5 - 1/5. Which is greater: 5/3 or x?
x
Let n = 3 + -3.06. Let c = n + 0.03. Let a = c - 0.07. Which is bigger: -2 or a?
a
Let o = -1124/9 + 125. Let y(n) = n + 1. Let w be y(-5). Let c be -3 + (0 - w) - 0. Is o greater than c?
False
Let l = -2/51 - 22/17. Suppose 0 = 4*w + 3*n + 5, 4 = 3*w + 3*n + 10. Let f be 0/((-3)/(3/w)). Which is smaller: f or l?
l
Let q = 9/2 - 5. Let g = 4 + -4. Is g at most as big as q?
False
Let h(p) = 3*p + 1 - p**2 + 2*p**2 - 6*p. Let i be h(1). Which is greater: i or 0?
0
Let i be -1 - -3 - (-21)/(-9). Which is greater: i or 10/3?
10/3
Suppose -3*w + 0*w - 3 = 0. Let a = -2389/77 + 31. Let d = -172/693 - a. Which is greater: w or d?
d
Let g = -701/13 - -54. Is g at most as big as 0?
False
Let n(b) = -b**2 + b + 2. Let v be n(-1). Let h = 655/52 + -51/4. Are v and h non-equal?
True
Let t = -0.21 + 11.21. Let z = -3.2 - 12.8. Let v = t + z. Is 1 != v?
True
Let a be ((-18)/27)/(2/21). Is -7 not equal to a?
False
Let l be 3*(-6)/(-45) - (-47)/(-5). Which is smaller: -6 or l?
l
Let i = 6 + 2. Let v = 6 - i. Let t = -21 + 65/3. Is v equal to t?
False
Let c = 1.92 + -1.7. Let u = c + -13.22. Which is greater: u or 0.1?
0.1
Let b = -89 + 48. Let a = b + 85/2. Let f(p) = p**3 - 7*p**2 + 7*p - 3. Let k be f(6). Is k at most a?
False
Let g = 37 + -32. Are g and 6 nonequal?
True
Let s(i) = 2*i**2 + 3*i + 1. Let l(d) = 2*d**2 + 3*d + 2. Let j(b) = -3*l(b) + 4*s(b). Let g be j(-3). Which is bigger: 23/3 or g?
23/3
Let f = -16/15 + 1. Which is greater: 0 or f?
0
Let a be (-106)/9 + 2/(-9). Let k be ((-3)/a)/(14/24). Are -0.1 and k equal?
False
Let z = -0.07 + -0.03. Which is smaller: 2/5 or z?
z
Suppose 0 = r - 6 - 4. Let x be (-1 + 2)/((-2)/r). Suppose 12 = 3*b, 4*b - 2 = -5*t - 6. Is t at least as big as x?
True
Suppose -2*o = -72 + 12. Is 31 bigger than o?
True
Let w(p) = -p**2 - 7*p + 10. Let h be w(-7). Let d be (-26)/(-40) + (-4)/h. Let v = -24 + 23. Which is bigger: d or v?
d
Let g = 1.35 - 0.25. Let t = 0.88 + 0.12. Let m = g - t. Is m at most 1?
True
Let u = -7 + 5. Which is bigger: -3 or u?
u
Let y = -10 - -23/2. Suppose 28 = 5*l - 17. Suppose 2*s - 5*s = -l. Which is smaller: s or y?
y
Let b = -1 - -3. Suppose -5*z - 2*p = -5, -3*z - b*z - 4*p = -5. Let l = 0 + z. Which is smaller: l or 0.2?
0.2
Let h = -7 - -7.04. Let x = h + -0.07. Let m = -0.07 + x. Which is bigger: m or -1?
m
Suppose -5*k - 1 = -2*a + 25, -12 = -4*a. Which is smaller: k or -3?
k
Let c = -11.2 - -3.2. Which is smaller: 1 or c?
c
Let k = 10.4 - -0.6. Let j = 11.1 - k. Which is smaller: 3 or j?
j
Let v = -47 + 51. Which is bigger: v or -0.1?
v
Let j be (-2)/(-4) + (-6)/(-4). Suppose -10 = j*h, 0 = -2*i - 4*h + 1 - 17. Which is greater: i or 2/3?
i
Let w = 151611/2651 - 629/11. Let u = w - 1209/482. Which is smaller: u or -4?
-4
Let b = -333 + 1991/6. Which is bigger: b or -1?
-1
Suppose -m = -3*m - 2. Let p be 1/(-3) + 87/225. Let n = -178/525 + p. Which is smaller: m or n?
m
Suppose 2*m + 4*v + 4 = 2*v, 0 = 2*m + v + 2. Which is bigger: -21 or m?
m
Let y = -11.04 + 11. Is -2 equal to y?
False
Let o(h) = -4*h - 3 + 0*h**2 + h**2 - 3. Let y be o(5). Let v be -2 + 0 - 4/(-6). Which is greater: v or y?
y
Let c be 7/(-3 + 4 + 0). Which is greater: c or 6?
c
Let q = 6 + -10. Let k = -2 - q. Let p be (k/(-12))/((-6)/9). Is 0.1 greater than or equal to p?
False
Let p = 0 + 0.2. Let x = -856/7 + 122. Which is greater: p or x?
p
Let h = -10 + 15. Let l(d) = d - 7. Let z(r) = -1. Let b(w) = l(w) - 6*z(w). Let k be b(5). Is h != k?
True
Let i(l) = l**3 + 8*l**2 + 6. Let j be i(-8). Let q = 12 + -8. Let n be ((-2)/(-4))/(q/40). Which is smaller: j or n?
n
Let f be ((-750)/(-80))/((3/4)/(-1)). Which is bigger: f or -14?
f
Suppose 3*t = -4*w - 8 - 0, 5*w = -t - 10. Is -2 at least as big as w?
True
Let t be 0*(-1 - 2)/(-6). Suppose 0 = 5*z + d - 4, -2*d - 3*d - 5 = t. Is z equal to 1/3?
False
Let l(y) = y**2 - 3*y - 3. Let f be l(5). Suppose 0 = o - f - 2. Suppose -3*v + o = -6*v. Is -3/2 greater than v?
True
Let s = 81/38 + -12/19. Is 1 >= s?
False
Let s = 250 + 234. Let r = 201 - s. Let f = r - -1984/7. Is f at most as big as -1?
False
Let z = 15 - 8. Is z != 6?
True
Suppose -i - 75 = -6*i. Let y = i - 9. Suppose -2*k + 3*k - y = 0. Is 4 at least k?
False
Let f = 46 + -46. Let g = 11/8 + -69/56. Do f and g have different values?
True
Let z = -0.2 + 0.7. Let n = 21 + -22.5. Let j = n - z. Which is bigger: j or 1?
1
Let d = -49 + 50. Which is greater: 2/15 or d?
d
Suppose 0 = -3*i + 35 - 14. Suppose -3*u + v = 26, -3*v + 43 = -4*u - 0*v. Let m = i + u. Is m equal to 0?
True
Let m be 66/15 + 2/(-5). Suppose -m*l = -2*x + 4, x = l - 2*x + 1. Which is greater: l or -3/5?
-3/5
Let h = 7 - 5. Let i = 5.3 + -5. Let f = 2.3 - i. Do h and f have the same value?
True
Suppose -10*q = -8*q + 6. Is q greater than -3/2?
False
Suppose 0 = 3*m + 13 + 2. Let r be -1 + 3 + m - -2. Let h = -97/12 - -31/4. Does r = h?
False
Let o be 58/4 + (-2)/4. Which is greater: o or 15?
15
Let x be 10/(-25) + 424/10. Let y be x/65 + (-10)/(-65). Do 2 and y have different values?
True
Let s be 0 + (-1)/(-1) - 52/(-6). Which is smaller: s or 11?
s
Let k(u) = u**3 + u - 4. Suppose 5*n - 1 = -2*m - 5, n - m - 2 = 0. Let s be k(n). Which is greater: s or -1?
-1
Let z = -8 - -8. Let p = z - 0.01. Let c be 2 - (-5)/((-70)/32). Which is smaller: p or c?
c
Let x(u) = -2*u**3 + 3*u**2 - 2*u - 1. Let g be x(2). Let z = g - -10. Suppose 3*o + 4*s + s = 26, -s = 5*o - 14. Does z = o?
False
Let w be 3 - (8 - 3) - 2. Is -9 less than w?
True
Let k be 7/21*(5 - 3). Let l be (-6)/(-15) + (-2)/5. Is l smaller than k?
True
Suppose 6 = 2*c - 4*q, 3*c + q = 4*q + 9. Let h = 413 + -2875/7. Is h at least c?
False
Let l = -2 + 5. Suppose g + 0*g = -4*c + 23, 19 = 4*c + 5*g. Suppose -l*a = -c*a. Are a and -1 nonequal?
True
Suppose -k + 4*m + 3 = 0, 2 = -5*k - 5*m - 8. Let j be k/((13 + -1)/3). Let u be (-2)/(-9) - (-2)/(-9). Which is smaller: u or j?
j
Let p(k) = -k**3 - k**2 + k. Let b be p(0). Suppose b = v + 2*y - 7, -3*v - 2*y = -3*y - 7. Is 3 smaller than v?
False
Let o = -4 + 9. Suppose -o*s + 24 = -s. Suppose y = 4*y + s. Which is smaller: -3 or y?
-3
Let i(r) = -r**2 - 9*r - 2. Let q be i(-6). Let u = q - 23. Which is greater: u or -6?
-6
Suppose -5*i + 2 = 7. Is -1 greater than or equal to i?
True
Let v be 4 + 2/(16/(-36)*2). Let x be ((-3)/(-2))/(1/2). Which is bigger: x or v?
x
Let a(g) = -3*g. Let j be a(