*a**2 + 5*a - 2. Let w be q(-6). Suppose 0*p - w = -4*p. Let k = 91/3 + -30. Is p at least as big as k?
True
Let o be 3 + (81/24)/(-1). Let a = -5/8 - o. Is a > 0.2?
False
Suppose -2*y - 4*k + 8 = 0, 0 = -4*y + 3*y - 5*k + 10. Suppose y = 3*l + 8 - 5. Which is bigger: l or 0?
0
Let c(j) = -j**3 + 4*j**2 + 2*j - 2. Let u be c(4). Let d be (11 - -1)*(-2)/(-6). Is d smaller than u?
True
Let z(h) = h - 8. Let n be z(7). Is -1/35 at least as big as n?
True
Let r = -51.2 + 51. Is 2/5 bigger than r?
True
Let q be (0 - 2 - -2)/((-12)/(-12)). Which is greater: q or -1/34?
q
Let i = -0.1 + -0.05. Which is smaller: 2/9 or i?
i
Let v = -1 + 0.9. Let l = 5 + -4.7. Let t = -0.7 - l. Are v and t unequal?
True
Let h(u) = -u**3 + 7*u**2 + 8*u + 1. Let z be h(8). Which is smaller: z or -1/15?
-1/15
Suppose 2*q - q = 3*q. Which is bigger: q or 1/22?
1/22
Let b = -4 - -4. Let c be 0/(b + 3/3). Is -1 at most as big as c?
True
Suppose -3*o - 420 = -o. Let v = 3152/15 + o. Which is smaller: -1 or v?
-1
Let y = 1.3 - 0.3. Let a = 40 - 26. Let g = 20 - a. Is g bigger than y?
True
Let p = -2382 - -4877/2. Let v = p + -1247/22. Let c = v + 36/77. Is c less than 2?
True
Let l be -1*(13/4 + -3). Which is bigger: l or 1?
1
Let x(t) = t**3 - 7*t**2 + 8*t - 8. Let q be x(6). Let w = 6 - q. Which is smaller: 1 or w?
1
Let c(t) = t**3 + 2*t**2 - 6*t + 2. Let u be c(-4). Let x(f) = f - 6. Let m be x(0). Is m at most as big as u?
True
Let x = -52 + 36. Let q = x - -15. Do -2 and q have different values?
True
Let p = 1.1 + -1. Is 13 != p?
True
Let w be (1 - 1)/(-1) + 2. Let f be 2 + 2*(-14)/w. Let i be (-15)/f*(-3)/5. Which is smaller: i or -1?
-1
Let g = -97 + 144. Let a = g + -49.04. Let r = -2 - a. Is r greater than 1/4?
False
Let c = 14 - 14. Which is smaller: 0.01 or c?
c
Suppose 5*t + 3*z + z = 8, 0 = -2*t - 3*z - 1. Let i = t + -2. Let s be (-2)/6*(i + -1). Is 1 less than s?
False
Let r be (3 - (-55)/(-15))*27/42. Are 1 and r non-equal?
True
Suppose 0 = 2*w - 5*b - 30, 0*w = -2*w - 5*b + 10. Which is greater: w or 11?
11
Let r be 1/(-35) - 3/(-7). Let o be (9/(-15))/(2/(-10)). Which is smaller: r or o?
r
Let j = 7/68 - 139/3332. Let g = j + -143/735. Which is smaller: g or -1?
-1
Let f = 8 - -8. Let n = -7 + f. Suppose 4*z = -2*s - 22, 4*s + 20 = -5*z - n. Do 0 and s have different values?
True
Suppose -13 = -4*j - 4*f + 3, 5*j - 5*f - 50 = 0. Suppose -j + 2 = 5*d. Is 2/13 less than or equal to d?
False
Let f = 12/11 - 273/220. Let v = 2/5 + f. Do v and 1 have the same value?
False
Let q be (7/102)/(2/8). Let o = 1/17 + q. Is o smaller than 0?
False
Let q = 0.56 + -26.56. Let n = 27 + q. Is -0.05 less than n?
True
Let x be ((-14)/(-35))/(3/(-5)). Which is greater: x or 0?
0
Let h(b) = -b**3 - 2*b**2 - 2*b - 1. Let u be h(-2). Suppose f + 20 = -f. Let m be f/(-3)*3/4. Is m less than or equal to u?
True
Let b be ((-6)/4)/((9/56)/3). Which is smaller: -31 or b?
-31
Let d = 21 - 17. Which is smaller: 5 or d?
d
Suppose 4*z - 41 = 2*n - 5*n, 0 = z + 3*n - 17. Let r = z + -6. Is 3 less than r?
False
Let i = 14 - 13.87. Let h = -1.13 + i. Which is greater: 1 or h?
1
Let u = -222/7 + 32. Which is smaller: u or 29?
u
Let u = 6 + -10. Let v = -16.8 + 17. Let g = -2.2 + v. Are u and g non-equal?
True
Let r = 406 - 1208/3. Let k be ((-30)/(-225)*10)/((-4)/(-6)). Which is bigger: r or k?
r
Let y(u) = u - 3. Suppose -t + 0 + 7 = 0. Let d be y(t). Suppose 4*m + 4*g = -20, -5*m + d*g - 1 = -21. Is m less than 1?
True
Let r be (-22)/11*(-20)/(-14). Is r <= -3?
False
Let j = 1 + 0. Let o be (-2)/6 + 2/24. Are o and j non-equal?
True
Let v be ((-38)/4)/((-4)/(56/(-21))). Which is smaller: v or -7?
-7
Let j be 7*(6 + 312/(-56)). Let l = 0 + 0. Suppose -4*s = -l*s. Is s less than j?
True
Let p = 18829/2 - 9864. Let b = -466 - p. Let a = -17 - b. Do 0 and a have the same value?
False
Let k = 6 + -10. Let g = -2.2 + 1.2. Let x = k - g. Is x greater than 1/2?
False
Let w be 2/(-4) + ((-45)/66)/15. Which is bigger: w or 0.1?
0.1
Let i = -1.97 - 0.03. Which is smaller: i or 0.1?
i
Suppose -3*h = 5*k - 3*k - 63, -4*k = 5*h - 105. Let p be 1/4 - h/(-12). Let m be (2/4)/(p/8). Is 3 greater than m?
True
Let y be -1 - (-1 - 1) - 2. Which is smaller: 1/6 or y?
y
Let f = 3 + -4. Let g be (-5)/(2 + 4 - 2). Which is bigger: g or f?
f
Let i be (-26)/240 - (-4)/10. Let d = -1/24 + i. Let p = -161.8 + 162. Which is greater: d or p?
d
Let d(n) = -n**2 - 7*n - 1. Let a be d(-7). Let r(c) = -c. Let l be r(a). Which is smaller: l or -1/3?
-1/3
Let b be (-3)/15 + (-3)/(-15). Suppose 5*g = 5 - b. Let q = g - 3. Does q = -1?
False
Let c = -1 - -4. Suppose -c = 4*z - z. Let r = 3/44 - 103/220. Which is bigger: r or z?
r
Let x be -1 + (7/3 - 1). Let s(w) = -4*w**3 + 1. Let d be s(-1). Suppose -4*m = m - d. Is m >= x?
True
Suppose 2*w = -5*p - w, -5*p = w. Let l(o) = o**2 + 10*o + 10. Let u be l(-9). Are p and u equal?
False
Let k = 28 - 32. Which is bigger: 4 or k?
4
Let j = 0.28 - 0.48. Let w = -1 - -0.7. Let f = j - w. Is 0.4 at least as big as f?
True
Let w = -5 + 8. Suppose -w*h = h + 8. Suppose 3*g - 2*p - 1 = 2*g, 5*g + 4*p = -9. Is h >= g?
False
Let r = 0.8 - 0.7. Is -38 < r?
True
Let g(y) = -y**2 + 6*y - 6. Let o be g(4). Suppose 0 = -2*v - 10, 2*u - o*v = -0*u + 8. Let p be 0*((-66)/18 + 4). Which is greater: p or u?
p
Let l be (4 + (-87)/21)*9. Let k be (-1)/(-2) - (-2)/(-4). Do l and k have the same value?
False
Suppose 3*u - 36 = 5*n, 2*u - 40 = -2*u + 4*n. Let g(i) = i**3 - 7*i**2 + 8*i - 4. Let h be g(6). Which is bigger: h or u?
h
Let f be (-6)/27 - (-64)/(-36). Let d be f/(-15) - (-8)/(-60). Which is greater: 6/13 or d?
6/13
Let v = 1.43 - 8.13. Let h = v - -7. Let d = h - 0.3. Is 2/5 greater than d?
True
Let w be 46/112 + 12/(-42). Let t(j) = -2*j - 3. Let z be t(-2). Which is bigger: w or z?
z
Let r = 8 + 2. Let u be 15/r*(-4)/3. Is u at most -1?
True
Let g(l) = -l - 12. Let m be g(-13). Is 1/6 at least as big as m?
False
Let a = 0.19 + -0.25. Let h = 1.41 + -0.75. Let w = a + h. Which is smaller: -1 or w?
-1
Let l = -23 + 45/2. Which is smaller: -8/17 or l?
l
Let t(b) = -b + 4. Let k be t(3). Let q be 6/(k - (-10)/(-6)). Which is greater: -10 or q?
q
Let r = 2.3 - 2.276. Does r = -0.2?
False
Let l be 3/(-82)*26/(-39). Which is bigger: 1 or l?
1
Let h = 0.06 - 0.86. Let k = 0.16 - 0.66. Let g = h - k. Is g greater than or equal to 1?
False
Let k be ((-8)/(-12))/((-2)/(-42)). Suppose 19 = 3*p - 3*i - 5, 4*p - k = -5*i. Suppose 5*n - p = 2*n. Is 1 greater than or equal to n?
False
Let t(n) = n**3 + 7*n**2 + 4*n - 6. Let g be t(-6). Suppose -8*m - g = -5*m. Which is greater: -1 or m?
-1
Let g = 5 - 5.8. Let z = g + 0.8. Which is smaller: z or -2/9?
-2/9
Suppose 5*i = 8*i + 2*b - 1, -2 = -4*i - 2*b. Is 2/129 bigger than i?
False
Suppose -3*v + 5 = -1. Suppose 0 = c - 1 + v. Let m = 1 + c. Is -2/7 at least m?
False
Suppose 3*o = -b - 7, -2*o - 3*b = -6*b + 1. Let p = 3 + o. Which is smaller: p or -2/17?
-2/17
Suppose -4*a + 8 = 5*v, 4*v - 2 = -2*a + 2. Suppose 5*c + 0*g - g = -10, -2*g - 16 = a*c. Suppose z = 2*z + 2. Which is greater: z or c?
z
Let y = 5 - 4. Let u be y/1 + 10/(-5). Let i = 7/3 + u. Which is greater: 1 or i?
i
Suppose -13*f + 10*f = 9. Is f at most as big as -1?
True
Let x = 0 + 2. Suppose -x = 4*u + 2. Let r be (u/(-1))/(-2 - -1). Which is greater: -2/3 or r?
-2/3
Suppose -3*c + 2 = -7. Suppose -4 = 4*t - c*z, -4*z = t - 0*z + 1. Is t <= -1?
True
Suppose -20 = -5*q + 5*j, -3*q + j + 1 + 3 = 0. Suppose -3*n = 2*r + 21, 2*r - r - 4*n - 6 = q. Is r at most as big as -5?
True
Let u = -4 + 5. Which is greater: 3/17 or u?
u
Let h = 10 + -10. Suppose -4*q - 4 = -h*q. Is -4 >= q?
False
Let v = -2.9 - -3. Let u = v + 0.1. Let a = u - 0.1. Do a and 0.2 have the same value?
False
Let a(g) = -g**3 + g**2 + g + 2. Let y be 2/(-4) + 1/2. Let b be a(y). Suppose -b*v + 3 = v. Is v less than 1/5?
False
Let v = -22 - -21. Is -2/77 < v?
False
Suppose 0 = -0*v - 4*v + 16. Let j be (-16)/(-6)*24/16. Suppose 4*k - 22 = 2*z, 2*k = -k - j*z + 11. Is k less than v?
False
Let i be ((-2)/(-48))/((-91)/(-334)). Let n = -3/52 + i. Which is smaller: n or -1?
-1
Let r = -1900 + 22817/12. Let y = r - 59/84. Which is greater: y or 1?
1
Let s(k) = -k**2 + k + 1. Let f be s(0). Suppose y + 5 = 6. Let l = 3 - y. Which 