 10 + -6. Let q = 4.2 - r. Which is greater: q or -2?
q
Suppose v - 41 = -39. Which is greater: v or 4/5?
v
Let w = -5 + 5.03. Let j = -45.77 + 46. Let m = w - j. Is m < 1?
True
Let i(a) = a - 11. Let l be i(11). Let o = -21/8 + 79/24. Which is bigger: o or l?
o
Let j be (1/4*-2)/(-2). Suppose 2*m - 3 = 5*m. Let f be (m - 0) + 0 + 1. Is f at least as big as j?
False
Let v be ((-10)/4 + 3)*4. Suppose 2*g = -v*g - 16. Let z(p) = p**2 + 4*p - 3. Let w be z(g). Is w > -1?
False
Let k = 44 + -32. Is k at least as big as 12?
True
Let s(g) = g + 6. Let n be s(-6). Let m = n - 0. Is 2/17 less than m?
False
Let f be (13/52)/(10/16). Are 4 and f nonequal?
True
Suppose 2*h + 3 = 3*h. Suppose -h*i + 8 = i - g, 4*g - 8 = -4*i. Let v be i/5 + 4/(-10). Is v at least 0?
True
Let r = -15 - -14.77. Which is smaller: 0.1 or r?
r
Let g(j) = 2*j + 32. Let y be g(-15). Suppose 7*l = 5*l - 10. Let u be (-10)/(-8)*y/l. Is 3 at most u?
False
Let r = -0.69 + -0.01. Let l = -1.7 - r. Which is smaller: -2 or l?
-2
Let x be (-2)/10 + 88/(-10). Let z(y) = y**2 - 9*y + 12. Let k be z(5). Which is bigger: x or k?
k
Let k be ((-3)/(-27))/((-7)/21). Suppose -f + 1 = -3*i - 6, i + 5*f - 19 = 0. Which is smaller: k or i?
i
Let s = -117 + 106. Is 2 < s?
False
Let v be (-36)/8*(-70)/147. Let o(j) = j - 2. Let q be o(5). Is v != q?
True
Suppose 7*d - 5*d = 24. Which is smaller: 14 or d?
d
Let f = 4 - 4. Let c = f - -1. Let y = 2 - c. Is 0 at least y?
False
Let v = -7 - -10. Let m be (-1)/v*3/4. Is 2/7 <= m?
False
Let p(g) = -8*g. Let k be p(7). Let z(b) = -b**2 + 17*b + 23. Let x be z(19). Let q be 46/k - x/(-35). Is q < -2?
False
Suppose -5*x - 2*d - 62 = -22, -5*d - 13 = -2*x. Let s be (-3)/x*(-24)/(-18). Suppose -5*h - 29 = -0*h - 2*n, 4*h = -5*n - 10. Is s greater than or equal to h?
True
Let c be (-6 - (-16)/3) + (-34)/(-6). Are 7 and c equal?
False
Suppose -12 + 4 = -c. Let m be (4/(-3))/(c/24). Is m <= -3?
True
Suppose 4*v - 10 = 10. Let k(g) = -g**3 - 5*g**2 - 2*g - 6. Let m be k(-5). Is m <= v?
True
Let m = -51 - -256/5. Suppose -2*n - 7 = -5*v + 1, -8 = -2*v + 2*n. Is m at most v?
False
Let a = -3.13 - -2.8. Let l = -0.07 + a. Let n = -0.4 - l. Which is smaller: -1 or n?
-1
Suppose 0 = -g + 20 - 21. Is -26/11 smaller than g?
True
Let d = 13 - 6. Let t(w) = -3*w**2 + 8*w - 2. Let y(p) = 7*p**2 - 16*p + 3. Let j(k) = -5*t(k) - 2*y(k). Let q be j(d). Is -3 >= q?
True
Let g = 83 - 329/4. Is 2 bigger than g?
True
Let z = -3 + 4. Let f = 7 - 7.07. Let m = f - 2.93. Is m less than z?
True
Suppose 2*b - 6*b = -4. Suppose i = -2*v - 15, 0 - 30 = 5*i - 5*v. Let h = 7 + i. Is b != h?
True
Let c be 1 + (-3 - -2 - 0). Let t be 3/((-18)/3)*c. Let u(a) = a**2 + 7*a - 1. Let s be u(-7). Which is smaller: s or t?
s
Let h(k) = 2*k**2 - 15*k - 4. Let z be h(8). Is 6 < z?
False
Let l = 293/45 + -32/5. Which is smaller: 0 or l?
0
Let p be ((-189)/90 + 2)/(1/6). Is 0.4 > p?
True
Let i be 5/1*(-7)/(-35). Which is greater: 3 or i?
3
Suppose -3*s = 2*s. Suppose -z - 3 = -s. Suppose 0 = -2*n + 1 - 9. Which is smaller: z or n?
n
Let o be 1/2 - 1/2. Suppose o = d - 17 - 311. Let y = d - 6230/19. Does y = -1?
False
Let v be 8/10*3/(-12). Suppose -5 = -2*q + 3. Suppose 2*w - q*w = 0. Is w > v?
True
Let g be 2114/(-616) + 0 + 3. Let t = -82/33 - -8/3. Let u = t + g. Is u not equal to -1?
True
Let f(c) = c**3 + 5*c**2 + 3*c - 4. Let s be f(-4). Let j(d) = s*d + 4*d - 3*d. Let v be j(0). Is 0 > v?
False
Suppose -11 - 1 = 3*g. Let n be 9/5 + g/2. Which is smaller: -1 or n?
-1
Let s be 2/(-5) - (-46 - 2). Let w = s - 48. Let a(x) = x**2 - 8*x. Let i be a(8). Which is bigger: w or i?
i
Let y be 2/(-8) - (-218)/8. Let v be (-2)/4 - y/(-2). Suppose 4*q = -v + 1. Is q smaller than -2?
True
Let k = 142 + -129. Is k greater than 13?
False
Let j = 78.9 + -86. Let q = -7 - j. Which is bigger: q or -1/4?
q
Let x(g) = -g**2 + 10*g + 2. Let f be x(9). Let s be f/2 + (-2)/4. Suppose 2*r = -2 - 0, 0 = s*j + 4*r - 1. Which is smaller: j or 4/5?
4/5
Let m be (-30)/(-75) - 72/105. Suppose -t - 2 = t. Is m greater than t?
True
Suppose -31 = -4*t - 7. Suppose 0 = 4*p + 2*l - t, 3*p = -0*p + 4*l - 23. Let u be ((-3)/(-6))/(2*p). Is u smaller than 0?
True
Suppose 14*u - 6*u = 8. Let j(z) = -z**2 - z + 4. Let o be j(-3). Let s be o/(-8) + (-13)/20. Which is smaller: s or u?
s
Let g(l) = l + 7. Let n be g(-5). Let w = n + 1. Suppose 2*c + 3 = -w*c + 2*i, 5*c - 5*i = 0. Which is greater: c or -2/5?
-2/5
Let t(d) = 6 - d + 2*d - 7. Let s(k) = -8*k + 7. Let m(r) = 2*s(r) + 18*t(r). Let a be m(3). Which is bigger: a or 3?
3
Let a = 11 - 9. Let i be (-1 - a) + (-34)/(-14). Is -1 at most i?
True
Let c(v) be the first derivative of -v**4/4 + 11*v**3/3 - v**2/2 + 10*v + 3. Let g be c(11). Which is smaller: -2 or g?
-2
Let o = -1 + 8. Is 6 at least as big as o?
False
Let v(k) = k**3 + 12*k**2 + 9*k - 12. Let o be v(-11). Is 10 smaller than o?
False
Let b be ((-4)/(-48))/(1/2). Which is smaller: b or 4?
b
Let r be 6/(-15) - 52/(-5). Is r less than or equal to 8?
False
Let l = 12.62 - -0.58. Let z = -13 + l. Is z <= -0.1?
False
Let h = 12 - 8. Which is bigger: 5 or h?
5
Suppose 0 = -5*m + h - 5, -5*h + 17 = -8. Which is smaller: m or -1/65?
-1/65
Let y = -0.06 + 2.06. Let l be -1 + (3 - 4) + -1. Which is smaller: l or y?
l
Let c be 1 + -2 + 8244/(-33). Let b = -251 - c. Which is smaller: b or -1?
-1
Suppose 19*u = 26*u + 14. Which is smaller: -9 or u?
-9
Suppose -3*k + 8 = -k. Suppose -k*f + 0*f - 36 = 0. Is f >= -9?
True
Let n = -7 - -10. Suppose -3*s - 4 = 2. Let d = 1 - s. Is n >= d?
True
Let k(w) = -w**3 + w - 1. Let y be k(1). Let f be 1/(2/(y + -1)). Is f smaller than 0?
True
Let q = -49 - -82. Let z be -3 - (-36)/q*3. Which is bigger: z or 0?
z
Let x = 26 + -18. Let d be x/(-30) + 1 + -1. Let f = 2/15 - d. Is -1 at most f?
True
Let t(z) = -z**2 - 7*z - 12. Let x be t(-5). Suppose -4*c - 3 = 3*l + 6, -3*c - 10 = -l. Let r = l + -3. Is x not equal to r?
False
Let j = -4 + 7. Let v = 2 + j. Does v = 5?
True
Let a = -126 - -97. Which is smaller: 0 or a?
a
Let n = 5 + -5.02. Let o = -0.22 - n. Does -2 = o?
False
Let t(f) = f + 2. Let u be t(-1). Suppose -8 + 3 = 5*l, 17 = -2*h - 5*l. Let y be (2/(-30))/(2/h). Is y greater than or equal to u?
False
Suppose -u + 2*u + 5*h + 16 = 0, 0 = u + 3*h + 10. Let y be 5/((-15)/(-18)) + -1. Suppose 4*l - 2 = y*l. Which is smaller: u or l?
l
Suppose -a - 3*a + 24 = 0. Let g be 4/a*27/6. Is -0.1 less than or equal to g?
True
Let q = -16 - -19. Let u be (3/(-63))/(1/q). Suppose 2*p - v + 4 = 0, p = 4*v - v - 12. Which is bigger: p or u?
p
Let u(i) be the third derivative of i**5/60 - i**3/2 + 2*i**2. Let o be u(4). Suppose -17 = 3*d + 4*x, 3*d + 5*x - o + 35 = 0. Which is smaller: 0 or d?
0
Let g(s) = s - 1. Let d be g(3). Suppose -3*a = -1 - d. Which is bigger: a or 4/7?
a
Let t = 5/36 - -151/468. Is 1 > t?
True
Let r be (-7)/8*(0 - 10). Which is greater: r or 9?
9
Let k(i) = -i**2 + i - 2. Let f be k(0). Let o = 1 - f. Is o < 3?
False
Let n = -4 + 3.6. Let j = n - 0.6. Which is greater: j or 0.1?
0.1
Let a = 22 + -23. Are a and -3 nonequal?
True
Let u be ((-420)/(-16))/(-5)*6. Let d = u - -31. Is -1 at most d?
True
Let o be (12/(-1575))/(8/(-12)). Which is smaller: 0 or o?
0
Let s = 1/290 - 2469/1160. Let q = -5/8 - s. Which is bigger: 1 or q?
q
Let h = -2996/9 - -140824/423. Let t = h + 748/141. Let s = t + -121/21. Which is greater: -1 or s?
s
Suppose -4*t + 18 = 2. Let c = 6 - 5. Is t less than c?
False
Suppose -2*a + 12 + 4 = 0. Is a at least as big as 7?
True
Let v = 0.24 + -0.3. Let n = -0.07 - v. Let t = n - -0.21. Which is bigger: t or 2?
2
Let a be 171/(-3344)*(-8)/6. Is 0 greater than a?
False
Let n(v) = -3*v - 15. Let g be n(-4). Suppose -5*s + 60 = 2*x, -3*s + 3*x = 2*s - 60. Suppose 7*m + s = 3*m. Is g at least m?
True
Let n = -19 - -33. Do n and -1 have different values?
True
Let p = 58 + -79. Are p and -21 nonequal?
False
Let q(p) = -p**2 - 2*p + 5. Let c be q(-5). Let a(o) = o**3 + 9*o**2 - 10*o + 1. Let j be a(c). Suppose 5*b = 9 + j. Which is greater: b or 1?
b
Let q be (-51)/(-9) + 2/6. Let f be 1/3 + (-14)/q. Is f less than -2?
False
Suppose -8*j = -5*j. Suppose -16 = -5*c + 74. Let b be 76/(-18) + 4/c. Is j bigger than b?
True
Suppose -6*g + 2*g + 32 = 0. Let p be 60/g*(-4)/