5. Let r be t(-5). Let n = 70 - 25. Let v = 45 - n. Which is smaller: r or v?
r
Let y be ((9 - 9)/(-4))/4. Do y and 118/143 have the same value?
False
Let q(k) = -k**2 - 7*k + 7. Let x be q(-7). Let u = -24/899 + 51411/6293. Which is bigger: x or u?
u
Suppose 8*z - 5*x + 2977 = 5*z, -2*z - 4*x = 1992. Are z and -0.1 non-equal?
True
Let j be -11 - (-12)/(11/11) - 0. Which is greater: j or 2/18257?
j
Let m be (-1 - -1)/(-23 - -22). Let d be 1 + m + -6 + -5. Which is smaller: -23 or d?
-23
Suppose z + 60 = -39. Let r = z - -397/4. Which is smaller: -71 or r?
-71
Let b = 13343 - 13633. Is -268 less than or equal to b?
False
Let r = 729 + -469. Which is smaller: 8 or r?
8
Suppose 3*w + 2 = d, -6 - 2 = 3*d + 5*w. Let b be ((-2)/28)/(d/108) - -4. Is b equal to 13?
False
Let l be -457 + -115 + (-64)/(-4). Which is bigger: -559 or l?
l
Let c(p) = -p**3 + 5*p**2 + p - 1. Let s be c(5). Let t = -37 - -107. Let f = -72 + t. Is s at most f?
False
Let k = -78 - -81. Suppose 3*i = 2*i - m + 14, k*m = i + 6. Suppose -4*p = -3*w - i - 3, w - 3*p + 9 = 0. Is -1 >= w?
False
Let y = -4 - -5. Let l = 33885 - 33885.031. Is y smaller than l?
False
Let m = -0.121 - -0.132. Let z = -4.94 - 0.36. Let u = z + 5.2. Which is smaller: m or u?
u
Suppose -93 = 2*f - 5*f. Let g = 6029 + -5989. Suppose f*d = g*d - 513. Which is bigger: 58 or d?
58
Suppose 124*l - 91*l + 895 = -1943. Which is greater: l or -2122/25?
-2122/25
Let j be 742/(-280) - 18/30. Let w be 150/36*32/(-155). Let a = w + 6/31. Which is greater: j or a?
a
Let f(j) be the second derivative of 3*j**3 - 157*j**2/2 + j + 48. Let k be f(9). Is 27 at most as big as k?
False
Let b be 16/44 + (-32132)/154. Are -207 and b unequal?
True
Suppose -3*w + 12 = 0, -15*c - 5*w + 17 = -16*c. Is c less than or equal to 70/19?
True
Let f = 5063 - 4937. Which is bigger: f or 110?
f
Let y = -21937 + 7360. Let a = y + 3483898/239. Which is smaller: a or 1?
a
Suppose 37*c - 8 = 36*c. Suppose -6 = 3*t + 6. Let z be (c/20)/(2/(-20)) - t. Do z and 2/31 have different values?
True
Let b be (39/((-1755)/(-3906)))/(((-2)/5)/(-1)). Is 223 <= b?
False
Let k = -5051 + 5049.35. Let a = -0.36 - 1.08. Let l = k - a. Is 0.2 bigger than l?
True
Let g = -131 - -155. Suppose -240 = 4*a + g. Is a at most -65?
True
Let v = 4003 + -16011/4. Is v < 18/7?
True
Let c be 0/(36/9 - -2*(-6 + 3)). Which is smaller: 2/3293 or c?
c
Let k = 38 - -468. Suppose -5*m = -3*h + k, m - 3*h = 3*m + 194. Which is bigger: m or -99?
-99
Let o = -520 + 519. Let n be o/4 - (10 - (-57145)/(-5588)). Are -1 and n equal?
False
Let f be 570/(-120) + 6/8. Let q = 0.047 - -0.012. Do f and q have different values?
True
Let v = -410859/89930 - -26/2645. Let w = 2821/306 - v. Let l = w + -55/4. Which is smaller: -1 or l?
-1
Let n be ((-40)/15)/(1815/189). Is n less than or equal to 1?
True
Let y(s) = -12*s**2 + s + 7. Let d be y(-5). Let c = 223 + d. Which is smaller: c or -73?
c
Let r = -4629 - -4481. Is r smaller than -7?
True
Let o = 919 + -918. Which is greater: -0.08 or o?
o
Let t = -339833/2 + 169917. Let d be ((-6)/5)/(369/(-30)). Which is greater: t or d?
t
Let d = 36504 - 36507. Which is smaller: d or 794?
d
Let o = 35 + -25. Let q(i) = 15*i + 12. Let u be q(-11). Let s be 2/(-10) - (2 + u/15). Which is smaller: s or o?
s
Let w be 1/3*-2 + 21/((-3591)/190). Let a be -3 - -2 - -1*5. Let v be 1 + a/(-2) + -2. Is w >= v?
True
Let j be 11 + (-390)/100 + 5. Is j equal to 13?
False
Let l = 55 + -50. Let n(x) = -4*x**2 - 7*x + 31. Let h be n(l). Which is smaller: h or -105?
-105
Suppose -3*w - w + 4*g = 0, -5*w + 3*g = 0. Let s = 401 - 282. Let d = s - 4763/40. Which is bigger: w or d?
w
Suppose -31 = -4*k - 3*c, 5*k - 5*c + 4*c = 15. Suppose 64 = k*r - 2*n + 3*n, r = 4*n + 33. Suppose -15 = 4*p + r. Which is smaller: p or -7?
p
Let t = 19.265 + -26.487. Which is greater: t or -1?
-1
Let m(x) = -2*x**2 + 4*x - 10. Let p = 24 - 20. Let b be m(p). Which is smaller: -24 or b?
b
Suppose 4*b - 5*i = 340, -39*b + 416 = -34*b - 4*i. Does b = 15?
False
Let p = 466 + -12584/27. Suppose 458 = -940*j + 1398. Are p and j nonequal?
True
Suppose u + 3*b = 17, -5*u + 2*u + 27 = -3*b. Let x(t) = -t**2 + 4*t + 23. Let k be x(u). Let o = k - -52. Is -0.4 > o?
True
Suppose 0 = 2*r + 2, 4*b - 5*r = 59 + 162. Let u = b + -55. Let w be (4 - (5 + u)) + 0. Is w bigger than 1/2?
False
Let p = 11785 + -11789. Let j be (-2)/3 + (-118)/(-6). Which is smaller: j or p?
p
Let c be (18 - -44)/((-8)/(-464)). Is 17974/5 at most as big as c?
True
Let c(q) = q**3 - 5*q + 3. Let h be c(3). Suppose 3*v = -0*v - h, -303 = -a - 3*v. Does 318 = a?
True
Let g(i) = -27*i + 217. Let k be 12*(-5)/10*(-4)/3. Let f be g(k). Let p = -42945/67 - -641. Which is smaller: p or f?
p
Let s(a) = -6*a + 30. Let h(u) = -u**2 + 10*u - 4. Let w be h(9). Let g be s(w). Do -5/21 and g have the same value?
False
Let w be (318/24 - 14) + (-46)/(-8). Let u be (-402)/w + (-2)/(-5). Let s(h) = -9*h**2 - h - 1. Let g be s(-3). Is u > g?
False
Let s = -1.7 - -50.7. Let z = s + -52. Let n = 39 - 22. Does n = z?
False
Suppose 0 = -2*c + 6, 0*k + 5*c - 9 = 3*k. Suppose k*n - 65 = -39. Is n greater than or equal to 0?
True
Let x = -0.1231 - -0.0631. Let h be (12/(-8))/((-6)/16). Let g be (1 + 0)/(h - 1). Which is bigger: g or x?
g
Let k be (0 - 4) + -4 + 7 + 7. Let t(x) = -x**3 - 5*x**2 - 2*x + 18. Let n be t(k). Let z = -1180/3 - n. Is z greater than or equal to -4?
True
Let x be ((-36)/48)/((-9)/12). Let a be ((-4)/(-22))/x + 6028/121. Which is smaller: 48 or a?
48
Let f(s) = -s + 86. Let b be f(9). Let w = 83 - b. Is w not equal to 7?
True
Let m be ((-6422)/507)/(44/(-42)). Do 13 and m have different values?
True
Let l = -24.51 - -25.6. Let z = -19.09 + l. Is 1/6 > z?
True
Suppose 351*c - 177 = 352*c - 3*t, -3*c - 543 = -3*t. Which is greater: -23 or c?
-23
Let w = -155 - -160. Suppose 11 + 10 = -3*f. Let h(l) = -l - 3. Let x be h(f). Which is smaller: x or w?
x
Let u = 54 + -49. Suppose v = 5*o - 81, 5*o = -u*v + 39 - 324. Is 0 bigger than v?
True
Let d(f) = 102*f - 976. Let w be d(22). Is 1267 smaller than w?
True
Let z = -27413 + 27326. Which is greater: -186 or z?
z
Let h(z) = -3488*z + 17429. Let u be h(5). Let c be (120/(-66))/(4/26). Which is smaller: u or c?
c
Let q be 1/7*(2 + 1). Suppose -9*k - 5*k = 10262. Let s = k - -734. Is s greater than q?
True
Let u be (769166/32039 - 24)*(13 + 1). Are 0 and u unequal?
True
Let g = 1380111161/49 - 28163860. Let t = g + -1674. Is t > 1?
False
Let r(z) = 33*z + 5. Let i be r(0). Suppose 4*s + 2*k + 16 = 0, 5*s + 0 = i*k + 10. Is -13/7 greater than s?
True
Let r = 2.04 + -2. Let v(l) = -10*l**2 + 266*l - 398. Let n be v(25). Is n less than or equal to r?
False
Let j = 4.609 + -0.609. Is -0.369 at most as big as j?
True
Let g = -1766 - -310817/176. Let i = g - -343/1584. Which is bigger: -1 or i?
i
Suppose 6*j + 8*j = 4*j. Suppose y - 3 = -c, -3*y = -j*y - 2*c + 1. Which is smaller: y or 3/194?
3/194
Let x = -28.93 - -28.8. Let c = x - -0.03. Which is bigger: c or -78?
c
Suppose -3*p + 6*p - 393 = 0. Suppose 0 = -4*s + 20, p + 4 = -r + 5*s. Let u = r - -111. Which is greater: 0 or u?
u
Let f(v) be the first derivative of v**2/2 + 7*v + 10. Let x be f(-5). Suppose x*u = -27 + 25. Is u at least as big as 2.2?
False
Let b be (15/10)/(-6 - -5). Which is bigger: -91 or b?
b
Let h(v) = -3*v**2 - 154*v + 265. Let z be h(-53). Is 2/65589 greater than or equal to z?
True
Let y = -11192 + 12276. Is 1 < y?
True
Let l(j) = j. Let f be l(0). Let t be f/(-3) + 19/(0 - -1). Which is smaller: t or 11?
11
Let u be (-402)/(-20) - (-174)/(-116). Let z = u + -19. Is 1/5 less than or equal to z?
False
Suppose -3*z - 245 = -20. Let x = 67 + z. Is x >= -6?
False
Suppose -m = -0*o + 3*o - 12, -4*m + 2*o + 20 = 0. Let c(b) = -b**3 + b**2 + 9*b - 3. Let j be c(m). Let v = j + 133. Is v <= 7?
True
Suppose 0 = 2*p - 3 + 11. Let q be (p/1)/(-1) + -2. Which is bigger: 26/25 or q?
q
Suppose 5*p = 4*v + 57, 0 = 4*p - 2*v - 0*v - 42. Let x be -2*(42/(-8) - (-28)/(-112)). Is p greater than x?
False
Let s = 3067 - 3112. Is s less than or equal to -49?
False
Let l = 0.8 - -3.3. Let f = 4.1 - l. Is 0.4 less than f?
False
Let p = -0.0906 + 0.5316. Which is smaller: p or -2/25?
-2/25
Suppose 1343*s - 795 = 1346*s. Are -265 and s non-