u**2 - 9*u + 4. Let t be k(-8). Let m be (-4)/(-10) + t/(-330). Let w = 6/11 + m. Which is bigger: w or 0?
w
Let u = 100 + -98. Suppose 4*z + 6 = u*l, 5*l + 3*z = -0 + 2. Which is bigger: 68 or l?
68
Suppose 0 = -h - 17 + 5. Let o = h + 13. Let p be (-6 + 7)/(o + -2). Is p smaller than 0.2?
True
Suppose 7 + 47 = 2*l. Let x = 50 + -21. Is l > x?
False
Let l = 268 - -10. Is l bigger than 3/2?
True
Let l = 115 + -174. Let h = l + 60. Let r be -2 + (2 - (0 - 1)). Is r at least h?
True
Let p be ((-3)/4)/((-2)/48). Let s be 18/20*(-12)/p. Does s = 0?
False
Suppose f - j = 10, 3*f - 5*j = 7*f - 40. Is f smaller than 112/11?
True
Let d = 21 - 4. Suppose -d + 11 = -q. Suppose -c + g = -5*c + 25, -3*g = -4*c + 5. Is c at most as big as q?
True
Let f be 333/(-111)*1/(3*691). Is f greater than or equal to 1?
False
Let n be (-3)/(-87)*(7 - 5)/6. Are n and -1 equal?
False
Let s(o) = 13*o - 117. Let v be s(9). Which is smaller: -3/128 or v?
-3/128
Let y be ((-12)/(-30))/((-441)/(-15)). Let v = y + 431/735. Is v <= 1?
True
Let o be (28/21)/((-3)/27). Let a be (180/(-8))/(o/16). Which is greater: -3 or a?
a
Let b = -2.2 + 2. Let z = 1.2 + b. Suppose 4*x + f + 45 = 6*f, 3*x = -4*f + 5. Which is bigger: z or x?
z
Let q = -2 - 2. Let p be (-3)/(1 + 2)*5. Which is smaller: q or p?
p
Suppose 0 = -7*x + 5*x + 22. Suppose -3*m = 15, 0 = 4*a + 4*m + 21 + x. Which is smaller: -14/9 or a?
a
Let l = -240.1 - -240. Which is bigger: l or 497?
497
Let r = 36/71 - 1470/2059. Which is smaller: -1 or r?
-1
Let f(l) = 3*l**2 - 9*l - 72. Let s be f(9). Which is smaller: 444/5 or s?
444/5
Let f = -48 + 52. Let k be 0 + 0/((-2)/(f + -3)). Which is smaller: k or -5?
-5
Let s be 90/(-80) - (-1)/2. Suppose 36 = -4*d - 0. Let n be 2/(-3) - (-12)/d. Which is smaller: s or n?
n
Let q = 4 - 0.8. Let m = 3 - q. Let k = -27 + 80/3. Is m at least as big as k?
True
Suppose 6*j = -67 + 247. Which is greater: j or -2?
j
Suppose -9*v + 764 = -298. Which is smaller: v or 116?
116
Let h be ((-45)/(-18) + -3)*-6. Let m be (-38)/(-6) + 2/(-6). Are m and h non-equal?
True
Let u = -4035/4 + 1002. Is 0.2 at least u?
True
Let i be ((-494)/(-57))/(2/(-3)). Are -2 and i unequal?
True
Let j be ((-15)/12 + 2)/((-66)/(-16)). Let q(p) = 2*p**2 + 5*p + 1. Let l be q(-2). Which is smaller: j or l?
l
Let z = -35 + 35. Let p be 2/30*(6 + z + -7). Is 1 at least as big as p?
True
Let j(m) = -m**2 - 7*m + 19. Let o be j(-8). Suppose 0 = -8*r + o*r - 87. Which is greater: 0 or r?
r
Let k(c) = -c**3 + 15*c**2 + 4*c - 28. Let z be k(15). Let d be (17/2)/((-8)/z). Is d at least -33?
False
Let x = 2/81685039 - 5434505644804/5472897613. Let r = x - -993. Which is smaller: 0 or r?
0
Let j = -844 + 626. Which is smaller: -219 or j?
-219
Let v be ((-2)/6)/(15/(-648)). Let b = v - 787/55. Let n = 64 - 65. Do b and n have different values?
True
Let n be 16/184 + 11050/(-115). Is -95 less than n?
False
Let s(m) = -m**2 + 8*m + 1. Let t be s(4). Let b be (t/(-2))/(25/10). Does b = -4?
False
Let b be -2 - (15/4 + -1). Let l = 37603 - 1353887/36. Let r = l - b. Which is bigger: -1 or r?
r
Let n be (-815)/75 + 4 - -6. Is 0 greater than n?
True
Let q be (-2950)/(-4)*(-8)/(-10). Do 590 and q have the same value?
True
Suppose -13*s - 44 = -15*s. Let k = s - 18. Is -2 at most as big as k?
True
Let b be (-66)/495 + 8584/30. Is 0.1 at most b?
True
Suppose -5*r = 2*x + 3, 0 = -5*r - 4*x - 17 + 6. Suppose 0 = -10*p + 5*p. Let c(l) = l**3 + l**2 - l + 1. Let t be c(p). Is r != t?
False
Let a(g) = -7*g - 3. Let j(h) = -13*h - 6. Let v(t) = 11*a(t) - 6*j(t). Let n be v(-5). Let s = -671 - -669. Do s and n have the same value?
True
Let h be -3 - (-4)/8*8. Let i be 20/((5 + -6)*h). Which is greater: -21 or i?
i
Suppose -190 = 2*j - 7*j. Let o = j - 155/4. Which is smaller: o or 2?
o
Let a = 703 - 719. Does -378/23 = a?
False
Let o = -61 - -61.02. Is o not equal to 4/13?
True
Let c be 4/(-9) + (-19264)/(-1386). Is c bigger than 14?
False
Let z be (-2)/(-5) + 1242/45. Let g = 4 - z. Let h be 2*(-2)/g*-3. Which is smaller: -3 or h?
-3
Let t = -15078.98 + 15079. Let d(c) = -c**2 - 4*c - 1. Let f be d(-4). Which is bigger: t or f?
t
Suppose 5*w - 3*w = w. Is w < 1/39?
True
Let w = 16 + -3. Suppose 4*d - w = 15. Which is smaller: 8 or d?
d
Let x = 49/228 + 9/76. Which is bigger: -191 or x?
x
Suppose -y - 5*g = 15, 0 = -g + 3 - 6. Is -43 > y?
False
Let v = 19/4 - 5. Let q(b) = -b**2 + 10*b + 5. Let a be q(9). Let h be 15/a - 1 - 0. Is v <= h?
True
Let o(y) = y**3 - 8*y**2 + 6*y + 10. Let u be o(7). Let w = 3 - u. Let x = w - 1. Which is smaller: 4/15 or x?
x
Let i(j) = 2*j**2 + 23*j + 20. Let h be i(-9). Which is greater: -157/6 or h?
h
Let y = -476 + 478. Which is bigger: y or 6?
6
Let s(a) = 101*a**2 - 3*a + 5. Let o be s(2). Let q = 6849/17 - o. Let r(z) = -z. Let y be r(1). Is y < q?
True
Suppose 2*i - p + 12 = -11, -2*i - 26 = -4*p. Is 11 at least i?
True
Let t = -987 - -1096. Is 0 < t?
True
Let c = -0.025 - 0.007. Let u = -0.018 + c. Which is smaller: 1 or u?
u
Let p = 115 - 112. Which is greater: 48 or p?
48
Let h(f) = -f**3 - 2*f**2 + 2*f + 2. Let l be h(-3). Suppose -20 = -d + l*d. Which is smaller: d or -2/13?
d
Let d be (4/(-16))/((-3738)/(-48)). Is 1 greater than or equal to d?
True
Let b be -4 - ((-904)/88 + 7). Let v be (-8)/5 + (-2)/5. Which is smaller: v or b?
v
Let q = 2398 + -1728. Which is smaller: 668 or q?
668
Let q = -9 + 9. Suppose 4*p + 8*d - 4*d + 28 = 0, 4*p + 3*d = -23. Let x be 1 - (p/7)/(-2). Which is bigger: x or q?
x
Let s = -870 + 870.03. Which is bigger: 30/13 or s?
30/13
Let w(t) be the first derivative of -t**5/120 - t**4/6 - t**3 + 3. Let b(s) be the third derivative of w(s). Let m be b(7). Which is greater: m or -12?
m
Let z be ((-12)/8 + 0)/(-99 - -4). Which is bigger: -1 or z?
z
Let a = -8 + -6. Let d = -12.7 - a. Let k = d + -4.3. Which is smaller: 0 or k?
k
Let s = -39 - -38. Let h be (-1)/((2 - 0) + s). Let d(w) = -4*w + 5. Let l be d(5). Which is bigger: l or h?
h
Let w be 13 + -11 - (-1 - 2 - 1). Suppose w*v + 15 = 11*v. Let h be -2*(-38)/20 - 1. Which is smaller: h or v?
h
Let u = -2176.065 + 2204. Let n = u - -0.065. Let h = n - 25. Which is smaller: -4 or h?
-4
Suppose -n = -0*n - 5. Let x = -102 - -60. Let g be 3*3*(-28)/x. Are g and n unequal?
True
Let f = -23/6 + 85/12. Let j = -75 + 80. Suppose -4*p + 6 = 3*w - 16, j*p = -2*w + 24. Is f at least as big as p?
False
Let z = -11.9 + 12.9. Which is bigger: -2/23 or z?
z
Let y(w) = -2*w**3 + 21*w**2 - 7*w - 13. Let k be y(11). Which is smaller: k or -207?
k
Let n = -42 - -45. Let b be -1*n*(-2)/(-6). Is b less than -2?
False
Let m be 10/102 - (-11)/(-33). Which is smaller: 0.5 or m?
m
Suppose 198 = -5*x - 7. Let d = 43 - x. Let o be d/3*1/9. Which is greater: 4 or o?
4
Let w be (0 - -1) + (1 - 10). Let n = w + 9. Suppose 0 = 5*b - 5*p, -2*p + 6*p = 5*b - n. Which is smaller: 2 or b?
b
Let i = 1674 + -1751. Which is greater: -4 or i?
-4
Let q be -135 + 136 + (-12)/10. Let g = -4 + 6. Suppose -5 = -r, -3*r + 3 = g*x - 2*r. Is q less than x?
False
Let k(u) = 5*u + 0*u + 1 + 7 - 9*u**2 - 4*u - u**3. Let s be k(-9). Is s at most as big as 6/13?
True
Let p(q) = -34*q - 189. Let s be p(-10). Is -2 not equal to s?
True
Suppose 6*h - 2*h = 3*a - 12, -20 = -5*a - 3*h. Which is greater: -3 or a?
a
Let s be ((-2784)/(-24))/(3 + -1). Which is bigger: 396/7 or s?
s
Let d = 2 + 4. Let v = 305 - 302. Which is smaller: v or d?
v
Suppose -21 = l + 3*d, 5*l + 33 = 14*d - 11*d. Which is bigger: -7 or l?
-7
Suppose 0 = -8*u + 3*u + 3*b - 11, -u - 5 = -2*b. Let y(j) = -4*j - 392. Let a be y(0). Let s be (-2)/(-8) - 7/(a/(-54)). Which is greater: s or u?
s
Let l = 2831 + -2833. Suppose 5*s = 6 + 4. Suppose 4*b = -2*o - 22, -o - 30 = 5*b + s*o. Which is smaller: l or b?
b
Let s be (-42)/(-11) + (-5)/(330/(-12)). Let b be -6 + 13 + 2 + -4. Let z = s - b. Which is smaller: z or 0?
z
Suppose 3*r = -2*r + 15. Suppose -4*h = 5*f + 28, -10 = r*f + 3*h + 5. Let p = 33/4 + f. Which is smaller: 1 or p?
p
Let k be 1*(-2*1 - -13). Suppose -39 = -7*l - 165. Let v = l + k. Is v >= -7?
True
Suppose 4*f + 4*d + 16 = 0, 46*d = 5*f + 47*d. Is 3/145 != f?
True
Let z be 18/(-216)*8*(-3)/(-418). Is 0.5 at most as big as z?
False
Let j be (-1 - -6) + -6 + (-47)/1. Is j less than -46?
True
Let h