ch is bigger: j or l?
l
Let g(j) = j**3 + 9*j**2 + 8*j + 1. Let a be g(-8). Let f = -15 + a. Which is smaller: -16 or f?
-16
Suppose 0 = -2*n - q - 16 + 13, -3*n + 4*q + 23 = 0. Is n at most as big as 2/191?
False
Let z be (-9)/6*(-31)/(-28551). Is -1 at least as big as z?
False
Let x be 0*(-6 + (2 - (-42)/12)). Are -1/128 and x equal?
False
Let p = -6.5 + 13.8. Let k = -0.7 - p. Let z be -16*13/(-416) + (-1)/(-2). Which is bigger: z or k?
z
Let p = 77.7 - 78. Which is bigger: p or -8.2?
p
Let y = -131 - -128. Which is greater: y or 0.9?
0.9
Let n = -10257/31 + 331. Which is smaller: -1 or n?
-1
Let i(j) = -j**2 - 4*j - 1. Let y be i(-3). Suppose -y*v = 5*s + 3*v + 50, -8 = 2*v. Let c = -4 + s. Does c = -9?
False
Let a be 2*1/4*-18. Let u(n) = 2*n + 20. Let l be u(a). Suppose -19 = -4*v - 7. Does l = v?
False
Let s = 422/77 - 124/21. Is -1 at least s?
False
Let q = 36 + -18. Let b = 155.9 - 156. Which is greater: q or b?
q
Let x be -8 + 3 + 12/36*12. Is -10/27 equal to x?
False
Suppose 0 = -u + 427 - 540. Is u at most as big as -112?
True
Let a(h) = 3*h + 18. Let t be a(-7). Let y = 9 - 3. Let u be (-24)/9 - 2/y. Is u less than or equal to t?
True
Suppose 3*z - 16 = w, 0 = -3*w - 5*z + 13 + 9. Which is smaller: w or -1/442?
w
Let m = -346 + 277. Which is bigger: m or 0.1?
0.1
Let m = -109 + -96. Is m greater than -206?
True
Let c = -111 + 63. Let r = c + 86. Let t = r - 37. Which is smaller: -2/35 or t?
-2/35
Let x = 16 - 14. Suppose -x*n = -5*k - 2 - 3, 5*k = 5*n + 25. Is -10 less than n?
False
Let s = -102 + 137. Is 34 bigger than s?
False
Suppose -2*o = -10 - 22. Suppose -4*u = -o*u - 48. Is -27/8 > u?
True
Let j be 2*(-4)/(-16) + (-411)/2. Which is bigger: -204 or j?
-204
Let p = 0.312 - 0.012. Which is bigger: -25 or p?
p
Let q(z) = -z**3 + 6*z**2 - 8*z - 6. Let u be q(4). Let y be (-4)/u - 26/3. Do -6 and y have the same value?
False
Let d = 0.163 - 0.206. Let t = d - 0.017. Which is greater: t or -3?
t
Suppose -2*r + 5 = -3*r. Let s be r + (-3804)/(-594) + 2/(-11). Which is bigger: s or 1?
s
Let j = -5585/8 + 698. Which is smaller: -157 or j?
-157
Let m(h) = h**3 - 25*h**2 + 44*h + 29. Let s be m(23). Which is smaller: 2/23 or s?
s
Suppose 5*w - 5*f - 140 + 35 = 0, -2*w - f = -30. Let p = 88 - 70. Are w and p unequal?
True
Suppose 0 = -g - 16 + 13. Let s be (-7 - g) + (-55)/(-12). Is s bigger than 2?
False
Let r be -2*(-4)/(-40) - 2097/15. Let h = 115 + r. Is -27 equal to h?
False
Let t(i) = -i**3 + i**2 + 7*i - 6. Let m be t(4). Let j = -1026 - -1026. Which is smaller: j or m?
m
Let s be (-2)/(-4) - (-350)/4. Suppose 3*z + s = -8*z. Is -7 not equal to z?
True
Suppose -4*b = 2*s - 2, -2*b = s + b - 2. Let h be ((-515)/(-206))/((-10)/(-8)). Which is smaller: h or s?
s
Let v(s) = -62*s - 68. Let a be v(-1). Which is smaller: a or -4?
a
Let y be (1/2)/(11/11)*-26. Let c = -47 + 32. Which is greater: y or c?
y
Let u be (-31)/(-11) - (-1)/((-5)/15). Let w = 10 + -11. Let q be w + (0 - -4) + -3. Which is smaller: q or u?
u
Let v(w) = w - 1. Let c be (2/9*-3)/((-8)/(-204)). Let d be v(c). Which is smaller: d or -14?
d
Let v = -31.5 - -32. Let a = 46.23 + -46. Let y = a + 0.77. Which is smaller: y or v?
v
Let h = -1/15379 + -72493/123032. Let x = h + 7/8. Let a = 0.27 - 0.16. Are x and a non-equal?
True
Suppose 0 = 4*u - 8*u + 8. Suppose -42 - 54 = -u*p. Let o be p/(-70) - 8/(-28). Which is bigger: 3 or o?
3
Suppose -194 = -4*m - 2*w, 8*m - 13*m = -3*w - 259. Which is smaller: 56 or m?
m
Let j be (2/(-4))/((-1)/2). Let g(u) = -5*u**2 + 4*u + 1. Let k be g(-7). Let y = 9521/35 + k. Is y at most j?
True
Let h be (5211/36)/(27/36). Which is bigger: h or 196?
196
Let w = -2.61 - -0.61. Does -282 = w?
False
Let h be (-33)/2 + (-2)/12*-9. Is h equal to -198/13?
False
Let h(f) be the first derivative of -f**3/3 + 4*f**2 - f + 33. Let p be h(9). Which is smaller: -8 or p?
p
Let u be (-9178)/(-11505) + (-8)/10. Is 0.1 equal to u?
False
Let t be (-26)/14 - ((-40)/(-35) + -1). Is t bigger than -6/5?
False
Suppose -4*i = -15*i - 18*i. Suppose 5*o + 4*q + 35 = -q, -2*o - 4*q - 16 = 0. Let s be (-14)/273*o/4. Which is smaller: s or i?
i
Let s be (-57)/76 + (-1175)/(-4). Which is smaller: 295 or s?
s
Let r = 18 - 13. Let k(b) = -b**3 + 4*b**2 + 7*b - 5. Let x be k(r). Let d be 3*-2*x/10. Is 1/4 not equal to d?
True
Let b be (-4 - (-1 + 0))/(-1 + 2). Let c be 2/(-4 - 3/b). Which is smaller: c or -2?
-2
Suppose w + 2 = 5*n, 5*w + 137*n = 141*n - 73. Which is smaller: w or -1/7?
w
Let f = 5 - -6. Suppose -2*t + 3 = t. Suppose q - 10 = -t. Which is greater: q or f?
f
Let h = 2446 - 1406. Which is smaller: 1041 or h?
h
Let p = -859 - -859.1. Let m be 15/42 - (-2)/4. Which is smaller: m or p?
p
Let g be 2*(1 + 1)*-4. Suppose 3*v - 3 = -4*t + 2*v, v + 3 = -t. Let j be -22 - t/((-10)/25). Which is greater: j or g?
g
Let y = 165116/129 + -1280. Which is bigger: 1 or y?
1
Let c = 6632/11 - 604. Which is smaller: c or 0.06?
c
Let s = -2 - 0. Let n be 8*1*((-190)/20)/(-19). Is s > n?
False
Suppose -2*x - 2*i = 2*i - 4, -4 = 4*x + 4*i. Let g be ((-5)/(-85))/(2 + 6/x). Is g smaller than 0?
False
Suppose -3*y - 28*l - 8 = -23*l, -y + 4*l = -20. Let u(m) = -m**3 + 6*m**2 - 2*m - 7. Let d be u(5). Suppose d*o = y*o. Which is smaller: o or 10/17?
o
Suppose 30 = 9*f - 4*f. Let k = 7 - f. Let h = -25 + 29. Which is bigger: k or h?
h
Let z(g) = g**2 - 134. Let s be z(-11). Which is bigger: 0.1 or s?
0.1
Let x(s) = s**2 - 3*s - 2. Let a be x(3). Let t be (9/12 - 1)*20/8. Which is greater: a or t?
t
Suppose 121*n = 135*n + 5628. Is -403 at most as big as n?
True
Let z = -1387513/397 + 3495. Suppose 5*x + y - 6 - 1 = 0, 4*x - 6*y + 42 = 0. Which is bigger: x or z?
z
Let x = 129/29 + -1845/493. Let p = x - 21/34. Is 0 >= p?
False
Let l be 21*(-3)/(3 + 0). Let m be (0 - -1) + 28/l. Let a(z) = -z + 4. Let f be a(4). Are f and m equal?
False
Let f be (0 - (-1)/2) + (-1155)/42. Is -31 < f?
True
Let o(j) = -j - 629. Let k be o(-40). Is k > -589?
False
Let j = 0.65 + -0.25. Let h = -6 - -6. Let r = 1 - h. Is j less than or equal to r?
True
Suppose -8 = -3*d + 4. Let j = -14 - d. Let b be ((-1)/(-5))/(j/(-10)). Which is smaller: b or 0?
0
Suppose -3*a = -w + a - 26, 2*w = a - 38. Let d be (-156)/w + 1/3. Let t(i) = 2*i**2 + 6*i + 2. Let l be t(-4). Is l greater than d?
True
Let x be (-4)/(5 + -3 + 12*-82). Which is smaller: x or 0?
0
Suppose 37 = u - k + 154, 2*k = -3*u - 361. Is u smaller than -119?
False
Suppose -b = 5*q - 0*b, 0 = 2*b. Suppose 0 = -5*h + 4*w + 88, -5*h + 0*h + w = -82. Suppose q*d = -2*d - h. Which is smaller: -7 or d?
d
Let f = -2.3 - 0.7. Let l = -2/24711 + 7141487/98844. Let o = l + -73. Is o less than or equal to f?
False
Let i = -32.7 - -1.7. Let m be 3/(-7)*(-14)/(-21). Which is smaller: i or m?
i
Let v = 0.0283 - -0.0717. Does 300 = v?
False
Let j = -69 + 69.95. Let s = -1.95 + j. Is s at least as big as -13?
True
Let h = -2 + 6. Suppose 5*k - 5*g = 5, 4*k - 2*g + 6*g = -h. Let a be 66/9 - 6/(-9). Are k and a unequal?
True
Let m(k) = -2*k - 8. Let q be m(-7). Let r be (q/4)/((-18)/(-48)). Let w be (-26)/42 + r/12. Which is smaller: -5/8 or w?
-5/8
Let z be 1/((-5)/(-180)*6). Let m be ((-6)/7)/((-2)/14). Does m = z?
True
Let b = 0.015 + 0.685. Let s = b + 0.3. Is s <= -6?
False
Let b be 93/404 - 1/4. Let x be 4/1 + (2 - 1). Suppose 4*f + 16 = 4*n, -x*f - 11 - 9 = -2*n. Is b smaller than n?
True
Let w = -6270 - -6324. Suppose 2*g = -2*g. Which is smaller: w or g?
g
Suppose 0 = -17*f + 4*f + 12233. Is 942 at least f?
True
Let x = -2948/3 + 982. Suppose -1 = -2*t - 5. Is x less than t?
False
Let z be (-3)/(-6) + (-73)/(-2). Which is bigger: 33 or z?
z
Suppose 0 = 13*v + 8 - 47. Let m = v - 11. Is -2/3 <= m?
False
Let c = 572 - 534. Let p be 2/4*(70 + 4). Is c not equal to p?
True
Let f = -5 + 1. Suppose -9*a + 4 = 40. Is f smaller than a?
False
Let d = 4 - -1. Let z be (d/(-30))/(4/(-42)). Is z < 3?
True
Let h = 26 + -68. Let b be (6/h)/((-2)/(-28)*-2). Which is greater: b or 2/355?
b
Let m = -15/61 - -252/1769. Let c = 8 + -9. Which is bigger: c or m?
m
Let j be ((-14)/10)/(1 - 0). Let a(c) = -c**2 + 10*c + 1. Let p be a(3). Suppose -21 = -w - p. Which is smaller: j or w?
j
Let w(a) = a**3 + 29*a**2 + 75*a + 40. Let n be w(-27). Which is greater: n or -524?
-524