(-1)/((-4)/2). Which is greater: k or t?
k
Let w = 6.7 - 6.6. Which is bigger: w or -20?
w
Let v = -8 - -7.97. Let k = 0.171 - -0.059. Let c = k + v. Are 0.2 and c equal?
True
Let z = 195 + -208. Which is bigger: -7 or z?
-7
Let v be (-263)/330 - 2/5. Let z = 3/22 - v. Which is bigger: z or 0?
z
Let r = -12 + 8. Let s = r + 4.1. Are 11 and s equal?
False
Suppose 3*g = -12, -5*g + 8 = -5*m + 58. Let l(o) = -2*o + 9. Let w be l(m). Let a = -841/3 - -278. Is w bigger than a?
False
Let v be 0 - -3 - 0/2. Suppose -44 = v*l - 2*l. Let q = l + 177/4. Is q != 0?
True
Let h(j) = -j**3 - 7*j**2 - j - 4. Let f be h(-7). Suppose -4*b + 3*r = -5, -4*b + f*b + 11 = -4*r. Is -1 bigger than b?
False
Let z = -3.5 - 0.5. Let d = z + 2. Is d at least -1/2?
False
Let v = -3085/968 + 15/242. Is -2 smaller than v?
False
Let z(l) = l**3 - 6*l**2 - 3*l - 22. Let a be z(7). Are a and 6 equal?
True
Let t = -359/5 + 72. Is t >= -0.02?
True
Let u(a) = 2*a**2 - a - 1. Let p be u(-2). Suppose 3*i = -4*b - p, -b - 2*i - 4 - 2 = 0. Suppose b*q + q + 1 = 0. Is q at most as big as 2/9?
True
Let p = 5/4 + -33/20. Suppose y - 1 = 1. Suppose y*q + 1 = q. Which is smaller: p or q?
q
Let o(v) = -v - v - v + 4*v + 4. Let x be o(-4). Which is smaller: x or -1/25?
-1/25
Let v = 10/3 + -3. Let j(q) = -q + 7. Let m be j(8). Let f = 1 + m. Which is smaller: v or f?
f
Let m(s) = s + 6. Let y be m(-6). Is -0.2 != y?
True
Suppose 3*y = -5*u - 19, 2*u + 5*y = u - 17. Let n = -2 - -3. Let z = -3 + n. Do u and z have the same value?
True
Suppose -2*o = 5*a - 17, 3*a - 4*a = 3*o - 45. Which is bigger: o or 14?
o
Let s be 1/(-5) + 266/1155. Is s greater than -1?
True
Let t = 53.4 + -47. Let w = t - 2.4. Let z be ((-1)/(-3))/(0 - -1). Is w <= z?
False
Let z be (-18)/30*1/42. Is -1 >= z?
False
Let f = 6 - 6.05. Let r = -1.95 + f. Which is greater: r or -2/3?
-2/3
Let j = -3 - -4. Let x be (-6)/j*3/(-3). Let h(t) = t**2 - 19*t + 7. Let a be h(19). Which is smaller: a or x?
x
Let p = -1.2 - -4.2. Let b = 0.3 + -0.2. Is b at least as big as p?
False
Let j = -4 + 4. Is j smaller than 1?
True
Let n be (((-28)/(-24))/(-7))/((-8)/16). Is n bigger than -1.4?
True
Let b(r) = r**2 + 8*r + 5. Let j be b(-5). Let u = -12 - j. Let y(s) = s + 2. Let z be y(-4). Is z at most as big as u?
True
Let g = 42/221 + -4/13. Let y = 27 - 28. Which is greater: g or y?
g
Suppose n = -4*n + 15. Let s = -24 + 15. Let m be 3 + (-3)/s*0. Is n greater than m?
False
Let j = 67 - 66.9. Which is smaller: j or -2?
-2
Let w = -27.8 - -28. Which is bigger: w or -2/27?
w
Suppose -2*r + 12 = 2*r. Suppose 0 = -r*g + 3 + 3. Suppose -6*z + z + 8 = -h, -g*z - 1 = h. Are h and -3 unequal?
False
Let d(h) = -5*h + 15. Let m be d(2). Does m = 37/9?
False
Let t = 0.2 - -3.8. Are t and 1 equal?
False
Let h(r) = -r**2 - r + 4. Let a be h(0). Suppose 12 = a*o - 2*o + 4*p, -3*o + 2*p = -2. Let c = -79/35 + 20/7. Is c at least o?
False
Suppose -18*t - 4 = -14*t. Is -1/6 at most as big as t?
False
Let y(w) = -w - 6. Let i be y(-9). Suppose 2*k + 3*h - 12 = 0, -k = 3*h - 4 - 8. Suppose k = 3*o - i - 3. Which is smaller: 1 or o?
1
Let d be (8/1720)/((-2)/5). Which is smaller: d or -1?
-1
Let r = 0.04 - 6.04. Which is bigger: -2 or r?
-2
Let m = -0.8 - -0.83. Let t = -0.13 + m. Let j = -0.4 + 1.4. Which is greater: t or j?
j
Let u = 5/6 - 19/18. Let x = -22.1 - -23. Let l = x - 1.1. Is u equal to l?
False
Let z = -3 + 5. Suppose 3*i + z*i = -5. Let w be (1 - 1*2) + -1. Is w greater than i?
False
Let y be 1*1/(-3) - 0. Let o = -9 + 9. Suppose 0 = -o*j - j. Is y equal to j?
False
Let p = 4 - 2. Let f = -13 - -11. Let m be f - (24/(-9) + 0). Which is bigger: p or m?
p
Let q be -1 - 1/(2/(-10)). Let w(x) = -x**3 + 5*x**2 - 4*x + 3. Let p be w(q). Suppose p*o + 6 = -0. Which is smaller: -3/5 or o?
o
Let n = 31 - 26. Which is bigger: 2 or n?
n
Suppose -16*t + 11*t = -20. Which is bigger: -1/2 or t?
t
Suppose 167 = 4*m - 49. Let h be (-4)/(-5) + m/(-5). Which is bigger: h or -19/2?
-19/2
Let q = -3/148 - 701/1924. Let z = q - 4/91. Which is greater: 1 or z?
1
Suppose -45 = -5*l - 0*l. Let u be ((-3)/l)/((-8)/(-2)). Let c = u - -5/6. Which is greater: c or 1?
1
Suppose -86 = -5*i - 6. Let f = 10 - i. Let y be (8/12)/((-4)/f). Which is greater: -3/5 or y?
y
Let r(z) = z**2 + 6*z - 8. Let c be r(-6). Which is bigger: -3 or c?
-3
Suppose 10*m + 55 = 15*m. Is 14 >= m?
True
Let j = -143/3420 - 1/380. Is j != -1?
True
Let d = 153 + -153.2. Are d and -46 equal?
False
Suppose -2*g = 4*b - 20, 5*b - 5 = 15. Is -2 less than g?
True
Let m(u) = u + 3. Let f be m(-5). Let w = 1 - f. Let l be 7 - -1 - (24 - 20). Is l at least as big as w?
True
Let i = 93 - 91. Is i at least as big as 9?
False
Let j(y) = -y**2 + 4*y + 3. Let r be j(5). Let s(u) be the third derivative of -u**5/60 - u**4/8 + 3*u**3/2 - 7*u**2. Let m be s(-5). Is m greater than r?
True
Suppose 30 = -o + 2*o + 4*v, 0 = 4*v - 20. Let s = -26 + o. Let w be 2/(-8)*s/10. Which is greater: 1 or w?
1
Let g be -3 - 1613/(-4)*1. Let l = g + -398. Is l at least 3?
False
Let u = -1825/47718 - -8/241. Is 1 greater than u?
True
Suppose -3*m = 2*v - 4*m - 9, 9 = v + 4*m. Suppose 0 = -3*b + v - 2. Which is smaller: 2/25 or b?
2/25
Let l(r) = -r + 10. Let i be l(-8). Let v be 1/(-1) + i/22. Is v less than 0?
True
Suppose -5*o = -2*i + 1, 2*i + o = 3*i + 1. Let d be 2/4 - (-9)/(-2). Are i and d non-equal?
True
Suppose 5*b - 12 - 13 = 0. Is b > 28/5?
False
Let f be (-12)/(-3) - 168/20. Which is greater: -5 or f?
f
Let k be (2 - (-2 - -7)) + -7. Let w be (-2)/(-5)*k/(-18). Is w at most as big as -1?
False
Let a = 0.17 - 0.07. Which is bigger: 17 or a?
17
Let d(y) = -y**2 - 6*y - 6. Let m(r) = -r**2 - 5*r - 5. Let z(g) = 4*d(g) - 5*m(g). Let o be z(-1). Is o < 1/5?
False
Let b be 14/(-7) - 1/(-4). Which is greater: b or -3?
b
Let o(d) = d + 10. Let w be o(-8). Suppose 0 = t + 2 + w. Which is bigger: -1 or t?
-1
Let g = -546/5 + 110. Is -1/4 != g?
True
Suppose -7*t + 5*t - 8 = -b, -5*b = t + 4. Is 1/80 equal to b?
False
Let v be -2 + 3 + 36/(-44). Which is greater: -2 or v?
v
Let q = 15 + -2. Is q at least as big as 110/9?
True
Let h = 0 + 3. Let c be h/(135/(-6)) + 0. Are 0.1 and c unequal?
True
Suppose 40 = 3*s + s. Suppose 3*a - a + s = 0. Is -5 at least as big as a?
True
Let a = -22003 + 109303/5. Suppose 5*l = l - 572. Let o = a - l. Is o at least as big as 1?
False
Let r = 1357/264 - 41/8. Do r and 0 have different values?
True
Let p(x) = x**3 + 5*x**2. Let d be p(-5). Let l = d + 0. Does l = -1?
False
Let x = 6 - 4. Let j = 8 - 5. Suppose -2*l = -l - j. Which is smaller: l or x?
x
Let d = 9/10 + -79/60. Let m = 1/12 + d. Which is smaller: m or 1?
m
Let j(y) = 2*y**2 - 2*y - 7. Let o be j(3). Is 5 <= o?
True
Let n(l) = -l - 6. Let k be n(-9). Suppose 4*a - 1 = k. Is 2/7 greater than or equal to a?
False
Let d = -78/11 - -35/22. Do -7 and d have different values?
True
Let y be 2 - (-2 - (0 + -4)). Which is smaller: 4/9 or y?
y
Suppose r + 16 = 5*g, -5*g + 12 = -2*g. Which is smaller: 5 or r?
r
Let t(r) = 6*r**2 + 7 + 3*r**3 - r + 0*r**3 + 3*r. Let u(o) = 2*o**3 + 6*o**2 + 3*o + 7. Let b(a) = 3*t(a) - 4*u(a). Let f be b(7). Is f smaller than -1/4?
False
Let h(j) = -j**3 + 2*j**2 + 3*j - 1. Let g(w) = -w**3 + 5*w**2 + 3. Let o be g(5). Let n be h(o). Is -1 equal to n?
True
Let u = 15 + -133/9. Let z(t) = t - 3. Let i be z(3). Does i = u?
False
Let m(p) = p**2 - 3*p - 7. Let s be m(5). Suppose 2*r - 5*t = 6, 0*r + 5*t + 12 = -r. Let g be 0*(-2)/(-4) - r. Is s equal to g?
False
Let y = 28 - 27. Which is smaller: y or -2/7?
-2/7
Let j be -4 + 1 + (10 - -1). Is 9 less than j?
False
Let n = -377/198 + 81/22. Is n > 1?
True
Let p(l) = -l**3 - 14*l**2 - 13*l + 1. Let x be p(-13). Is 2/61 at most x?
True
Let u be 0 - (3 + (-130)/42). Let w = -59 - -59. Is w equal to u?
False
Suppose -5*n = 5, 3*k + 2*k + 5*n - 50 = 0. Let o = -10 + k. Which is smaller: 3 or o?
o
Let g be (-4 - -4)*(-2)/6. Suppose -10 = -c - 3*b + 4, -4*b + 16 = g. Let r be (c/(-6))/(2/(-12)). Are 0 and r non-equal?
True
Let w be ((-9)/6)/(3/(-4)). Suppose z - 5 = -3. Is w greater than z?
False
Let w(z) = -z**3 - 2*z**2 - z + 1. Let q be w(-2). Suppose 5*g - q*x = -4*x + 3, g + 3*x = -5. Which is smaller: g or 0?
0
Let s = -21 - -22. Let l = -48226 + 5642398/117. Le