 4, 5*j = 10. Let q(z) = -z**2 - 6*z - 5. Let i be q(-4). Are i and l nonequal?
True
Let l = 31/4 - 8. Are 31 and l equal?
False
Let t be (-9)/(-2)*4/(-6). Let d(i) = -i**2 + 3*i + 14. Let q be d(6). Which is smaller: t or q?
q
Let k = 0 - -3. Suppose 2 + 5 = 7*b. Which is smaller: b or k?
b
Suppose 2 = -2*n - 4. Which is greater: -4 or n?
n
Let y = 4.9 - 2.9. Is y at least as big as 1.9?
True
Let d be -1 + 0/2 - -3. Let g = 0 - d. Which is bigger: -2/5 or g?
-2/5
Let i = 0.4 - 0.5. Let l = -0.1 - i. Let p = l + -1. Which is bigger: p or -2/5?
-2/5
Suppose 0*h = -2*h. Let o be 148*(2 + 30/(-8)). Let y = o + 1810/7. Which is greater: y or h?
h
Suppose -4*u + 2*g - 16 = -g, -3*u = -2*g + 11. Which is bigger: u or 3?
3
Suppose 8*s - 4*s = 0. Does 3/4 = s?
False
Let b(m) = m**2 + 2*m + 1. Let y(n) = 2*n**2 + 4*n + 2. Let r(i) = -13*b(i) + 6*y(i). Let w = -3 - -2. Let t be r(w). Is -2/9 smaller than t?
True
Let h be -1*(-3 - (1 - 2)). Suppose 7 = 3*n - 5. Let k be 2/(n/h) + -1. Does k = 0?
True
Suppose -24*k - 117 = -27*k. Suppose -v = -4*g + k, 0*v + 27 = 2*g + v. Is g != 12?
True
Let s = -68/3 - -253/6. Let i = 269/14 - s. Let h = -1 - 0. Is h less than i?
True
Let b = -9 - -1. Let a = -8 - b. Which is bigger: a or 1?
1
Let a = 648 - 25274/39. Is a smaller than 1?
True
Suppose -51 + 3 = -4*v. Suppose -t - t = 3*o - 23, v = 3*t. Suppose -r + 12 = -o*r. Is r at least as big as -3?
True
Suppose a = -a - 180. Let o be 2/(-9) - 92/a. Is 1 > o?
True
Let s = -4 - -3. Let c be 1 - (-3 - -2 - s). Are c and 2/17 non-equal?
True
Let g(t) = t**2 - 23*t - 22. Let z be g(24). Let k = -2 - -4. Are z and k nonequal?
False
Let z(a) = -7*a + 3. Let k be z(3). Let y be 3/5*(-12)/k. Which is bigger: -1 or y?
y
Suppose 0 = 4*k - 23 - 49. Suppose -4*r - k = -2*l, 3*r + 8 = -3*l + 2*r. Let b be 6/10*(-1)/(-3). Which is greater: l or b?
b
Let a(f) = -5*f - 5. Let u(i) = -3*i - 3. Let w(p) = 5*a(p) - 8*u(p). Let k be (-4)/(-14) + (-92)/28. Let z be w(k). Is 4/5 != z?
True
Suppose -10 = v - 3*b + 6, -15 = 3*v + 2*b. Let y = v - -8. Is y at most as big as 3?
True
Let a = -0.1 - -1.1. Let u = -0.9 + a. Let f = -0.1 - -1.1. Which is smaller: f or u?
u
Let w(p) = -4*p**3 - 2*p**2 - 2*p - 1. Let z be w(-1). Suppose 4*u = -4*y + z*y - 15, -5*u = -5*y. Which is greater: 1 or u?
1
Suppose 6*i = 2*i. Let l be (i/(-2) - -1)/(-1). Let z = 35 - 32. Is l > z?
False
Suppose 0 = -2*g - 1 - 7. Let p = g + 7. Suppose p*s - s = 0. Is -2 greater than s?
False
Let f = -7.806 + 0.776. Let c = 0.03 + f. Which is greater: c or -1?
-1
Let d be 4/(-2) - -2*1. Let j = 360 + -360.8. Is d <= j?
False
Let f = 0.4 - 0.3. Let s = f - 0.2. Let q = s - 2.9. Is 1 > q?
True
Let x(c) = 4*c - 7. Let s(y) = y. Let l(v) = 5*s(v) - x(v). Let u be l(-7). Which is greater: u or 3/22?
3/22
Suppose 0*a = -2*a - 46. Is a at least as big as -24?
True
Let n(q) = q - 4. Let j be n(6). Let m be 1/j + (-4)/8. Suppose 4*a - 20 = 4*f, -2*a + 14 = -4*f - 6. Does a = m?
True
Let p = 913/219 + 12/73. Which is smaller: p or 3?
3
Let k be 1/((-2)/4) + 4. Suppose -p + 8 = 12. Let j = p - -4. Which is bigger: j or k?
k
Let x(q) = -39*q**3 + 2*q + 1. Let z be x(-1). Let i = -227/6 + z. Are i and -1 equal?
False
Suppose -3*i - 13 + 4 = -r, -i - 2 = 0. Let m be (-4)/(-4) - 4/r. Is m < -3?
False
Let s = -51 - -44. Which is smaller: -17/3 or s?
s
Let a be -3 + 1 + (5 - 1). Let m = -2 + a. Let s = 1 + m. Which is greater: s or -1/8?
s
Let r = -101/4 + 76/3. Let j = -1/6 - r. Suppose 0 = 3*k + 3*m - 8*m + 28, 3*k = -3*m + 12. Which is smaller: j or k?
k
Let u = 0.1 - -1. Let x = u - 1.2. Which is smaller: x or 1/2?
x
Suppose 0 = s - 3*f, -5*s + f + 56 = -0*f. Let r = -49/4 + s. Which is smaller: 0 or r?
r
Let v be ((-2)/(-10))/((-6)/285). Which is greater: -11 or v?
v
Let t = -0.4 + -3.6. Let h = t - -3.5. Let u be (-2)/(-6) + (-7)/12. Which is smaller: h or u?
h
Let g be (-11)/10 - 3/(-5). Let n = 5.9 - 6. Which is greater: n or g?
n
Let m(n) = n**3 + 4*n**2 + 2*n + 3. Let i be m(-4). Let o be -3 - -1 - 14/i. Which is greater: o or 1?
1
Let f = -0.3 + 0.5. Let z = f + -0.2. Is 0 at most z?
True
Let u(b) = -b**2 + 5*b + 4. Let c be u(5). Suppose -c*z = -a + 19, -3 + 12 = -4*a - z. Let y be (-4)/16 - (-5)/52. Are y and a non-equal?
True
Let t = -7315.57 + 7282. Let l = 34 + t. Let w = -0.03 + l. Which is greater: w or -1?
w
Let y = -4 - -5. Is y greater than 0?
True
Let f = 11 + -9. Let y be 50/126 + f/(-7). Are 0 and y non-equal?
True
Let b be 3/(-14)*-6 + (-20)/70. Which is smaller: -1/11 or b?
-1/11
Let z = -179/4 + 45. Let f = -21 + 27.2. Let x = 6 - f. Is z less than x?
False
Let a(s) = -s + 1. Let q be a(-7). Let p be 4 - q - (-3 + 0). Is 0.1 bigger than p?
True
Let y be 1/(-2) + (-78)/(-20). Let p = 83/20 - y. Is p at most -2/3?
False
Let p = 3/70 - 11/490. Which is smaller: p or -1?
-1
Let h = 15 + -18. Which is bigger: h or -7?
h
Suppose -y = 2 - 0. Let q be 4/(-10)*5/y. Which is smaller: 2/17 or q?
2/17
Let m(k) = 11*k**3 - k**2 - 3*k + 5. Let c be m(4). Let g = 2711/4 - c. Let p = g - -11/4. Is p > -0.3?
False
Let y = -0.78 - -0.68. Is y less than or equal to 13?
True
Let d be 5 + -5 - (1 - 1). Which is bigger: -1 or d?
d
Let v = -2 - -4. Suppose -2 = -v*t - 6. Let m be -1*1/(t - -3). Which is smaller: m or 1/5?
m
Suppose 3*v + 11 = -2*s + 1, s = 2*v - 5. Suppose b - 3 = 2*m - 2, v = 2*b + 4*m - 2. Suppose -5*n = 2*w + b, -8 = -w + 5*w + 4*n. Which is bigger: -1 or w?
-1
Let u = -15 - -22. Is 8 at most u?
False
Let m(b) = b - 2. Suppose -4*o = 5*l + 4 - 19, 0 = -o. Let k be m(l). Suppose 3*t - k = 5. Which is greater: 3/2 or t?
t
Let k = -4.32 - -4. Let m = -0.22 - k. Which is bigger: -0.08 or m?
m
Let m = 0.14 - -6.86. Let a = 12 - 6. Let v = m - a. Which is smaller: -1/7 or v?
-1/7
Let i = 454340 + -167651342/369. Let z = i + -4/41. Are z and 1 nonequal?
True
Suppose -5*v + 10 = 5. Which is smaller: v or -2/33?
-2/33
Let i be (-241)/6 - (-2)/60*5. Is i at least -40?
True
Let w(y) = y + 2. Let f be w(-2). Let x be (18/(-26))/(15/(-10)). Is x != f?
True
Let f = -28 - -28.09. Are f and -2/7 unequal?
True
Let s = 23513/16 + -1469. Which is bigger: 0 or s?
s
Suppose 7 = 2*d + 3*d + 3*t, 0 = 5*d - t - 11. Suppose d*s + 4 = -2*s. Is 1/8 greater than or equal to s?
True
Let l be (1 - 14)*172/(-15). Let y = -149 + l. Is 0 at most as big as y?
True
Let o = 5.89 - -0.11. Let h = o - 3. Let k be (-2 + (-26)/(-12))*-2. Which is smaller: h or k?
k
Let a be (26/39)/(1/3). Is 9/8 greater than or equal to a?
False
Let o = 3 + -4. Suppose 2*k = 2*n + 12, -3*n + 1 + 1 = k. Is o less than n?
False
Let b = 9.04 - 0.04. Let a = b + -10. Let o = a - -1.1. Is o <= 7?
True
Let w = -21 + 29. Let d = w + -14. Let s be (d/10)/(8/(-10)). Which is bigger: s or -2/3?
s
Let j = 1.2 + -0.2. Let s = -1.3 + 1.4. Which is bigger: s or j?
j
Let b = -109/2 + 54. Is b not equal to 5?
True
Let g be (6/(-9))/((-8)/(-60)). Let u(o) = -o**3 + 3*o**2 - 3. Let a be u(3). Is g smaller than a?
True
Let y(g) = -g**3 + 5*g**2 + 13*g + 6. Let f be y(7). Is -1/112 greater than or equal to f?
True
Let f be 4/(-6) + 4/6. Let a(r) = -r - 12. Let s be a(-9). Let u be (8/21)/4*s. Is f less than or equal to u?
False
Suppose 0 = -5*r + 5*p + 15, -5*r - 4*p - p = 25. Are r and -2/13 equal?
False
Let x = -2 + 2.18. Let s = x - 8.18. Which is bigger: s or -1?
-1
Let m = 352 - 5276/15. Is m > -1?
True
Let m = 5 + -2. Suppose -2*v - 9 = 5*b - 25, -10 = -m*b - v. Suppose -f = -b*f - 6. Does f = -1?
False
Let w(b) = -b**2 + 6*b + 2. Let h be w(6). Suppose -2*z = h*u + 2, 2*z - 2*u - 3*u + 9 = 0. Let l = z + 2. Is l bigger than -2?
True
Let u = 24954/11 + -2266. Which is smaller: u or 4?
u
Suppose 0 = v + 3*v + 160. Which is smaller: -41 or v?
-41
Suppose 4*m + 1 = -2*b - 11, -3*b - 9 = 3*m. Suppose b - 15 = y. Let n be (-6)/((y/(-1))/(-3)). Is 0 bigger than n?
False
Let y(a) = -a - 2. Let w be y(-2). Suppose w*q = -k + q + 7, 3*k + 3*q - 9 = 0. Suppose 3 - k = f. Which is smaller: f or -1?
f
Let h = 57/20 - 18/5. Let c(r) = -r - 4. Let q be c(-6). Let y = q - 3. Is y greater than h?
False
Let t = -2 + 2. Let n = 1 - t. Let u = 2/157 - 328/1099. Which is bigger: u or n?
n
Suppose 6*p = 8*p + 2. Are -6/11 and p nonequal?
True
Suppose 4*i = 6 + 14. Suppose 0 = -x + i*x. Are 1/3 and x no