 39. Let q = 5 - 7. Which is bigger: q or t?
t
Suppose -2*q = -v, q = v + 4*q - 15. Let o be 10/(-4) - (v - 7). Which is smaller: o or -2?
-2
Let j be (((-2)/(-12))/(-1))/(5/(-6)). Let d = -0.3 + 0.4. Let g = 0.9 + d. Which is smaller: g or j?
j
Let a = 1.2 + -0.2. Which is smaller: -4 or a?
-4
Let y be 0 + 0 + 3 + -2. Let v be (-4)/10 - 431/35. Let t = 13 + v. Is y at most t?
False
Suppose -6*j = -4*j - 30. Is j smaller than 0.1?
False
Let h be (-20)/24 - 2/(-12). Is h <= -3/5?
True
Suppose -3*w + 9 - 15 = 0. Which is smaller: w or -20/11?
w
Suppose -d = -c + d + 4, 0 = 3*c + d - 26. Is 6 <= c?
True
Suppose 0 = 4*w + l, -w - l = -0*l. Which is greater: w or 12/13?
12/13
Let i be -3 - (0 + -5) - 3. Let l be (-6 + -1)/i*1. Is 7 at least l?
True
Let h be 24/116*3/9. Is h at most as big as -1?
False
Let o = 587429/20733 - -2/6911. Which is smaller: o or 27?
27
Let x(d) = -d. Let l be -3*1 + 4 + -5. Let i be x(l). Let k(c) = c**3 + 7*c**2 + 7*c + 8. Let b be k(-6). Is i >= b?
True
Let g(w) = -5*w**2 - 5*w - 13. Let y(v) = -4*v**2 - 5*v - 12. Let k(h) = -5*g(h) + 6*y(h). Let f be k(6). Let q be 5/(-2)*(-8)/190. Which is smaller: f or q?
f
Let a be 35/2 + (-4)/(-8). Suppose -3 = -d + 2*p - 3*p, -a = -5*d - 2*p. Let l be d/5*5/(-2). Is l at most as big as -3/4?
True
Let s be 0/(2*(-4)/8). Suppose s*u - 25 = 5*u. Is u at least 0?
False
Let b = -27 + 40. Let v = -13.1 + b. Which is greater: v or -5/3?
v
Let x be ((-1)/2)/(1/(-2)). Let l be 2/(-6) - x/(-5). Which is greater: 1 or l?
1
Suppose 4*v = -2*c + 184, 20 = -0*v + 5*v. Let w be (-356)/c + (-12)/(-21). Which is greater: -3 or w?
-3
Let w be (-4)/10 + 1611/15. Let z = w - 533/5. Which is smaller: 0.11 or z?
0.11
Suppose 171 + 254 = 5*h. Let r = h - 600/7. Which is smaller: r or -2?
-2
Let v(s) = 3*s**2 - 3*s + 1. Let o be v(2). Are 7 and o equal?
True
Let u = -37494/35 - -1071. Let i = -1/7 + u. Suppose -j = 2*j. Is i <= j?
True
Suppose -4*t + 3*t + 19 = 0. Suppose -s + 6 = -r, 0 = -r - 5*s - t + 43. Let g be 3 - (r - (-318)/81). Which is smaller: 1 or g?
g
Suppose p + 14 = 2*p. Which is smaller: 13 or p?
13
Let b = 52 - 79. Are b and 1 equal?
False
Let q = 0.3 + 0.7. Let j be (4/6)/((-6)/9). Let r be (16/4)/(-20)*j. Which is smaller: q or r?
r
Let f = -42928/527 - -1410/17. Let t = -621/62 - f. Let j = t + 12. Is -0.2 at least as big as j?
False
Let s be (-912)/2691 + 2/3. Let f = s - 4/23. Which is smaller: 0 or f?
0
Let y be (1 - -1) + (-23)/(-4). Let b(t) = -8*t**2 + t + 1. Let f be b(-1). Let c = f + y. Is c at most 1?
True
Let j be 6/8 + (-17)/12. Is j > -1?
True
Let i be (-3)/(-5) - 4/(-10). Suppose 7 = 4*l - i. Which is smaller: l or 1?
1
Let r be 10/(-12) - (-2)/6. Do r and 48 have different values?
True
Let q = 4271/54672 + 1/3216. Is q smaller than 0?
False
Let l = 3/53 - 174/265. Let s = 2.4 - 2.3. Which is bigger: s or l?
s
Let m be ((-19120)/3192 - -6)*6/4. Which is greater: m or 1?
1
Let n = -4 - -1. Let t be (0 + 4)/(-2) - -11. Suppose t = -3*q - 4*i, 4*q + 3*i + 21 = 9. Is q smaller than n?
False
Let k be (-2)/(-4) + (-21)/(-14). Let b = 6 + k. Is 7 less than b?
True
Let i = 28 - 46. Let c = i - -19.1. Let m = c - 1. Which is bigger: -3/5 or m?
m
Let n = -31 - -94/3. Is n smaller than 2/39?
False
Let r = -4/401 - -3629/2005. Which is greater: 1 or r?
r
Let g = 26 - 71. Let p be 20/8*(-12)/g. Let h = 4 + -3. Is h greater than or equal to p?
True
Let p be (1/1)/(5/(-15)). Suppose 4 = l + 4*q, 2*q + 6 = -l + 3*q. Which is greater: p or l?
p
Let v = -5315/4 - -1314. Is v <= -16?
False
Let u = -22 + 12. Let b be (9 - 22) + 3*1. Is b greater than u?
False
Let g = 189 + -1705/9. Is g >= 1?
False
Let v = 5 + -7. Let k = 4 + -2. Do k and v have different values?
True
Let c = -1.5 - -8.5. Let z = c - 3. Which is smaller: -1/4 or z?
-1/4
Let d be (10/7 - 1) + (-570)/(-42). Which is smaller: d or 29/2?
d
Let y be (-2)/(7/((-140)/(-8))). Is -18/5 <= y?
False
Let f(c) = c**2 - 2. Let d(l) = -l**2 + 10*l + 13. Let u be d(11). Let a be f(u). Let r be 2/6 - 2/(-3). Which is bigger: r or a?
a
Let r = 6 - 10. Let w = 4 + r. Which is bigger: -0.1 or w?
w
Suppose -5 = 2*i + 1. Let q = 12 + -11. Let o(n) = n**2 - n. Let y be o(q). Is y less than i?
False
Let q be (-368)/(-18)*57/(-6). Let v be 8/(-28) - (-1360)/7. Let m = q + v. Which is smaller: m or 0?
m
Suppose v + 3*x - 12 = 0, -5*v + 4 = 4*x - 12. Let o(p) = p**2 - 5*p + 3. Let w be o(4). Is w greater than v?
False
Let l be (7/(-1))/((-3)/3). Suppose 3 = -4*v + l. Let i = 0.024 + 0.176. Which is smaller: i or v?
i
Let w = 19.3 + -23.3. Let m = -0.1 - -0.1. Is w at least m?
False
Let w be 970/(-4)*48/45. Let t = w + 13174/51. Is 0 less than t?
False
Let z = 154847/93 + -1665. Is z greater than or equal to 0?
True
Let w be 0/(3/6*-2). Suppose 0 = -w*t + 4*t - 8. Let y be -3*(-2)/3 - -1. Does y = t?
False
Let i = -236/9 + 3994/153. Which is smaller: 1 or i?
i
Let l = 6 - 2. Let h be (-1)/l*16/(-12). Are -1 and h nonequal?
True
Let j(l) be the third derivative of -l**6/120 + l**5/60 - 2*l**2. Let o be j(-2). Suppose 0*d = -4*d + 2*a - o, 0 = 5*d + a + 8. Which is smaller: d or 0?
d
Let o be 58/(-40) + (-3)/(-12). Let h = 6 + -8. Do h and o have the same value?
False
Let r = -1.39 + -1.61. Let x(i) = i**3 + 3*i**2 + i - 1. Let z be x(-2). Suppose z + 1 = 3*p - 5*n, -3*p + 4*n = -1. Is r greater than p?
False
Suppose 2*w - 4*j - 380 = -3*w, 2*w + 2*j = 134. Let t be (-16)/w + (-8)/126. Let a = -3 + 4. Is t at least as big as a?
False
Let j(w) = w**2 + 6*w + 2. Let a be j(-5). Suppose 1 = -2*q - 1. Let f be (a/(-6) + q)*-2. Is f != -1/3?
True
Suppose 2*d - 4*d + 3*q = 0, 5*d = -4*q - 23. Let k be 2/d*1/2. Suppose w = -3*u - 2*w + 9, 0 = -2*w + 6. Which is bigger: u or k?
u
Let q = -22 - -27. Which is smaller: 4 or q?
4
Suppose -5*j + 2*j = -6. Which is greater: -0.1 or j?
j
Suppose 6 = 13*p - 7. Which is smaller: 19 or p?
p
Suppose 0 = -4*k + 33 + 43. Let n = k + -19. Is n not equal to -0.1?
True
Let g(r) = -7*r + 6. Let z(q) = -6*q + 5. Let y(l) = 5*g(l) - 6*z(l). Let j be y(4). Suppose 0*w + 18 = 2*d - j*w, 5*d - 20 = 5*w. Is d at least as big as -1?
True
Suppose 3*p - 1 + 7 = 4*g, 0 = -2*g. Is 0 at least p?
True
Let s(w) = w**2 + 3*w. Let k be s(-4). Suppose -b = -2*b - 5*x, k*b + x = -19. Which is greater: b or -4?
-4
Suppose 3*r + 8 = 5*z - 19, z + 13 = -4*r. Is r at most -5?
False
Suppose 0 = -13*q + 7*q - 12. Which is bigger: q or -14/5?
q
Let f be ((-12)/(-5))/((-8)/(-172)). Let z = f - 52. Which is smaller: 0 or z?
z
Suppose 0 = 2*c - c. Suppose c = 4*r - 8*r + 4. Is r less than or equal to -1?
False
Suppose -j + 6*j = -10. Is j greater than or equal to -24/11?
True
Suppose 3*g + 3*g = -78. Which is smaller: g or 5?
g
Let d = -8 - -7.9. Let b = 4.9 - d. Which is bigger: -0.1 or b?
b
Let k = -4 - -7. Suppose 4 = k*t + t. Which is smaller: t or -1/4?
-1/4
Let z be (-2 - 95/(-50))/(4/10). Which is bigger: -3.4 or z?
z
Suppose y = 4*m + 6, -3*y + 2*y - 5*m + 33 = 0. Suppose 2*p - 3*o + y = 0, -o + 17 = -3*p + o. Let g be (-2)/8 - (3 + p). Which is greater: -2 or g?
g
Suppose 0 = -4*l + 4*b - 8, 3*b + 0*b - 18 = -3*l. Suppose 5*z - 9 = m, 0 = z + l*z + 3*m - 9. Which is bigger: z or -0.1?
z
Let m be (3/(-15))/(6/(-285)). Which is smaller: m or 9?
9
Let s = -19 - -30. Suppose 19 = m + 3*m - a, 0 = 5*m + 3*a - s. Suppose -w + m*w = 0. Which is smaller: w or -2?
-2
Let r(d) = 2*d + 3. Let i be r(-1). Are i and -1/58 unequal?
True
Let a = -21 + 18. Is -10 >= a?
False
Suppose -3*n - 21 = 3*o, 2*o + 6*n - n + 29 = 0. Let j be (-2)/(-4) - 1/o. Let f = -3 + 4. Is j at most f?
True
Let h be (16/(-20))/((-4)/(-10)). Let p be -1 + h/(-4)*1. Are 0 and p non-equal?
True
Suppose 2*w = -0*w - 28. Let l be 0 - (w - -2) - -2. Is l less than or equal to 15?
True
Let u(t) = 3*t - 2. Let q be u(2). Suppose 0 = 2*i - 6*i + q. Which is bigger: 2 or i?
2
Suppose 5*x + 8 = w + 10*x, -3*w - x + 24 = 0. Which is bigger: w or 9?
9
Let k = 17 - 12. Let t(l) = l**2 - 4*l - 6. Let n be t(k). Let m be 2/(-4)*-2 - n. Is m >= 1?
True
Let g be (-1)/((-13)/(-7) + -2). Suppose 4*c - 3*q - g = 0, -2*q - 6 = -4*c + c. Let x(o) = o**3 + 4*o**2 + 2*o - 1. Let p be x(-2). Is c >= p?
True
Let s = 0.075 - -0.025. Which is bigger: s or 5/7?
5/7
Let g be (16/32)/(1/(-10)). Let k = 3 + g. I