3*r - 4*l + 4 = 0. Suppose 0*m = -r*m. Are 2/5 and m nonequal?
True
Let t = 0.2 + 0.8. Let c = -0.5 + -3.5. Are t and c nonequal?
True
Let d be 0*((-16)/(-6) - 3). Suppose -4*g - 3*w = 0, -g = g + 5*w. Is d at most g?
True
Let x(m) = -m**3 - 3*m**2 - 3*m + 4. Let t be x(-3). Is t at most 14?
True
Suppose 2 = -3*q + 11. Let t = q - 1. Let i be 6*1/t*-1. Which is greater: -4 or i?
i
Let d(r) = r**2 - 11*r + 12. Let q be d(10). Suppose q*o - 12 = 4*o. Let t = -6 - o. Does 2 = t?
False
Suppose -2*t + 0*t = -8, 4*n + 3*t = 4. Is -2 greater than n?
False
Let f = -2 + 3. Let d(u) = u**3 - 11*u**2 + 2*u - 15. Let q be d(11). Let z be q - (1 - (-2)/f). Which is smaller: 5 or z?
z
Let o be (0 - -2) + (4 - 1). Let q be -3 + o + 34/(-18). Do q and 1 have the same value?
False
Let t be (-6*(-4)/(-6))/(-1). Suppose n + 3*i - 7 = 2*i, -t*n = -3*i - 14. Suppose 2*v - n*v = -4*y + 8, 5*v + 23 = -3*y. Which is smaller: -1/3 or y?
y
Suppose -x + 0*z - 4 = -2*z, 0 = 3*z - 9. Let a = -10 + 15. Let p = -14/3 + a. Is x smaller than p?
False
Let b = 121 + -109. Is b bigger than 14?
False
Let v = -3 - -5. Let y(u) = -2*u**3 - 2*u**2 - 2*u - 1. Let q be y(-1). Suppose -v*z - q = -3. Is z less than or equal to 1/7?
False
Suppose 0 = -j - 2*j + 3. Is 6 at least j?
True
Suppose u + 14 = 2*u. Let r be ((-4)/10)/(u/10). Which is greater: r or 1/4?
1/4
Let r(m) = -2*m**3 - 3*m - 3. Let h(j) = 3*j**3 + 4*j + 4. Let t(p) = -3*h(p) - 4*r(p). Let s be t(-1). Suppose -5*y - s - 9 = 0. Are y and -1 equal?
False
Suppose 0 = -3*z - 1 + 7. Let j = z + -1. Let r = j + -1. Is r less than 0?
False
Let b = 559/1752 - 2/73. Let a = 491 - 3923/8. Let n = a - b. Is -1 != n?
True
Let k = 0 + -20. Let n be ((-2)/48)/(10/k). Let r = -2 - -2. Is r > n?
False
Suppose -j = 5*i + 2*j - 14, 3*i - 5*j - 22 = 0. Which is smaller: 7 or i?
i
Let o(t) = t**3 - 9*t**2 + 9*t + 2. Let z be o(8). Suppose w = p + 2, 2*w + 3*w = z. Do p and 0 have the same value?
True
Let i = 0.09 - -0.01. Let s = -0.1 + i. Let v = -0.2 - s. Is 3 at least as big as v?
True
Let j be (-3)/(-2 - 14/(-4)). Let m be (j - 2/1)/(-7). Suppose 0 = 3*l - 0*l - 3. Which is bigger: l or m?
l
Let i = -8 + 11. Suppose -32 = 2*s + 4*n, -s - 23 + 3 = i*n. Let h = s - -5. Is 0 at least as big as h?
True
Let j be (-4)/6 - (-2)/(-6). Which is bigger: -4/67 or j?
-4/67
Let o(c) = 1 - 4*c + 3*c - c + 3*c. Let f be o(-7). Is -6 greater than f?
False
Let m = -9 - -6. Let t = 0 - -8. Suppose o - 2*g - t = 0, 2*o + 21 = 4*o - 5*g. Which is smaller: o or m?
m
Suppose 5*c - 2 = 3. Let d be 4/(-18) + 96/189. Which is smaller: d or c?
d
Let g be 5/3 + 1*-2. Suppose 12 = t + 4*k - k, 3 = k. Let m be t/(-4) - 5/(-20). Which is smaller: m or g?
m
Let y be 4*-1*(-15)/12. Suppose 4 + 6 = -y*x. Is x less than -2/3?
True
Let r be 18/(-2)*40/(-24). Which is bigger: r or 12?
r
Let g = 25 + -18. Let x = g - 7.06. Which is greater: x or -0.2?
x
Let b be -1*(2 + (0 - 2)). Let q be 21/(-28)*(-2)/(-9). Is q greater than b?
False
Let r = 93/2 + -234/5. Let k be ((-1)/3)/(1/3). Which is bigger: k or r?
r
Let d = -1 + -28. Which is greater: d or 0?
0
Suppose -5*c + 7 = -3*y - 5, 0 = -2*y - 8. Which is greater: c or 3/14?
3/14
Suppose -3*r - 3 = -p + 4, 11 = 2*p - 5*r. Let c be 30/4*6/9. Let x be c/(-7)*p - 2. Is x greater than or equal to -2/9?
False
Let i be 53*-1 + (-2 - 1). Let r be (-22)/i*(-595)/650. Let d = r + -1/65. Is d at most 1?
True
Let b(v) = -v**3 - 4*v**2 + 3*v + 2. Let a be b(-4). Let x be (a + 10)*2/(-6). Which is smaller: x or -3/7?
-3/7
Let z = -0.13 - -0.07. Let q = 1.6 + -2. Let k = 0.4 + q. Do z and k have the same value?
False
Let t(k) = k**3 + 9*k**2 - 9*k + 10. Let h be t(-10). Suppose h = 4*s - 23 + 7, -2*v + 3*s - 12 = 0. Which is greater: -3 or v?
v
Let j(c) be the first derivative of -c**3/3 + 5*c**2/2 + 7*c - 3. Let d(s) = 3*s**2 - 4*s + 2. Let g be d(2). Let a be j(g). Which is greater: a or 0?
a
Let n = 12 - 12.2. Let q be 9/(-24)*2/3. Which is smaller: n or q?
q
Let t(w) = w**2 + 2*w - 5. Let i be t(-4). Suppose 0 = 6*k - 3*k - i. Suppose -12 = f - 3*z, 4*z + 15 = -f + 38. Does k = f?
False
Let o(z) = z + 8. Let j be o(-7). Suppose 2*p - j = 3. Suppose -4*g - p = 5*h + 1, h = -g. Which is greater: g or 1?
g
Let s = 18 + -30. Let t be ((-2)/s)/((-1)/4). Let z = 0 + 0. Is t at least z?
False
Let m = 24 - 23.84. Which is smaller: -2 or m?
-2
Suppose -6*q + 9 = -3*q. Let h(o) = -3*o + 6*o**2 - 7*o + 4 + 4*o + 1 - o**q. Let y be h(5). Are -2/3 and y nonequal?
True
Let o = 0.08 + 0.02. Let r = o + -0.2. Is r <= 0.3?
True
Suppose 9*p + 5 = 4*p. Do p and -1 have the same value?
True
Suppose -2*h = -h + 1. Let f = h - -1. Let u = 1/1523 + 1512/16753. Which is smaller: f or u?
f
Let j = 0.4 + -0.2. Suppose 4*p + 2*k = 4, 4*p + 2*k - 8 = -k. Is j at most p?
False
Let l(m) = 2*m - 5. Let k be l(1). Which is greater: 6 or k?
6
Suppose -6 = -3*j, -4*u + 0*j - 4*j = 0. Let a = -1 - u. Which is smaller: 1/12 or a?
1/12
Suppose 3*b - 20 = -2*b. Let r = -1 - -5. Let n be 3/r*2*2. Is n at most b?
True
Suppose 6*q + 5 = q. Let t be -1 - q - (-1)/1. Suppose -2*c + 4*o = -18, 0 = 2*c - 0*o - 2*o - 12. Do c and t have the same value?
False
Let n(v) = -v**3 + 2*v**2 - 3*v + 3. Let o be n(2). Let x(z) = -z**2 + 6*z - 2. Let w be x(5). Let a = -5 + w. Is o smaller than a?
True
Let r be ((-2)/(-2))/(4 - 3). Does r = 4?
False
Let j = 2.33 + -1.33. Let z be (3/9)/(5/(-3)). Which is smaller: z or j?
z
Let n be 0/4 - 2/48. Is n less than 1?
True
Let c = -1.1 - -7.1. Let x = -4 + c. Let p = 1.9 - x. Which is greater: -4 or p?
p
Suppose 0 = -o + 4 + 1. Suppose -20 = 4*w + q, 0 = o*w - 8*w + 2*q - 15. Which is greater: -4 or w?
-4
Let x(n) = n**2 + 6*n + 2. Let j be x(-4). Which is smaller: j or -9/2?
j
Suppose -4*y - 5*d + 10 = -3*y, 3*y - 4 = -2*d. Suppose 3*s + y*s = 0. Is -1 greater than s?
False
Let d be 9*((-21)/(-9) - 3). Let p = 6 + -1. Suppose 3*t + p*x + 30 = x, 4*x + 18 = -t. Are d and t nonequal?
False
Suppose -6*n = -2*n + 44. Let f = n - -9. Is f bigger than 0?
False
Let b = -3/49 + 5/882. Which is greater: 1 or b?
1
Let m be 6/(-2) - (6454/306)/(-7). Which is greater: m or 1?
1
Suppose r - 2*y + 58 = y, 0 = -5*r + y - 290. Let g = r - -289/5. Which is smaller: -1 or g?
-1
Suppose -3*w + 20 = w. Suppose -25 = 3*n + w. Are -9 and n non-equal?
True
Let w(y) = y - 3. Let t be w(-6). Let u be (0 - 2)*t/(-18). Which is bigger: -3/5 or u?
-3/5
Let z be ((-4)/16 - (-9)/(-12))*-5. Let s(x) = 2*x + 1. Let u be s(3). Is z bigger than u?
False
Let u(g) = -g**3 + 7*g**2 - 6*g + 1. Let t be u(6). Let j be 2 + t + -1 - 2. Is 0 at most as big as j?
True
Let k = -7.6 + -1.4. Let a = 9 + k. Let f = 0 + 0.1. Which is smaller: a or f?
a
Let v = 85 + -80.05. Let y = v + 0.05. Let w = y + -5. Does -0.1 = w?
False
Let g(t) = -5*t**2 + 2*t - 1. Let a be g(1). Let k = a + 5. Let u be (2 + -3)*k*-1. Which is smaller: 0 or u?
0
Suppose 3*j - 12 = 15. Which is smaller: j or 11?
j
Suppose 5*y = 7 + 3. Let z be -1 + y - (-2 + 1). Suppose z*r + 0 - 2 = 0. Is r at least as big as 2/3?
True
Let m be 197/2 - 4/(-8). Let y be (m/39)/3 - 1. Which is greater: -0.1 or y?
-0.1
Suppose -1 = 4*i - r, 3 = -2*i + 5*r - 2. Let o be i + 4*(-2)/(-72). Are 0 and o equal?
False
Let i = -14.86 - -15. Let x = -0.04 + i. Is 1/7 greater than x?
True
Suppose -4*z + 16 = -0*z. Suppose -4*l - h - 8 = -z*h, -6 = 3*l - h. Suppose 0*w + w + 4 = 0. Which is bigger: w or l?
l
Suppose 0 = -4*f + 8*f - 92. Which is bigger: 22 or f?
f
Suppose 2*i + 7 + 13 = 0. Let h = i - -10. Does h = -3/7?
False
Suppose -5*o + 0 = -4*b + 9, 2*o + 2*b = 0. Let m(l) = -l**3 - 6*l**2 + 7*l + 10. Let r be m(-7). Let f = r + -11. Is f smaller than o?
False
Let a be (-3 - (3 + -10))/2. Suppose 0 = -u - 5 + 1. Let q be (a - 1)*(-3 - u). Is q smaller than -2/17?
False
Let q = -13/4 + 43/12. Suppose -3*d - 3*f = 18, 5*d - f = 2*f - 22. Let x = 5 + d. Is x != q?
True
Let k = -3 - -2. Let r = 1 - -2. Let q = r + -2. Is k < q?
True
Let q be ((-66)/9)/((-12)/(-27)). Let r = q - -16. Is -1 at most as big as r?
True
Suppose 0 = -5*b + 3*m + 8, -b = 4*b - 5*m. Suppose 3*p + 5*x = 22, b*p - 6 = -x - x. Is p at most as big as -1/4?
True
Let k = -105 - -106. Is k at most 1/165?
False
Let t be (8/(-6))/(2/6). Let o be ((-5)/30)/(1/t). Is 1 > o?
Tru