x or d?
d
Let w be ((46608/(-63))/1)/2. Let c = 370 + w. Which is smaller: c or -1?
-1
Let g be 6/(-4)*(-8)/(-18). Let t(i) = -2*i**3 - 2*i**2 + 3*i + 2. Let v be t(2). Let n be -8 - -5 - v/6. Which is smaller: n or g?
g
Let c(q) = -11*q**2 + 1. Let l be c(-1). Let s be (-7)/30 + (-4)/l. Which is smaller: -1 or s?
-1
Let r = -1.41 - -1.31. Let t be 1*(-1 + 0) + 19. Do t and r have the same value?
False
Suppose -5*f = 2*u + u + 18, -3*f + 5*u - 4 = 0. Let t(i) = -3*i + 1. Let x be t(f). Suppose -2*h + 7 = -w, x = -2*h + 4*h. Which is smaller: 2 or w?
2
Let v be 14/5 - 4/(-20). Let z be (-5)/2*v/(-15). Suppose -5*n = -4*r + 20, -2*r + 8 = -3*r - 2*n. Is r equal to z?
False
Let b = -3 - 2. Let x be (-3)/(b + 2) + -3. Is x > -1?
False
Suppose -10*d + 19 - 29 = 0. Let z(m) = m - 2. Let x be z(3). Let c be x - 1 - (-3)/(-12). Is c > d?
True
Let s be (-2)/(-2) + (-18)/(-3). Are 7 and s equal?
True
Let p = -17/30 + 1/15. Let b = 5 + -7. Which is smaller: p or b?
b
Let d = -51.3 - -49. Let o = d + 2. Let w = o + 0.4. Which is smaller: -1 or w?
-1
Suppose 3*r - 12 = 2*r. Suppose 0 = 2*v - 6*v + r. Is v greater than 1?
True
Let b(u) = -u + 1. Let q be b(1). Suppose q = -5*z + 3 + 2. Let d be (z/(-3))/(10/12). Which is greater: 2 or d?
2
Let q = -0.4 - -1.4. Let v = q - 1. Let c = 2 - 1.9. Which is smaller: v or c?
v
Let l(j) = 3*j**3 - j. Let r be l(1). Is r bigger than 2?
False
Suppose 0 = 3*o + 2*o - 25. Is o at most 2/11?
False
Let u = -4.11 - -4. Let z = -0.11 - u. Is z != -0.08?
True
Let f be ((-3)/(-6))/(6/(-4)). Is 3/5 bigger than f?
True
Suppose 3*r - f + 22 = 0, -3*r + f = 2*r + 34. Suppose d - 10 = 2*g, 2*g + 2*g - 4*d = -20. Is g at least as big as r?
True
Let j be -3 + 1/((-1)/(-8)). Let x = j + -6. Is -2/9 smaller than x?
False
Let w = 17 - 29. Let n be (-30)/20*(-2)/w. Are n and 2/43 non-equal?
True
Let w = 143.03 - 141. Let r = w + -0.03. Which is smaller: r or -0.7?
-0.7
Let u(p) = p + 4. Let w(q) = -1. Let s(i) = -u(i) - 4*w(i). Let y be s(2). Let r = y + 7/3. Is 3 at least r?
True
Suppose 0*d + d + 23 = -5*h, 4*d + 4 = 2*h. Let r be ((-1)/(-7))/(2/h). Which is smaller: r or -5?
-5
Let h = 2/51 + -89/102. Let x = -0.2 + 0.1. Which is greater: h or x?
x
Let l = -2.12 - -2. Let y = l - -0.02. Let h = 0 + y. Do 1 and h have the same value?
False
Suppose -3*v - r - 5 = 0, -2*v - 2*r - 3 = -r. Let b be (5 - (v - -1)) + -2. Which is greater: 3 or b?
b
Let t(q) be the third derivative of -q**6/120 - q**5/30 - q**3/3 - q**2. Let p be t(-2). Let r = -0.03 + 0.03. Is p less than or equal to r?
True
Let y = -0.06 - -0.16. Is y > 1?
False
Suppose -s - 2*l + 5 = 0, -s - 2*l = -5*l + 15. Is s equal to -8?
False
Let c = 17 - 3. Let p = 15 - c. Is p not equal to 5?
True
Let c be 2 - ((-14)/(-49))/(3/7). Which is smaller: c or 1?
1
Let w be (-39)/18 + (-4)/(-6). Let j = 3.2 + -3. Let s = -0.1 + j. Which is smaller: s or w?
w
Let a = 61 + -195. Is a greater than or equal to -134?
True
Let d be 8*3/6 + -7. Are d and -1 non-equal?
True
Let b = -316 - -7266/23. Is -0.1 greater than b?
False
Suppose -5*v - 23 = 2, 4*y + 3 = -3*v. Suppose 0 = -4*n + y*n. Let x be n/(3 + 0 + -1). Is x not equal to 3/4?
True
Let q = -6 - -10. Suppose -q*x + 3*y = 4*y - 14, -y = -2. Is x greater than 3?
False
Suppose 0 = -5*m + 2*m - 9. Suppose 3*s - 3*b = -0*s - 18, 2*s = -b. Which is smaller: s or m?
m
Suppose 2*b + 3 = -b. Let v = b - -3. Which is smaller: -1 or v?
-1
Let q(y) = y - 3. Let a be q(1). Is a greater than -3?
True
Suppose 6 = -4*l + 2. Is -6 <= l?
True
Let d(r) = r**3 + 4*r**2 + r + 5. Let j be d(-4). Which is smaller: j or 1/6?
1/6
Let l(q) = 3*q - 23. Let o be l(7). Is -2 != o?
False
Suppose -4*u = 2 + 14. Is u equal to 0.1?
False
Let t = -152 + 2566/17. Which is smaller: t or -1?
t
Let z = -104 + 105. Which is smaller: 19 or z?
z
Suppose -4*i = -4*l + i + 68, 2*l - 2*i - 32 = 0. Let k be (1/(-3))/((-44)/l). Is 1/3 >= k?
True
Let n = 195.2 + -195. Which is smaller: 0.074 or n?
0.074
Let z(u) = 2*u**3 - 3*u**2 - u + 2. Let b be z(2). Let i be 1*(-2 - (-3 + b)). Is -4 < i?
True
Let f be (-1)/4 - (-1)/(-4). Let i = -6 - -12. Let t = i + -6. Is t <= f?
False
Let p = -82 - -82. Which is bigger: p or -1/65?
p
Let i be (1 - 2)/(5 - 6). Suppose i + 2 = -3*d. Which is bigger: d or -1/5?
-1/5
Let i(b) = -8*b + 1. Let f(z) = 4*z - 1. Let a(k) = -7*f(k) - 4*i(k). Let u be a(-2). Let v = u + 1. Is 0.2 less than v?
False
Let p = 4291834 - 90108166/21. Let i = 968 - p. Let a = -2/3 - i. Which is smaller: a or 1?
a
Suppose -15 = -z - 4*k, 0 = z + z - 4*k + 18. Which is greater: 2/105 or z?
2/105
Let t = 1/12 + 7/12. Which is smaller: t or 2?
t
Let h(j) = 3 - j + 0 + 4 + 0. Let d be h(13). Which is smaller: d or -8?
-8
Let t be (-7)/3 - (-3)/((-54)/12). Which is bigger: 5 or t?
5
Let f(x) = -x**3 + x**2. Let j be f(1). Let p = j + -2. Is p >= -1/2?
False
Suppose 0 = -n - 3*n - 5*u - 3, 3*u + 9 = 0. Let h = -39 - -42. Is n less than or equal to h?
True
Let q be 4 + 2/(3 + -1). Let x = q + -5. Does x = 0?
True
Let j be 3/(-4) + 132/432. Is j < 0?
True
Let c = -26/49 + 12/49. Which is smaller: 0 or c?
c
Let f = 7 + -7. Let c be f - -2 - (-3)/(-3). Which is smaller: 3 or c?
c
Suppose -4*v = g - 2, g - 2 = -2*v - 0. Suppose 0 = 5*k - v*k + 20. Let n be (-1)/k + (-22)/24. Are 0 and n unequal?
True
Let g = 8 + -13. Let k be g/(-2)*(8 + -6). Which is smaller: k or 4?
4
Let w = -36 - -38. Is 8 <= w?
False
Let t be 11*16/1496 - (-241)/119. Suppose -s - 2 = -3*s. Does t = s?
False
Let c = 9 - -7. Let h = c + -10. Let k = h - 5.6. Is 2/5 at most as big as k?
True
Let t = 9 - 5. Let z(a) = a - 1. Let v be z(3). Is t at least v?
True
Let i = -7 - -15. Let h = i + -5. Is -1 greater than or equal to h?
False
Let y = 0.2 + 9.8. Is y > 1?
True
Let q = 2 - 4. Let d = q + 3. Suppose 0 = 4*r + 5*y, 0*y + 4*y = -2*r. Which is smaller: r or d?
r
Suppose 5*d + 24 = 3*d. Let s be -3 - 64/d - 2. Which is bigger: 0 or s?
s
Suppose 5*t + 4*k - 180 = -0*t, 10 = 2*k. Suppose 0*g = -2*v - 4*g + t, -4*v = -3*g - 9. Is 5 <= v?
True
Let g = 220 - 232.1. Let f = g + 12. Which is greater: f or -5/7?
f
Suppose 25 = 5*v, 0 = 3*o - 4*o + 3*v - 14. Let u = 0 + o. Let l be u - (0 - (-2 + 0)). Which is greater: l or -2/11?
-2/11
Let h be (-2)/8 - 18/24. Let q be (1/(-2))/((-8)/(-288)). Let c be (21/28)/(q/16). Which is smaller: c or h?
h
Let a(h) = h**2 + 20*h + 20. Let r be a(-18). Which is smaller: -20 or r?
-20
Suppose 5*x = 13*x. Which is smaller: 1/5 or x?
x
Suppose 4*z + 2 = -6. Let c(g) = -3*g - 2. Let p be c(z). Let j be (5 - p)/(1/2). Which is bigger: j or 0?
j
Let d be -15*(12/20 - 1). Which is smaller: 4 or d?
4
Suppose 11*v - 10*v = -1. Which is smaller: 3/28 or v?
v
Let j be (-12)/(-10)*30/(-42). Which is smaller: j or 0?
j
Suppose 0 = -4*c + 3*v + 642, 0*c - 2*c + 330 = 3*v. Let d = -2108/13 + c. Suppose -5*i + u = 0, 4*i - 2*i + u - 7 = 0. Are d and i equal?
False
Suppose -3*u - b + 5*b = -23, -4*u = 4*b + 16. Let i(p) = -7*p + p + 5*p + 1 - 7*p**3 + p**2. Let f be i(u). Which is bigger: -7 or f?
f
Let r(o) = o**2 + 4*o - 5. Suppose -3*u - 11 = 4. Let a be r(u). Let p = 0 - -1. Is p <= a?
False
Let f = -9 - -13/3. Which is smaller: f or -4?
f
Let k be 451/495 - 1/(-5). Is k > 0?
True
Let z = -1 + 0. Which is bigger: z or 2/5?
2/5
Let f = 0.24 + 0.06. Which is bigger: f or 1/5?
f
Let a = -11 - -6. Let b = a - -6. Is -3/5 not equal to b?
True
Let b = 1 + 1. Suppose 4*c = 3*c + 5*l - b, 4*c - 2*l = -8. Is c less than 1/4?
True
Let u be 6/(-5) - 5/(-25). Let y = u - -1. Is 2 > y?
True
Let k = 9 + -8.6. Let q = 0 + k. Is -2/11 < q?
True
Suppose 2 = -n - 4*s, 5*s + 85 = -0*n - 5*n. Let p be (0 - 1) + (-18)/n. Let q(h) = -h**2 + 11*h - 9. Let c be q(10). Which is smaller: p or c?
p
Suppose -5*l = -5*v + 50, 15 + 26 = 5*v - 2*l. Suppose -v = -4*q - 11. Is -10/13 != q?
True
Let t(o) = -4*o**2 - 4*o + 1. Let g(z) = 5*z**2 + 4*z - 1. Let y(a) = -5*g(a) - 6*t(a). Let l be y(4). Is 1/7 bigger than l?
True
Let m be (-2 - -2)*2/4. Which is greater: 20 or m?
20
Let d(b) = b**3 + 2*b**2 - 2*b + 1. Let k be d(-2). Suppose 5*l - 2*s - k = 0, -3*l + 14 + 0 = s. Which is smaller: 4 or l?
l
Suppose -3*l = -16 - 8. Is l less than 8?
False
Let u = -14.26 + 0.26. Let n = -14.1 - u. Which is greater: n or -18?
n
Let o = -2.87