-3/68?
a
Let o be (48/(-18))/(-7 + 932/144). Which is smaller: 5 or o?
5
Let s = 38.6 - 39. Let w = s + -24.6. Is 0 bigger than w?
True
Suppose 0 = -5*u - 5*w + 30, 0 = 52*u - 47*u - 3*w - 30. Is u < 3?
False
Let n = 1.39 + 101.61. Is 1 > n?
False
Suppose 0 = -4*d + 5*h + 30 - 7, 15 = 2*d + h. Let m(v) = -v**2 - 14*v + 20. Let c be m(-15). Is d at least c?
True
Let k be ((-16)/(-432))/((-1)/(-87)). Is 2 equal to k?
False
Suppose 4*p = n, -6*n = -2*n + 4*p - 40. Let y be (-282)/(-5) + n/(-20). Let a be (-1)/5 - y/20. Which is greater: -1 or a?
-1
Let d be 18/63 + 214/(-14). Let x = -13 - d. Let a(s) = 2*s**2 - 3*s - 7. Let i be a(3). Is i less than x?
False
Suppose 0 = -2*j - 4*l + 4, -2*j - l + 1 = -3*j. Let h(c) = 2*c**2 + 2. Let k be h(j). Suppose 4*m = -2*r + k, -5*r + 0*m + 2*m = 19. Which is bigger: -1 or r?
-1
Let c be 3/(-2)*-2*(5 + -6). Let g(d) = 6*d**2 + 2. Let w be g(c). Is 56 less than w?
False
Let c(s) = s**3 - 13*s**2 + 5. Let h be c(13). Suppose -3*a + 4 = -h. Suppose 1 + 2 = a*v. Is v smaller than -1/3?
False
Suppose 0 = 3*s + 2*f + 59, -23 = s + f - 3. Let u = -41 - s. Let p be u/77 + (-4)/(-21). Which is greater: p or 1?
1
Suppose 0 = 4*m - 78 + 586. Which is smaller: -126 or m?
m
Suppose 0 = -12*i + 9*i + 6. Suppose 3*c + 3 = t - 2, -8 = i*c + 4*t. Which is greater: c or -22/9?
c
Let k = -28 + 31. Let x(n) = -n**3 - 13*n**2 - 37*n - 9. Let a be x(-9). Which is smaller: a or k?
a
Let i(j) = -2*j**3 - 3*j**2 + j - 3. Let x be i(-3). Suppose 3*y = 4*r - 75, -1 + 4 = y. Let a be (r/5)/(2/10). Is a >= x?
True
Let m be (-16)/6*(-156)/(-8). Are m and -50 nonequal?
True
Let r(s) = -s**3 - 6*s**2 + 5 - 8 + 6*s + 0*s**2. Let k be r(-7). Let o = k + 3. Is o less than 6?
False
Let h(y) = -2*y**2 - 7*y. Let m be h(-5). Let j(r) = -11*r - 5. Let c(k) = k - 1. Let b(d) = -6*c(d) + j(d). Let x be b(1). Which is smaller: x or m?
x
Let v = -15 - -25. Suppose 134 = -4*q - v. Let h = 28 + q. Which is bigger: h or -10?
h
Let i(c) = -2*c**2 + 77*c + 70. Let f be i(38). Is f >= 109?
False
Let u(n) = 2*n + 15. Let c be u(-6). Suppose 2*x - 2*y + 2 = 3*x, -10 = -5*x + 3*y. Suppose -c*s + 0*s - 3*g = -6, 3*s - 3 = -x*g. Are s and 0.3 equal?
False
Suppose c + c = 0. Let p be 0 - (4 + 222/(-63)). Let a = 4/3 + p. Which is smaller: a or c?
c
Let x be (4 - 3)/((-1)/(-2)). Let s = 44 + -84. Let p be ((-132)/s - 3)/(2/10). Which is smaller: p or x?
p
Suppose -19*n = -34*n - 45. Is -36 at most as big as n?
True
Let u = 12570 - 1269557/101. Which is smaller: 0 or u?
0
Suppose -4*s + 2*s + 72 = -2*r, 2*r = -2*s - 84. Which is bigger: r or -42?
r
Let z(h) = h**3 + 5*h**2 - 7*h - 8. Let p be z(-6). Let v = -12.034 - 1.966. Which is smaller: p or v?
v
Let i = 16885/6 + -2829. Which is smaller: -15 or i?
-15
Let a be 36374/61490 - (-9)/(-15). Which is greater: 1 or a?
1
Let c = 1934 - 774. Which is smaller: c or 1161?
c
Suppose -4*f + 2*j = 14, -3*f - j + 4*j = 3. Let r = 21 + f. Let d = r + -17. Is d at least 0?
False
Let d be ((-150)/24 - -7)*(-12 - 0). Let a be 1 + -9 - 3/9. Is d greater than a?
False
Let j be 149/(-21) - 8/24. Let f be ((-2)/84)/((-6)/(-1809)). Let q = j - f. Are q and 1 equal?
False
Let i = 2306 + -2293. Which is greater: i or -3?
i
Suppose 4*x + 5*q - 206 = 0, 1 = -2*q - 3. Let l be ((-4)/(-6))/(60/x). Let p(u) = -u**3 - 5*u**2 - 4*u. Let h be p(-4). Is h at least l?
False
Suppose 5*q - 2*p + 360 = 0, 165 = 4*q - 6*q + 5*p. Is -73 at most q?
True
Let v be (-3348)/(-6688) + 14/(-28). Is v not equal to 1?
True
Suppose 2*f - 2*k + 1112 = 0, -770 = 3*f + 3*k + 868. Is f less than -550?
True
Suppose -69 = -10*b + 91. Let a = 3 - b. Is -8 smaller than a?
False
Let l = 785.9 + -786. Let f = 6669/7 + -951. Which is greater: f or l?
f
Let n = 0.3119 + -0.0459. Do n and 0 have different values?
True
Let s = 9 - 116. Let y = s + 106. Is -1/2 bigger than y?
True
Let x(g) = -12*g + 29 + 8*g + 0*g + 2*g. Let p be x(15). Which is smaller: 0 or p?
p
Suppose 0 = -10*h + 8*h + 40. Suppose 15*f - 10*f = h. Which is smaller: 5 or f?
f
Let w = 30809/3 - 10369. Let t = 99 + w. Is t smaller than -15?
False
Let g = 660509/154 + -4289. Which is greater: 0 or g?
g
Let m be ((-24)/14)/(2/(-21)). Let c be 117/(-6)*12/m. Which is bigger: c or 1?
1
Let j = 0 - 0. Let v be 7/(84/(-16))*-3. Suppose -v*y + y = j. Which is smaller: y or -4/3?
-4/3
Let i = 0.061 + -2.691. Let k = 0.63 + i. Does -8 = k?
False
Suppose 0 = 4*s - 4*j + 28, 4*j = -0*s - s + 13. Let f be 1/s + (-14)/(-42). Let r be (5/(-95))/(-1)*-6. Which is smaller: f or r?
r
Suppose 0 = -3*k - k - 8. Let m be ((4/(-6))/(1/(-39)))/k. Is m bigger than -13?
False
Let f be (-6 + 6)/(0 - -1). Which is greater: f or -4/85?
f
Suppose -2*y - 54 = 4*w, 14 - 39 = -5*y. Which is bigger: w or -160/11?
-160/11
Let q = 0.0316 - 0.1316. Which is smaller: q or -92?
-92
Suppose 0 = -5*y + 3*w + 132, -4*y + y - 3*w + 60 = 0. Let p(l) = l**3 - 25*l**2 - 75*l + 591. Let z be p(27). Is z equal to y?
True
Let j be (4/30)/((-16)/177). Let y = 15/8 + j. Suppose 11 - 16 = 8*l - 3*l. Is y >= l?
True
Let w(g) = -g**3 + 13*g**2 + 14*g + 5. Let t be w(14). Suppose -7*p + t = -2*p. Let l = -12 + 9. Is p bigger than l?
True
Let j be (-2)/(-3) + 35403/(-43290). Let z be 12/592*(-8)/(-60). Let w = z - j. Is w bigger than -2?
True
Let r = -306 - -305. Which is greater: 1/53 or r?
1/53
Let d be -3*(-4 + -9)*6/(-3). Let h be d/15 - (-1)/5. Do -5 and h have the same value?
True
Let n = -177 - -178. Is n bigger than -0.0041?
True
Let j = 391 - 392. Is j > -1/301?
False
Suppose -4*m = -5*t + 7 + 11, 4 = -m + t. Let y be (0 - 8)/(3 + m). Let p = 3 + y. Are p and -6 unequal?
True
Let l = -221.9807 - 0.0193. Is l >= 1?
False
Suppose 101 - 97 = 4*t + m, -2*t + 3*m = 12. Is t greater than -1/452?
True
Suppose 7*n + 21*n + 14056 = 0. Is -501 greater than n?
True
Let g = -39.35 + -0.65. Let l = -43 - g. Let q = 0.03 - 2.03. Which is smaller: l or q?
l
Let t = -116 + 68. Are -48 and t equal?
True
Suppose 11*b = 7*b + 24. Let r be 8 + -8 - b/(-13). Which is smaller: r or 1?
r
Let t(s) = 2*s**3 - 21*s**2 + 16. Let x be t(10). Which is smaller: -81 or x?
x
Let t = 594 - 598. Which is greater: 232 or t?
232
Let v = 2969 + -12107/4. Do -57 and v have the same value?
False
Let r = -8899/43 - -207. Which is smaller: r or -1?
-1
Let c(r) be the third derivative of -r**5/60 - 7*r**4/24 + 4*r**3/3 - 23*r**2. Let u be c(-8). Is 1 less than or equal to u?
False
Let k be (4*(-4)/16)/((-329)/7). Let q be (-1 + 6/4)*-2. Are k and q equal?
False
Let m be ((1 - 2) + 0)/(-1). Suppose 3*l + 11 = -5*b, 3*b - 3*l + 22 - m = 0. Let z be (-4)/70 - (27 - 5262/210). Is b less than z?
True
Let u = -317/6 - -53. Let r be (0 + 0)*(2 + (0 - 1)). Which is smaller: r or u?
r
Let c = -0.17 - 1.73. Let d = 0.69 + 2.21. Let p = c + d. Is -0.5 smaller than p?
True
Let y be (-203)/(-116) + 2/(-8). Is -2 equal to y?
False
Let n = 847 - 786. Is n at most 63?
True
Let u = 3 - 0. Let o = u + -8. Let f = o - 7. Which is smaller: f or -11?
f
Let j = 0 - -2. Let q be 903/308 + 2/(-4). Let m = q - 24/11. Are m and j unequal?
True
Suppose 7*r - 65 = -23. Suppose r*u - 8*u = 0. Let q = 1009/1169 + -1/167. Does q = u?
False
Let a = 2.76 - 2.66. Which is greater: 15/22 or a?
15/22
Let h(f) = f**3 + 12*f**2 + 12*f + 18. Let w be h(-11). Is 8 >= w?
True
Let v = -117 - -117. Suppose -2*t = -v*t. Is 2/255 equal to t?
False
Let r = 4 + -4.19. Let n = r - 0.81. Which is greater: n or 0?
0
Let n(t) = -8*t**2 + 29*t - 13. Let x be n(7). Is -201 smaller than x?
False
Let i be (-8)/(-3) + (-2)/6. Let o = -0.0992 - -0.2992. Do i and o have different values?
True
Let h = 2194 + -680. Let g = h + -21181/14. Which is bigger: 0 or g?
g
Suppose 5*l - 28 = -4*v, 0 = -2*v - l - 4*l + 14. Suppose -3*h - f - 3*f = -28, 0 = -2*h - f + 17. Is v < h?
True
Let b = 39 + -25. Let v = 16 - b. Suppose 0 = 4*z - 2*a - 48, -z - z + 20 = -v*a. Is z less than 14?
False
Let f be (((-88)/20)/(-11))/((-2403)/5). Which is smaller: -1 or f?
-1
Let o be -3 - 1/(-1) - 1. Let c(a) = a**2 + a - 4. Let f be c(o). Let k be ((-3)/f*3)/6. Which is smaller: -1 or k?
-1
Let g be -5*(-5)/(125/(-15)). Let y be -1 - ((-30)/(-5))/g. Is y greater than or equal to -2/7?
True
Let r(j) = 2*j**3 - 11*j**2 + 5*j - 5. Let b(v) = -1 - 3*v**2 + 5*v + v**2 + 