(-68)/10 + 10/(-50). Let r = u + 7. Does -2 = r?
False
Let u = 12 + -13. Which is bigger: -2/7 or u?
-2/7
Let s(q) = -q + 8. Let h be s(7). Is -40 smaller than h?
True
Suppose 0 = 4*h - 0*h - 72. Let k be (3 + 0)*4/h. Which is greater: 0.01 or k?
k
Let w(y) = y**3 + 5*y**2 + 5*y. Let k be w(-4). Let p be 0*(-2)/(-6)*-3. Is p equal to k?
False
Let z = 5.948 + 0.052. Is -0.2 equal to z?
False
Let j = 0 + 0. Suppose d + 10 = 5*m - j*d, 0 = 5*d + 25. Let f = -2 + m. Is -2/5 > f?
True
Let t = 2188/5 - 14806/35. Let a = t + -104/7. Do a and -1 have the same value?
False
Suppose -3*l = l + 28. Let h(r) be the first derivative of 5*r**4/4 - 2*r**3/3 - r**2/2 + 3. Let d be h(-1). Is l > d?
False
Let y be (-16)/5 + 3/15. Let m be (-3 - y)/(5 - 7). Are 1/5 and m unequal?
True
Let p(n) = 0*n + 6*n - 7*n**2 + 2 + n**3 + 0*n. Let u be p(6). Suppose 5 + 1 = u*q. Is 4 > q?
True
Suppose -4*c + c = 0. Suppose c = 4*j + j - 35. Is j <= 7?
True
Suppose -d - 49 = 4*c, 0 = -5*c + c + 4*d - 24. Which is greater: c or -2?
-2
Let q = 3 + -1. Let n be -1 + -1 + 144/(-8). Let a be (-6)/n*-8 + q. Is a smaller than -0.1?
True
Let l = -7 + 9. Let m(q) = q**2 + 8*q + 9. Let i be m(-7). Is i < l?
False
Let b = 3 - 3. Which is smaller: b or -2/11?
-2/11
Let z = 22 + -64/3. Which is smaller: 1 or z?
z
Let z(r) = r**2 - 3*r + 3. Let a be z(3). Suppose 5 = -2*d - a*d. Let o = 0 + d. Which is bigger: -1/4 or o?
-1/4
Let f = -13.4 + 1.4. Let j = 10 + f. Which is smaller: j or 1/6?
j
Let i be (-8)/(-44) - (-4706)/132. Let f = -36 + i. Which is smaller: 1 or f?
f
Suppose 264 = -13*n + 2*n. Which is smaller: n or -25?
-25
Let b = 3 - 3. Which is smaller: b or -4/29?
-4/29
Let c be 2/8 + 13/(-4). Let i be 1/(-2) + c/(-2). Let z = -1/12 - -7/12. Is z greater than or equal to i?
False
Let n(a) = -7*a**3 + 2*a**2 + 1. Let m be n(3). Let c = 853/5 + m. Is -0.2 at least c?
False
Let t be (6/(-4))/((-3)/8). Let d be 1/t + 3/(-12). Which is smaller: d or 1/4?
d
Let y = 68 - 65.95. Let h = y + -0.05. Let g = h + -1.9. Which is smaller: 0.2 or g?
g
Let j(w) = w**3 + 5*w**2 - 9*w - 4. Let x be j(-6). Which is smaller: 13 or x?
13
Let t = 0.2 + -0.3. Let o = 1.25 + -15.25. Is o less than or equal to t?
True
Suppose 3*t - 8*t + 25 = 0. Let p be t/5*(-1 + -2). Suppose 5*j + 15 = 5. Which is greater: j or p?
j
Let w = 6.15 - 6. Let r = 0.05 + w. Which is greater: r or -2?
r
Suppose -3*j + 4*c + 24 = 0, -3*j - 3*c + 2 = -1. Suppose 0 = 2*p + 3*p - 20. Is j bigger than p?
False
Let q be 5*((-32)/20 - -1). Let n be (-164)/(-20) - q/(-15). Is n at most 10?
True
Let g = 0 - -0.02. Let h = 21.92 + -22. Let i = g - h. Is 2 smaller than i?
False
Suppose 11 + 3 = -2*y. Let i = 7 + y. Is i <= 0.3?
True
Suppose -24*i + 17 = 137. Let d(h) = -2*h**2 + 4*h**2 - h**2 + h**3. Let f be d(-2). Which is smaller: f or i?
i
Let t = 0.14 - 0.04. Let y = 7 - 7.3. Let f = y + 0.2. Which is smaller: f or t?
f
Let x be 22184/126 + 24/108. Let g = x + -176. Are g and 0 equal?
False
Let l = -3/25 + 77/225. Suppose 0 = 2*y - 0 - 2. Are l and y equal?
False
Let b(a) = a**3 - a + 1. Let i(g) = 1 - 2 - 4 + 2 + g. Let v be i(3). Let n be b(v). Which is greater: -2/17 or n?
n
Suppose 98 = -13*u + 6*u. Which is smaller: u or -4?
u
Let v(p) = -p**3 - 9*p**2 - p - 10. Let b be v(-9). Which is bigger: b or -2/27?
-2/27
Let i = 0.11 - -3.89. Let q = 0 + 3. Let c = q - i. Is c > 3?
False
Suppose 1 = -g - 2*x, x + 4 + 10 = -5*g. Is g less than 4?
True
Let a(t) = 11 + t - 3*t - t + 2*t. Let l be a(7). Which is bigger: 5 or l?
5
Let p = -22 + 89/4. Let s = -12 - -8. Let i be (-8)/s*3/(-24). Is p less than or equal to i?
False
Let i(k) = k - 1. Let w be i(1). Suppose -2*j - j + 12 = w. Let b = -1 + j. Which is smaller: b or 4?
b
Let a be 1 - (144/(-15) - 0). Let j = a - 1103/105. Is j >= -1?
True
Let g = 65 - 391/6. Let c = 0.2 - 0.2. Which is bigger: g or c?
c
Let p = -10043/8 + 1257. Which is greater: p or 1?
p
Let i be (-7)/((-84)/8)*12. Let t = 9 - i. Does t = -5?
False
Let w be 1/2 + (-7)/(-2). Suppose w = c - 2*o, o = 2*c + 4*o + 6. Is 1/3 <= c?
False
Let a be -2 + 0 + 6 + -2. Let k = -1377/14 + 98. Let r = -6/7 - k. Which is bigger: r or a?
a
Let h(b) = -2*b**2 - 5*b - 2. Let i be h(-2). Which is greater: i or 4?
4
Let f = 7.3 - -0.6. Let v = f - 7. Let h = -1 + v. Which is smaller: 0.1 or h?
h
Let u = -7 - -7. Let k = u - 0.4. Let d = -0.1 - 0. Which is greater: k or d?
d
Let j(a) = a**2 - 4*a - 11. Let v be j(6). Is v < -1?
False
Let z be -4 - -5 - 1/2. Let p = -6 + 11. Suppose 0 = -5*y - 0 + p. Which is greater: z or y?
y
Suppose -5*x = n + 32, -4*n - x = -2*x + 233. Which is smaller: -59 or n?
-59
Suppose 30 = -5*o - 0*o. Let u be (-2)/o - 24/45. Is 2 bigger than u?
True
Let h be ((-1)/2)/(2/424). Let q = 1164/11 + h. Which is greater: -1 or q?
q
Let q = -4.2 + -13.8. Let a = 16 + q. Which is greater: a or 2?
2
Let f = -22 + 38. Are 15 and f non-equal?
True
Let o(h) = 2*h - 14. Let u be o(0). Is -13 bigger than u?
True
Let k be (7/(-1))/((0 + -2)/(-10)). Are k and -36 non-equal?
True
Suppose r - 3 = -2*r. Which is smaller: -1 or r?
-1
Let v be ((-4)/6)/((-2)/3). Let c = 1 + 1. Suppose -3*d - c*d = 0. Which is smaller: v or d?
d
Suppose 5*j - 2*q = -13, -j - 9 + 24 = 4*q. Which is smaller: j or -1/87?
j
Let w = 0.5 - 0.52. Let r = 0.12 + w. Is 0 at least as big as r?
False
Let r = 0.05 - -0.25. Which is smaller: 0.2 or r?
0.2
Suppose -4*j - 12 + 4 = 0. Let c be j/(-6)*(-15)/80. Is 0 < c?
False
Let z(l) = -5*l + 1. Suppose 0 = 2*q - 2 - 0. Let r be z(q). Let m be r/(-6)*(-3)/(-7). Which is smaller: m or 1/3?
m
Let q = -3.8 + 4. Let r = 1.37 - 0.07. Let b = -0.3 + r. Is b < q?
False
Let h = 0.048 + -0.748. Is h at most as big as 5?
True
Suppose 2*d = 2*u - 2, 5*d + 7 + 8 = -5*u. Which is bigger: d or -5?
d
Let g be (-7)/21 - (-71)/87. Let q = 629/522 - 11/9. Let k = g - q. Is 2 less than k?
False
Let t(q) = -q**3 - 4*q**2 - 2*q + 2. Let y be t(-3). Is y at most -2/63?
True
Suppose 0 = -0*f + 2*f - 6. Let x = f + -3. Let k be x + 10/14 - 1. Is -1/3 less than k?
True
Let g be 8/12 + 2/6. Let l be (-11)/8 + 1/g. Are l and 0 equal?
False
Let u = -0.8 - -3.8. Let a = 2.8 - u. Which is smaller: a or 1?
a
Let x = -15 + 167/11. Is x >= -1?
True
Let t be 1 - (-1 + 2 + -1). Let j(x) = 5*x - 1. Let g be j(1). Suppose 3*d = g*f - 10, -4*f + f - 2*d = 1. Is f less than t?
False
Let c be 1 - -1 - 3*9. Let z = -15 - c. Is z less than 9?
False
Let q = -46.6 + 53.6. Let f = 0.3 - 0.2. Which is smaller: f or q?
f
Suppose 2*f + 5*u = 28, -5*u = 4*f - 32 - 14. Suppose 6*m = f*m - 3. Which is smaller: -1/6 or m?
-1/6
Let h = 14 - 8. Let x = h + -8. Which is smaller: x or 0?
x
Let s = 8.7 - 9. Which is bigger: s or 0.2?
0.2
Suppose -10*g - 6*g = 80. Which is greater: -1.2 or g?
-1.2
Suppose 5*b - 12 = b. Suppose b*j + 2 + 1 = 0. Let l be j + -3 + (-2)/(-2). Is 0 greater than l?
True
Let k = -2689 - 2519. Let i be 1/(-5) - k/40. Let z = -652/5 + i. Is 1 equal to z?
False
Suppose u = 4*u. Is -2/11 at most as big as u?
True
Let h(l) = l**3 + 6*l**2 + 3*l + 2. Let u be h(-4). Let o be 1/(-2) - (-7)/u. Is -1 less than o?
True
Let g = 11004/13 - 846. Let c = -6 - -6. Which is bigger: c or g?
g
Suppose 6*s - 30 + 24 = 0. Suppose 4*c - 6 = -2. Let y be -1*(-1)/(-1)*c. Which is greater: s or y?
s
Let m be (-98)/(-52) - 3*2/4. Which is smaller: -1 or m?
-1
Let s = -320/99 - -38/11. Which is bigger: s or 0.2?
s
Let q(m) = -m**2 + m + 2. Let s be q(4). Is s < -10?
False
Let y be 9/(-18) - (-11)/2. Which is greater: y or 2?
y
Let m = -52 - -419/8. Which is smaller: -1 or m?
-1
Let m = -8 - -8. Is 1/2 greater than or equal to m?
True
Let a = 1.94 + 0.06. Let k = -6 + a. Let u = k - -3.9. Which is greater: u or 0?
0
Suppose 2*q - 16 = -2*q. Suppose q*n - 11 = 9. Suppose 7 = 4*i - 17. Do i and n have the same value?
False
Let g = -7 - -10. Let v be 0 + (-2)/(-4) - -1. Which is bigger: v or g?
g
Let a be 12/10*(-60)/(-9). Let m be (-48)/70 - a/(-20). Let u = 38 + -37. Which is bigger: u or m?
u
Let o be 1 - 1/(6 - 4). Which is smaller: 21 or o?
o
Let g = 5 + -3. Let b = 1.4 - g. Let p = b - -0.6. Is p at most 1/3?
True
Let k = 255 - 2037/8. Let q(d) = d**2 + 6*d. Let x be q(-6). Is x bigger than k?
False
Let g be (-31)/(-3) - (2 - (-91)/(-42)). Which is smaller: 10 o