t g(t) = t**2 + 11*t. Let y be g(-11). Which is greater: y or -1/20?
y
Suppose -7*s + 8 = 2*n - 3*s, 3*n = -s + 12. Suppose -2*h = 2*i - 0*i + n, 4*h - 13 = 3*i. Let a = 0 - 0. Which is bigger: a or h?
h
Let c = 204 - 1023/5. Suppose 4*x - 4*a = 12, 4*x = 4*a - 2*a + 16. Suppose 3*l - 6 = -0*l, 0 = -2*j - x*l + 6. Which is bigger: j or c?
c
Let d = -61 + 57. Which is greater: 3/4 or d?
3/4
Let t be (-5)/10*0/(-1). Is 1 equal to t?
False
Suppose -5*j + p = 0, 3*p + 11 = -j + p. Let f be ((-8)/260)/((-1)/(-5)). Which is smaller: f or j?
j
Suppose -4*w = 5*t + 126, -4*t - 5*w + 6*w - 105 = 0. Is t <= -27?
False
Let g(j) = -j**2 - 2*j - 1. Let t be g(2). Is t at most as big as -9?
True
Let j be (48 + -3 + 1)/2. Let b be -2*(-2 - j/(-12)). Let d = 26 + -26. Which is bigger: b or d?
b
Let z = 1.6 + 4.4. Let w = 7 - 16. Let i = z + w. Which is smaller: i or 0?
i
Let g = -3/26 - 43/78. Let r = -0.35 + 0.3. Let p = r - 0.25. Is p greater than g?
True
Let d = 1333/15 - 89. Which is greater: d or 2/7?
2/7
Suppose -2*t = -4*k + 10, 4*k + 0 - 4 = 4*t. Suppose 0 = -3*s - 0*s + t. Is -1/15 at most s?
True
Let w = -39 - -34. Let s = 1.1 - 0.1. Which is smaller: w or s?
w
Suppose -16 = 4*l - 0*u + 3*u, -u = -5*l - 1. Let q(g) = 2*g**2 - 2*g - 1. Let z be q(l). Suppose 3*w - z = 6. Which is smaller: 2 or w?
2
Let o = 184 - 917/5. Let u = -0.3 + 0.2. Which is greater: u or o?
o
Let t = -1796/113985 - -2/745. Let m = t + 7/102. Is m at least as big as 1?
False
Let f = -6/7 + 31/28. Are f and -2/19 nonequal?
True
Let g(k) = -3*k**2 - 10*k + 4*k**2 + 5*k**2 + 11*k + k**3. Let x be g(-6). Which is smaller: x or -5?
x
Suppose 4*r + 14 = 2*r + 2*c, -3*r = 4*c - 7. Let u be 5/12 + 2/r. Is u != -1?
True
Let l be (-5)/(-10) + 7/2. Suppose -l*p + 0*p + 8 = 4*y, 0 = -p - 2*y + 2. Let h(u) = u - 2. Let k be h(p). Is 1 at least as big as k?
True
Suppose c + 0*c - 3 = 0. Suppose -m = -1 + 6, -12 = -c*k + 3*m. Let f be (-2)/(-7) + (-31)/35. Is f != k?
True
Let s be (4/(-1))/((-2)/(-3)). Are s and -3 equal?
False
Let f = -21 - -21.9. Let r = f - 1. Do 3 and r have different values?
True
Let r be ((-10)/(-25))/((-1)/10). Let i = 9 + r. Suppose 0 = -z + i*n - 22, z + 2*n - 13 = -0*z. Are 4 and z nonequal?
True
Let l = 3 + 7. Is 10 at least as big as l?
True
Suppose g - 4*g = 0. Does g = 2?
False
Let k = -361 + 357.94. Let l = -0.06 - k. Let v = -4 + l. Which is bigger: -0.1 or v?
-0.1
Let b be (-3)/2*(-4)/6. Suppose y + 2 = -b. Is -4 at most as big as y?
True
Let s be ((-1)/(-4))/((-5121)/12). Let w = -184361/8535 - s. Let m = w - -22. Is m at most as big as -1?
False
Let i = 7 - 7. Which is bigger: i or 1/75?
1/75
Let b be 81/90 + (-1)/2. Is -4/3 smaller than b?
True
Suppose -9 = y - 4. Suppose d + d + 6 = 0. Which is smaller: y or d?
y
Suppose 4*b - b = 3. Let t be (-5 + 3 + 0)*1. Let d(m) = -m**3 - 3*m**2 - 3*m - 2. Let i be d(t). Do i and b have the same value?
False
Let g = -35 + 39. Let d be (-3)/1 + (1 - 0). Is g at least as big as d?
True
Let j be 4*2/(-6)*(-90)/120. Do j and -2/309 have different values?
True
Let i = 31 - 17. Let x = 16 - i. Is 7 at most as big as x?
False
Let c be (0/(-1) - 0)/(-1). Suppose -4*g + c = 8. Suppose 5 = -4*t - x, -t + x = -x + 8. Is g greater than t?
False
Let b = 288 - 881/3. Do -7 and b have the same value?
False
Suppose -61 - 9 = 5*p. Let m be p/24 - (-4)/12. Is m >= 1?
False
Let v(c) = 3*c - 30. Let t be v(14). Is t > 32/3?
True
Let c = 0 - 41. Let b = c - -204/5. Is b < 0.1?
True
Let y(s) = 2*s + 26. Let g be y(-12). Suppose -20 = 5*j - 10*j. Let v = 0 + j. Which is bigger: g or v?
v
Suppose 0 = -5*t - 2 - 8. Are t and -5 non-equal?
True
Let c(x) = -7*x - 4. Let o be c(-1). Let p = -6 + 6.1. Is p <= o?
True
Suppose 0*f - 5*f = -2*h + 6, -h = 5*f + 12. Let w be h/20*(-10)/(-4). Are w and 0 nonequal?
True
Let k = -0.37 + 0.57. Which is smaller: k or 0.4?
k
Let b be (-3)/4 - (-18)/24. Which is bigger: b or -7/5?
b
Let f be ((-1)/(-4))/(10/((-360)/(-3))). Are -18 and f nonequal?
True
Let b = 15 - 9. Let h be (6/3)/(-2 - -1). Let m be h/b*12/(-4). Is -0.1 smaller than m?
True
Let b be -8 + 1/((-3)/9). Which is greater: -0.1 or b?
-0.1
Suppose -4*m + 2 = -3*z + 22, -3*m = -z. Suppose 4*d + z = 4*y, 7 = 2*y + 3*d - 4*d. Suppose 0 + y = -4*s. Is -2 greater than s?
False
Let i = -80462/267 - -904/3. Which is greater: i or -1?
i
Let k = 2/287 + -293/861. Which is smaller: k or 5/7?
k
Let r = -9977/562 - -3/1124. Let m = -473/28 - r. Which is greater: m or 1/2?
m
Let h = 0 + 0. Let f = -4 - -8. Let i = f + -4.1. Is h < i?
False
Let b = -12 + 26. Let g = b - 8. Let a be ((-1)/(-3))/(16/g). Which is smaller: -1 or a?
-1
Let n = -12 - -12. Which is smaller: n or 10/7?
n
Let y = 39 + -51. Is y bigger than -12?
False
Suppose -5*z = -v + 32, 2*z = 6*z + 3*v + 18. Is z greater than -6?
False
Let v(n) = n - 3*n - n**2 + n**3 + n + 1. Let c be v(0). Which is bigger: 2/29 or c?
c
Suppose -2 = -4*r + 22. Let h(l) = 4*l - 9. Let c(b) = 2*b - 5. Let t(w) = 9*c(w) - 4*h(w). Let s be t(r). Is s != 3?
False
Let n = -4.1 + 4. Let l be ((-4)/6)/(1/3). Is n smaller than l?
False
Suppose 5*m + 25 = 2*j, -2*j + 22 = -m - 3*m. Suppose 4*g - 16 = 4*i, -5 = -3*g + i + j. Is 4 greater than or equal to g?
True
Suppose 0 = j - 3 - 2. Let u(n) = n**3 - 2*n**2 - 3. Let m be u(3). Is j != m?
True
Let m be -16*1/(-9) - (5 - 3). Which is bigger: 0.6 or m?
0.6
Let d = 85 + -84.3. Is -2 != d?
True
Let a(l) = -l**3 + l**2 + l - 2. Let p be a(2). Suppose -8*d + 12 - 60 = 0. Is d < p?
True
Let o = -55 - -54. Which is bigger: -35/9 or o?
o
Let u = -4 - -9. Suppose 2*o - 6 = 4*i, -u*o + 0 - 1 = -2*i. Let b be (-1)/(2 - 15/10). Are i and b equal?
True
Let n(p) = -p**2 - 4*p - 2. Let b be n(-5). Let k be b/4 + 7 + -5. Do 0.2 and k have different values?
True
Suppose 0 = i - 4*c - 9 - 40, -3*i - c = -82. Is i greater than 27?
True
Let c = 950/777 + 7/111. Which is smaller: 1 or c?
1
Suppose 7*y = 9*y. Let h be -108*(63/(-120))/7. Let d = h + -647/70. Is d less than y?
True
Let v be ((-64)/(-12) - 5)*6/4. Is v < 3/8?
False
Let f = 6 - 2. Suppose 0 = 4*k, -3*s = -4*s - f*k - 1. Is 1 greater than s?
True
Let s be (4/5)/(4/10). Suppose -2 = 4*y - 2*z + 2, -s*y + 5*z = -14. Which is smaller: -1 or y?
y
Let w = 5 + -3. Suppose 5*i = -0*o + 3*o + w, -i = -5*o + 4. Let z be -2 + (-1 - -5) - o. Which is smaller: z or -1/8?
-1/8
Let x be -6 + (3 + 1 - 1). Let i = 1 - x. Suppose 2*p + 4 = -2*h, -p - 5 = i*h - 3. Which is smaller: p or 0?
p
Suppose -7*u - 56 + 63 = 0. Is u bigger than 1?
False
Let l = -62 + 40. Let a = l - -70/3. Let b be -1*(-2)/(-4)*0. Are a and b unequal?
True
Let h = -2 + 7. Suppose 0 = 4*b + 4, -3*c - 5 = -3*b + h*b. Which is greater: c or -2?
c
Let v(i) be the second derivative of -i**5/20 - i**4/6 + 2*i. Let p be -4 + 4 + (-3 - -1). Let q be v(p). Are q and -2/7 unequal?
True
Suppose -9*y + 30 = -3*y. Suppose 3*s + 24 = -s + 4*d, -d = y. Which is smaller: s or -12?
-12
Let j(z) = 2*z - 1. Let o be j(0). Which is smaller: 1/40 or o?
o
Let i(t) = -t**2 - 4*t - 42. Let d be i(0). Which is bigger: d or -43?
d
Let u(r) = r**2 + r - 5. Let l be u(-4). Let z(f) be the first derivative of f**4/4 - f**3/3 - 5*f**2/2 + 3*f + 5. Let v be z(3). Which is greater: v or l?
l
Let x(m) = -m**3 - 7*m**2 - 5*m + 8. Let o be 88/(-14) - 6/(-21). Let b be x(o). Is b less than 2/3?
False
Let y(c) = c**2 + 6*c. Let g = -12 - -6. Let b be y(g). Let z be ((-432)/(-57))/(-4) + 2. Which is greater: z or b?
z
Let i = 2 + -3. Let s = 14081/4 + -3554. Let m = s - -663/20. Is m < i?
False
Let j = -67 - -74.9. Let t = j + -8. Let m = -2 + 0. Which is smaller: m or t?
m
Let n be 138/104 - (-2 + 3). Let w = n - 1/13. Is 5/6 bigger than w?
True
Suppose 4*n + 60 = -n. Is n at least 1?
False
Let k be (-2)/24*(120/9 - 0). Which is smaller: k or -2?
-2
Let z(a) = 2*a**2 - 2*a - 9. Let r be z(-7). Let u = r - 197/2. Which is bigger: u or 6?
6
Suppose -9*u + 7*u + 96 = 0. Is 48 less than u?
False
Let i = 0.42 + -0.32. Let f be (-1)/(-19)*4/(-2). Which is smaller: i or f?
f
Let n = -8 - -14. Let p = n - 5.9. Let v = p + -2.1. Does v = -0.1?
False
Let m be (-1 - -1)*(-1)/(-2). Let y = m + -1. Suppose 5*n = -0*n - 5. Is y > n?
False
Let n(p) = 4*p**2 - 10*p - 3. Let u(x) = -7*x**2 + 19*x + 5. Let a(f) = 5*n(f) + 3*