ter: 6/7 or c?
c
Suppose -4*m + 1 = -19. Let y be (-2)/18*(m + -3). Let l = -24.9 + 25. Which is smaller: l or y?
y
Let p(s) be the second derivative of -s**3/6 + 2*s. Let d be p(-1). Is d less than or equal to 2/9?
False
Let i = -6.2 - -6. Let n = -3.2 + 3. Let x = n - i. Which is smaller: -1 or x?
-1
Suppose -1 + 15 = -7*w. Is 2 != w?
True
Let p be -2 + 1 + -1 + 1. Let j be (-4 - p)/((-2)/(-8)). Is j smaller than -12?
False
Suppose -10 = -3*y + 4*u, y - 2*y + 3*u + 5 = 0. Suppose -y*l = -2 - 0. Is l < 2?
True
Let l = -1 + 0.9. Let a = -22.89 - -23. Let f = a - 0.11. Which is bigger: f or l?
f
Let n be 2 + (-243)/78 + 1. Let s = 89/130 - n. Which is greater: 1 or s?
1
Let u = 70483/100964 - 1/2348. Let r = 724/1161 - u. Which is smaller: r or 1?
r
Let v = 0 - 0.1. Let w = 21.8 - 22. Is v != w?
True
Suppose -2*h - h = 0. Which is smaller: 1/12 or h?
h
Let k be (-11 + 9)*1/(-2). Are k and 2/7 nonequal?
True
Let c = 2.03 - 0.03. Let x = -48 - -97/2. Is x smaller than c?
True
Suppose 2*h + 3*x - 2*x + 11 = 0, 0 = -2*h + 4*x + 14. Let t be 0 + (-70)/(-23) + h. Which is greater: t or 1?
1
Let w = 8 + -5. Let v be w + 0 - 5682/(-21). Let p = v - 274. Is 1 < p?
False
Let a = 0.25 + 0.4. Let i = -0.7 + a. Which is bigger: i or -1/4?
i
Let g = 90 + -62. Suppose -c - 5 = -3. Let r be c/7 + (-27)/g. Which is smaller: -1 or r?
r
Let v be (-2)/(-6)*3*(-2)/(-562). Which is smaller: v or 1?
v
Let d = -38 - -38. Is d at least as big as -0.08?
True
Let s be 0 - -2 - (3 + 0). Let k be (3/20)/(9/(-6)). Is s less than k?
True
Let l(j) = -3 - j + 0*j + 0*j. Let y be l(-2). Does y = -2?
False
Suppose -4*u = -3*u - 1. Is 2/5 != u?
True
Let o = -5 - -7. Suppose 0 = o*y + 3 + 3. Suppose -5*c - 2*g = 30, -5*c + 2*g - 15 = g. Which is bigger: y or c?
y
Let m = 1 - 3. Let f = 3 + m. Let q be 1*(f - 0)/(-6). Is 1 >= q?
True
Let g(p) = 2*p + 1. Let k be g(1). Let d = k + 2. Let h be (7/(7/6))/1. Which is smaller: h or d?
d
Let t be (-33)/(-22) - 19/(-2). Suppose -4 - 18 = -2*k. Is k at most as big as t?
True
Let a = 0.02 - -0.5. Let l = 0.02 - a. Are 2/9 and l equal?
False
Let f be (-1)/3 - 3*(-12)/189. Is f smaller than 1?
True
Let v = 1.94 - 0.94. Which is smaller: -10 or v?
-10
Let o(r) = r - 6. Let v be o(7). Let u be v/(-2 + (2 - -1)). Let q be 4 - 2 - (4 + -2). Which is smaller: q or u?
q
Let d be 2/(-9) + 140/63. Is 0 smaller than d?
True
Let d be 5/20*(-52)/(-2). Which is greater: 6 or d?
d
Suppose 3*s - 3094 = -4*z + 6*s, 0 = -3*z - 4*s + 2333. Let x = z + -25573/33. Which is smaller: x or 1?
x
Let d = -71 - -106. Let w = 55 - d. Do w and 1 have different values?
True
Let j = -7 - -7. Let g be ((-257)/3)/(0 - 1). Let l = 85 - g. Which is bigger: l or j?
j
Let h be 2/(-16) - (-42)/48. Is -0.4 >= h?
False
Let n(b) = b**3 + b**2 - b - 2. Let q be n(-2). Let c be ((-16)/(-6))/(q/18). Let t be 3/(-9) + 5/c. Is t < -2?
False
Let z(s) = 5*s**2 - 7*s - 7. Let g(x) = 2*x**2 - 2*x - 2. Let h(m) = 8*g(m) - 3*z(m). Let u be h(-4). Let v = -123/2 - -619/10. Is u equal to v?
False
Let x be (-5)/2 + 21/14. Let a be (-3)/(-1) - x - 2. Which is smaller: a or 1?
1
Suppose 2*w + r - 3 = 0, 5*r - 7 = w - 36. Let z(k) = k - 5. Let q be z(7). Let x be ((-2)/w)/(q/4). Is x at most 0.3?
True
Let z be (-296)/40 - (-3 - 2/2). Which is smaller: z or -3?
z
Let o be (-4)/(-6)*(-267)/(-2). Let a = o + -54. Let v be 1 + 1 + a/(-20). Is -0.2 at most v?
True
Let k = 151 + -1061/7. Which is smaller: 0 or k?
k
Let z = -0.6 + 0.3. Let a = 0.4 + z. Let y = 4.8 + -5. Which is bigger: a or y?
a
Suppose 3*n + 17 = 2*m, 0*m + 3*n = 3*m - 24. Let z be -12*(-4)/6*1. Is m bigger than z?
False
Let f be (-3)/(-9) - (-72)/27. Which is smaller: 7 or f?
f
Let g = 1.77 - 1.7. Let h = -0.13 - g. Let m = -0.1 + h. Is m at least as big as -2?
True
Let d = 15 + -46. Are -1 and d nonequal?
True
Let q be ((-5)/10)/(1/(-8)). Suppose -q*k - 4 = -0. Is 7 != k?
True
Let q = -21 - -15. Are q and -9 equal?
False
Suppose 5 = -5*w - 0*w. Which is bigger: w or -2/11?
-2/11
Let s(d) = -2*d. Let c be s(-1). Let m be c/(-1)*(-1)/(-2). Which is smaller: 2/7 or m?
m
Let n = 10 - 9.92. Is 3 <= n?
False
Let y(v) = v**3 + 6*v**2 - v - 6. Let b be y(-6). Suppose 34 - 6 = 2*g. Let r be (-32)/63 - (-4)/g. Which is greater: r or b?
b
Let x(k) = k**2 - 23*k - 29. Let d be x(24). Are -7 and d nonequal?
True
Suppose j - 469 = -6*j. Is 66 smaller than j?
True
Suppose -l + 5*l = 0. Suppose l = -5*k - 3 + 8. Which is greater: 4/15 or k?
k
Let h = 0.04 - 0.04. Suppose -4*w - 28 = -5*k, 5*w + 3*k = 5*k - 18. Let t be (w/(-6))/(3/15). Is t greater than h?
True
Let g(u) = -u + 7. Let y be g(7). Suppose y*f = -f. Let i be (-15)/(-36) + (-2)/3. Do i and f have the same value?
False
Let c = -13 - -10. Is c less than or equal to -0.2?
True
Let c = 0.16 + 1.64. Let b = 1 - 1.2. Let h = b - c. Is 1/4 equal to h?
False
Let r be 208/7 + 4/14. Let i be 1/(-2*(-3)/r). Is i <= 3?
False
Let w(k) = 11*k**2 - 7*k - 9. Let d(y) = 4*y**2 - 2*y - 3. Let g(p) = -8*d(p) + 3*w(p). Let t be g(5). Do t and -2 have the same value?
False
Suppose -4*m + 5 = 2*z - 9, -3*m - 5*z + 28 = 0. Let q(l) = 2*l - 1. Let r be q(2). Which is smaller: r or m?
m
Let y(j) = -j**3 + 17*j**2 - 7*j - 15. Let h be y(17). Is -133 less than h?
False
Let q(i) = 3*i**2 - 2*i - 1. Let l(k) = 13*k**2 - 8*k - 4. Let b(m) = -2*l(m) + 9*q(m). Let f be b(3). Which is greater: 0.3 or f?
f
Let n be (-1)/(15/(-42)) - 3. Let g = 0.03 + 0.02. Let o = g + 0.05. Is o != n?
True
Suppose x + 16 = -4*n, 4*x + 4*n - 7 = -23. Suppose j = -x*j + 1. Let g = -4 - j. Which is smaller: -6 or g?
-6
Suppose 0 - 4 = -l. Suppose 2*v = -6 - l. Is v not equal to -5?
False
Suppose 2*q = -3*q. Suppose 3*s + 4*r = 12, -r + q = -3. Which is greater: 2/23 or s?
2/23
Let g(p) = p**3 - 10*p**2 + 12*p + 9. Let z be g(9). Which is smaller: z or 35?
35
Let n(p) be the third derivative of -p**5/60 - p**4/6 + p**3/3 + 3*p**2. Let v be n(-5). Are v and -3 non-equal?
False
Suppose -5*n - 5*c - 20 = 0, -18 = 5*n + 3*c + c. Is -2 bigger than n?
False
Let r = -2 - -1. Let f = r - -3. Let w = 4 - f. Is 1 at most as big as w?
True
Let s be -2 - 12/(-1) - 3. Let d be s/14 - 6/4. Is 1/6 greater than d?
True
Let q be (-3)/(-2)*(-4)/(-3). Suppose q*l - 6*l = 8. Suppose 4*s + 6 = s. Is s equal to l?
True
Suppose 4*r = -r + 2*g - 31, -6 = 3*r + 3*g. Which is smaller: -8 or r?
-8
Suppose 0 = 2*r - 0*r - 2. Let x = -271/973 - 1/139. Are x and r unequal?
True
Let t be 1 - (-2 - (11 - 2)). Suppose 2*x + t = 6*x. Suppose a + 2*u = u, -x*u + 3 = 0. Which is smaller: -1/3 or a?
a
Suppose o - o + o = 0. Which is greater: -6/7 or o?
o
Suppose 5*m = 5*y - 25, -3*m = -4*y - m + 10. Suppose y*q = -q + 3. Suppose k + z - 1 = 0, -3*k + k - 3*z = -q. Which is smaller: 2/9 or k?
k
Let h = 49 + -48. Which is bigger: h or -0.17?
h
Let d = 35.13 - 35. Is d != -1?
True
Suppose -3*t + 8*t + 75 = 0. Let n be 4/26 - t/156. Which is bigger: n or 2?
2
Let s = -413 + 125. Let t be -3 + (s/(-21))/4. Which is smaller: t or -1?
-1
Let t = -6/19 + 130/171. Suppose -4*c - c - 2*b = -13, -c - 7 = -2*b. Which is bigger: t or c?
c
Let z = -0.032 - 6.968. Is z >= 1?
False
Let q = 115 + -115. Are -43 and q non-equal?
True
Let i(s) = s**3 + s**2 + s + 1. Let x be i(-2). Let j be ((-1)/3)/(2/(-3)). Which is greater: j or x?
j
Let v be 3/(-2) + 36/8 + 1. Let g = -2 - -4. Which is smaller: v or g?
g
Let t = 18 + -19. Which is smaller: t or 0.2?
t
Let z(y) = y**3 - 7*y**2 - 9*y - 4. Let f be z(8). Let n be f/11*12/8. Which is smaller: -3 or n?
-3
Suppose 0 = -5*o + 178 + 32. Let k be -1*2/(o/9). Let u = -22/35 - k. Which is smaller: u or -1?
-1
Let f be ((-2)/4)/(2/4). Let k be 0/(1 + (0 - f)). Suppose 4 + 0 = -4*m. Which is smaller: m or k?
m
Let i(f) = -f - 8. Let n(k) = -2*k - 16. Let a(s) = -7*i(s) + 4*n(s). Let x be a(-3). Are x and -5 equal?
True
Let q(d) = -d**3 + 4*d**2. Let i be q(4). Let h(k) = -k + 3*k - 2 - 2*k**2 + 3*k**2. Let z be h(-3). Which is smaller: i or z?
i
Suppose x = -2*w - 4, x = 3*w - 0*x + 1. Which is smaller: w or -12?
-12
Let t(i) = i**3 - 9*i**2 - 9*i - 25. Let o be t(11). Which is smaller: 117 or o?
117
Let l(n) = n**2 - 4*n - 11. Let d be l(6). Is d at least 0?
True
Let x be -2*-4*(-3)/12. Which is smaller: x or 5?
x
Suppose 0 = t - 20 - 15. Suppose -4*