ue
Let l(y) be the first derivative of y**2/2 - 3*y + 1. Let q be l(5). Let d be 0/q + 2/(-1). Which is greater: d or -3?
d
Suppose 254 = 4*f + 2*q, 4*f = 7*f - 2*q - 208. Which is smaller: 68 or f?
f
Let p(m) = m - 4. Let f be p(8). Suppose 124 = -4*r + f*h, -3*h = 5*r - r + 103. Is r equal to -27?
False
Let l = -17293/9493 + 3/863. Which is greater: -2 or l?
l
Let z(d) = -d - 1 + 3*d + 13 + d. Let c be z(-7). Let w = c - -10. Is 6/13 smaller than w?
True
Let r = -59 + 58. Let i = 31229/981 + -287/9. Is i smaller than r?
False
Let n(h) = h**2 - 4*h + 3. Let x be n(3). Let p be 312/32 + (-1)/(-4). Let y be (2/p)/(98/35). Is y >= x?
True
Let f = -258 + 254. Let r = 0.03 - 3.03. Let p = r - -5. Which is smaller: f or p?
f
Let c = 64 - 65.08. Let x = -2.01 - c. Which is bigger: x or 2/3?
2/3
Let z = 0.0154 - -16.9846. Is 0.1 less than or equal to z?
True
Suppose 3*r = -3*c - 2*c, 2*r - 28 = 6*c. Do 20 and c have the same value?
False
Let m be ((-1104)/(-10))/(-6)*220/(-8). Is m at most as big as 505?
False
Let r = -53 - -111.2. Let l = r - 58. Let z be (2/7)/(2 - 1). Is l less than or equal to z?
True
Let f(u) = -25*u**3 - 5*u**2 - 5*u - 1. Let a be f(-1). Are a and 176/7 unequal?
True
Let a(o) = -3*o**2. Let b be a(1). Let r = 7 + b. Suppose r*x - 1 - 3 = 0. Are -3 and x nonequal?
True
Suppose -2*g + 8 = 4. Suppose -g*j - 350 = -5*c + 26, 3*c = 2*j + 228. Which is greater: c or 75?
75
Let a be (10 + -8)/((-2)/188*4). Which is smaller: a or -44?
a
Suppose 3*b = 4*t - 1, -5*t + 1 = -4*b - 0. Let l(z) = z**2 - z - 2. Let p be l(-2). Let a be (t*-2*p)/(-10). Which is smaller: 1 or a?
a
Let m(s) = s**2 - s - 3. Let v be m(0). Let u = -641 - -638. Is v equal to u?
True
Let b = 28.3 - 5.3. Let j = b + -22.8. Is j bigger than 0.02?
True
Let c = -3354/5 + 76402/115. Let l = 13264/2047 + c. Which is bigger: l or 0?
l
Suppose -133*z + 28*z - 184*z = -31*z. Suppose -1380 = 7*s - 2*s. Let d = 6347/23 + s. Which is greater: d or z?
z
Let z be 275 - ((1 - 12) + 17). Does z = 271?
False
Let t = 20 - 20. Suppose t = -4*y + 3*n + 43, -4*y + y = -5*n - 35. Which is greater: y or 8?
y
Let w = 36 - 31. Let a be (w + -4)*(-2)/33. Is 0 not equal to a?
True
Let p = 2508 + -32623/13. Which is bigger: p or -2?
p
Suppose -42*n + 5796 = -18606. Is 581 <= n?
True
Let i be 6/4*(-34)/(-3). Suppose 1 = -2*p - 2*f - 5, 5*f = -3*p - i. Which is smaller: 1/4 or p?
1/4
Let k = 23 + -25.8. Let s = -3.08 - k. Which is smaller: 0.1 or s?
s
Let c(b) = -b**2 - 6*b - 8. Let g be c(-2). Is g > 26?
False
Suppose 4*h = -4*d - 196 - 8, 0 = 2*h - 4*d + 72. Which is smaller: h or -47?
-47
Let l(h) = -h**3 - 5*h**2 + h + 7. Let j be l(-5). Suppose 7*n = j*n - u + 27, -5*u = 4*n - 9. Let v(t) = 3*t - 3. Let s be v(n). Which is smaller: s or 14?
14
Suppose -32*u = 5*z - 37*u - 20, 0 = 2*z + u + 1. Which is bigger: -11 or z?
z
Suppose -6*c + 262 = -236. Let k = -82 + c. Which is greater: 2/109 or k?
k
Let q be ((-69)/(-230))/((-12)/(-16)). Let g = 1/121 + 229/1573. Which is bigger: q or g?
q
Let k = -272 - -272. Are 115 and k nonequal?
True
Let k(h) be the second derivative of -h**4/12 - 4*h**3/3 - 2*h**2 + 2*h. Let g be k(-8). Let y be (g - -6) + (-2)/4. Which is bigger: y or 3?
3
Suppose m + 2*a = 4*m + 17, 5*a + 52 = -3*m. Let n be m/(-6)*(-42)/(-9). Is 2 at least n?
False
Let m be (-2)/9 - (-808)/72. Suppose -3*t - 4*j - m = -1, 5*t + 7 = 3*j. Let c = -100.8 + 101. Is t greater than c?
False
Let c(z) = 313*z**2 + 31*z + 32. Let j be c(-1). Is 317 smaller than j?
False
Let k(h) = 14 - 5*h - 4*h + 35 + 6*h. Let v be k(18). Which is smaller: v or -1?
v
Let x = 1 - -3. Suppose -b + 3*v - 12 = 0, 6*b - b = -v + x. Suppose b = -5*m + m - 4*i + 12, 2*m - 41 = 5*i. Is m > 7?
True
Let g = -73/10 - -19/5. Suppose 0*c - 3*c = -3*v, c = -2*v + 6. Suppose 0 = -c*n + k - 13, 4*k + 13 = 3*n - 8*n. Is n at most g?
True
Let n(s) = 3*s**3 + s. Let d be n(1). Suppose -k = -0*g + d*g - 18, 4*g = k + 14. Suppose 3*l = -g*m + l - 10, 4*m - 2*l = 10. Is -0.5 greater than m?
False
Let h = -632629/183 + 3457. Let g be 13136/(-3660) + (-1 - -5). Let t = g - h. Which is bigger: t or -1/4?
t
Let h be (-15872)/56 + 2 + (-55)/35. Which is smaller: h or -284?
-284
Let s = -60 - -81. Let f = -40 - s. Is -61 != f?
False
Suppose 5*h + 3*m - 6 = 0, -6*h + 4*m - 8 = -4*h. Which is bigger: h or 12/71?
12/71
Let p = 3.8 + 1.2. Let m = 5 - p. Let y = 20.4 + -21. Which is bigger: m or y?
m
Let p = 20.037 - 0.037. Let j = -6 + 5.9. Is j < p?
True
Let h(k) = -1. Let d(u) = 5*u + 40. Let j(r) = -d(r) + 3*h(r). Let n be j(-8). Which is smaller: n or 7?
n
Let f be (-6)/(-104) + 12/(-78). Let b = f - 2/13. Which is smaller: b or -1?
-1
Let y = 65.39 + -66. Let t = y - -0.71. Let g be 6/(-4)*4/(-6). Are g and t non-equal?
True
Let o be (-12)/16 + 11/4. Let t be (4/10)/((-155)/(-75) - o). Suppose -3*s = -10 + 1. Is t at least s?
True
Suppose 7*q + 5*k + 8 = 4*q, 5*k - 4 = -q. Suppose -4*w - 3*v - 12 = -0*w, 2*v = -2*w - 6. Let b = w - q. Is 3 at most as big as b?
True
Let w = 86 + -86.28. Let g = w - 0.72. Which is smaller: -4.4 or g?
-4.4
Let n = 0.4 + 0.4. Let y = n + -1.3. Let i = -0.6 - y. Are i and -1 unequal?
True
Let t(q) = 3*q**2 - 4*q - 7. Let f be t(-3). Are -0.3 and f nonequal?
True
Let b be (-1089)/(-22) + 10/(-4). Suppose 6*y - 137 = 151. Which is smaller: y or b?
b
Let h = 4.97 + 0.03. Let p = h - 21. Let u = -20 - p. Which is bigger: u or -1/4?
-1/4
Let x be ((-84)/(-10))/(-6)*4/4. Which is bigger: -1 or x?
-1
Let l = 16 - 33. Let a = -9 - l. Is 7 greater than a?
False
Let k(b) = b**3 - 6*b**2 + 5*b - 4. Let z be k(3). Let y be (z + 1)*(-3)/9. Suppose 1 + 14 = 3*h. Is y greater than h?
False
Let q be (-2 + 10/(-1))/(7/(-42)). Suppose -10*y + y = -q. Let w(o) = o + 1. Let t be w(3). Which is bigger: t or y?
y
Let r = -205 + 204.86. Let x = -0.24 - r. Let k = -148 + 1925/13. Which is greater: k or x?
k
Let i = -0.004 - 0.262. Let g = i - -24.066. Let p = -24 + g. Which is bigger: 5 or p?
5
Let u be 2/17 - (-33698)/1411. Is 24 greater than u?
False
Let m(k) = 8*k**3 - k**2 + k + 2. Let b be m(-1). Is -39/5 not equal to b?
True
Let c = 85 + -50. Let i be (32/20)/(1/c). Suppose -6*v = v - i. Is 7 at most v?
True
Suppose -120 + 123 = 3*t. Let m = t + -34. Which is bigger: -35 or m?
m
Suppose -l - 16 = 5*r, 5*l - 6 - 64 = 5*r. Let m(v) = v**2 - 10*v + 13. Let k be m(l). Suppose -k = -2*d - 8. Is d at least -2?
True
Let t = -56 + 59. Suppose c = t*q - 5, 0*c = 4*q - 2*c - 8. Is q greater than or equal to -4/35?
True
Let h be 3*((-7)/(-3))/1. Suppose 0 = 5*j + 10 - 0. Let y be h + (j + 5)*1. Is 11 bigger than y?
True
Suppose -i - 54 = i + 2*o, -4*i + 4*o - 140 = 0. Suppose -31*n - 690 = -8*n. Which is bigger: i or n?
n
Let k be -1 + (124/(-6))/(-2). Let u be 47/1*(35/30)/7. Let r = k - u. Is 0.4 >= r?
False
Let m = 378 + -378. Are m and 1/142 nonequal?
True
Let p = 248 - 246. Let t be (-42)/32*(-2)/3. Which is greater: t or p?
p
Let v be (-26)/((-8)/(-4)) - -1. Let n(a) = -a - 18. Let g be n(v). Which is smaller: -5 or g?
g
Let s = 1 - 2. Suppose -9*q + 4*q - 75 = 0. Let p be (32/12 - 3)*9/q. Which is greater: s or p?
p
Let m(s) = s**3 - 10*s**2 + 27*s - 96. Let u be m(9). Is 60 < u?
True
Let p = 20 - 0. Suppose 0 = -5*t + p, -2 - 2 = 2*w - 3*t. Let v(d) = d**2 + 3*d - 5. Let l be v(-5). Is w bigger than l?
False
Let h be ((-140)/(-8))/(6/12). Suppose 0 = -4*a - 115 + h. Is a bigger than -21?
True
Let u be (-18)/45 - 26/10. Suppose 2*f + 22 = x + 2, 4*x + 3*f = 36. Let w be (-2 + 1)/(4/x). Is u at least as big as w?
True
Suppose 2*z = -2*w + 3 + 3, -5*w + 4*z + 6 = 0. Let g(c) = c**w - 8 + c + 5*c**3 + c**3 - 5*c**3 - 4. Let h be g(0). Which is smaller: h or -11?
h
Let m = -603 - -402. Is -201 bigger than m?
False
Let n(d) = -d + 9. Let j be 0 + -6*(2 + -1). Let a be n(j). Is a not equal to 15?
False
Let q = -777 + 777.01. Is -1.2 at most q?
True
Let g(f) = -f**3 - 10*f**2 + 3*f + 3. Let c be g(-10). Let q be (-2)/(-6) - (-117)/c. Let j be 3/(78/q*-1). Which is smaller: 0 or j?
0
Let v = -238 - -237. Which is bigger: v or -3/397?
-3/397
Suppose -8*w = -4*w + 5*x - 18, 2*x = 5*w - 6. Which is smaller: 9 or w?
w
Suppose 95 = -2*m - 3*m. Let s(h) = -h + 1. Let g be s(20). Is g <= m?
True
Let l be (-4)/(5/2 - 3). Let j = l + -12. Le