al to v?
True
Let f = 5776/9 + -642. Which is greater: -142 or f?
f
Let i(z) = 2*z**2 - 3*z - 12. Let a be i(8). Let p = -52 + a. Are p and 41 equal?
False
Let m(a) = a + 8. Let p be m(-9). Let g = 42557/31 - 1373. Which is greater: g or p?
g
Let s be (18/1292)/(129/4). Let z = 2619051/13819555 + s. Let d = 2/199 + z. Which is bigger: d or -3?
d
Let c = 1.2 + 0.8. Suppose k = 7 - 9. Which is greater: c or k?
c
Let n be (-688)/128 - (-15)/40. Suppose -2*j + 5*j + 16 = -4*a, 13 = -3*j - a. Which is greater: j or n?
j
Let i = -360.58 + 356. Let a = i - -4.6. Which is smaller: -1 or a?
-1
Let v(x) = 2*x**2 - 23*x - 11. Let w be v(12). Which is greater: 2/149 or w?
w
Let o(n) be the first derivative of n**2/2 + n + 2. Let j = -27 - -27. Let q be o(j). Are 1 and q unequal?
False
Let l(v) = 4*v - 19. Let n be l(6). Suppose -n*m + 8 = 2*i, -3*m + 2*i + 0*i = 8. Suppose 3*c - c = -4*f - 60, -c + 2 = m. Is -17 bigger than f?
False
Suppose -8*j + 50 = -70. Suppose 3*t + 1 = -2*w, -4*t + 7 = -5*w - 7. Let r be 16/(-1 + 2) - t. Is r bigger than j?
False
Let s = 1 - 0.5. Let f = s + -2.5. Let h = -318/5 - -64. Is h greater than or equal to f?
True
Let p be 315/(14/2) - 2. Is 43 bigger than p?
False
Suppose 62 = -61*l + 621 + 234. Suppose -t = c - 11, 2*c + 0*t - 19 = -5*t. Which is bigger: l or c?
l
Suppose 4*z - 2*t - 18 = 0, 3*z = -4*t - 4 + 12. Is z < 25/8?
False
Suppose 0 = 2*j + 4, -4*p + 2*j = 0. Suppose 0*r - 5*r = -20. Suppose 4*t + 0 = r. Which is bigger: t or p?
t
Suppose p = -1 + 3. Let o be (-1 + 5/p)/(-3). Suppose 4 = -2*c - 0. Which is greater: c or o?
o
Suppose 0 = -22*o - 137 - 149. Which is greater: o or -14?
o
Let d = 181/3 - 11044/183. Suppose -3*w + 15 = 4*b, 4*b + 121*w = 119*w + 10. Which is smaller: d or b?
d
Let x = 20 + -23.9. Let y = 3.79 + x. Is y equal to -2/11?
False
Let g be 36/234 - 1808/(-78). Is 24 bigger than g?
True
Let m(k) = -138*k**3 - 2*k - 1. Let b be m(-1). Suppose -2*l + 3*l - 5*u + 7 = 0, 5*l + b = -u. Let s be (-6)/(-27) + 15/l. Is s greater than -1?
True
Suppose -232 = -287*m + 279*m. Is 26 smaller than m?
True
Suppose -y = -l, l = 3*l - 6. Suppose 10 = -5*b + 5*q - 15, -15 = y*q. Is b < -5?
True
Let l = -25 + 30. Let j(z) = -z**2 + 5*z + 3. Let a be j(l). Is a > 3?
False
Let i be (-12 - 990/(-75))/((-92)/(-10)). Let r = -4143/2 + 285757/138. Let b = r + i. Which is bigger: 25 or b?
25
Let p = 2 - 1. Let k = 13.81 + -14. Which is greater: p or k?
p
Suppose -o + 2*h = 1, -h = -4*o + 5*o - 8. Suppose o*i + 88 = -2*a, -3*a - 22 - 38 = 3*i. Is 0.1 at most as big as i?
False
Suppose -p + 28 = 6*p. Suppose 8*f - p*f + 8 = 0. Let y(b) = b**3 - 5*b**2 + b - 6. Let w be y(5). Which is smaller: f or w?
f
Suppose 17*o - 67 + 235 = -53. Let z(t) be the third derivative of -7*t**6/60 + t**5/60 + t**2. Let c be z(1). Does c = o?
True
Suppose -4*s = f + 3*f - 16, 3*s - 8 = -2*f. Which is greater: s or 12/43?
12/43
Let h be -2*(-8)/200 + 506/(-75). Which is greater: -6 or h?
-6
Let k be 111/((0 + 2 - 3) + 0). Let v be (-55)/k - 6/18. Is 0 <= v?
True
Let d be (-2)/8*-4 - -2. Suppose -d*r + 0*r = j + 88, 89 = -j - 2*r. Let w = j + 2637/29. Do w and 0 have the same value?
False
Suppose d + 27*i + 330 = 26*i, 0 = i + 1. Is -330 at least d?
False
Let g(j) = j**3 - 7*j**2 - 9*j + 22. Let z be g(6). Let n = -133 - z. Which is bigger: n or -66?
n
Let q(k) = -k**2 + 166. Let z be q(0). Let s be (-1)/2 - ((-395)/z)/5. Is s != 1?
True
Let s(c) = -4*c**2 - 3*c + 1. Let k(l) = -9*l**2 - 7*l + 2. Let b(o) = -6*k(o) + 13*s(o). Let q be b(-2). Suppose -q*y - y = 4. Are y and 1/7 nonequal?
True
Let d be (-3)/(-4)*20/48*-2. Let u = 14/33 + -12/11. Which is greater: d or u?
d
Let z = -13 - -22. Suppose 0*t - 5*t = 4*p - z, -4*t = -4*p. Are 12/7 and p non-equal?
True
Suppose 5*i = -a - 8, -19 = -0*i + 4*i + 5*a. Let k(n) = n**2 - 7*n - 5. Let w be k(7). Let h(q) = q**2 + 5*q - 1. Let p be h(w). Is p bigger than i?
False
Suppose 13*n + 100 = 9*n. Let p = 27 + n. Which is greater: 18/19 or p?
p
Suppose -28*k - 7547 - 20145 = 0. Which is smaller: k or -987?
k
Let f be 2*(-15)/1120*(-24)/(-90). Is f less than 1?
True
Suppose -4*m - 174 = -622. Suppose -2*n - m = -n. Let s be -3 - (n/(-20))/(-1). Are s and 4 unequal?
True
Let n = -429715/15438 - -4/2573. Let s = -55/2 - n. Are 0 and s nonequal?
True
Let r be (-20)/(-45) + (-70)/(-45). Let j be 3/15*(-70)/(-16). Are r and j equal?
False
Let y = -73 - -80. Suppose 9*k - 22 = y*k. Which is smaller: k or 12?
k
Let c be (-2)/1 - -12*(-1)/(-8). Let n = 0.06 - 4.06. Let o = -4.3 - n. Which is greater: c or o?
o
Let d be (18/28)/(18/42). Let w be 2 + (2/(-3))/(2/3). Is d greater than or equal to w?
True
Suppose 44 = -5*w - 16. Let z = w - -14. Let i be 0/(3/(3/2)). Which is bigger: z or i?
z
Let q = -2615/4 + 654. Is 8.14 at least q?
True
Suppose 8 = -5*h + 23. Let r = 21 - 21.009. Let g = r - -2.009. Is h less than g?
False
Let y(s) = -s + 4. Let i be y(6). Let f be (4 + i + -2)/1. Let q = 60194/9 - 6688. Is f greater than or equal to q?
False
Let j be 123*((-80)/24)/10. Which is smaller: j or -43?
-43
Suppose -98*d + 100*d - 8 = 0. Suppose 5 = d*c + 1. Which is smaller: c or 13/9?
c
Let q(o) = o**3 + 4*o**2 - 56*o + 3. Let i be q(4). Is i at most 4?
True
Suppose -3*b + 1392 = 7*h - 5*h, b - h - 464 = 0. Which is smaller: 462 or b?
462
Let d be 4/6 - (-1 + 5/3). Suppose -3*s = -10*q + 5*q - 29, -s + 2*q + 10 = d. Is 28/3 <= s?
False
Let q be (-2 + 2)/2 - -3. Let g be q + 2/8*-11. Let b be -3 + 4/16 + (-28)/(-16). Which is bigger: b or g?
g
Suppose 5*x = -o + 6, 2*o - 18 = -o - 3*x. Suppose -1 = o*y + 5. Which is smaller: y or 3/43?
y
Let r = 56.875 + -57.6. Is -1 at least as big as r?
False
Suppose -256*o - 4 = -260*o. Is 1/434 less than o?
True
Let h = 51 + -63. Let v be (8/24)/((-2)/h). Suppose 2 = 4*i - 6. Is v bigger than i?
False
Let g(x) = 2*x**2 - 36*x - 128. Let q be g(-6). Which is bigger: 156 or q?
q
Let r be 0/(1 - 20/10). Which is smaller: 6/95 or r?
r
Suppose 4*s + 20 = -0*s. Let o(n) = -2*n**2 - 10*n + 4. Let x be o(s). Suppose 3*v - 4*d - 59 = -3*d, -x*v - 2*d + 72 = 0. Is v greater than or equal to 19?
True
Let l(o) = -o**3 - 23*o**2 + 23*o - 24. Suppose 0 = s + 2*n + 28, -5*n + 2*n - 54 = 2*s. Let g be l(s). Is 31 at least as big as g?
True
Let s = -16 + 10. Let o = -42 + 50. Let d = o + s. Does d = 3/2?
False
Suppose 2*x + 13 = -2*k + 1, 2*x + 5*k = -6. Let j = -20 + 26. Suppose f - 35 = j*f. Which is smaller: x or f?
x
Let r(l) = l**3 - 3*l**2 - 3*l - 4. Let v be r(4). Suppose 3*m = -4*a + 117, 3*a - a = v. Let y = -24 + m. Which is smaller: y or 16?
y
Suppose 2*v + 8 = 4*v. Suppose 0 = -3*o - p - 86, -v*o - 3*p - 106 = -6*p. Let m be o/(-24) - 4/8. Which is smaller: m or 12?
m
Let c = 93.676 - -0.324. Is c greater than -2?
True
Let z = 0.06 - 0.22. Let q = z + 0.16. Let b = -14.2 - -15. Is b smaller than q?
False
Let a = 8.94 - 9. Let i = 0.04 - a. Let b be ((-3)/9*-2)/(2 - 1). Which is greater: i or b?
b
Let h(n) = 2*n - 1. Let f(a) = -2*a. Let z(k) = -4*f(k) - 6*h(k). Let u be z(3). Let d be (u/4)/((-35)/14). Is 1 greater than d?
True
Let z = -704 - -573. Which is smaller: -2 or z?
z
Let g = -0.21 + 0.12. Suppose -y = 6*y - 252. Let b be (-3)/y*-6*0. Which is smaller: b or g?
g
Let d(z) = -2*z - 3. Let o be d(3). Let w = -368 + 359. Is w at most as big as o?
True
Let c = 23 + -19. Let z be (-553)/77 + c/22. Let n = z - -4. Which is greater: n or -6?
n
Let b = 29 - 41. Let u be 2/3*3/(-1). Let h be u/b + (-370)/60. Is -5 greater than h?
True
Let r = 333 - 332. Which is greater: r or -131/12?
r
Let c be (-6)/(-9)*(10 + -1). Suppose -l = -0 - c. Suppose 5*t = 6*j - 5*j + 20, -3*j + 40 = 5*t. Which is smaller: l or j?
j
Suppose 1 = -k - 4*g + g, 0 = 3*k + 3*g + 3. Let l be -2*3*k/(-30). Let c be (4/10)/((-20)/25). Which is greater: c or l?
l
Let t = 77.2 + -77. Let y = 5 - 5.1. Let q = y + -0.3. Is q greater than t?
False
Let g(v) = 4*v - 18. Let u(c) = 2*c + 1. Let l(s) = g(s) - u(s). Let h be l(5). Is -9 smaller than h?
False
Let d(y) = -3*y**2 - 24*y + 113. Let v be d(23). Is v at least -2025?
False
Suppose -4*k = -4*m + 16, -10 = -5*m - 6*k + k. Suppose -3*i + 103 = -5*c, 0*c - m*c = 15. Is 24 < i?
True
Let w = 178/3 - 3038/51. Which is bigger: w or -1?
w
Let k = 23.42 + -0.62. Let l