 Let k be (-3 + f)/(585/(-30)). Which is smaller: k or -0.3?
-0.3
Let a = 174.1 - 300. Let p = -134 - a. Let i = -8 - p. Is 0.3 smaller than i?
False
Let c(v) = -v**2 - 18*v - 17. Let o be c(-17). Which is bigger: 10/19 or o?
10/19
Let a be (8/(-12))/((-8)/(-84)). Let l(y) = -y**2 - 7*y + 3. Let g be l(a). Let s be (1 - 0) + (-1)/(-2). Which is smaller: s or g?
s
Let h(g) = -2*g**3 - 3*g**2 + 2*g - 3. Let k be h(-3). Which is smaller: 17 or k?
17
Suppose 13*u - 16*u + 126 = 0. Which is bigger: u or 1/3?
u
Let z(l) = -l**3 + 2*l**2 + 2*l - 3. Let m be z(3). Let h be (-3)/(-9) + (-8)/m. Is -1 at least as big as h?
False
Let j = 0 - -0.1. Let r = -11.4 - -0.4. Let p = 10.7 + r. Is p at least j?
False
Let c = -21 - -10. Let j = 10.7 + c. Which is bigger: 3 or j?
3
Let w = -4 + 2. Which is smaller: w or 1?
w
Let r = -2 + 3. Suppose 5 = -4*z - 3. Is z at least r?
False
Suppose -4*t + 7*t = -3. Let f(a) = 3*a**2 + a. Let m be f(-1). Let w be (-10)/(-20) - m/(-12). Which is smaller: w or t?
t
Let q = -31 - -45. Let o be q/24 + 12/(-16). Which is smaller: 0 or o?
o
Let z(m) = -m + 1. Let q be z(2). Let w be q - (-1 - (-6)/(-3)). Which is bigger: w or -0.1?
w
Let t(j) be the third derivative of -j**6/120 + j**5/10 - j**4/4 + j**3 + 6*j**2. Let b be t(5). Which is smaller: 7/5 or b?
b
Suppose 0*z + z = -2, 5*m - z + 3 = 0. Suppose 3*w + 10 = 4. Let v = w + 1. Is v smaller than m?
False
Let f be (-1)/(-1)*6/51. Which is bigger: 1/4 or f?
1/4
Let a be (-35)/40 + (-2)/16. Let i(x) = x**3 + x**2 - 2*x. Let t be i(-2). Do a and t have the same value?
False
Let u = 3/19 - 31/76. Let x = -0.05 + 25.05. Let k = 24 - x. Is k > u?
False
Let k = -0.6 + 0.4. Let s = 3.8 - k. Let m = 0.09 - 0.09. Which is smaller: s or m?
m
Let i be -5*1*(1 + 0). Let y(g) = g**3 + 6*g**2 + 6*g + 1. Let v be y(i). Is v < -4?
False
Let v be -2*(-4)/5*52. Let p = -84 + v. Let x(h) = -h + 3. Let j be x(5). Are p and j equal?
False
Suppose -4*m = n + n - 14, -5*m = -4*n + 15. Do m and 2 have the same value?
False
Let r = -5/3 - -25/6. Is r less than or equal to 2?
False
Let a(q) = -q**2 - q - 1. Suppose -6 = -d + 4*d. Let v be a(d). Which is smaller: -2/3 or v?
v
Let a = -3/49 + -41/931. Let z be 1*((3 - 3) + -1). Which is bigger: z or a?
a
Suppose -3*j - 23 = 5*p, 2*j + 0*p - 3*p - 10 = 0. Let w be j + 0 + (-2)/(-4). Let m = -7.8 + 7.6. Is m greater than or equal to w?
True
Let r = -18 + 11. Let h = r + 9. Which is smaller: h or -1?
-1
Suppose -3*p - 7 = 5*a, -5*a = -2*p + 6*p + 11. Let n be 7/(-2) + a*2. Which is smaller: -1 or n?
n
Let y = -1 + 5. Let j be y/(-6) - 4/(-6). Let r be 2*((-25)/(-13) + -2). Which is smaller: r or j?
r
Let s = -15.89 - -16. Let v = s + -2.11. Is 2 less than v?
False
Let m = -11.62 + 0.62. Is m less than 1/2?
True
Let q = -33.1 + 33. Is 31 equal to q?
False
Suppose 3*z + 5 = -2*z. Let s = -750/7 - -107. Which is smaller: s or z?
z
Let s = -33 + 65/2. Suppose -2*m - 3*m = -30. Suppose 0 = 3*w - m*w. Is s at least w?
False
Let f(l) = -l**3 - 5*l**2 + 15*l + 8. Let b be f(-7). Which is bigger: b or -2?
b
Let t be 5/2 - (-1)/(-2). Let p be t - ((-72)/(-14))/2. Which is smaller: p or -2?
-2
Suppose 0 = 2*d + v + 12, -v = 3*d + 1 + 17. Let y = -6 - d. Which is bigger: 2 or y?
2
Suppose -31 = -4*t - 75. Which is smaller: t or -3?
t
Let i = -5 - 1. Let x = -4 - i. Suppose 3*s = 6, -x*s + s = -3*o - 2. Is o smaller than 1/4?
True
Let u = 0.03 + -0.04. Let o = u - 1.99. Is o less than or equal to 3?
True
Suppose -3*x - 3*o + 180 = -0*o, -3*x - o + 180 = 0. Are 60 and x equal?
True
Let z(p) = -4*p**2 + 1. Let i be z(1). Let b(k) = -k**2 - 3*k. Let g be b(i). Let l = g + 1. Which is smaller: 2 or l?
l
Let z(p) = -p**2 - 10*p - 8. Let m be z(-10). Let x = -9 - m. Is x at least as big as 2?
False
Let i(k) be the second derivative of k**3/6 - 7*k**2/2 + 4*k. Let d be i(6). Which is smaller: -3/8 or d?
d
Let c = 115 - -39. Let g be c/111 + 28/(-21). Which is bigger: g or 0?
g
Let s = 138 - 139. Is -0.08 > s?
True
Let f be (2 + -1)*(-7)/7. Which is greater: -3 or f?
f
Suppose -o + d = -3*o - 18, d = -5*o - 42. Which is greater: o or -9?
o
Let s(x) = -x**3 + 17*x**2 + 7. Let w be s(17). Is 6 smaller than w?
True
Let m(c) be the third derivative of c**6/120 - 2*c**5/15 + 2*c**2. Let x be m(8). Suppose -3 = 2*y - 3*t, -3*y - y + 4*t - 4 = x. Is -2 smaller than y?
True
Let g(m) = 4*m + 2. Suppose 2*o = o - 3. Let q be g(o). Is 0 at most q?
False
Let c = 4.2 + -4. Let w = c - 0.7. Let x = 2.5 - w. Which is bigger: x or 0?
x
Let b = 32 - 33. Let p = -0.93 - -0.8. Which is greater: b or p?
p
Suppose k + 1 = 0, 0 = -2*a - 0*a + 3*k + 3. Let b(z) = -7*z + 1. Let g be b(1). Let x be g/4 + (-4)/(-8). Which is smaller: x or a?
x
Let p be 141/20 + 7/(-28). Which is smaller: 8 or p?
p
Let c be (0 + 47/(-3))/(-1 + -1). Which is greater: 8 or c?
8
Let k = -41 + 76. Is k < 35?
False
Let g be 9/(-3) - (-6 - (-3)/9). Let a = 3/32 + -79/160. Which is bigger: a or g?
g
Let b be (6/7)/((-21)/(-14)). Which is bigger: b or 1?
1
Let p be (3/14)/((-2)/(-4)). Which is smaller: p or 0?
0
Suppose -v + 84 = 5*z + 14, -14 = -z + v. Suppose z = 4*a - 6. Suppose 4*m + 0*p - a*p = -2, -18 = -5*m - 4*p. Which is smaller: 3/2 or m?
3/2
Let n be (3/(-3) + 1 + -1)/(-3). Which is greater: n or -10?
n
Let s be (-2)/5 - 6/(-15). Let z = -1 + s. Let x = 0 + -2. Which is smaller: x or z?
x
Let u(x) = -x**2 - 11*x - 8. Let g be u(-10). Suppose -5*b - j = -4 - 1, 0 = -2*b + g*j + 2. Is 2 at least as big as b?
True
Suppose -2*u + 1 = z - 9, -u = -3*z + 2. Is 2 not equal to u?
True
Suppose 5 = -2*r - 3*r + 5*b, -8 = -4*b. Let w = -1/4 - 0. Which is smaller: r or w?
w
Suppose -j - 1 = 1. Let s be 3/15 + 62/(-10). Let u = s + 4. Is j > u?
False
Let y be (-8)/(-20) - (-128)/(-20). Is y greater than or equal to -7?
True
Suppose 5*l = -149 - 251. Let y be l/102 + (-4)/(-6). Let f(z) = -z**3 - 7*z**2 + z + 8. Let h be f(-7). Which is smaller: y or h?
y
Let o = 2 + 0. Suppose 3*t + 2*v = 5*t - 18, 0 = 2*t + 3*v + 7. Suppose z = o*f - 0*z - 2, t*f - 8 = 3*z. Is 3/7 at least as big as f?
True
Let v be (-42)/104 - 20/(-130). Which is smaller: v or -0.22?
v
Let l = 25/2 - 12. Suppose 6 = r - 2*v, -r + 4*v + 12 = 4*r. Suppose -5*u = -r*u. Is l != u?
True
Suppose 9*l - 313 + 304 = 0. Let b(c) = -c**2 - 6*c - 2. Let y be b(-6). Which is smaller: l or y?
y
Let z(u) = u**2 + 2*u + 2. Let s be z(-2). Let k be (-1)/2*2/s. Which is smaller: k or -0.7?
-0.7
Let g = 143/100 - -149958/25. Let w = 6042 - g. Let f = w + -42. Which is greater: f or 1?
1
Suppose 0 = 4*f + d - 13, -5*d - 4 = f + 7. Let a(u) = -u**2 + 12*u - 22. Let t be a(9). Which is smaller: f or t?
f
Suppose -131 = -3*d + 2*z, 4*d + 0*z - 178 = 2*z. Suppose 4*g - d = -3. Which is smaller: -1 or g?
-1
Let c(o) = o**3 - o**2 - o - 4. Let d be c(0). Which is smaller: -2 or d?
d
Let a = -92.3 + 92. Are 1 and a equal?
False
Suppose 4*u - 2*u = -12. Let m be ((-1)/(3/u))/2. Let r be m*2 + 15/(-5). Which is smaller: r or 0.2?
r
Let j(b) = -b**3 - 4*b**2 - 3*b + 2. Let m be j(-3). Let v be 24 - (4 - 6/m). Suppose -5*w - 12 = v. Is -6 less than w?
False
Let h = 5 - 7. Let n = h - -6. Let c = n + -6. Is c >= 0.1?
False
Let x(p) = p**3 + 6*p**2 - 7*p - 5. Let h be x(-7). Let n = -3 - -1. Does n = h?
False
Let r = -994249175/6529 - -152282. Let y = r - 437542/215457. Let m = y - -15/11. Which is smaller: -2 or m?
-2
Suppose 2*a - 6 = 4. Which is smaller: 6 or a?
a
Suppose n + v - 17 = 0, 5*n - 2*v = 3*v + 45. Let r be 2/n - (-200)/(-455). Suppose -4*i = -i. Are i and r equal?
False
Let f = -5/118 - 141/2242. Which is smaller: f or 1?
f
Let a = 3/97 + 661/582. Is -1 at least a?
False
Let j = 0.343 + 8.767. Let u = j + -0.11. Is u smaller than 2?
False
Let v = -33 - -46. Let i = v + -7. Let k be 0 + 3/i*0. Is k at most -2/3?
False
Suppose y + 2 = 4. Suppose -y*w - w = -12. Let v = w + -3. Do v and 1 have the same value?
True
Let h be 3 + -6 + -2*(-13)/10. Which is smaller: h or -9?
-9
Let a be 8/4 + (0 - 0). Let l be 1/1 + -1 + a. Let p be (6 - (-1 + 1))/l. Is 3 at most as big as p?
True
Let d = 4373 - 1788559/409. Let s = -2053/1636 - d. Let p be 4/(-6) - (-4)/(-3). Is s greater than or equal to p?
True
Let v be (-6)/(-8) - (-12)/(-16). Let d be v + -4 + (-47)/(-5). Which is smaller: 4