 + 0.9. Let c = j - 0.4. Let l be (-2)/(((-378)/12)/(-9)). Which is bigger: l or c?
c
Let f be (-4 - (-2 - 0))/2. Let q(o) = -3*o - 46. Let i be q(-22). Let r be (-2)/i*2 + (-66)/(-405). Is r bigger than f?
True
Let r(d) = 185*d - 2422. Let y be r(9). Let a be 1510/(-2) - (-2)/(-2). Is a at most as big as y?
False
Let h = 11 - 8. Suppose c = p + 6*c + 20, 3*p + 4 = -c. Suppose p = -11*m - 0 + 88. Which is smaller: h or m?
h
Let w(i) = 48*i + 644. Let u be w(-13). Let t = -34 + 51. Are t and u equal?
False
Let q(z) = -z**3 + 3*z**2 + 12*z - 49. Let u be q(7). Is -173 greater than u?
False
Let y(w) = -w**3 + 27*w**2 + 34*w - 112. Let l be y(28). Which is smaller: l or 57?
l
Suppose 0 = 46*g - 49*g + 3. Let w be (g*3/2)/((-6)/(-80)). Let s be -1*2*w/(-120). Which is bigger: s or -1?
s
Let c be (-2)/10 + (-3)/15. Let w be -2 + 4 - -833 - -1. Let y be (-6)/(-33) + (0 - 196/w). Which is smaller: c or y?
c
Let h(m) = -180*m + 4909. Let j be h(28). Let i(d) = 132*d**2 + d - 1. Let g be i(1). Let y = g + j. Do -14 and y have different values?
True
Let o = -3 + 5. Let r = o - 0. Let g be 307/10745*2/((-6)/(-1005)) - 10. Is r at most as big as g?
False
Let p = -37478 + 26090. Let m be (p/951)/4 - -3. Which is bigger: 1 or m?
1
Suppose 10 = -17*o + 44. Suppose 2*a = o*z - 78 - 46, 3*a + 124 = 2*z. Is 62 at most as big as z?
True
Let w(s) = -11058*s**3 + 4*s - 1. Let g be w(1). Is -11056 at most g?
True
Let m = 3.00474 + -0.00474. Which is smaller: m or 1/40?
1/40
Let y = -5858 - -4555. Which is greater: y or 2/7?
2/7
Let r be -694*(-6)/(-24) - 9/6. Let c = -223 - r. Is -4 <= c?
False
Let k be (0 + 0)/(1/(-1)). Let y = -808 + 1031. Let z be (-1 + y/217)/(108/756). Which is smaller: k or z?
k
Let r(k) be the third derivative of k**5/20 - 37*k**4/12 + 49*k**3/6 + k**2 - 19. Let v be r(24). Is 2/47 at least as big as v?
False
Let v = -145 + 276. Let z = v - 158. Which is smaller: z or -2/3?
z
Let z = 12451 - 12444.08. Which is bigger: 11 or z?
11
Let r = 84 - 83. Let t be 434/3728 - r*(-2)/(-16). Which is bigger: t or 2?
2
Let g(t) be the third derivative of t**5/60 + 11*t**4/24 - 11*t**3/3 - 8*t**2. Let h be g(-9). Let s = -42 - h. Which is bigger: -14/5 or s?
s
Let v = -2208 + 2202. Is v greater than 3/11?
False
Suppose 42 = 127*b + 42. Let g = 3 + -3. Let h = -2 - g. Are b and h unequal?
True
Let k = 3060 - 3016. Is k greater than 23?
True
Let m(f) = -f**3 + 5*f**2 + 4*f + 6. Let c be m(0). Suppose 0 = -3*u - c, 0*n = -4*n - 2*u - 8. Is n greater than or equal to -2/121?
False
Let n be (-1)/(-9) - (-17)/9. Let i be (5 + n + -3)*(-54)/(-36). Suppose i*t = 4*t + 148. Which is smaller: 75 or t?
t
Let s = -27/119 + -3609/2975. Which is greater: s or -2?
s
Let r(w) = -384*w - 25. Let i be r(1). Are -7 and i unequal?
True
Let u be -26 - ((-14 - -22) + 69/(-9)). Is 7 <= u?
False
Let h = 6872477/247 + -27825. Let y = h - -20/19. Let g = -0.925 - 0.075. Which is bigger: y or g?
y
Let m = -504 + 503.9. Let z = 2.4 + -2.51. Let w = z - -0.01. Is m at most as big as w?
True
Let w be (-252)/(-44) + (-30)/5 - (-25424)/616. Let q be 41 + 0 - -1 - -1. Is q > w?
True
Let j(l) = -l**3 + l**2 + 34*l + 347. Let y be j(-10). Which is greater: y or 1114?
1114
Let n = 4.1 - -25.9. Suppose 10 = 4*m - 10, 2*g + m + 33 = 0. Let w = g + 97/5. Which is greater: n or w?
n
Suppose 30*p + 4928 = 1208. Which is smaller: -123 or p?
p
Suppose 0 = 12*t + 1169 - 11021. Let j = t - 820. Which is smaller: j or 7/3?
j
Let k = 32.15 - 30.15. Let n = -319 + 982/3. Does k = n?
False
Let p(m) = m**3 + 11*m**2 + 6*m + 2. Let c be p(-4). Let l be 1400/50*(2/8)/((-6)/(-78)). Let b = l - c. Is b < 3/53?
False
Let k(x) = x**3 + 2*x**2 - 4*x + 6. Let g be k(4). Let z = 175/2 - g. Let i be 126/441 - 1*19/(-7). Is z at most as big as i?
True
Let s = 113 - -59. Let k = s + -185. Which is greater: k or -2?
-2
Let r = 6448 - 6448.02. Is 2/29 smaller than r?
False
Let n = 95 + 8. Let w = -101 + n. Let v be ((-3)/w)/((-7)/7 + -275). Which is greater: 1 or v?
1
Let b be 306/(-408)*(2 - 14). Is 369/40 equal to b?
False
Let k be -12 - -4 - -4 - -7. Let m(n) = -320 + 19*n**2 + 280 + 4*n**k + 22*n - 5*n**3. Let t be m(20). Is 1/99 greater than t?
True
Suppose 60 = -9*t + 12*t. Let p = 18 - 10. Let m be t/24*(-7)/(490/p). Which is smaller: -1 or m?
-1
Suppose -u - 44*z + 2051 = -42*z, -4*u = -2*z - 8204. Is u < 2051?
False
Suppose -337*k = -348*k. Is 4/2369 not equal to k?
True
Let x = -4.6958 + 4.5106. Which is smaller: x or 1?
x
Let r be (-29582)/35*(-1)/4. Let d = r + -211. Is 1 less than or equal to d?
False
Suppose -4*j - 9*m - 22 = -6*m, -2*j - 5*m = 18. Let l be ((-112)/42)/(j/30). Which is smaller: 11 or l?
11
Let z = -73/4 + 653/36. Is z at least as big as 5.1?
False
Let s(l) = 718*l - 1766. Let w be s(5). Which is bigger: 1826 or w?
1826
Let c be 1/5*-24 - 100/(-125). Let d(k) = -k**2 - 10*k + 5. Let a be d(-10). Suppose -a*j - 9 - 11 = 0. Is j at least as big as c?
True
Let w = -344 - -356. Let c be w/28 - (0 - 30/(-24)). Which is smaller: c or -1?
-1
Let f(c) = 55*c**2 - 540*c - 101. Let n be f(10). Do n and -43/37 have different values?
True
Let a be 6/(-4)*2/9*3. Let c = -2 + a. Let z be ((-9)/(-6))/c*-38. Is 19 > z?
False
Let y = 9673/155 - 313/5. Let z = -182.7 + 179.7. Which is bigger: y or z?
y
Let d = -7355.7 + 7355. Are 2/3247 and d equal?
False
Suppose -8*z - 32 + 0 = 0. Let u be (-8 - -6)*(z - -3). Suppose i = -5*i - 6. Which is greater: i or u?
u
Let q be (-340)/(-90) + 4/18. Let n = q - 131/33. Suppose 4*m + 3*z + 5 + 4 = 0, -12 = -5*m + 4*z. Which is smaller: m or n?
m
Let l = -0.0394 + -0.1776. Let s = -0.017 - l. Is -0.2 not equal to s?
True
Let x be ((-744)/(-30)*1)/((-16)/4760). Is -7377 <= x?
False
Let c be 8 + 6 + 0 + 1. Suppose -c*f = 1661 + 79. Which is smaller: -0.4 or f?
f
Let g = -243/10 - -24. Let w be (-24 + 23)*302/2. Let l = w + 150. Which is greater: g or l?
g
Let y be 15/10*(1 - -1). Let p be -1*(-3 + y)*1. Suppose 2*d + 4 = -p*d. Is d less than or equal to -4?
False
Let n(g) = g**2 - 15*g + 48. Let s be n(11). Suppose 5*v + d = 10, -s*v + 9 = d - 0*d. Let j(m) = -m + 1. Let u be j(-5). Which is smaller: v or u?
v
Let q = 111565 - 1453199/13. Let a = -219 - q. Suppose -6 + 2 = -2*s. Which is bigger: s or a?
s
Let r(p) = 9*p**3 + 10*p**2 + 18*p - 15. Let l be r(-5). Which is smaller: l or -978?
l
Let o = -40/317 - -5071/32651. Let u be (-2)/(-2) - (-2 + 3). Which is smaller: u or o?
u
Let b be (-2 - -3)/(-1) - (-42984)/136. Let w = 315 - b. Which is bigger: w or -2?
w
Let a(x) = x**2 - 5*x - 4. Let l be a(-5). Suppose 2*v = 3*m + 5*v - 87, 2*m + 5*v = 13. Does l = m?
False
Let q be 5 + (-428)/20 - 6/10. Let i be ((82*1)/(-1))/(-21 - q). Is 22 equal to i?
False
Let r = -1999 + 1536. Is r less than -1/2?
True
Suppose 0*c - c - 5*k + 11 = 0, 2*c = 3*k - 17. Let h be 10/92*50/625. Let n = -2077/805 + h. Is c less than n?
True
Let s = 16337 + -16671. Which is greater: s or -331?
-331
Let g be 565/(-113) + (8/(-20) - 15496/(-2870)). Is 1 at most g?
False
Let p = 6207 - 6206.697. Is -9 greater than or equal to p?
False
Let t(l) = -4*l + 9. Let z be t(0). Suppose 14 = 4*k + 2*c, k - z = 2*c + 3*c. Suppose -5*q + 4 = -d, -q - k*d + 3 = -2. Which is smaller: q or 2?
q
Let d = -0.185 + -0.025. Let k = d - -0.21. Which is bigger: k or -0.09?
k
Suppose 5*i + 64 = 7*i. Let z be (i/(-6))/((-16)/24) - 4. Let w be -1 + (-23)/(-14) + z/8. Is w at most -2?
False
Let i = -138103 - -1405750438/10179. Which is bigger: 0 or i?
i
Suppose 34*l - 12*l + 418 = 0. Suppose 3*f - 2*f - 15 = 0. Suppose -y - 3*p - 10 = 0, -4*y - f = 5*p + 46. Is y <= l?
True
Let s = 1970 + -1970. Which is smaller: -370/11 or s?
-370/11
Let j be 6 - ((3 - 1) + -1). Suppose k = j*v + 40 - 16, -v = -3*k + 16. Is k less than or equal to 9/4?
False
Let f = 4760/30370527 - -2/13761. Which is bigger: f or -5?
f
Suppose -5*l + 26 = -3*r, -4*l - 31*r + 32*r = -11. Is l bigger than -1/348?
True
Let h be -9 + 11 + 12 - 0/2. Let m be (231/h)/11 + 963/(-6). Which is greater: m or -160?
m
Let m = 30/409 + -12600/4499. Suppose -13*a + 243 = 269. Which is smaller: m or a?
m
Let u be 42490/(-77) + -3 + 248/88. Which is bigger: u or -547?
-547
Let d = 40 + -53. Let v = -96 - -96. Let h = d + v. Is h bigger than 1/3?
False
Suppose 1899*o 