 -3. Let p = -8.4 - -8. Let t = 0.6 - p. Which is bigger: t or k?
t
Let m(h) = -h**2 - 4*h + 7. Let o = 9 + -14. Let d be m(o). Which is smaller: d or 4?
d
Let t be 1 - (4 - 0) - 1/(-9). Which is smaller: -4 or t?
-4
Suppose 4*b = 2*j + 32, 4*j + b + 40 + 51 = 0. Is -22 less than j?
False
Let p be (84/16 + 0)*(-6)/(-9). Which is greater: p or -2?
p
Let f be (-1)/(-6) - 2/(-12). Is f != -0.12?
True
Let u(v) = v**2 - 5*v - 8. Let z be u(6). Let g be -1 - z - (-3)/(-1). Let p = g + 3. Which is smaller: p or 0?
0
Suppose 20 = 3*d + 5. Suppose -5*y - 28 = -4*c, -d*c - y + 2 = -4. Which is greater: 4/5 or c?
c
Let n be (-14)/(-4)*-2 - -2. Which is greater: -6 or n?
n
Let h(o) = -o**2 - 5*o + 3. Let k be h(-6). Let l be 1/(-5)*5/k. Let b = 2 - 3. Is b at most as big as l?
True
Let w = 449/11 + -41. Suppose 2*f = 3*y + 5, 12 = -4*y + 2*f + 2*f. Is w < y?
True
Suppose -4*v - 1 - 7 = 0, 3*s + v = 10. Suppose -3*g = -3*b, 0 = -s*g - 5 - 3. Let u be (-2)/b*0/(-1). Which is greater: -4/5 or u?
u
Let i = 6 + 11. Suppose -12*w = -i*w - 15. Do w and 3 have the same value?
False
Suppose -3*n + 0*n = -12. Let f = n - 6. Let h be (f - 12/(-9))/3. Which is greater: h or 1?
1
Suppose -2*l + 15 = -7*l. Let o(d) = d**3 - 7*d**2 - d - 7. Let y be o(7). Let j be -18*(y/16 + 1). Is l at most j?
True
Let l = -315 + 1567/5. Is 1 greater than l?
True
Let c be (2/5*15/6)/1. Let k = 1 - 7/5. Which is greater: c or k?
c
Suppose -2*w + w = -4*b - 25, 58 = 4*w - 2*b. Let v = 10 - w. Which is smaller: v or -5?
-5
Let k = 5.2 + 0.8. Let p = k + -6.2. Is 0.3 less than p?
False
Suppose 2 = -8*i - 6. Does -5 = i?
False
Let k = -2 - -1. Let o(j) = -7*j. Let m be o(k). Are 6 and m unequal?
True
Suppose 2*i = 4*i. Let m = -343564/15 - -22861. Let n = 130/3 + m. Which is greater: i or n?
n
Let j = 17.96 - 18. Let v = j + -0.07. Does -1 = v?
False
Suppose 2*q + 1 = 3. Which is smaller: 11/9 or q?
q
Let p = 1.94 + 0.06. Suppose 3*y - 19 - 2 = 0. Let l be ((-6)/15)/(y/5). Which is greater: l or p?
p
Let u = -2 - -3. Suppose 5*o + b = 3*b + 10, 3*b + 15 = 4*o. Let a be (4/16 + o)/(-1). Which is smaller: u or a?
a
Let j = 16 - 1. Suppose 0 = 4*l + 5*w + 43, 0 = -5*l - 2*w + j - 90. Is -16 less than or equal to l?
False
Suppose -11 = 5*l - 1. Suppose -2*u = 2, -2*u - 7 = 2*n - u. Is n bigger than l?
False
Suppose -17*l + 15*l = 154. Do l and -77 have the same value?
True
Suppose 3*d - 5*g = 1, 5*d + 3*g - g = 12. Suppose -2*m - 12 = d*m. Are 0 and m non-equal?
True
Suppose 2*h - 76 = 3*l, 4*h + 5*l - 108 = -0*l. Which is greater: 31 or h?
h
Suppose 0 = p + 2*u + 6, -2*u - 3*u - 10 = 5*p. Let h = 0 - -3. Let w be (p - 0)*h/(-2). Which is smaller: w or 0?
w
Let v = 10 - -3. Let r = v - 8. Does r = 1/4?
False
Let k be (-41)/(-406)*10 - 1. Do k and -1 have the same value?
False
Let f be 2 - (2 + -1 + -3). Let h = 6 - f. Suppose 8 + 6 = -h*j - 4*l, -4*j + l = 10. Is -2 at most as big as j?
False
Suppose -7 - 1 = -4*j. Let h = -2 - -3. Which is smaller: h or j?
h
Suppose 85 = -z + 2*z. Let i = 28 - z. Let q = i - -227/4. Which is smaller: 1 or q?
q
Let z be (12/(-14))/((-48)/84). Which is smaller: 1 or z?
1
Let m(f) = -f**2 - 4*f - 10. Let k be m(-3). Which is smaller: k or -10?
-10
Let x = 114 + -114.03. Which is bigger: x or 3?
3
Let p(v) = v**3 - 4*v**2 - v - 3. Let t be p(4). Which is greater: -6 or t?
-6
Suppose -17 - 15 = -4*q. Suppose 0 = -3*g + 6, -4*f + 4*g = 6 - 30. Is q less than f?
False
Suppose 0 = -6*f + 13 - 1. Suppose f*h = -h. Which is smaller: 6/7 or h?
h
Let k = -0.05 + 0.75. Let q = 0.4 - k. Let p = q - -0.4. Is p < -0.1?
False
Suppose -5*v + 4 = -4*v. Suppose v*f = 7*t - 2*t + 20, -5 = 2*t - f. Which is bigger: 1/9 or t?
1/9
Let i(r) = -r**3 - 4*r**2 + 6*r + 7. Let z be i(-5). Let c(q) = q**3 + 0*q**2 + 1 - 2*q**2 + 2 - 1 - 2*q. Let s be c(z). Are -1/2 and s unequal?
True
Let x = -49/3158 - 1459614/11053. Suppose 2*l = l + 132. Let s = x + l. Is s at most 0?
True
Let y = 1 + 0. Let i be ((-3)/15)/((-3)/(-7)). Let m = i - -1/15. Is m smaller than y?
True
Let w be -1 - (0 - 3) - 3. Which is greater: w or 2/5?
2/5
Suppose -15 = 5*o + b, 5*o - b + 15 = -6*b. Let z(d) = d**3 + 4*d**2 + 4*d + 4. Let p be z(o). Let g = -121/504 - -1/56. Which is bigger: g or p?
p
Let d = 0 - -3. Suppose -2*y + 2 = -4*c, 4*c = d*y + 3*c - 3. Suppose t + 0 = -y. Is 3/11 greater than t?
True
Let l = 5 - 1. Let z = -1 + l. Let o be (-3)/(-9) + (-5)/(-3). Are o and z nonequal?
True
Let w = -4.2 + 4. Let t = w + 0.1. Let x = 1177/9 - 131. Are t and x unequal?
True
Suppose -6 - 44 = -2*d. Suppose c + d = 6*c - 5*p, -c - 20 = 4*p. Which is smaller: c or -1?
-1
Let n = 0.13 + -0.13. Which is greater: -10 or n?
n
Let c be (-3)/((-9)/12) - 2. Let y be (-3)/c*(-8)/12. Are -2/9 and y unequal?
True
Let f = 3 + -3. Suppose -v - v = 2*r + 12, -r - 4*v - 18 = f. Which is smaller: -1/3 or r?
r
Let i(o) = 13*o + 4. Let r be i(-1). Which is smaller: r or -7?
r
Let y be 2 + 6/(-5 - -2). Suppose 1 = -3*b - 2. Is y greater than b?
True
Let x be -3 - (-4)/(-10)*(-270)/42. Is x at least as big as 2/11?
False
Let x = -249/4 - -62. Let o = 1/2 - x. Which is bigger: o or 1?
1
Let a be -3 - (1 + (2 - 14))*1. Which is smaller: a or 2?
2
Let d = -6 + 0. Let g(c) = -c**2 + c. Let f(i) = -i**2 + 9*i + 6. Let w(l) = f(l) - 2*g(l). Let u be w(d). Which is bigger: u or 2/15?
2/15
Let z = 2 - -3. Suppose 0 = -2*u + 2*i + 16, 5*u = 2*u - i + 4. Suppose -7 = -z*h + u. Do 2 and h have the same value?
True
Let y = -0.19 - -0.07. Let u = -4.88 + y. Which is greater: u or -1?
-1
Let f(l) = l**3 - 2*l**2 - l + 2. Let g be f(2). Let v be 2/(-3)*(-3)/2. Which is smaller: v or g?
g
Let x = -437/2119 - 4/163. Is x at most as big as 0?
True
Let n(a) = -a**2 - 335. Let l be n(0). Let c = -2349/7 - l. Which is greater: c or -1?
c
Let i = 66.9 - 70. Let w = i - -3. Let z be (-4)/(-6)*(-3)/4. Which is greater: z or w?
w
Suppose 32 = 4*o - 0*a - a, o - 3*a = 8. Suppose 5*u + o = 3. Which is smaller: -2 or u?
-2
Suppose -3*a = -11*a - 848. Which is smaller: a or -105?
a
Suppose 17 + 5 = 11*b. Suppose 3*a - 4 = 2*a. Which is bigger: b or a?
a
Let v be 4/(411/417 + -1). Let d = 1270031/22 - 116013/2. Let k = v - d. Do 0 and k have the same value?
False
Let b = -105 + 1053/10. Is -1 bigger than b?
False
Let x = 0 - 0.2. Let s = -3.8 + 4.3. Are x and s non-equal?
True
Let z = -0.3 + 0.2. Which is bigger: 4 or z?
4
Let s(k) = -k**2 - 20*k - 40. Let q be s(-17). Which is smaller: q or 47/4?
q
Suppose -3*i + 0*i + 24 = 0. Let n = i - 10. Is 0 smaller than n?
False
Let w be 2/2*(-8 - -10). Suppose 0 = w*r - 4*r + 2. Is r <= 10/11?
False
Let j(b) = b**2 + 5*b - 2. Let v be j(-6). Suppose 3*f + 7 = 5*p - v, -4*f - 9 = -p. Is 1/3 at least p?
False
Let k = -0.06 - 0.34. Let d = -22 - 30. Let q be d/16 - (0 + -3). Which is greater: q or k?
q
Suppose -3*d + 4 = -4*d. Suppose -15 = -3*y, 0 = a - y + 3 - 2. Let b = a + d. Which is smaller: 1/3 or b?
b
Suppose 2*p + 3*p = -4*c + 12, -3*p = -4*c + 12. Are p and 5/6 nonequal?
True
Let b = -96 + 66. Let t be ((-36)/165)/((-12)/b). Which is greater: t or 0?
0
Let j(z) = z + 12. Let p be j(0). Is 12 at least p?
True
Suppose 2*d - 5*m + 6 = 26, 0 = 2*d + 5*m. Suppose 6*x - d = x. Is x > -2/15?
True
Let w = 9 - 5. Let z be (-2)/2*2/w. Which is smaller: -0.1 or z?
z
Suppose 5*l = -2*q - 58, 0 = -q - 5 + 1. Let t be l/15 + 7/(-3). Suppose 3*k - 3*d = 0, 5*k - 8 + 22 = -2*d. Which is smaller: k or t?
t
Let z(a) = -8*a**3 - 2*a - 1. Let t be z(-1). Let w be 4/(-10) - (-2)/5. Let h be t/(-15) - (w + -1). Which is smaller: h or -2/7?
-2/7
Let v be (-1)/(-4)*4/(-8). Which is smaller: v or 1?
v
Let h = -5079/4 + 22721/18. Let a = 777/100 + -13/25. Let r = h + a. Which is greater: r or 0?
0
Let f be ((-2)/4)/(3/18). Let t = 5 + f. Is -1 less than t?
True
Let q = -0.37 + -0.63. Let s(d) = d**3 - d + 4. Let u be s(3). Let b be 15/u - (-2)/(-7). Which is smaller: q or b?
q
Let x be (-11 - -12)*(1 - -2). Which is smaller: x or -0.1?
-0.1
Let u be (-8)/(-28) - 122/(-14). Let t be 15*((-15)/u + 2). Is 5 less than t?
False
Let y(n) = 3*n. Let m be y(1). Let f be m*(105/(-9))/(-5). Suppose -2*a = -f*a. Which is greater: 1/4 or a?
1/4
Let m = -35/4 - -69/8. Is m at least 1?
False
Suppose 2*r = -3*f - 8 - 35, 2*r = -5*f - 33. Which is greate