Which is smaller: b or -1?
-1
Suppose 4*i + i = -3*o + 19, -3*i = -4*o + 6. Let d = i + -2. Let g be ((-658)/(-168) - 9 - -5)/((-49)/42). Which is smaller: d or g?
d
Suppose -a = -2*d + 57, -2*d = -2*a + 6*a + 228. Let m = -62 - a. Let k(h) = -h**3 - 6*h**2 - 3*h + 12. Let g be k(m). Is 2 at least as big as g?
True
Let u(s) = -16 + 10 - 39*s - 14 + 2 + 44. Let d be u(2). Is -53 > d?
False
Let m(l) = -413*l**2 + 95*l - 186. Let g be m(2). Which is smaller: g or -1647?
g
Let y be (-504)/(-27)*(-9)/(-12). Let w(l) = 7*l + 10. Let q be w(10). Suppose 0 = -6*r + r + q. Is y at most as big as r?
True
Let l = 29591/24 - 3005/6. Which is greater: l or 731?
l
Suppose 0 = -3*z - 3 + 6. Let i be (-108)/(-44) - 1 - z. Let c be (-2)/(-8) - 39/260*-5. Is c at least as big as i?
True
Let y = -11901.0589 + 11901. Is y at least as big as -4?
True
Let o = 10466 + -7001750/669. Let a = 15415/4683 - o. Is 2 less than a?
True
Let z(j) = j**3 + 8*j**2 + 2*j - 4. Let u be z(-9). Let p = -101 - u. Let c be p*(644/40)/7. Is 6 < c?
False
Let p = -19 + -143. Let x = -168 - p. Which is greater: x or 2/15?
2/15
Let t(m) = -4*m**3 + m**2 + 55*m - 233. Let l be t(5). Do l and -435 have the same value?
False
Let g = -41.2611 + -0.0389. Let k = g + 46. Are k and 0 non-equal?
True
Suppose 5*d = -18 - 7. Let l(b) = b + 1. Let a be l(d). Let q be a/2 - 7/(-56). Are -3 and q unequal?
True
Let j be 1 + (-2416)/(-3) + 1 + 1270/762. Which is smaller: 806 or j?
806
Let g(d) = -51*d - 3. Let y be g(-5). Suppose 14*z + 3*h = 15*z - 234, 5*z - 1254 = h. Is z bigger than y?
False
Let y(f) = 22*f + 984. Let x be y(-54). Which is bigger: x or -1625/8?
-1625/8
Let x(n) = -3*n**3 - 14*n**2 - 3*n + 16. Let g be x(-6). Suppose 11*j = -4*j + 2655. Is g at least as big as j?
True
Let g = -88.7 + 12.7. Let w = g + 107. Let p = 31 - w. Which is bigger: -1/13 or p?
p
Let b = -1173 - -573. Let f = 595 + b. Is f greater than -59?
True
Let d be 6/(-4) - 6525/(-1334). Let x = -8640/2507 + d. Which is bigger: 1 or x?
1
Suppose -v + 9 = y, 5*y = -4*v - 0*y + 35. Suppose 5*i - 3*t - 34 = 0, -i + 7*t - 12*t = v. Which is greater: 38/9 or i?
i
Let q(v) = -45*v**2 - 51*v + 159. Let u be q(3). Do -397 and u have different values?
True
Let o = 8705/3 + -2901. Is o != 213?
True
Let w = 34152 + -34164. Do w and -245 have different values?
True
Let z(v) = 0*v + 6*v + 25 - 3. Let n = -966 + 957. Let c be z(n). Is c smaller than -32?
False
Let b be ((-16)/6396)/((-546)/(-126)). Which is greater: 0 or b?
0
Suppose q - 9 = 3*h, 40*q - 36*q + 2*h - 120 = 0. Which is greater: 259/10 or q?
q
Let m(q) be the third derivative of -19*q**5/60 + 29*q**4/3 - 7*q**3/6 - 163*q**2. Let o be m(12). Which is smaller: o or 370/9?
o
Let w be ((-10)/(-3))/((-6)/(-27)). Let j be 10/(-4)*(-96)/(-80). Let a(u) = -2*u - 6. Let n be a(j). Which is smaller: n or w?
n
Suppose 4*p - 3*p - 3*f = -15, 4*f = -5*p + 20. Let y = 122 + -126. Let b be 140/(-825) - y/20. Is p less than b?
True
Let c = -117456/7095245 + 38/2393. Is c smaller than 0?
True
Let w(s) = 57 - 47 + 61 + 49 - 13*s + 88. Let v be w(16). Which is smaller: v or 2/561?
v
Let i(q) = -62*q**3 + 8*q**2 + 6*q - 7. Let x be i(-5). Let v be (-10)/(-5) + x/(-9). Let o = -875 - v. Is o > 2?
True
Let n(h) = 7*h - 26. Let a(m) = -m**3 + 4*m**2 + 13*m - 2. Let p be a(6). Let y be n(p). Suppose g + 99 = -5*l, y*l + l = -g - 61. Which is smaller: l or -18?
l
Suppose 144 = 2*z + 132. Is z equal to 4?
False
Let t(g) be the first derivative of g**4/4 + 7*g**3/3 - g**2/2 - 8*g - 8. Let f be t(-7). Let j be 4 + (25/(-9))/(12/18). Is j >= f?
True
Let k be 60/(-21)*63/(-18). Let f be -1*(-6)/9 - 155/(-15). Which is bigger: f or k?
f
Let c = -0.11 - 3.79. Let q = c + 1.6. Let l = -34 + 34. Are l and q nonequal?
True
Suppose 5*y = 4*b - 331, -2 = 10*b - 8*b. Let v(c) = -2*c - 70. Let l be v(0). Which is bigger: y or l?
y
Let s be -5*(-1 - 5) - 1. Suppose s*o - 28*o = -7. Let n(p) = p + 10. Let r be n(o). Is r less than or equal to 5/3?
False
Suppose d = -3*f - 8, -d = -6*d + 3*f + 14. Let a be d*(-3)/3*1. Let s be 19/57 + 4/(432/(-21)). Are a and s unequal?
True
Let x be ((-3)/(-3) + 1)*125/50. Suppose 5*v - 5*z = 0, x*v = 2*v - 3*z + 12. Which is bigger: v or 133?
133
Let i be -8 + 1/(-10)*461. Let x = i - -107/2. Is x > -28?
True
Let l = 272405.823 + -259454.88. Let d = l + -12943. Let p = d + 0.057. Is 0.4 smaller than p?
True
Let l = -1541 + 1554. Let n = -26 - -9. Let w = -4 - n. Is l at least as big as w?
True
Let v = -2462 + 12706/5. Is v not equal to 79?
True
Let j = -0.536 - 4.464. Let y be ((-2)/(-3) + (-10)/6)*-3. Do j and y have the same value?
False
Let c be 38405/(-183180) + 1/(4 + 2). Let k = -1/284 + c. Which is bigger: k or -1?
k
Suppose 0 = -4*l + l + 90. Let g = -31900 + 31929. Is l smaller than g?
False
Let f be 1*-2*4/8. Let h(l) = -l**2 + l + 4. Let b be h(3). Let x be (b/(-4))/(12/8). Which is smaller: x or f?
f
Let u = 78243/1349038 + -31/542. Is u bigger than -1/2?
True
Let q be (-6489 + -75)*(1 + 2/(-4)). Is q greater than -3285?
True
Let g = 2659 + -7963/3. Is -17 >= g?
False
Let b = 125 - 125. Suppose -2*d = r - b*d - 17, -4*r + 2*d + 38 = 0. Which is smaller: 129/11 or r?
r
Let w = 3261 + -2906. Are w and 355 equal?
True
Let w be (360/(-69))/(-2) - 3. Let i(g) = -g**2 + 35*g - 150. Let t be i(5). Which is bigger: w or t?
t
Suppose 2*l - 4*d = 2, 4*l + 16 = -0*d + 4*d. Let i be 96/l - (-4)/6. Let y be (4*i/36)/((-14)/(-105)). Which is smaller: y or -7?
y
Let o = -63 - -62. Let r be 4/81*((-15)/16 - o). Let c = 3901/4212 - r. Is c at most as big as 0?
False
Suppose 5*d + 14921 = 4016. Let s = d - -98141/45. Does s = 0?
False
Let o = -0.1 + 0. Let m = 12.682 + -12.942. Is m greater than o?
False
Let x = -0.2 + 8.2. Let t = -126 - -121. Let r = t + x. Which is smaller: 9 or r?
r
Let r(u) = -2*u**3 + 7*u**2 + 26*u - 67. Let b be r(8). Is -439 > b?
False
Let h = -0.1308 - 2.8692. Which is smaller: 343 or h?
h
Let s = 287 - 352. Let q = -76 - s. Are -11 and q equal?
True
Let l = 7153 + -7139. Which is bigger: l or 84?
84
Suppose 831 + 93 = 21*a. Suppose 41*w - 246 = a*w. Which is bigger: w or -81?
-81
Let u be -76*(84/16 - 5). Let t be 1 + -3 + (-2)/(-1). Suppose t*i = i + 18. Is i not equal to u?
True
Suppose 3*c + 308 = -2*z, -4*c + z - 500 = -82. Let s(n) = -108*n**3 + 4*n**2 - 8*n + 7. Let v be s(1). Which is smaller: v or c?
v
Let p be 4*(46/230 - 12/10*1). Let j be (-4)/11*(3 + 5). Which is greater: j or p?
j
Let b = 0.2 - 0. Let d = 264085763 + -6338586484661/24002. Let c = 2/1091 + d. Is c <= b?
True
Let c(k) = 4*k**3 + 108*k**2 - 6*k - 162. Let d be c(-27). Is d at most as big as -3/323?
False
Let k be 1575/(-350) + (-41955)/10. Is -4201 bigger than k?
False
Suppose -46*s + 16*s - 383 - 97 = 0. Suppose -4 + 43 = -3*y. Which is greater: y or s?
y
Suppose -6 + 1 = -y, -4*y - 172 = 4*j. Let s be (-10)/(-4)*(-2)/10. Is j smaller than s?
True
Let j = -40 + 43.6. Let z = j + -10.6. Let k = -3/157 + 957/785. Is z less than or equal to k?
True
Let u = 36791/33 - 1114. Which is smaller: 2 or u?
u
Let d(l) = -2*l - 8. Let n be d(-4). Suppose n = 2*z + a + 4, -5*z - 2*a - 16 = 2*a. Let r = 3010/27 - 223/2. Which is smaller: z or r?
r
Suppose 2*n - 6 = 2*m, 0*m = -2*n + 5*m + 12. Let t = -57.8 + 52. Let d = -0.4 - t. Which is bigger: n or d?
d
Let s(t) = -3*t - 71. Suppose 0 = 2*i + p + 19, -4*i - p = 3*p + 28. Let a be s(i). Which is bigger: 2/7 or a?
2/7
Suppose 7096*r + 600 = 7092*r. Do r and -147 have the same value?
False
Suppose m - 2 = 3. Let o = 7 - m. Suppose -2*b + o = 2*s - 6, -4*s + 2*b + 28 = 0. Are 7 and s equal?
False
Let n(j) = -j**3 + 5*j**2 - 4*j + 6. Let q be n(4). Let w = 22107 + -154704/7. Is q smaller than w?
True
Let k be 11*(-14)/(-4389)*414/(-8). Let r = 14359/7866 + k. Which is smaller: r or 0?
0
Let o = 13.056 - 14.594. Which is smaller: -0.4 or o?
o
Let s be (-655558)/21224 + 56/392. Let w = s - -123/4. Which is smaller: 0 or w?
0
Let k = -512 + 511.793. Let p = 21158 - 21158.1. Is k equal to p?
False
Let r be -10*4647/84*21*(-20)/(-350). Is -665 less than or equal to r?
True
Let z = -99.47 - -99.473. Is z > -0.2?
True
Let c be 2/(-12) - (-6)/18. Let r be 3/(9/33) - 2. Let z(p) = -4*p + 36. Let h be z(r). Is c < h?
False
Suppose -37*d - 4625 = 89651