4)/28 + (-87)/x. Let p = -3 - -5. Does r = p?
False
Let o = 0.4 - 0.3. Let v be (10 + -1)/(2/4 - -1). Is v smaller than o?
False
Let j = 0 + -2. Let a = 5.9 - 3.9. Which is smaller: a or j?
j
Let v be (3 - 1)/(3 - (-280)/(-88)). Which is smaller: 1 or v?
v
Let l be (-66)/(-3 + 0)*-1. Which is smaller: -23 or l?
-23
Let c = 6 + -4. Suppose -6 = c*z, 2*o + 7 + 0 = -z. Is o less than -2?
False
Let t be 0/(-6)*(-2)/4. Suppose -5*b + b - 8 = 0. Which is bigger: t or b?
t
Suppose 4*a - 5*a = -4. Let y = 6 - a. Suppose 4*i - 12 = -y*p, -4*i + 5 + 9 = p. Is -1/2 >= p?
True
Let l(z) = -z**2 + 10*z - 5. Let i be l(9). Let b = i - 5. Is 0 greater than or equal to b?
True
Suppose -2*x + 5*x - 6 = 0. Suppose -j - x - 1 = 0. Which is smaller: j or 0?
j
Let l = 10.8 + -12. Let v = l + 0.6. Let n = 2.6 + v. Which is bigger: n or -2/5?
n
Let x = -701 + 13315/19. Is 1 < x?
False
Let v(s) = 2*s - 1 + s + 3 - 1 + s**2. Let r be v(-3). Which is greater: 1/4 or r?
r
Let h = -24/55 - -2/55. Are -14 and h equal?
False
Let v(p) = p**3 + 2*p**2 + 2. Let w be v(-2). Let z be 4 + -2 + -2 + w. Let b = z - 3. Which is smaller: b or -1/3?
b
Let l be ((-1)/3)/((-3)/(-9)). Which is greater: l or 2/63?
2/63
Suppose 0 = 3*q - 2*m - 1, -4*q + 5*m + 1 - 9 = 0. Let r be (q/(-4))/(2/8). Is -1 < r?
False
Let m(w) = -w**3 + 7*w**2 + 8*w + 3. Let x be m(8). Let j = x + -3. Do -1 and j have the same value?
False
Let u = 173 + -4327/25. Is u >= -1?
True
Let o be (364/48)/7*2. Is 2 at most as big as o?
True
Let c = -16.92 + 17. Let x = -1.08 + c. Which is bigger: x or -12?
x
Let a = 21/155 - -2/31. Let p(t) = -t**2 - 9*t + 9. Let i be p(-10). Is a greater than i?
True
Let b = -150 - -751/5. Let l = -2 + 1. Is l <= b?
True
Let r = 7.96 + -8. Is r smaller than -2?
False
Let w(f) = -f**3 - 2*f**2 + f - 1. Let y be w(-2). Let m be -1 + ((-13)/y - 3). Which is smaller: m or 1?
m
Suppose 0 = -2*v - 2*v - 12. Which is greater: -15/8 or v?
-15/8
Suppose 0 = -3*h - 4*g, -h + 3*g - 12 = 1. Let m be (2 - 2) + h/14. Is m != 3?
True
Let x = 0 + 3. Let y be 6 - 3/(36/70). Which is smaller: x or y?
y
Let x = -884 + 1723/2. Is -23 less than or equal to x?
True
Let a be -24*(-8)/36*3/2. Suppose 3 = 2*r - 11. Is r equal to a?
False
Let x = -0.94 + 0.97. Which is smaller: 0.1 or x?
x
Let b(w) = -9*w - 1 + 0*w - 7 + 3 - w**2. Let k be b(-8). Which is bigger: 4 or k?
4
Let m be 238/245 - 2/5. Suppose 4*o = -8, 2*l + o + 4*o = -6. Is m < l?
True
Let r be (163/3)/((-2)/(-2)). Is 55 != r?
True
Suppose 4*r + 22 = 3*m, -6 = 5*r + 14. Let v be 0 + 0 + m + 0. Which is greater: 0 or v?
v
Let v = -8 + 8. Is v < 4/7?
True
Let l = 13 - 13.07. Let w = 0.13 - l. Is w at most 0.1?
False
Suppose 3*c - 18 = -42. Which is greater: c or -4?
-4
Let s = 0.01 - 0.11. Let t = -0.2 + s. Is t at least 2?
False
Let a(l) = -l**3 - 10*l**2 - l - 7. Let r be a(-10). Let s(j) = -j**2 - 2*j + 3. Let h be s(r). Which is greater: h or -13?
h
Let w = 0.7 - 1. Let v = -0.3 - w. Let f = 0 + v. Is 1 <= f?
False
Suppose -27 = 5*v - 2*v. Let n be (-4)/(-18) - (-2)/v. Let t be ((-8)/(-6))/(12/18). Which is smaller: t or n?
n
Let w be (3/(-9))/((-1)/3). Let m be -2*w/(-28)*-12. Let u be (-5 - -5)*(-1)/(-2). Which is smaller: m or u?
m
Let c = 29 + -23. Which is smaller: c or -2/7?
-2/7
Let w be (-24)/300*10*-1. Is 1 not equal to w?
True
Let j = -0.2 + 0.2. Let p = 0 - j. Let i = p - 0.1. Which is greater: 1/3 or i?
1/3
Let p = -10 - -12. Is -6 equal to p?
False
Let s(x) = -x**2 + 8*x - 5. Let j be s(7). Suppose 0*u = -3*n - u - 3, j*u - 6 = 0. Which is greater: -7/6 or n?
-7/6
Suppose 2*g + 1 = -0*o + o, -5*g = o - 29. Let m be 1*(0 + o)/(-3). Let h be 0/(-1) + m + 2. Is h at least 1?
False
Let i = -9 + 5. Let f(r) = -r**3 - 4*r**2 + 4. Let s be f(i). Is s < 5?
True
Let i = 2 - 8. Suppose 13*s = 8*s + 5. Is s equal to i?
False
Suppose -3*c + 10 + 11 = 5*q, -c = -5*q + 13. Suppose q = n - 2*n. Let k(l) = l**3 + 2*l**2 - 4*l - 4. Let w be k(n). Is w > 1/4?
False
Suppose -20 = 2*d + 14. Is d at least -17?
True
Let p(r) = 4*r**2 + 2*r - 2. Let g(h) = -7*h**2 - 4*h + 3. Let l(u) = -3*g(u) - 5*p(u). Let f be l(-1). Are f and -3 nonequal?
True
Let k = -0.005 - 20.995. Let z = -22 - k. Which is bigger: -15 or z?
z
Let q be (0/(-1 + 3))/1. Suppose i - 6*i + 25 = q. Which is smaller: 4 or i?
4
Suppose 5*b = -4*i - 72, 4*b + 4*i - 1 = -57. Which is smaller: -15 or b?
b
Suppose 2*d = -5*d - 7. Let n = 0 - 2/5. Which is smaller: n or d?
d
Let z be (-46)/3 - (-6)/18. Let u = z - -20. Which is smaller: u or 7?
u
Let f be (15/(-20))/((-87)/8). Let b(i) = -i**2 + 3*i - 3. Let n be b(2). Which is smaller: f or n?
n
Let d = 523/2415 - 11/69. Which is smaller: d or 1?
d
Suppose -2*z = z. Let t = -1/1461 - -27763/5844. Let l = t - 17/4. Which is smaller: z or l?
z
Let d(o) = 2*o**3 + 11*o**2 - o + 6. Let j be d(-6). Which is bigger: j or -23?
-23
Suppose -4*q - 4 + 10 = -2*o, 2*o - q + 9 = 0. Let w = -15 + 11. Which is greater: w or o?
w
Let h = 10 + -7. Suppose 0 = 4*d - h*l - 11, -4*d - 5 = -7*d - l. Suppose 0 = -d*w + 4*w - k, 5*k = 0. Is 2 at least w?
True
Let n = 18 + -14. Are n and 6 nonequal?
True
Let o(m) = m**3 - 2*m**2 + m + 1. Let c be o(2). Which is smaller: c or -1?
-1
Let a be 28/5*8/16. Which is greater: 2 or a?
a
Let b = -1 + 1. Let x be ((-1)/2)/(2 - 6/12). Is b at most as big as x?
False
Let o = 47/4 + -121/12. Which is smaller: 1 or o?
1
Suppose -61 = 3*n - 16. Is -16 greater than n?
False
Let w be ((-9 - -3) + -1)*1. Is w less than or equal to -20/3?
True
Suppose k = p - 5, -5*k + 5 = 3*p - 2. Suppose 3*m + 13 = -2*g, 0 = 2*g + 6*m - m + 15. Let h = 9 + g. Is h < p?
False
Let n = 52571/6 - 8792. Let t(c) = -16*c + 2. Let v be t(2). Let p = n - v. Do 1 and p have different values?
True
Let h(t) = -t - 7. Let w be h(-5). Let g be (-3)/w*(-8)/6. Let l = -20 - -15. Which is smaller: l or g?
l
Let u(n) = -15 - 6*n + n**3 + 2*n**2 - 4*n + 4*n**2 + n. Let p be u(-7). Which is greater: -3 or p?
p
Let h(x) = -6*x**3 + x**2 + x. Let k be h(-1). Suppose 0 = r + r + k. Is -1 > r?
True
Suppose 0 = 5*h - 3*g + 10 + 3, -2*g - 2 = 2*h. Are -2 and h equal?
True
Let s(a) = -a + 13. Let o be s(8). Suppose o*u - 1 - 4 = 0. Which is smaller: 14/9 or u?
u
Let p be (3/(-9))/(4/84). Which is greater: p or -8?
p
Let y = 2 - 1.9. Let n = -0.15 + -0.25. Which is bigger: y or n?
y
Suppose 4*u - 10 = 2*w, 3*w + 0*w - 4*u + 9 = 0. Suppose z - w = 36. Let p = z - 113/3. Which is smaller: p or -0.1?
p
Let h be 6/4*64/24. Suppose -2 + 0 = -2*g. Does g = h?
False
Suppose 0 = f + 543 + 12. Let v be 3/15 - (-141)/f. Which is bigger: 1 or v?
1
Let q(s) be the first derivative of s**3/3 + 3*s**2 + 2*s + 3. Let g be q(-5). Is g greater than -1/3?
False
Suppose 4*a + 5 = t - 0*t, -a + 5 = t. Suppose 55 = 2*f + k, -56 - 34 = -3*f - 4*k. Let m = -101/4 + f. Which is bigger: a or m?
m
Let j be 38/30 + 6/(-10). Let y = 5 + -7. Let o = -2 - y. Which is smaller: o or j?
o
Let f(t) = -t**3 - t**2 + t + 5. Let v be f(0). Suppose -13 - 4 = 5*c - 4*y, 0 = -v*y + 15. Is 0.03 < c?
False
Let u = 17 - 35. Is 0 at least as big as u?
True
Let p = -1.3 - 6.7. Is p >= 1?
False
Let b = -19 + -51. Let z be (-20)/(-25) + 96/b. Which is smaller: -2 or z?
-2
Let m = -40 + 40.15. Is m less than 0?
False
Suppose -4*q - 8 = 0, 0 = -3*f - 5*q - 0*q + 8. Is f at most as big as 0?
False
Suppose 2*d + 36 = -4*o, 4*o + 16 = -0*d - d. Let u be d/15 - 1/(-3). Which is smaller: u or 2/35?
u
Let r be (-1)/((-9)/(-3) - 2). Which is greater: r or -5?
r
Suppose 14 = 4*c - h, 3*h = -c - 2*c + 3. Suppose 0*y - 2*p - 7 = 5*y, -2*y = c*p + 5. Is -4/9 smaller than y?
False
Let u be ((-5)/(-10))/((-7)/2). Which is smaller: -0.3 or u?
-0.3
Let s = 17.9 - 18. Is s bigger than 0.2?
False
Let z(a) = 6*a + 9. Let b(g) = 5*g + 8. Let i(y) = -7*b(y) + 6*z(y). Let m be i(5). Suppose 9 - m = -3*o. Are 0 and o nonequal?
True
Let i(j) = -j**3 - 5*j**2 - 6*j - 1. Let r be i(-4). Let f = -40 + 49. Which is smaller: f or r?
r
Suppose 0 = 4*o - 2*x, 2*x = -o - 2*x. Let m be 2 - 1 - (-18)/(-14). Which is greater: o or m?
o
Let o be (6/(-22))/((-12)/(-16)). Let i(b) = 2*b + 24. Let u be i(-12). Which is smaller: o or u?
o
Let s(j) = -j**2 + 5*j - 4. Let g be s(3). Suppose 0*l - g*l + 6 = 0. Does 3 = l?
True
Let a = -3.3 + 3.2. Which is smalle