c be ((-36)/15 - -4)/((-10)/25). Let n be (c/14 + (-6)/28)*-4. Which is smaller: 8/5 or n?
8/5
Let j = -163 + 155. Do j and -6 have the same value?
False
Let f = -1.18 - -0.18. Is f != -26/35?
True
Let q(a) = -a**3 - 35*a**2 + 36*a - 1. Let t be q(-36). Which is greater: t or 3/67?
3/67
Let p be ((-15)/9)/(5/(-30)*2). Suppose -r = -p - 3. Are 8 and r equal?
True
Suppose 84*f - 83*f = -11. Which is greater: 15 or f?
15
Let t = 27749/11 - 2521. Suppose 9 + 3 = 6*h. Is h at least t?
True
Let g be -28*((105/4)/(-7) - -3). Let j = g - 25. Is -7 >= j?
False
Let a be ((-4)/12)/(3/9 - 0). Is -1/68 bigger than a?
True
Let s = -444 - -601. Which is bigger: 4/7 or s?
s
Suppose 0 = 72*s - 103 + 463. Suppose 3*v = -9, 4*m + 28 = -4*v - 0*v. Do m and s have the same value?
False
Suppose 0 = 3*w + 6 - 3. Let c be w/3 - (-272)/(-12). Let h(q) = 50*q - 372. Let y be h(7). Is c at least as big as y?
False
Suppose 2*l + 4 = 0, -o + 0*l - 5 = 4*l. Suppose 60 = -o*b - 3*b. Which is greater: b or -17/2?
-17/2
Let i(g) = -g**2 - 2*g + 15. Let b(c) = -c**3 + 23*c**2 + 2*c - 51. Let p be b(23). Let s be i(p). Is 1/200 >= s?
True
Let g = -50 - 25. Let p = g + 104. Are p and 29 unequal?
False
Let j(u) = u**2 + 36*u + 94. Let y be j(-29). Is -1 smaller than y?
False
Suppose -3*n + 18 = -z, 5*n + 3*z - 8*z - 40 = 0. Let h be (-1335)/(-68) + 10/425*n. Which is smaller: h or 19?
19
Let z = -27794 + 56560788/2035. Let x = 38679/14245 + z. Is 4 greater than x?
True
Let n(d) = -79*d**2 + 4*d - 2. Let a be n(3). Let t = a + 1375/2. Do -15 and t have different values?
True
Suppose -5*t + d + 23 = 3*d, -3*d - 23 = -4*t. Suppose -t*w - 23 = 3*j, 2*w + 15 = j - 2*w. Which is smaller: j or -5/24?
j
Let k(o) = -53*o**2 + 71*o + 70. Let s be k(-1). Which is greater: -381/7 or s?
s
Suppose -s - 2*s = 4*o - 13, 0 = 3*o - 5*s + 12. Let p be (o + 0)*(-1 - 1). Let c be 2 + (-1)/4 + p. Is 0.2 >= c?
True
Let s = -1492/57 - -179023/7068. Let q = s + 3/31. Is q less than or equal to 2?
True
Let x(j) = -j**3 - 9*j**2 + 6*j - 13. Let l be x(-10). Let u = l + -79/3. Which is greater: 1.5 or u?
1.5
Let t = 18345 + -54512/3. Let w = 176 - t. Let l = -13/6 + w. Which is bigger: -5 or l?
l
Suppose -5*x + 2*x - 4*j = 6, 0 = 5*j + 15. Suppose 14*b = -17*b + 10*b. Is x <= b?
False
Let r = -36.9 + 4.9. Let f = r - -18. Let s = 15 + f. Is s at least -1?
True
Let k = -57.4 + 57.4. Let a = 4.28 + -3.9. Is k smaller than a?
True
Let v = 37 + -36. Suppose -2*y = -4*p + 24, 0 = -3*y + 2*p - 20 + 4. Let a be 0/(y/(-4)*-2). Is v smaller than a?
False
Let d be 1/(-3 + 6) - (-95)/3. Let p be (54/24)/((18/d)/3). Which is smaller: p or 11?
11
Let i be 0 + -5 + -1 + 200/(-4). Is i greater than -56?
False
Let c = -393 + 654. Which is greater: 0 or c?
c
Let n = 158 + -157. Do 40/57 and n have different values?
True
Suppose i = -3*h + 5*i, -5*h + 32 = 4*i. Let y be (-2)/h*19/(57/36). Is -4 equal to y?
False
Let m = -7.2 + 7. Let x = -0.3 - m. Let p be (-1 + 48/51)/(-1). Are p and x equal?
False
Suppose -a = a - 3*d - 18, -a = -2*d - 10. Suppose -2*q - 5*n + 43 = a, 0 = 2*q + 3*n - 27. Suppose 2*p = -8, 3*c - p = -q*p - 35. Which is bigger: 1 or c?
1
Let n = 181 - 176. Let y(x) = -x - 2. Let t be y(-8). Is n equal to t?
False
Suppose -8 = -3*z - 3*s - 2*s, -2*z = 3*s - 5. Are 49 and z equal?
False
Suppose -303 = -12*u - 339. Which is bigger: -56/29 or u?
-56/29
Let f = -546 + 509. Does f = 0.4?
False
Let u(k) = -3*k + 4. Let z be u(-12). Let d be 4 - (2 - 1 - (-90)/z). Is 5 > d?
True
Let a = 0.06 - -0.22. Let r = -0.18 + a. Let w = 0.1 + -0.3. Is w > r?
False
Let a = -2.04 - -4.34. Is a greater than 0?
True
Suppose w + 19 = -4*b, -4*b - 33 = 2*w - b. Let y = w + 38/3. Is y greater than -0.1?
False
Let y be 2/7 - (-30)/(-56). Let r = -3450 + 3449. Is y at least as big as r?
True
Suppose -5 = -h, 2*r + 0*h + 27 = 5*h. Let j be r - 3 - (-85)/20. Let c = 5.12 + -5. Do j and c have the same value?
False
Let w(h) = -h - 3. Let b be w(-3). Let q(k) = 3*k + 14. Let g be q(b). Let i = -18 + g. Is i less than or equal to -6?
False
Let l be (((-100)/15)/5)/(20/(-6390)). Is 425 equal to l?
False
Let b(o) = o**2 + 8*o + 1. Let d = 53 - 28. Let g be (-195)/d + (-2)/10. Let r be b(g). Which is bigger: -0.1 or r?
r
Let u(b) = b**2 + 6*b. Let p be u(4). Let m be (p/30)/(2/9). Suppose -s + k + 4 = 0, 5*s - 4*k + 1 = 21. Which is greater: m or s?
m
Let y be (-3)/(-18) + -31*(-1)/(-6). Suppose -4*x + 16 = -4*c, -2*c - 2*x + 1 = 3*c. Are c and y equal?
False
Suppose -3*y - 22 = -2*x, 4*y + 0*y - 8 = -2*x. Suppose -4*p = -0*p - x. Let b(v) = -2*v**2 + v - 4. Let o be b(p). Is o at least -0.2?
False
Let o(g) = 34*g + 2. Let u be o(-2). Let f be (1*-3 + -1)*123175/7580. Which is bigger: f or u?
f
Let g(f) be the third derivative of -f**4/24 + 7*f**3/6 - 6*f**2. Suppose -33 = -6*u + 15. Let l be g(u). Is l at most as big as -1?
True
Let x(i) = i**3 + 48*i**2 + 137*i + 92. Let h be x(-45). Is h > 4/67?
True
Suppose 169*z - 5*y - 1100 = 164*z, 3*z = 4*y + 655. Which is greater: 219 or z?
z
Let p = 7 + 2. Suppose -80 = -4*j + p*j. Is -16 <= j?
True
Let c be (-2)/(-11) + (-43624)/110. Let d = c - -400. Is 4 <= d?
False
Suppose -m = -n + 10, m - 44 + 72 = 4*n. Suppose 0 = -3*y + 9, 4*r + 0 = y + 17. Is r at most as big as n?
True
Let g be ((-2)/(-6))/(4/552). Let j = 101 - g. Is 55 at least j?
True
Let a = 1.97 - -16.18. Let h = 18 - a. Let z = h + 0.05. Which is greater: 1/4 or z?
1/4
Let o be 4 + -3 + 10 + -3. Let p be 528/32*o/(-42). Is -3 bigger than p?
True
Let n = -3.2 + 61.2. Let c = n + -58.55. Is 0 at least c?
True
Let m = 50883/8 - 473051/72. Let f = m - -210. Which is bigger: 24 or f?
24
Let k = 3 - 1. Let p be (-9)/(-12)*(2 + 62/(-27)). Is p at least as big as k?
False
Let l = -3274 + 3274. Let b = 8875/48 + -556/3. Which is smaller: l or b?
b
Suppose -2*v = 14 - 16. Which is greater: -1/638 or v?
v
Let j(f) = f + 10. Let s = -17 + 7. Let x be j(s). Which is smaller: x or -22?
-22
Let m be (9*-4)/(12/(-8)). Let h be (1/(-4))/(4/m). Suppose -2*q + 4 - 2 = 0. Is h greater than q?
False
Suppose -2*p + 4*w - 8 = 0, -2*w + 0*w = -5*p - 4. Let c = -121 + 99. Do c and p have the same value?
False
Let f = -63 - -119. Let i be -2 + (1 - f/(-20)). Suppose -3*w + 8 = w. Which is smaller: i or w?
i
Let z = 218 + -439/2. Is 44 less than z?
False
Let u = -26982497/36085720 - -1/164026. Let k = 7/55 - u. Suppose 14 = -29*i + 14. Is k < i?
False
Suppose 4*j + 47 = -3*s, -4*j - 4*s = 67 - 15. Let x = -78 - -236/3. Is x at most as big as j?
False
Let r(l) = -l**2 + 1. Let y(n) = -n**2 + 3*n - 3. Let o(j) = 2*r(j) - y(j). Let u be o(-4). Let d be ((-1)/9)/(u/2). Do 0.1 and d have the same value?
False
Suppose 0 = 4*f + o - 55, -2*f + 17 = -f - 3*o. Suppose -2*m = -5*s + 6 + f, -4*m - 20 = 0. Do s and 2 have the same value?
True
Suppose 9 = 5*s - 3*a + 13, s + 5*a = 16. Do -2/117 and s have the same value?
False
Let k(q) = 2*q**2 + 3*q. Suppose -3*f - 1 - 8 = 0. Let u be k(f). Let w be (u/96)/(-2 - -1). Is 1 at least as big as w?
True
Let b(i) be the first derivative of -i**4/4 - 2*i**3/3 - i - 19. Let g be b(-2). Which is smaller: -3 or g?
-3
Let r(g) = -4*g - 7. Let s be r(-2). Suppose -n + 0*n = s. Is n at least -4?
True
Let t = 41 + -62. Let a be (-7)/t + 2/3. Which is smaller: a or -2/21?
-2/21
Suppose 0 = -b - 5, 8*d + 5*b + 119 = 6*d. Let c = d - -47. Which is smaller: c or 6/49?
c
Let p = 15039/551078 + -15/814. Is 0 less than p?
True
Suppose 0 = -2*j + 2*a + 22 + 58, -3*a - 78 = -2*j. Suppose -j - 6 = -2*q. Let b be (-1)/5*15/q. Is b at least -1?
True
Let k(o) = o**3 - 9*o**2 + 5*o + 8. Let f(y) = 2*y**2 - y - 5. Let w be f(-3). Suppose 7*v - w = 5*v. Let a be k(v). Is a at least as big as -15?
False
Let u = -3 - -2. Let o(p) = -p**3 + 3*p**2 + 12*p - 24. Let q be o(5). Which is smaller: q or u?
q
Let o(a) = a**2 - 2*a - 2. Let w be o(-3). Let m(r) = -4*r**2 + 11 + w*r + 6*r**2 - 3*r**2 + 2*r**2. Let l be m(-12). Is l at most -1/3?
True
Let u(h) = -28 + 40 + h + 4*h - 4*h. Let k be u(-4). Suppose 2*l - k = 4*d, -2*l + d + 2 = 2*l. Is l less than -1?
False
Let u(x) = 4*x + 41. Let d = -41 - -51. Let l be u(d). Which is smaller: l or 82?
l
Suppose i + 2*i = -21. Let n = -18 - -17. Let b be (n - 3)*21/84. Are b and i equal?
False
Let s(j) = -j**2 