 = -0*x + 15, -3*x - u = 7. Which is greater: x or c?
c
Let k = 103 - 518/5. Which is bigger: -1 or k?
k
Let q(r) = r**2 + 6*r - 10. Let v be q(-7). Let h be (1 - 2)*(1 + 1). Which is greater: v or h?
h
Let i(l) = l - 5. Let q be i(8). Let t be (0/(-2))/(q/3). Is t at least as big as 1?
False
Let j = -3.4 - -1.5. Let a = 1 + -3. Let q = a - j. Is q at least 1?
False
Suppose 0 = p + 2*w + 3, -p + 5*p = -w - 5. Do 7/19 and p have the same value?
False
Let n(y) = -15*y**2 - 40*y - 6. Let u be n(-4). Let r be (4*3)/(27/192). Let d = u + r. Do d and 1 have the same value?
False
Let p = 54 + -55. Let a be (4/45*3)/(-10). Are a and p non-equal?
True
Let v be 6/21 - 4/14. Is v not equal to -1/69?
True
Let n be (15/6)/(1/(-2)). Let f = -216 + 209. Which is bigger: n or f?
n
Suppose 3 = 2*f - 1. Let d(l) = 2*l**3 - l**2 - 3*l + 2. Let v be d(f). Which is smaller: v or 9?
v
Let u = 1.3 + 7.7. Let v = -6 + u. Let i = 1 - 1. Is v greater than or equal to i?
True
Let z = 0 + 9. Suppose -2*j = -5*j + z. Which is greater: 1 or j?
j
Let x be -4*((-15)/(-6))/5. Let y be -6 - (2 + x + -2). Let u = -2 - y. Is u smaller than 1?
False
Let s = 16 - 16. Is s not equal to -2/89?
True
Let g = -1633 + 8139/5. Let h = 172/35 + g. Which is bigger: h or 0?
0
Let p(j) = -j**2 - 13*j - 7. Let l be p(-12). Do l and 6 have the same value?
False
Let v = 23 - 18.1. Let k = v + -5. Is k less than or equal to -2/9?
False
Let x = 9 + -8. Let t(f) = f**2 - f - 16. Let n be t(0). Which is bigger: n or x?
x
Suppose -2*a = 2*a. Let s = 5654/3 - 1859. Let d = s + -26. Is d greater than or equal to a?
False
Let g = 259/5 + -52. Let f = 2 - -1. Suppose -2*i = f - 1. Which is bigger: g or i?
g
Let l be ((-1)/(-1) - 0)/3. Let t = 21.91 + -2.31. Let q = 20 - t. Which is bigger: q or l?
q
Let l be -4 + (-23)/10*-2. Which is greater: 0 or l?
l
Let f = -10 + 4. Let i = f + 8. Is -2 at most i?
True
Let t = -1.7 - 0.1. Let o = t - 0.2. Let l = o + 1.8. Which is bigger: l or 1?
1
Suppose -3*j + 5*i = 1, -i - 1 = -0*j - j. Let w = -1 + j. Suppose x = 4*h + 1, 3*h + 2*x = -w*h + 15. Which is bigger: h or 3/5?
h
Let w be -3 + -1*(-6)/(-3). Which is greater: -33/7 or w?
-33/7
Let b(t) = t**3 + 6*t**2 + 4*t + 3. Let m be b(-5). Suppose 5 = k + m. Is -4 at least k?
False
Let t(v) = v**3 - 3*v**2 - 4*v - 1. Let u be t(4). Which is greater: u or 2/47?
2/47
Let o = -39 - -63. Suppose o = 3*z + z. Which is smaller: 7 or z?
z
Let d be -4*(-3)/(-36)*3*77. Is d bigger than -77?
False
Let d = 29 - 29. Are d and 0 equal?
True
Let z be (11 + -12)/((-2)/14). Suppose 0 = z*h - 3*h. Which is smaller: 2/13 or h?
h
Let p(v) = -v + 3. Let w be p(0). Let o = 18 + -16. Which is smaller: o or w?
o
Let l = -5/169 - -2422/7605. Let p = 1/15 - l. Let v be -1*(-2 + 4 - 1). Is v at least p?
False
Let a(r) = -r**2 - 5*r. Let m be a(-5). Let g = 286 - 1709/6. Is m greater than g?
False
Let y be (-4)/(-34) - (-1795)/(-85). Does -22 = y?
False
Let l be (4/(-6))/((-3)/18). Let p be 2/(((-15)/(-12))/5). Let d be (-2)/p - (-84)/16. Is d > l?
True
Let p(d) = 3*d**3 + 5*d**2 - 6*d + 2. Let m be p(-3). Suppose -l + 0 = 5*v - 8, 7 = -l - 2*v. Is l less than or equal to m?
True
Let f be 9/((-153)/4)*(-1)/(-4). Is 1 greater than f?
True
Suppose 0 = 5*z - 5, -2*a - 2*z = 3*z - 19. Is 4 < a?
True
Let x(n) = n**3 + 5*n**2 + 4*n + 4. Let d be x(-4). Let q be (-5)/(10/(-4)) - d. Let p = q - -4. Which is smaller: p or -1?
-1
Let b = -2 + 2. Let z be 1/10*12/(-3). Which is smaller: b or z?
z
Let x = -0.07 + 6.07. Let t = 0 + x. Let c be ((-3)/(-30))/(2/5). Which is smaller: c or t?
c
Let w = -46.84 + 46. Let j = w - 0.16. Which is smaller: 1 or j?
j
Let a = -11.1 + -0.9. Let x = -13 - a. Let w = -0.2 - -0.1. Is x equal to w?
False
Let v(i) be the second derivative of -i**4/12 - i**3/6 + 2*i**2 + 2*i. Let x be v(0). Let y = x + -3. Is y greater than or equal to 2/3?
True
Suppose -2*n + 3 = n. Let k(b) = b**3 - 2*b - 1. Let q be k(2). Let c be 1/q*(-18)/12. Are c and n unequal?
True
Let c be (-3)/((-150)/(-98)) - -2. Let d = c + -57/175. Is d not equal to 0.8?
True
Suppose 0 = -2*z - 5*w + 21, -9 = 3*z - 4*z - 2*w. Let n be 1*(13 + -4 - 4). Let d be (n - z) + 0 + -3. Is d < -5?
False
Suppose 5*k + 3 = -7. Which is bigger: k or 1.2?
1.2
Let l = 0.2 - 2.2. Let b = -0.48 - -0.38. Which is smaller: b or l?
l
Suppose 3*o - 4 = o. Suppose 2*t = 4*g + 26, -t + 2*g - o = 3*g. Suppose -4 + 1 = t*r. Which is bigger: r or -3/4?
-3/4
Let p be 6/(-14) - 3*(-16)/(-84). Is p at least -4/27?
False
Suppose -7*m = -x - 3*m - 13, -m + 10 = -x. Is -8 at most x?
False
Let w be -1 - (-3)/(-93)*-29. Which is smaller: -1 or w?
-1
Suppose 1 + 7 = -2*g - 2*d, 0 = -4*g - d - 7. Let r(w) = 4*w**2 - w - 1. Let c be r(g). Do 2 and c have the same value?
False
Let j be (12/18)/(3/(-18)). Suppose -3 = n + 3. Is j greater than or equal to n?
True
Suppose -3*a = 6 + 12. Is a at most as big as 2/7?
True
Let l(v) = v**2 + v - 1. Let n be ((-1)/1)/(-1) - -2. Suppose n*g = k + 5*g - 9, -g + 10 = -5*k. Let j be l(k). Which is greater: -2/3 or j?
-2/3
Let x be (6 - 2)/(3/13). Let g = 18 - x. Is g at least 0.1?
True
Let d = -67/60 - 1/12. Which is smaller: d or 0?
d
Suppose -8*k = -k + 98. Is k smaller than -13?
True
Let r be (11/2)/(1/(-2)). Let b = r + 8. Let l be 1*(-2 - 1) + 1. Is b != l?
True
Let t = -0.8 - 0.2. Is t greater than or equal to -0.3?
False
Let g be 2/(-5) + 33/(-55). Which is greater: 1/5 or g?
1/5
Let v = -0.03 + -0.07. Let s = 1 - 0. Let d = s - 1.1. Is d at most as big as v?
True
Let v = 11 + -6. Let g = v - 8. Let a be (4/(-9))/((-2)/g). Is a greater than or equal to -3?
True
Suppose -6*h = -4*h. Let s(y) = -y**3 - 5*y**2 - y - 5. Let r be s(-5). Let b be r*(h + 3/(-6)). Is 2 > b?
True
Suppose -2 = 2*u + 4. Which is smaller: u or -1?
u
Let z = 52 - 262/5. Suppose -l - 3*n + 4 = 0, -3*l - n = 4 - 0. Let c be l/((0 - -1) + -3). Which is smaller: z or c?
z
Let y = 11 - 8. Suppose -t - 6 = -4*t. Is y at least t?
True
Let u = -13/5 - -159/65. Which is bigger: -1 or u?
u
Let x(m) = -m**2 + 2*m + 3. Let g(z) = -3*z**2 + 5*z + 10. Let p(a) = -2*g(a) + 7*x(a). Let s be p(4). Is 1 at least as big as s?
True
Let d = 0 - 2. Let f be (-10)/(-2*d/(-12)). Let l be f/(-84) - 2/(-4). Which is bigger: -1 or l?
l
Let k(d) = d**2 - 9*d + 5. Let f be k(8). Let p = -4 - f. Is -2/19 at most as big as p?
False
Let c = 0.6 - -0.4. Let r be 2*-1*(-6)/(-3). Is c greater than or equal to r?
True
Let p be (-22 - -22) + -2*30/(-44). Which is smaller: p or -1?
-1
Let u = 0.01 + -0.01. Let c = 1 + u. Let h = -0.5 + 0.3. Is h <= c?
True
Let v = 0.36 + 0.14. Is v greater than 2?
False
Let n be ((-5)/(-10))/((-2)/(-8)). Let h = -3 + n. Is h <= -2?
False
Let k = -53 + 48.8. Let x = -5 - k. Which is greater: 1 or x?
1
Let m be (-154)/(-143) - (0 + (-2 - -4)). Which is bigger: m or 0?
0
Let i = -3 - -3.1. Let j = 0.3 - 0.2. Let y = 0 + j. Is y at least as big as i?
True
Suppose 3*m + 3 = -6. Let i = -0.06 + -0.24. Which is smaller: i or m?
m
Let l be 7 - 3 - (-2 - -1). Let z be l/10 + (-3)/2. Let h = 608/2655 + -2/295. Is z at least h?
False
Suppose 0 = 2*a - a - 1. Which is smaller: 3/2 or a?
a
Suppose -2*q = -2*q + 6*q. Suppose -2*f - 4*v - 8 = 2*f, -v = -f - 4. Are q and f equal?
False
Let p be (2/(-4))/((-3)/12). Let c be 2/2 + (2 - p). Are c and -1/5 unequal?
True
Let j be 1 + 11 + (-4 - -2). Let w be (-4)/14 - j/(-35). Is 1 < w?
False
Let a = -29 + 21. Which is bigger: a or -6?
-6
Let w(f) = 2*f**3 + 12*f**2 - 2*f - 9. Let r be w(-6). Is r less than 3?
False
Let f be (-7 - -4)*(1 - -2). Are -10 and f unequal?
True
Let j(d) = -d**3 - 5*d**2. Let z be j(-5). Let p = 1 - z. Which is bigger: 2/17 or p?
p
Let r(z) = -28*z + 5. Suppose 3*m = 6 + 9. Let t be r(m). Let a be (t/(-24))/(-3) - -2. Is a at most 1?
True
Let s = 0.081 - -1.919. Which is smaller: s or 0?
0
Let k(z) = -z**3 - 3*z**2 + 5*z + 5. Let d be k(-4). Suppose -n - 7 = -d. Which is smaller: n or -5?
n
Let y be (-1)/(4/(-20) + (-618)/(-15)). Which is smaller: y or 0?
y
Let r = 1.1 + -1. Let q = 7 + -4. Is r >= q?
False
Suppose -5*g - 28 = 4*a, 0 = a - g - 3*g - 14. Let n be (4/(-6))/(a/(-3)). Let d be (-3)/(-11 - -5 - -11). Which is smaller: n or d?
n
Let v(r) = 9*r - 55. Let g be v(6). Let o = -28 + 48. Let c be (0 - 4)*2/o. Which is 