reater: g or 10?
10
Suppose 4*y + 13 = 5, -4*y = -3*n - 1. Is 2 at most n?
False
Let j(f) = -2*f - 3. Let l be j(-3). Suppose 4*h - 29 = -5*w, h - 5*w + 23 = -h. Is h at least as big as l?
False
Let l(n) = -2*n - 3. Let a be l(-2). Let k be -1 + 0 - -2 - -1. Let u = k + -3. Is u < a?
True
Let q = 6 + -8. Let v be 3*-1 + 5 + q. Is 2/37 at least as big as v?
True
Suppose 0 = 6*j - 10*j + 100. Which is smaller: 24 or j?
24
Suppose 4*u + 4*g + 48 = 0, 0*u + 4*g + 32 = -2*u. Which is smaller: u or -9?
-9
Let u = 5 - 6. Which is smaller: 4 or u?
u
Let t(b) = b + 1. Let m be t(-1). Let d = m - 1. Let a = 49 - 49. Which is smaller: d or a?
d
Let r = -93 - -1117/12. Which is smaller: -2 or r?
-2
Let g(d) = -d**2 - 5*d + 7. Let f be g(-5). Let c = 0 - f. Which is smaller: c or -8?
-8
Suppose -v + 2*h + 5 = -4*v, 0 = -3*v + 4*h + 1. Let l be 0/4 - (v - 2). Is 3 equal to l?
True
Let r be ((-2 - 2)/2)/22*1. Is -1 at least as big as r?
False
Let d = 13 + -14. Which is smaller: d or -3/7?
d
Let c = -657 - -4591/7. Which is bigger: -2 or c?
c
Let j = 96.3 + -96. Which is bigger: j or 3/11?
j
Let b = 11/35 - 6/35. Suppose 10 = -5*y, -5*u + 6*y - y = 0. Let n = u + 2. Which is greater: n or b?
b
Let z(u) = u**3 - 7*u**2 + 5*u + 5. Let o be z(6). Suppose -5*v - 53 = 3*l, -4*l + 0*v - 74 = 5*v. Which is bigger: o or l?
o
Suppose g = 5*h + 18, 2*g + h - 2*h = 9. Let f be (-5)/6 - g/(-9). Is 0.07 at least f?
True
Let r be (-4)/(-2) - 1786/1110. Let n = r + 1/111. Let y = 1 + -1. Which is smaller: y or n?
y
Let h = 31 - 31. Which is bigger: 2 or h?
2
Suppose -6*i - 9 - 15 = 0. Let n = 3 - 2. Which is smaller: i or n?
i
Suppose 17 + 3 = 4*o. Do 2 and o have the same value?
False
Let d = -86 + 133. Which is greater: d or -1/4?
d
Let i = 20 + -17. Is 4 greater than i?
True
Suppose 5*v + 221 + 469 = 0. Let r be (-104)/v - 6/9. Let z = 39 - 39. Is z greater than or equal to r?
False
Let s = -0.012 - -0.112. Let x = 0.01 - 7.01. Let q = 7.06 + x. Which is smaller: s or q?
q
Suppose 2*h = -13*h + 120. Are 2 and h non-equal?
True
Let z be -1 + 0/(-1 + 0). Let k be z*(-3)/(1/1). Is k at least 5?
False
Suppose 3*q - 8 = -q. Suppose q*k = -2*k. Is k less than or equal to -4/9?
False
Let c be ((-2*4)/(-4))/1. Let j be (-7)/5 - (0 + -2). Is c greater than or equal to j?
True
Let m = -7 + 5. Let o be -3 - m*(-2)/(-6). Is -1 bigger than o?
True
Let d(b) = -5*b**3 + b**2 - 2*b + 1. Let t(j) = j**3 - j**2 - 1. Let k(y) = -d(y) - 4*t(y). Let g = 1 - 3. Let o be k(g). Which is smaller: o or -1?
-1
Suppose -g = 10*g - 33. Suppose 25 = w + 4*q, -q + 0*q = 2*w - 15. Which is bigger: w or g?
w
Suppose u = -3*f - 1, -6 = 4*u + 4*f - 2. Which is greater: u or -3?
u
Suppose 0*h = -h - 1, 4*h + 24 = -4*l. Do -5 and l have different values?
False
Suppose m + d = -5, 6*d = 3*m + d - 9. Are m and -2/3 unequal?
True
Let g be -3 + 5 + -1 + 1. Suppose 12 = g*n - 2*h, -n + 4*h = 2*h - 8. Suppose 0 = -w + 2*w - j - 1, n*w - 4 = 5*j. Is w less than -2?
False
Let z(j) be the second derivative of -j**5/20 - j**4/6 + 2*j**3/3 + 2*j. Let h be z(-3). Let s(p) = -p**3 + p**2 + 2. Let n be s(2). Which is smaller: h or n?
h
Let p be (-2)/3*(-134)/(-12). Let o be (-17)/(-3) + (5 - 3). Let i = o + p. Which is smaller: i or -2?
-2
Suppose 20*z = 13*z. Let c be -2*(20/18 - 1). Is c at most as big as z?
True
Let v be -1 - (-3)/(-4 - -5). Which is bigger: 5/3 or v?
v
Let p be (-1 + 1)/((-2)/2). Suppose -5*t + 1 + 4 = p. Let j = 1 - 4. Which is greater: j or t?
t
Let v = 0.4 - 0.5. Let p = 0.1 + v. Which is smaller: p or 1/3?
p
Let u be (12/230)/(28/70). Which is greater: 0 or u?
u
Suppose 7 = 5*p - 13. Suppose 0 = 2*m - r, -4*m + 2*r = -m. Let t = m - -3. Which is smaller: p or t?
t
Let y be 4/(-14) + (-69)/(-21). Suppose 8*q - 4*q + 12 = 4*f, -2*f - y*q - 4 = 0. Let t be -3 - ((-25)/6 - (-2)/3). Is t not equal to f?
True
Suppose 5*v - 1 = -5*c - 26, -3*c - v = 11. Suppose -3*n + 5*p + 3 = 0, -3*p - 3 = -3*n + 6. Suppose n*r - 3*r = -6. Which is bigger: c or r?
r
Let d(h) = 4*h**2. Let u be d(-1). Suppose 5*y = p - 0*y - 23, -4*y - 28 = -u*p. Do p and 2 have the same value?
False
Let u = -121 + 118. Which is greater: u or -4?
u
Let w = 311/1015 - 3/145. Let l be (-6)/8*2/(-6). Is w at most as big as l?
False
Let y be (0 + 2 + (-15)/10)*16. Is y less than or equal to 1?
False
Let t(l) = l**3 - 6*l**2 - l + 1. Let f be t(6). Let s be f/(110/6) + 0. Which is greater: 0 or s?
0
Let d be (-1 - 0 - 0)*-1. Let b be ((-26)/455)/((-4)/(-118)). Let j = b + 16/7. Which is smaller: j or d?
j
Suppose -50 = -2*z - 3*z. Let a be ((-1)/z)/((-5)/(-4)). Is 1 smaller than a?
False
Let r be 4292/42*3/706. Let u = 9630 - 3399388/353. Let p = r - u. Which is smaller: 0 or p?
0
Let x = -2 - -4. Let l(o) = -2*o - 2. Let w be l(-2). Is x less than or equal to w?
True
Suppose -7*v = -4*v + 6. Which is smaller: v or -25?
-25
Let s = 3.8 + -2.6. Which is smaller: -1 or s?
-1
Let x(u) = -u**2 + 4*u + 7. Let c be x(5). Suppose c*f + 2 = -r + 9, -4*r = f - 21. Is 6 <= r?
False
Let n(f) be the second derivative of 1/6*f**3 - f + 0 - 5*f**2. Let m be n(9). Which is bigger: 1/3 or m?
1/3
Let f(g) = g**3 - 4*g**2 - 12*g - 3. Let n be f(6). Which is bigger: 16 or n?
16
Let p = -498 + 7951/16. Let n = p + 1. Is n at most as big as 1?
True
Let z be -3 - -2 - -3 - -4. Suppose -3 = -3*j - z. Suppose -7 = 4*f - 3. Is f not equal to j?
False
Let i = 3.8 - 1.9. Let w = i + -2. Is 6 > w?
True
Let f be 2/(-8) - 2/(-8). Let z be 5 + (-4 - -3 - 2). Suppose f = -a - 7*o + z*o + 4, -a = 3*o - 4. Which is smaller: 5 or a?
a
Let u = 4 - 2.9. Let a = -1 + u. Let c = a + 2.9. Does 3 = c?
True
Suppose -3*q + 2*q - 2 = 0. Let y be q/1 - -1*3. Suppose 3*d + 86 = 2*c + 80, -5*d = 10. Do y and c have the same value?
False
Let x = -38.46 - -0.46. Let d = 37.8 + x. Suppose 2*r = s + 5 + 5, 0 = 2*s. Which is bigger: r or d?
r
Let u = 12 + -12. Suppose u = -7*g + 3*g. Which is smaller: -1/18 or g?
-1/18
Let x = 24 + -25. Is -6 at most as big as x?
True
Let k = 193/78 + 1/39. Suppose 0 = 2*a + 2*a - 24. Let u be 1/6*a/3. Is u greater than or equal to k?
False
Let x(u) = u**2 + 4*u + 2. Let i be x(-3). Let l be 1 + 1 + i + 2. Let m = 3 - l. Does 3/5 = m?
False
Suppose 3*k + 4 = 4*k. Suppose -1 = k*g - 5. Is 0 at most g?
True
Let s(u) = 5*u**2 + 11*u - 14. Let z(h) = -2*h**2 - 6*h + 7. Let a(j) = -3*s(j) - 7*z(j). Let n be a(8). Let t = -41 + 40. Which is smaller: t or n?
t
Suppose -4*x + 9 - 1 = 0. Suppose -x*f - 7 = 3*n, 4*n + 6 + 1 = -5*f. Is f bigger than 1/4?
True
Let s(d) = d**3 - 7*d**2 + d - 4. Let b be s(7). Let m be b/1 - (-49)/(-14). Which is bigger: m or 0?
0
Let z be ((-1)/(-5))/(12/(-15)). Is 12 smaller than z?
False
Let m be 4/(-6) - (-6)/9. Suppose m*s - 2*i = -2*s, -18 = 5*s + 4*i. Is s smaller than -2?
False
Let g(x) = -6*x**3 - 1. Let n be g(-1). Which is smaller: n or -0.1?
-0.1
Let u = 0.036 + -0.356. Is -0.1 less than or equal to u?
False
Let l be 7 - (0 + 3/1). Let c be (8/(-54))/(l/(-6)). Which is bigger: c or 0?
c
Suppose 6 = p - 0*a + 2*a, a = 5*p - 19. Suppose i = 2 - p. Let u be (24/40)/(i/10). Is u at least -3?
True
Suppose 2*o + o + 8 = -5*p, -5 = 2*o + 3*p. Let t = o + 1. Do 3/14 and t have different values?
True
Let j be (-4)/2*(-3)/(-4). Suppose 1 = 4*c - n + 2, 17 = -5*c - 4*n. Is j smaller than c?
True
Let b = -195 + 193. Is 5 greater than b?
True
Suppose -5*z = -4*h + 14 + 18, 2*h - 6 = 0. Let s be z - (-2 - 1*-3). Let k = -3 - s. Is k bigger than 1/2?
True
Let r = 11 + -8. Suppose 5*f + 5*j - 57 - 3 = 0, -4*f + 2*j + 18 = 0. Suppose -f*c + r*c - 4 = 0. Is -2/11 bigger than c?
True
Let w = -2 - 0. Which is smaller: -15/7 or w?
-15/7
Let t be -6*((-10)/4)/5. Suppose 4*i - 1 - t = 0. Which is smaller: 1/3 or i?
1/3
Suppose 29 = 5*p - 3*u + u, 3*p + 2*u - 11 = 0. Let d = 8 - p. Let r be ((-18)/60)/(d/4). Is 0.1 > r?
True
Suppose 3*b - 2*l - 7 = 0, -6*b + 5*b + 4*l = -19. Suppose 5*a = -0*a - 5. Is b != a?
False
Let z = -293 - -1179/4. Let l be 19 - 19 - (1 + 0). Which is greater: z or l?
z
Let d(k) = -k**3 + 5*k**2 + k - 6. Let s be d(5). Let m be (-2 - 13/(-5))*5. Suppose m*l - 3 = -0. Which is smaller: s or l?
s
Let j = 1.93 + 0.07. Let z = 3 + -3.5. Let q = z + 1.5. Which is smaller: j or q?
q
Let k = -254 + 19560/77. Which is greater: k 