5/4. Let d = 131.95 + -132. Which is smaller: d or j?
d
Suppose 13 - 3 = -5*y. Let w be 8/(-3)*(-18)/(-8). Let x be (30/25)/(w/20). Which is bigger: y or x?
y
Suppose s + 31 = 12. Do s and -20 have the same value?
False
Suppose 5*r - 105 = 5*j, -2*j - 3*r = -7*j - 103. Let f be (-138)/(-4) + (-2)/(-4). Let c be (15/f)/(j/(-14)). Which is bigger: c or 0?
c
Let q be 6*(-1)/4*-2. Suppose 4*g + 5 = -k - g, 0 = q*k - g - 1. Let z = 6 - 11/2. Do z and k have the same value?
False
Suppose -3*x + 38 = -34. Let l be (-4)/x + (-1)/3. Let v = 8 + -8. Which is greater: v or l?
v
Suppose -5*p + s = 1, 4 = 4*s - 0. Do p and 4/51 have the same value?
False
Let j(t) = t**2 - 3*t - 6. Let u be j(8). Suppose -r - 4 = -u. Let k be -1*1 + r/24. Is k < 0.1?
False
Let w(d) = -d**3 - 5*d**2 + 7*d + 9. Let f be w(-6). Let j be f/(-2)*8/(-48). Which is bigger: -0.04 or j?
j
Let c be (27/3)/(-3) - -3. Which is bigger: 2/33 or c?
2/33
Let r be 4/6*9/(-3). Let h = -1 - r. Is -1/3 at most as big as h?
True
Let k be (-1)/(-3)*(-2 - -1). Let t(c) = c**2 + 5. Let d be t(0). Suppose b = d*b. Is k >= b?
False
Let q be 3/12 - (-1 - 18/(-8)). Is -3/7 >= q?
True
Let z = 0.19 - -0.11. Let a = z + 1.7. Which is greater: a or -0.1?
a
Suppose 4 + 4 = -4*a. Let n be (0 - a) + (6 - 9). Is -8 <= n?
True
Suppose n + 3 = -2*n. Which is smaller: 1/4 or n?
n
Suppose -5*w - 8 = -3*w. Let u = -1.2 + 0.2. Let h = 2 + u. Which is smaller: w or h?
w
Suppose -1 = 4*z + k - 2, 2*z - 8 = 2*k. Let a(g) = -7*g + 2. Let v(o) = -o. Let t(i) = z*a(i) - 6*v(i). Let l be t(4). Is l < -3?
False
Suppose -30 = 4*r + 130. Which is smaller: 1 or r?
r
Suppose 9 = -3*w, 5*p + w - 24 = 3. Let n be 3 + -13*(3 + -2). Let d = -5 - n. Do d and p have the same value?
False
Suppose n + 2 = 2*n. Suppose 0 = n*t - 4*t. Suppose t = 3*u - 3*a - 2*a - 22, 0 = -2*u + a + 3. Is u at least -0.4?
False
Let z be (-10)/7*(-21)/12. Is 4 less than or equal to z?
False
Let q(c) = c**3 + c - 6. Let u be q(0). Let p be ((-4)/u)/((-1)/(-18)). Let v be 8/p*(-18)/28. Is v at least 1?
False
Let w = -9 + 2. Let o = w + 7.2. Is o >= 0.1?
True
Let f be (-330)/80 - 6*(-4)/6. Which is bigger: f or 0?
0
Suppose 5 = -4*c - i, 3*c + 20 = -3*i - i. Let t = 14/9 + -5/3. Which is bigger: c or t?
c
Let p = -107.1 + 107. Is -37/6 at least as big as p?
False
Let l(f) = 18*f**2 + f. Let g be l(-1). Let d be 4/(-10) + g/(-20). Is -1 at most d?
False
Let c = -0.94 - -1.1. Let x = -0.04 - c. Which is bigger: x or 0?
0
Let x(c) = 3*c - 5. Let h be x(2). Which is bigger: 1/205 or h?
h
Let h = 27 - 26. Which is greater: -19 or h?
h
Let u be ((-4)/(-6))/(8/6). Which is smaller: 0 or u?
0
Let z = 4.6 + -4.8. Let u be ((-2 - -1)/(-1))/(-1). Let t be 39/63 + u/3. Which is greater: z or t?
t
Let i = -7 - -10. Suppose 8 = 2*v - 4. Suppose -v*j + 3*j = -9. Is j >= i?
True
Let p(t) = 8 - 8 - t + 7. Let n be p(10). Is -1 at most as big as n?
False
Let m be 378/(-4080) + 4/34. Is m equal to 0?
False
Let u = -71 + 51. Is u at least as big as -21?
True
Let i = 11 + -18.8. Let x = i - -8. Let d = -54 + 271/5. Is d <= x?
True
Suppose 5*h = 7*h. Let s = -3 + h. Let j = s + 0. Which is smaller: j or -2?
j
Let x be -1 - (26 - -1 - 3). Is -26 greater than x?
False
Let l = -1.1 - 11.9. Let o = 3 + -2.9. Which is smaller: l or o?
l
Let t = -3 + 5. Let o be (5/15)/(1/3). Let q = 2 + o. Are q and t non-equal?
True
Let o(k) = -9*k**2. Let l be o(-1). Which is smaller: l or -12?
-12
Let z(m) = m + 16. Let r be z(-5). Do 12 and r have the same value?
False
Let d = -42 - -40. Is d greater than 0?
False
Let c be (6/(-261)*6)/(-2198). Let g = 5673028/159355 + c. Let t = g - 35. Which is smaller: 1 or t?
t
Let x(d) = d**2 - 4*d + 2. Let i be x(4). Let p(k) = k. Let q be p(4). Let y = q - i. Are y and 4/3 nonequal?
True
Let j be (-58)/70 - (-2)/5. Let t = j + 19/28. Let d = -3 - 0. Is d smaller than t?
True
Suppose -5*q + 5*b + 10 = 0, q + 14 = 5*q - b. Suppose 5*o = 3*o + q. Let h be ((-1)/6)/((-4)/18). Do o and h have the same value?
False
Let s be (-1 - 4)*8/(-540). Suppose -7*u = -2*m - 2*u + 23, m + 11 = -2*u. Is m <= s?
True
Let a = 3 - -5. Let m = -0.1 - 5.9. Let t = a + m. Which is greater: t or 1?
t
Let g = 0.1 + 0.9. Let x be (-7)/(-35) + 9/(-20). Are g and x equal?
False
Let m = -0.056 + -0.944. Let x = -1 - -1. Let p = x + 0.2. Is p at least m?
True
Let u(h) = h + 6. Let z be u(-4). Let y(b) be the first derivative of b**4/4 - b**3 + b**2/2 - 2*b + 1. Let k be y(3). Which is greater: z or k?
z
Let t be (-1)/3 - ((-386)/(-1122))/(-1). Is -1 < t?
True
Let o(c) = 3*c - 27. Let l be o(9). Which is bigger: -2/57 or l?
l
Suppose -4*c = -7*c - f + 10, 4*c = -5*f + 28. Is 1 <= c?
True
Let k(i) = 3*i**2. Let c be k(-1). Suppose o = c*o. Let q be 1*3*(-2)/(-48). Which is smaller: o or q?
o
Let s(h) = 4*h - 11. Let p be s(3). Are -3/8 and p equal?
False
Let r be (-314)/7 + (-16)/112. Is -45 equal to r?
True
Suppose -40 = 8*m - 3*m. Let z(a) = a**2 + 7*a - 8. Let o be z(m). Which is smaller: o or 6/7?
o
Suppose 0*z + 3*z = 15. Let h = -3 + z. Let k = 5 - h. Is 2 at most k?
True
Let m = 659/11 + -60. Suppose 0*d + 3*v = 4*d + 13, 4*d = 4*v - 16. Is m at most as big as d?
False
Suppose -i - 3 = 5*r, -i + 2 - 5 = -5*r. Which is smaller: r or -7/11?
-7/11
Suppose 3*c + 4*m + 4 = 0, -4*c - 4*m - 2 = 2. Let h be 1 - (7/(-4))/(-1). Which is smaller: c or h?
h
Let b = 10 - 8. Are 0 and b equal?
False
Suppose -4*d = 1 - 5. Let a = -2 + d. Is -2 > a?
False
Suppose -12 = -5*y + 4*r + 2, 5*r - 5 = -5*y. Let j(q) = 2*q**3 - 2*q**2 - q. Let w be j(y). Let h(z) = -z + 4. Let d be h(w). Is 0 < d?
False
Let f = -31 + 62. Is 32 != f?
True
Suppose v = -5*r - 11, -3*v - 4 = r + 1. Let i = v + 1. Suppose i = -0*z + 2*z. Does -1 = z?
False
Let y(m) = 2*m - 4. Let c be y(-5). Which is greater: -16 or c?
c
Let c be -2*(-1)/(2/(-8)). Let p = -6 - c. Which is smaller: 1 or p?
1
Let o = 0 - -6. Let d be o/8 + (-4)/4. Which is bigger: 0 or d?
0
Suppose 114 = -3*q + 9*q. Is q at most 23?
True
Let w = -10.2 + 10. Let k = w + -0.1. Does -1 = k?
False
Let p = 34139/13470 - 1/898. Let a = -16/5 + p. Do a and -2 have the same value?
False
Let k be (4 - (-24)/(-4))/(2/21). Is -20 greater than or equal to k?
True
Let f be ((-2)/(-4))/(9 - 10). Which is smaller: -8 or f?
-8
Let u be (-5 + 2 + 2)/1. Is -10 at least as big as u?
False
Let x = 0.1 + -0.1. Let i = -14 - -13.9. Is i <= x?
True
Let y be (1/5)/((-2)/(-5)). Which is smaller: y or 2?
y
Let a = -1.4 + -0.6. Let k = a - -2. Let f = -0.2 + 0.4. Is f less than or equal to k?
False
Let i be 8/5 + -1 + 0. Let r(q) = q**2 + 5*q - 12. Let t be r(-7). Which is smaller: i or t?
i
Let m be 2/8 - (-70010)/(-360). Let i = -194 - m. Suppose -s - 9 = 4*s - 4*k, 0 = 4*s - 2*k + 6. Is i <= s?
False
Let y = 70 + -70. Which is bigger: -11 or y?
y
Let j be 1457/(-4134) - 2/(-4). Let c = 1/159 + j. Which is bigger: c or 0?
c
Let j = 2 + -2. Let o = -1175/1643 - -21/31. Which is smaller: o or j?
o
Let h be ((-58)/24)/((-46)/(-4)). Let b = 1/23 + h. Let l be 0/(2 + 1 + -5). Which is smaller: l or b?
b
Let u be (4/(-14))/((-88)/(-154)). Is u less than or equal to 6/7?
True
Suppose -4*r = -7*r + 6. Suppose -9 = -r*c + 5*c. Is -3 not equal to c?
False
Suppose 8 = 2*m - 4. Suppose -4*u = 5*t + 24, -t - 2 = 4*u + m. Which is greater: u or -2?
u
Let d = 1028/285 - 66/19. Which is bigger: -2 or d?
d
Let c = 12.1 - 14.5. Is -2/9 > c?
True
Let b = -15 - -31. Let p = b + -16.09. Let x = p - 0.11. Is 0 > x?
True
Suppose -3 = -u - 5*i, u - i - 2 = -5. Suppose 0 = 3*z + 3. Which is smaller: u or z?
u
Let i be (5/(-15))/((-2)/(-18)). Let o be ((-9)/33)/(i/1). Is o less than or equal to -1?
False
Suppose -3*n + 3*h = -9, n - 2*h - 21 = -4*n. Suppose -4*r = -3*b - 17 + 4, -n*b - 11 = -4*r. Which is smaller: b or -1?
-1
Suppose -d - d = 2. Let z be (478/8)/(10/(-8)). Let s = 48 + z. Which is smaller: s or d?
d
Let i = -0.48 + 0.42. Are -1/2 and i equal?
False
Suppose 5*s = s - 5*j + 25, 0 = -s + 5*j. Let h = -4 + 8. Is s < h?
False
Let m = -458 - -302. Let d = -1095/7 - m. Which is bigger: d or -1?
d
Let r(b) be the second derivative of -b**5/20 - b**4/2 + 3*b**2 - b. Let p be r(-6). Let w be -2*3/p - -2. Which is bigger: w or 0?
w
Suppose 0 = -4*d + 9*d, -4*w - 2*d = -60. Which is greater: 43/3 or w?