 7*o**2 + 4*o + 9. Let m be k(6). Let x be (4/4)/(m/15). Let a(q) = q**2 + 6*q - 4. Let t be a(-6). Which is smaller: x or t?
x
Let a be 7 + (-3)/(2/(-2)). Which is greater: a or 17/2?
a
Let y = -11 - -16. Let s(l) = l**3 + 4*l**2 - 2*l - 4. Let c be s(-4). Which is smaller: y or c?
c
Let y = -2002/9 - -223. Which is smaller: -2 or y?
-2
Let q = -361/5 + 6147/85. Is q at least as big as -0.2?
True
Let j = -11 + 11.15. Let m = j - 0.05. Is m less than -8?
False
Suppose -5*n = h - 81, -3*n - 4*h + 43 = -9*h. Let r be 6/(-8) + 12/n. Let u be 1/2*(-1)/3. Which is bigger: u or r?
r
Let t = 4 + 4. Let o be (-3)/(-12) + (-18)/t. Is 0 != o?
True
Let w(z) = 3*z + 5. Let c be w(0). Is c less than or equal to 3?
False
Let l = -207 + 628/3. Which is greater: l or 1?
l
Let i be 0*(-2 + (-3)/(-2)). Suppose 4*a - 42 = -6. Suppose a*k = 4*k. Is i equal to k?
True
Let q = -260 - -254. Suppose -3*o + d - 17 = -3*d, 2*d = 3*o + 19. Which is smaller: q or o?
o
Suppose 8 - 23 = -3*f + 3*c, 0 = -5*f - c - 5. Suppose 0 = 2*q - 4 - f. Let d be q/(-4) + (-4)/40. Is 0 not equal to d?
True
Suppose 3*o = -2*k + 7, -2*o + 4*k = 2*o + 24. Is o at most -2/31?
True
Let c = -1066/7 - -152. Which is smaller: -1 or c?
-1
Let i = 0.3 + -0.4. Suppose 0 = -p - 2*p. Suppose p = -w - w. Are w and i nonequal?
True
Let z(w) = -w**3 - 2*w**2 + 2*w - 2. Let q be z(-3). Let g = -0.79 - -0.29. Which is greater: g or q?
q
Suppose -1 = -2*n - 5. Let m be ((-9)/30)/(9/24). Which is greater: m or n?
m
Let s = 13 - 12.93. Let y = s - -2.93. Are y and -1 non-equal?
True
Let o = -0.06 + 1.86. Which is greater: 0 or o?
o
Let u(q) = 7*q + 3. Let y(d) = 8*d + 4. Let c(s) = 5*u(s) - 4*y(s). Let j be c(3). Let n = j - 7. Is 0 less than or equal to n?
True
Suppose 21*h + 96 = -3*h. Let w = -4 - -3.7. Which is smaller: w or h?
h
Let w(k) = k**2 + 11*k - 4. Let d be w(-10). Does d = -15?
False
Let k(m) = m**2 + 2*m - 2. Let w be k(-7). Let i be (-4)/(-22) - 72/w. Let v = 44 - 47. Is i < v?
False
Let n = -16794 - -268443/16. Let v = -65/4 - n. Which is greater: v or -1?
v
Let h = -0.6 + 1. Let z = -4 + 2. Let x = z + 3. Which is smaller: x or h?
h
Let z be (-8 - -3)*(-6)/(-5). Let t be 0*(3/1)/z. Which is smaller: t or 2/3?
t
Let i be 172/264*9314/12. Let l = -5462/11 + i. Let s = 37/4 - l. Which is greater: s or -1?
s
Let b(j) = -3*j**2 - 8 - 3*j + 5*j**2 - 5*j - j**2. Let d be b(9). Which is bigger: 0 or d?
d
Let b(k) = k**2 - 8*k + 8. Suppose 48 = 4*p - 5*n, 1 = 2*p + 4*n + 3. Let q be b(p). Which is smaller: q or 3?
q
Suppose -7*m - 5 = -2*m. Which is greater: m or -2/9?
-2/9
Let p(z) = -z**2 + 6*z + 3. Let h be p(6). Is h equal to 0?
False
Let p = -2 - -1. Do 1/12 and p have the same value?
False
Let o = 0.7 - -3.3. Let x = o - 4. Do x and 0 have the same value?
True
Let x = -248.96 - -253. Let v = -0.34 + 0.3. Let f = v + x. Is f < 1/4?
False
Let g = 134/9 - 706/45. Which is greater: -2 or g?
g
Let g = -553/12 - -46. Which is smaller: 1 or g?
g
Let m = 0.4 - 8.2. Let g = 8 + m. Which is smaller: g or 4?
g
Suppose -4*l - 6 = -2*l. Let j be 2/l - (-2)/3. Let s = j + -2. Is s less than 1/4?
True
Let i be (-2)/(-5) + 8/(-20). Suppose i = 2*k + 31 - 11. Let y be k*(-1)/(-4)*2. Is y at most -5?
True
Let i = 258/7 + -37. Which is smaller: -1 or i?
-1
Let v(s) = s**2 + 13*s + 16. Let r be v(-11). Which is greater: -3 or r?
-3
Let h be (-33)/11 + (-153)/2. Let c = h + 1737/22. Which is smaller: c or -1?
-1
Let j = -97 + 64. Is -33 < j?
False
Suppose -2*h + 0 + 4 = 0. Let k be h + (-14)/3 + 3. Is k bigger than -2?
True
Let j = 0.8 + 0.2. Let c = -0.01 + 0.01. Let i = j + c. Which is smaller: -2 or i?
-2
Let l = -74.12 - -70. Let w = l + 0.12. Which is smaller: w or 0.2?
w
Let h(c) = -c**2 - 6*c + 9. Let l(z) = -z**2 + z. Let m(f) = h(f) - 2*l(f). Let w be m(6). Let o be w/((-6)/1)*1. Are 1 and o equal?
False
Suppose -k - 160 = -2*k. Let s = -1122/7 + k. Suppose 2*j + 3*h = 9, 4*j - 4 + 1 = -h. Which is bigger: s or j?
j
Let q = -3/62 + 133/186. Which is smaller: q or 1?
q
Suppose -m - 3 = 0, -2*m = 3*p + m - 3. Suppose a = -p*f - 2, 3 = 2*f - 5*f. Suppose 0 = -k - k + a. Is k at least as big as 0?
True
Suppose -4*d - 9 = -3*d. Is d at least -5?
False
Let w = -4 - -7. Let f be 1/(-3) + 1/w. Which is greater: 1/6 or f?
1/6
Let u(t) = 2*t**2 - 4*t + 4. Let q(f) = f**3 + f**2 - 3*f + 3. Let m(j) = 3*q(j) - 2*u(j). Let l be -2*(-9)/6 - 2. Let k be m(l). Is k < 2?
False
Let h be 1 - (-22)/(-6) - -2. Let w(l) = l + 5. Let g be 2 + (-2 - -2) - 7. Let j be w(g). Is j at most h?
False
Let b(u) = 2*u + 2. Let z(j) = -j**3 - 2*j**2 + 1. Let o be z(1). Let s be b(o). Let i be (-14)/10 + 3 + -2. Which is bigger: i or s?
i
Let d = 431 + -240. Let x be 8/(-6)*3453/(-24). Let h = x - d. Is h equal to -1?
False
Suppose -3*t + 3*p = -57, 0 = -2*t - 0*p - 4*p + 14. Is 17 at most as big as t?
False
Let p = -6 + 12. Let h be 10/(-6) + (-4)/(-6). Is h at least as big as p?
False
Let x = 11 + -32. Let n = x + 23. Is n bigger than 1?
True
Let j be (6 - 3) + -3 + 1. Which is greater: j or 2/35?
j
Suppose 8*f = -2*f. Let d = -1/19 - -24/95. Is f bigger than d?
False
Let y be 1/4 + (-15)/(-4). Suppose t = 3*u + 11, 3*t + y = u - 3. Are t and -4 nonequal?
False
Let w be (-2)/(-1)*(-7)/28*4. Let u = -1/2 + 7/6. Which is smaller: u or w?
w
Suppose 2*x - x = 0. Let g be (-1)/2 + 23/(-2). Let i = g - -109/9. Is i at most x?
False
Suppose 2*w = 1 - 5. Let n be (-165)/(-44)*w/6. Is n at most as big as -2?
False
Let y be (6/4)/(12/64). Let o be 32/6*(-2)/y. Let u(f) = f - 3. Let a be u(3). Is a >= o?
True
Let r be (-4)/10 + (-4)/(-10). Let x = -2 + r. Let d be 45/(-12) - x/(-8). Is d at least as big as -3?
False
Let k be -2 + (-2 + 1)*-6. Suppose a = 4*a + 42. Let n = a - -18. Is n less than or equal to k?
True
Let i be (4 + -8)*14/8. Let j = 4 + i. Let p(d) = -d**2 - 7*d - 9. Let v be p(-6). Is j < v?
False
Let a be (-3 + 1)/(5/10). Let s = 1 + -1. Let t be 2/3*(s + -6). Is t at most as big as a?
True
Let s(y) = y**2 + 1. Suppose -2*i - i = 0. Let o be s(i). Let z be -2 + 4/(1 + o). Is z at least 0?
True
Let k = -14 - -15. Which is smaller: 4 or k?
k
Let c be 4/(-6)*174/(-4). Let h = c + -15. Let v = h + -184/13. Do 0 and v have the same value?
False
Let v(f) = -5*f + f**3 + 2*f + 2*f + 1 + 3 - 9*f**2. Let h be v(9). Which is greater: h or -3?
-3
Suppose 0 = -5*x + 5*c - 5, c = -3*x - 2 - 1. Is x equal to 2/9?
False
Let o(t) = t**2 - 12*t + 31. Let s be o(5). Is s at most as big as -4?
True
Let t be (-3 + (2 - 0))/(-3). Which is greater: 26 or t?
26
Let i be ((-1)/(-2))/(70/(-28)). Does i = -2?
False
Suppose b - 12 = 4*b + 4*l, l = 0. Which is bigger: 2 or b?
2
Let x = 10/391 + 2036/12121. Is x <= -1?
False
Suppose -3*f + 5*r = 3*r - 33, -3*r - 9 = 0. Is f < 17/2?
False
Let y = 3 + -3.36. Let p = y - -0.4. Do p and 2 have the same value?
False
Let w be 6/9 - 2/3. Let v = 43 - 300/7. Which is smaller: w or v?
w
Suppose 0 = -5*j - 5*r + 45, -4*j - 5*r = -3*j - 17. Let w = 8 - j. Which is smaller: w or 1/3?
1/3
Let i = 373/330 - -2/55. Is i >= 2?
False
Let a = -35 + 33. Is -2 <= a?
True
Let g = 4 - 2. Let x = 1/75 - -164/75. Which is bigger: g or x?
x
Suppose -3*g - 83 = 4. Which is greater: -30 or g?
g
Let p = 0.002 + -0.102. Which is greater: -16 or p?
p
Let b = -3.2 + 2.4. Which is greater: b or 1?
1
Let n = -74 - 19. Let h be n/24 - (-1)/(-8). Is h smaller than -3?
True
Let x = -52 - -49. Which is greater: -2 or x?
-2
Let d be ((-2)/12)/((-30)/(-675)). Do -3 and d have different values?
True
Let r = -0.04 - 1.96. Let h = r + 1.8. Let j = -1.02 + 0.02. Which is smaller: h or j?
j
Suppose -5*w = -2*z - 14 + 6, 1 = 3*z - w. Let j be (-1)/(-2 + 11/5). Let o = j - -5. Which is smaller: o or z?
o
Let x(p) = -p**2 - 2*p + 4. Let v be x(-3). Let s = 2 - v. Is -1 < s?
True
Let u be (9/(-12))/((-2)/24). Are u and 9 equal?
True
Let p = -1/788 + -3113/30732. Do 0 and p have the same value?
False
Let i = 0.65 + -1. Let s = -0.05 - i. Is s at most -0.1?
False
Let v = -80/441 + -2/49. Let w(g) = -g**3 - 11*g**2 - 7*g + 15. Let y be w(-10). Let x = y - -16. Do x and v have the same value?
False
Let k = -1/87 - 463/87. Suppose -15 = 5*a - 5*d, 8*a + 36 = 3*a - 2*d. Is k > a?
True
Let m(u) = -u**3 - 7*u**2 + 7*u - 8. Suppose 2*y - 12 = -4. Suppose y*p = 