= -4 - t. Which is greater: 0 or z?
z
Suppose -o - t + 282 = -4*o, 5*o + 3*t = -470. Let n be o/12 + 3/(-18). Let w(s) = s**2 + 8*s - 1. Let b be w(n). Which is smaller: b or -4/3?
-4/3
Let g be -33 + (-10)/(-4) + 2/4. Is -30 > g?
False
Let k be (-3 + 1)/((-11)/22). Suppose -m + 5 = k*m. Which is bigger: m or -3/7?
m
Let x = 21/34 - 2/17. Is x not equal to -2?
True
Let d = -50/21 - -19/7. Which is smaller: d or -3?
-3
Let i = 35 + -36. Are i and 3/7 equal?
False
Suppose i + 4*i = 15. Suppose -10 = -i*x - 4. Does 1 = x?
False
Suppose -b + 3*r + 80 = -0*r, 4*r = -2*b + 120. Let a be (-2)/(-4)*16/b. Let y(n) = n**3 + 3*n**2 + n + 3. Let x be y(-3). Which is greater: x or a?
a
Let d be (-2)/(-5)*20/(-6). Which is greater: -1 or d?
-1
Suppose 0 = -5*y + 3*y - 10. Let v = y + 10. Suppose -34 = -4*z + 3*r - 9, -5*z = -5*r - 35. Is z != v?
True
Let b be (1 - -1) + -11*(-6)/(-39). Is b > 2/5?
False
Let b(k) = k**3 - 11*k**2 + 23*k + 15. Let q be b(7). Is q greater than -21?
True
Let a = 1138/15 + -76. Suppose 4*f + 8 = 4*d, -f - 4*d = -16 + 3. Which is bigger: f or a?
f
Let x(j) = j**3 - 16*j**2 - 14*j - 21. Let u be x(17). Is u not equal to 32?
True
Let s(y) = y + 1. Let j be s(-3). Let k be 4/(-20) - j/3. Let u = k - 11/45. Which is bigger: -1 or u?
u
Let s be ((-9)/(-132))/((-12)/8). Is s greater than or equal to 1?
False
Let p be 1*((-6)/3 - -5). Suppose -p*b - 1 = 2. Let z be -1 - -3 - (-2 - b). Which is greater: z or 2?
z
Suppose -2*u + 37 = -0*u + z, -3*z + 3 = 0. Let t be 4/u - 856/(-36). Let w be -1 - t/(-33)*1. Is 0 at most as big as w?
False
Let k = -11 - -21. Is -0.4 != k?
True
Let a be (-4)/(-14) + 4/(-14). Let f = 35/24 - 4/3. Let o = f - 23/56. Is o greater than a?
False
Let s = -668 - -23378/35. Is s equal to -1?
False
Let q be ((-42)/(-49))/(2/14). Suppose 9*h - q*h = -24. Is -8 less than h?
False
Let h(g) = g - 4. Let w be h(0). Let d be (w - -2) + (-6)/(-4). Which is smaller: d or -2?
-2
Let a = -572/5 - -114. Let w(z) = 5*z + 18. Let l(c) = -2*c - 6. Let x(f) = 8*l(f) + 3*w(f). Let s be x(5). Are a and s equal?
False
Suppose -s + 4 = 3*m + 6, -m = -5*s - 10. Which is smaller: -7/4 or s?
s
Let n = 14 + -2. Let x be (3 - 3) + 1*12. Is n <= x?
True
Let x = 117/5 - 1216/15. Let r = x + 55. Suppose -4*t - t = 10. Which is greater: t or r?
t
Let f = 1.25 + -1. Let q = f - 0.15. Is q equal to -14?
False
Suppose 5*u = -5*r + 15, 4*u - 3 = -2*r + 3*u. Let t be -3 - (-9 + 0 + 4). Is t < r?
False
Suppose 69*c - 74*c = 20. Let n be (-3)/(-1)*1 + 0. Which is greater: c or n?
n
Let w = 6 + -14. Let p be w/(-52) - (-48)/26. Is 2 at least as big as p?
True
Let p = 13 - 9. Let o = -0.7 - 4.3. Let m = p + o. Do 0 and m have different values?
True
Suppose 10*i = 7*i + 15. Is 4 at most as big as i?
True
Let s = 10 - 13. Let z be 1/(-3)*(-4)/s. Let t = -17/18 - z. Which is greater: -1/5 or t?
-1/5
Let n be 0 + 1 - 8/10. Let u be ((-2)/6)/(4/12). Which is greater: u or n?
n
Suppose 6*q - 16 = 2*q. Let y = q + -6. Let u = 1/6 + -2/3. Which is smaller: y or u?
y
Suppose 6 = -3*f + 24. Suppose -f*i - 4*z = -2*i + 16, -i - 7 = 2*z. Let v = 0.7 + -0.4. Which is greater: i or v?
v
Let o be (-1)/3 - 12/(-9). Let m = -6 + 6. Do o and m have the same value?
False
Let w(t) = t**3 + 12*t**2 + 11*t. Let r be w(-11). Suppose r = 3*q - q + 12. Is -2/9 equal to q?
False
Let p = 23 + -22. Which is smaller: p or -10?
-10
Let p(l) = 3*l + 9. Let o be p(-4). Suppose 5*b + 5 = -5*f + 2*f, 4*b - 4*f + 4 = 0. Is b > o?
True
Let p be 19 - 18 - (-8)/(-14). Do p and 7 have different values?
True
Let m = 7 + -34. Let x = m + 109/4. Which is bigger: x or 0?
x
Let w be ((-2)/24)/((-9)/24). Which is greater: w or 30?
30
Let f(v) = -v**3 + 4*v**2 + 10*v + 4. Let w be f(6). Which is bigger: w or -6?
-6
Let s be (-78)/(-18) - 4/(-6). Suppose 0*n = s*n. Suppose n*l - k = 4*l, 2*k - 7 = -l. Which is bigger: 1 or l?
1
Suppose -3 = 4*f - 23. Let p be (-1)/f + 490/200. Do p and 3 have the same value?
False
Suppose -2*g + 2 = -w + 3*w, -28 = -3*g + 2*w. Let l be g/4*(-8)/(-66). Which is smaller: l or 0?
0
Let f = 67 + -38. Let y = f - 57/2. Which is greater: -0.1 or y?
y
Let d = -2.69 - -0.69. Which is smaller: 11 or d?
d
Let z be -1 - 0 - (-34)/30. Let d(r) = 9*r - 25. Let n(y) = 4*y - 12. Let j(t) = 3*d(t) - 7*n(t). Let l be j(8). Which is smaller: z or l?
z
Let d be -4*2/3*-723. Let w be d/(-90) + (-6)/(-27). Let b = -22 - w. Is -1 at most as big as b?
True
Let p = 20 - 18. Is 6 greater than p?
True
Let o = 3.3 + -3.4. Is o at most 1?
True
Let l(k) = -11*k - 28. Let b be l(-4). Which is bigger: 17 or b?
17
Let m = 26/7 - 24/7. Is m < -5?
False
Let t = -0.04 + 0.14. Which is smaller: 9 or t?
t
Suppose 0 = -2*w - 4*m - 22, -2*w - 2*m + 7*m - 31 = 0. Is w at least as big as -13?
True
Suppose j + 12 = -0*j. Which is smaller: j or -11?
j
Let p = 4.21 - 0.21. Which is greater: -1/4 or p?
p
Suppose -3*a + 9 = -21. Let l = -10 + a. Which is smaller: 1/23 or l?
l
Let u(o) = -o - 2. Let k be u(-7). Let f be 6/2 + 2 + -5. Suppose -n - m = -0*m, f = -k*m. Which is smaller: -2/7 or n?
-2/7
Suppose -d + 4*r + r = 13, -2*r = -4*d - 16. Let u = d - -2. Suppose 5*i - 20 = -4*c, c = 3*i - 2*i + 5. Is u < i?
True
Suppose 2*l + 3*l + 1995 = 0. Let a = 3993/10 + l. Which is smaller: -1 or a?
-1
Let f = -0.2 - -1.2. Which is bigger: -0.124 or f?
f
Let o(l) = 6*l**3 + l + 1. Let n be o(-1). Let v be ((-6)/(-4))/(45/(-150)). Is v bigger than n?
True
Let w = 8 + -2. Is 6 greater than w?
False
Let k be (-3)/30*((0 - 2) + -2). Which is smaller: -0.25 or k?
-0.25
Suppose 3*v = -v + 4, -4*v = 4*c - 16. Let r be (-88)/(-33)*c/(-26). Which is greater: r or -1?
r
Suppose 4*y = 2*y + 4. Let w be 21/7 - (0 + 0). Let o = w - y. Which is smaller: 2/5 or o?
2/5
Suppose -a = 2*z - 4 + 13, 0 = 2*a - 2*z - 12. Let s be 2/((-78)/81) - -2. Which is greater: s or a?
a
Let s = 49 + -24. Suppose 4*y = 5*k - s, 2*k - 3 = 5*y + 24. Let u be y/7 + 1 + 0. Is 0 not equal to u?
True
Suppose 10 = 3*o + 2*o. Suppose 4*u = -3*p - o*p + 6, 0 = 4*p + 4*u - 4. Is p less than 1?
False
Let f = -5 - -11. Suppose -2*g + 4*s = 10, f*s - 19 = -4*g + s. Which is smaller: g or -3?
-3
Let k(g) = g + 1. Let s be k(5). Let r be (3/s)/((-6)/(-2)). Is 0 at least as big as r?
False
Let y = -509/4 + 128. Let g = 1 - -1. Is y < g?
True
Let y(v) be the first derivative of v**4/4 + 3*v**3 - v**2/2 - 8*v - 1. Let m be y(-9). Which is smaller: 2/17 or m?
2/17
Let d = -27.1 + 27. Let g = 5 - 2. Let k = g - 2.9. Which is smaller: k or d?
d
Let r be 11/(-5) + (-2)/(-10). Let y = r - -3. Let n(b) = b**2 - 2*b + 1. Let u be n(y). Is 1/4 equal to u?
False
Suppose 3*i + 3*a + 1 = 7, -i + 2*a - 7 = 0. Which is smaller: -1/73 or i?
i
Let o be 19/(-70) + 8 + -8. Let a = o - 1/70. Is a < 0?
True
Let y(v) be the second derivative of -v**4/12 - v**3/3 + 3*v**2/2 - 4*v. Let g be y(-3). Do 0.1 and g have the same value?
False
Let u = -1.93 + -0.07. Are u and 2 nonequal?
True
Suppose -4*n + 2*n = 0. Suppose n = r - 2 + 1. Is 1/3 greater than r?
False
Let r = -137/4 + 34. Are 7/3 and r unequal?
True
Let z(v) = v - 3. Let s be z(7). Let f(u) = u + 5. Let y be f(6). Suppose -2*b = -5*j - 5*b + 18, 0 = -2*j - 5*b + y. Is j at least as big as s?
False
Let o(y) = -y**3 + 8*y**2 + 9*y + 3. Let q be o(9). Let h be (3*2)/(-1 - 0). Let d be q/h + 0/2. Which is smaller: 1 or d?
d
Let p = -306/485 + 3/97. Let s = -2 - -2. Which is bigger: p or s?
s
Let h = 3 + 2. Which is smaller: 4 or h?
4
Let m = -10 - -9.8. Suppose 5*l + 0 = 5. Let c be l/(1 + 0) + -1. Is m less than or equal to c?
True
Let f = -4.6 - -2.6. Let t = -3 + 6. Is t not equal to f?
True
Let n = 0 + 1. Let v be (1 + -1)/(4/4). Which is bigger: v or n?
n
Let d = 7 - 7.1. Which is greater: 19 or d?
19
Let x = 11 - 12. Let v = 3/77 - -59/462. Are x and v non-equal?
True
Suppose -5*v - 8 = 3*m, 2*m + 1 = -v + 5. Suppose -4*z = -7 - 5. Let h = z - m. Which is smaller: 2/9 or h?
h
Let t(h) = -h**2 + 4*h + 5. Let l be t(5). Let v(f) = -f**3 - 6*f**2 - 5*f - 1. Let n be v(-5). Which is bigger: l or n?
l
Let g(i) = -3*i**2 - 4*i - 3. Let c be g(-2). Let f be 16/c + (-4)/(-2). Is f less than or equal to 0.3?
True
Let w = -4/375 + 3419/4125. Is 1 at least w?
True
Let h be 18/(-4)*(-24)/54. Does h = 7/5?
False
Let h be (5 - 7)*(-13)/2