maller than q?
False
Let a = 310 + -6821/22. Is 0 less than a?
False
Let y(h) = -h - 11. Let n be y(-31). Which is smaller: n or 14?
14
Let k = 449/1828 - -2/457. Is -199/3 >= k?
False
Let w(h) = -4 + 4*h - 13 - 11 + 27. Let m(x) = x**2 + 6*x + 6. Let t be m(-4). Let d be w(t). Which is bigger: -7 or d?
-7
Let s = -0.368 + -0.022. Is s not equal to 2/5?
True
Let h be 394/(-24) - (-3 + 11). Is -25 <= h?
True
Let f = 6 + -4. Which is greater: f or -2/51?
f
Let q be (-4 + (-4)/6)/(1/(-3)). Let c(j) = -2*j + 30. Let z be c(q). Is z at least 12/17?
True
Let i(y) = -6*y**3 + y - 1. Suppose z - 3 = -5*s + 2*z, -3*s = z - 5. Let v be i(s). Let r(q) = -q**2 - 7*q - 7. Let w be r(v). Is -7/6 less than or equal to w?
True
Let c be 641/(-6828) + (-23)/(-276). Is c at most as big as 0?
True
Let y = -1082 + 1083. Let b be (-3)/6 - (-69)/2. Suppose y = -5*z - b. Do z and -27/4 have different values?
True
Let y = 11/1014 - -11035/104442. Which is smaller: -1 or y?
-1
Let l = 0.2396 - 2.2396. Is l < -2?
False
Let j = 64 - 96. Let t be j/(-40) - 3/(15/(-26)). Is 7 smaller than t?
False
Let a be (6/(-9))/((-2)/3). Suppose 4*p + 3 + a = 0. Let w = -1922/77 - -176/7. Is p at most as big as w?
True
Let q be (-57)/(3 - (7 + -1)). Which is greater: q or 20?
20
Let h = -22 - -26. Suppose t = -0*k - h*k + 12, 5*k = 4*t + 15. Suppose -2 = -u - t*g - g, u = g. Which is smaller: 12 or u?
u
Suppose d - 19 + 13 = 0. Let j(h) = -h**3 + 7*h**2 - 9*h + 15. Let w be j(d). Is w at least as big as -2?
False
Suppose 6 = o + 19. Let k = -7 - o. Let d be (k/(-16))/(9/30). Which is greater: d or 0?
0
Let i be 1926/(-48) - (-2)/16. Let t be 22/(-8) - (-10)/i. Let r be (-2)/t - (-16)/12. Is 4 less than r?
False
Suppose 7*y + 144 = 31*y. Is 6 < y?
False
Let u = 22/313 + -6548/119879. Is u at most 1?
True
Suppose -3 = 2*v - 5*q, 0*v = -5*v + 5*q + 30. Suppose -v*x + 3*x = -80. Which is smaller: x or -1?
-1
Let l = -66.8 - -82. Let i = l + -15. Which is smaller: i or -0.13?
-0.13
Let p = -316 + 297. Is p bigger than 2/11?
False
Suppose -18*x - 14 = 4. Is 2/283 less than x?
False
Suppose 0 = -k - 5*d + 24, 2*k + 2*d - 8 - 8 = 0. Let m be (0 - -1)/(k/12). Let i be m + 64/(-20) + 1. Which is smaller: -2/5 or i?
-2/5
Let a = 381/55 + 49/55. Is 9 at least a?
True
Let g = -0.14 - 1.8. Let z = g + -0.06. Which is bigger: 0.23 or z?
0.23
Let k = 35 - 30. Suppose 0 = -4*t + 5*a - 630, -777 = k*t + 3*a - 4*a. Let o be 460/t + 3/1. Which is smaller: o or 0?
0
Let y = 137 - 1232/9. Is -1.3 < y?
True
Suppose 0 = -b + 3*b - 4*c - 88, 5*b - c - 229 = 0. Let h = 68814/1505 - 2/215. Let y = b - h. Does y = -1?
False
Let h be (-10)/25*(-82)/4*5. Is 42 < h?
False
Let p = 0.65 - 0.55. Which is greater: 3/37 or p?
p
Let k = -1072 + 1020. Is k <= -213/4?
False
Let d be (-1)/(-2) - (1 + -2). Let g = -0.01 + 0.11. Let p = g - 0. Which is smaller: d or p?
p
Let b be 2/(-6) + 4/(-6). Let i be (b/(-2))/(4/(-80)). Which is greater: -1 or i?
-1
Let c = 2/3391 + -7280/844359. Which is smaller: c or 0?
c
Let t(m) = -4*m**2 - 5*m + 1. Let g(k) = k**2 + 4*k + 5. Let z be g(-5). Let o be t(z). Let j = o - -7629/17. Is j less than or equal to 0?
True
Let f(p) be the second derivative of 3*p + 0 + 5/12*p**4 + 1/3*p**3 + 1/20*p**5 + 0*p**2. Let n be f(-2). Is n < 7?
False
Suppose 0 - 4 = o. Suppose 2*g + 5*b - 16 = 0, -2*g + 4*b = -6*g + 20. Let p be o/g*(-15)/10. Is p > 8/5?
True
Let n = -2.16 + 2.185. Are n and -1/4 equal?
False
Suppose 8*z + 19*z = -3*z. Which is smaller: z or 1/215?
z
Let c(y) = -3*y**3 + y**2 - y - 1. Let h be c(-1). Suppose h*m = -0*m + 4. Let i(j) = -10*j**3 + 1. Let d be i(m). Is d greater than -8?
False
Let z = 0.84 + 16.16. Which is greater: -0.11 or z?
z
Let l(x) = x**3 + 6*x**2 - 8*x - 2. Let n be l(-7). Suppose 0 = 8*g - 63 + 15. Suppose g = -f + 8. Is n at most as big as f?
False
Let x be 1/1*0/2. Suppose x = 4*f, 0 = 4*c - f - f. Let t = 0.235 - 0.435. Which is smaller: t or c?
t
Let p = 38 - -14. Let m be (p/10)/((-3)/15). Let n be 264/m + 2/13. Do n and -10 have the same value?
True
Let x be -27 + 24 + (1 + 0 - -42). Let z be 18/((x/(-12))/(-5)). Is 27 > z?
False
Let f = -217 - -90. Is -126 > f?
True
Suppose 326*q - 10 = 321*q. Which is bigger: 4 or q?
4
Suppose 0 = t + 18*t - 1425. Which is greater: 80 or t?
80
Let k be -24*(-2)/6*(-9)/(-3). Which is greater: 49/2 or k?
49/2
Let r be -5*1/((-1)/1). Suppose 0 = -5*d + 5*x + 20, 0*x - 4*x = -r*d + 19. Let v = 221/83 - -1/249. Are v and d unequal?
True
Let j be 4/8 + 99/(-6). Which is bigger: -15 or j?
-15
Suppose -6 = 3*b, 0 = -k - 4*b + 3 - 10. Let w be (k*5/(-20))/(2/(-88)). Which is bigger: w or 10?
w
Suppose -15*d + 8 + 52 = 0. Let z be 16/3*(d/8 + -2). Which is bigger: z or -22/3?
-22/3
Suppose o = 34 + 30. Let m = 50 - o. Which is bigger: m or -11?
-11
Let i = -1109 - -1086. Are i and -21 equal?
False
Let b = -0.0433 - 0.2567. Let j be (-81)/(-45)*(-4)/(-6). Is b at least as big as j?
False
Let m be 144/2088*(-2)/(-60). Which is greater: -1 or m?
m
Let b = 99 + -114. Suppose -4*a + 2*v - 72 = 0, 4*a = v - 56 - 14. Are b and a nonequal?
True
Let l(g) = g**3 + g**2 - g + 1. Let d be l(-2). Suppose 0 = i + 2*j + 2*j, 3*i + 5*j = 7. Let p be d*(1 + -2)*i. Is 4 > p?
False
Let k(v) = -49*v + 3. Let h be k(2). Is h > -95?
False
Suppose -4*b = -3*b + 1. Let r be (-24)/28*4/8. Is b <= r?
True
Let y = -265 - -266. Do y and 0.11 have the same value?
False
Let x(k) = 2 + 138*k**2 - 167*k**2 - 2*k - k. Let r be x(1). Is -28 greater than or equal to r?
True
Suppose 4*c = c + 5*z - 284, -456 = 5*c - 4*z. Let f be ((-2)/(-4))/((-2)/c). Which is smaller: 21 or f?
21
Let g = -0.01 + -1.99. Let d = 0.3 - -1.84. Let l = d + -0.14. Which is greater: l or g?
l
Let a = 406 + -36. Suppose 5*t - s - 39 - 316 = 0, a = 5*t + 2*s. Is t at most as big as 72?
True
Let h be 1*-11 + 15/5. Let s(m) = -m**3 - 7*m**2 - 3*m - 12. Let b be s(h). Suppose -6*r = -2*r + b. Which is smaller: -18 or r?
r
Let d(s) = -s**3 + 15*s**2 + s - 13. Let p be d(15). Let g(o) = -7*o + 3. Let f be g(0). Is f less than p?
False
Let q be (-614)/((-3 + 4)/(19/(-38))). Which is smaller: 308 or q?
q
Let y(t) = 2*t + 28. Let z be y(-24). Is -31 equal to z?
False
Let b be 0*(-3)/(-12) + -1 + 3. Let k be 54/(-18)*b/28. Suppose -2*c - 10 = 5*m - c, 0 = -c - 5. Which is bigger: m or k?
k
Let k(h) = -h**2 + 14*h - 103. Let i be k(6). Which is bigger: -58 or i?
i
Let q(v) = -v - 1. Let n be q(1). Let t = 2 + n. Let b = -2993 - -20949/7. Which is bigger: b or t?
t
Let k be -4 + 90/(-66) - -5. Is k != -1?
True
Let x(k) = 3*k + 6*k - 3 + 5 - 4*k. Let a be x(1). Does a = 15/2?
False
Let s = 31 - 80. Is -47 greater than or equal to s?
True
Suppose -6*j = -11*j. Suppose j = 5*b + 15. Which is smaller: -36/11 or b?
-36/11
Let h = -8.959 - 0.141. Let v = -1.1 - h. Let c = -13 + v. Does -2 = c?
False
Let r = 0.2 - -0.8. Let v = 0.04 - 0.13. Let l = 0.31 - v. Is r < l?
False
Let r(w) = -w**2 + 11*w - 10. Suppose 0 = -4*u + 5*u - 7. Let j be r(u). Let a be (-2)/(-1)*j/(-60). Is -1 at most as big as a?
True
Let z = -49.19 + 49.3. Are -0.24 and z non-equal?
True
Suppose -3*w - w + 12 = 0. Suppose w*r + 2*r = -2*v - 15, -r - 6 = v. Let l be (2 + r)/(0 - 2). Which is greater: 0 or l?
0
Let i = 93735/67 - 1399. Which is greater: 17 or i?
17
Let a be ((-1)/(-3))/((-11)/5). Which is greater: a or 0?
0
Suppose 19 = 3*l + l - 3*o, 4*l = o + 17. Let c be 2*-1*2/l. Is 2/7 greater than c?
True
Let v = -0.19 - 1.81. Is -3.8 less than or equal to v?
True
Let v be -28 - -28 - 10/(-2). Suppose -220 - 185 = -v*b. Is b > 82?
False
Let x = 4 + -4. Suppose x*z - 2*z - 2 = 0. Let j = -2/279 - 548/1395. Is z > j?
False
Suppose j + m = 131, -4*j = 3*m - 317 - 210. Let r = 43 + 91. Is j <= r?
True
Let v be (-224)/910 + 4/10. Let q = 1 + 1. Let y = -2 + q. Which is smaller: v or y?
y
Let i = -2346 + 16365/7. Is i < -7?
True
Suppose 0 = 37*l - 35*l - 8. Suppose -9*r + l = -5. Which is smaller: r or -2/5?
-2/5
Suppose 0*l + 6 = l. Let n be (-5 - -5)*(-3)/l. Suppose n = h + c + 5, 0 = -3*h - 5*c - 11 - 14. Which is greater: h or 3/25?
3/25
Suppose -v + 9 = -k + 3, -3*v + 26 = -5*k. Is -1.04 less than or equal to v?
True
Let r be 3*(-3)/(-27) - (-49)/294. Does -2/13 = r?
False
Suppose -t - 14 = 5*p + 12, 5*t - 5 = 2*p. Let w be (-1)/(3