n t?
False
Suppose 2 = -5*l - 3. Is -2/23 at most l?
False
Let k = -8.6 + 8. Let w = 0.4 - k. Is w bigger than 0.3?
True
Let o be -14*(3 + (-26)/4). Is o < 48?
False
Suppose 66 = -52*f + 55*f. Is 23 less than f?
False
Let j = 23.4 - 4.4. Let i = j - 19. Let d = -2 + 4. Is i bigger than d?
False
Suppose 2*q - 3 = 3. Which is smaller: -1 or q?
-1
Let z = -119 + 146. Is -4 < z?
True
Let p be -3 - 3/36*-13. Let j = -5/4 - p. Let s(a) = -a**2 - a + 1. Let w be s(1). Is w bigger than j?
False
Let t = 463/175 + -9/25. Which is smaller: 3 or t?
t
Suppose -3*s - 35 = -2*z + 68, 0 = 4*s - z + 139. Let w be (-4)/14 + 375/s. Which is smaller: -12 or w?
-12
Let f be 2*2/(-112)*(-28)/48. Which is smaller: 1 or f?
f
Let z(n) be the third derivative of 1/120*n**6 + 0 + 0*n**4 - n**2 + 0*n + 1/6*n**3 - 1/60*n**5. Let h be z(0). Is h bigger than -1?
True
Let i be (-2)/(-4) + 14/(-4). Suppose d - 2*d - 3 = 0. Is i > d?
False
Let s(m) = -m**2 - 10*m - 13. Let h be s(-9). Is -1 not equal to h?
True
Suppose 0 = -k + 3*k + 4. Let t(o) be the first derivative of o**3/3 + o**2/2 - 2*o - 8. Let n be t(k). Which is bigger: 2/3 or n?
2/3
Let b = -11/615 + -2/41. Is -1 < b?
True
Let p = 8 + -3. Suppose -5*a = p - 0. Let k = -14 - -14.5. Which is greater: k or a?
k
Let r = -9 - -17. Let o = 8 - r. Is o at most as big as -3/4?
False
Suppose h = 5*h + 48. Is -25/2 smaller than h?
True
Let d be 7 + -5 + -1 + 0. Let r be (-2 - -2) + d - 1. Let w = -41/4 + 10. Which is smaller: r or w?
w
Suppose 4*a + 10 = 2. Which is bigger: 0 or a?
0
Let b be (0 + 1)*-3 - 8. Let s be 4/(-4) - b/8. Is s > 1?
False
Suppose 3*w + 41 = -5*u, u - 3*w = -2*u - 39. Let d be 4/(-2)*u/4. Is 4 less than d?
True
Let d = 2.2 + -2.07. Let r = d + 0.07. Let z = r + -0.1. Is 0.7 smaller than z?
False
Let v = 0.144 + -13.944. Let j = 14 + v. Let c = 0.3 - 0.2. Which is smaller: j or c?
c
Let c be 0 - ((-1 - 2) + 3). Is c bigger than -4/3?
True
Let i = 0.22 - 0.24. Let a = -0.12 - i. Which is bigger: a or -7?
a
Suppose 3*a - 3 = 3. Suppose x + 5 = 4*u, -4*x + 28 = -2*u - 2*u. Let v(q) = -q**2 + 11*q + 4. Let o be v(x). Which is smaller: a or o?
a
Let n = 1/5 + 0. Is 0 greater than n?
False
Let c = 11 - 7. Let l be 1/(-2)*c/3. Let a = 0.7 - -0.3. Which is bigger: a or l?
a
Let t = 1.9 + -2.9. Which is bigger: 15 or t?
15
Let j = -0.03 - 0.57. Let x = 0.61 + j. Which is smaller: x or 2?
x
Let q be ((-1)/2)/(2/(-8)). Suppose j - q*j - 4*c = -5, 3*j + c = 4. Let s(z) = z**3 + 6*z**2 + 1. Let v be s(-6). Are j and v unequal?
False
Let i(c) = -c**3 - 6*c**2 + c - 4. Let j be i(-7). Let b = 155/4 - j. Which is smaller: b or 1?
b
Let d(n) = -n**3 + 2*n**2 + 5*n - 6. Let r be d(3). Suppose 0 = -3*p - 3 + 6. Let q = p - 2. Which is greater: q or r?
r
Let l be ((-10226)/(-4))/(1 + -2). Let m = l + 2619. Let z = 64 - m. Which is smaller: z or 3?
z
Let b = -1381.1 - -1381. Let o = 0.017 - -0.903. Let m = o - 1. Which is smaller: b or m?
b
Let z = 47/2 - 2299/98. Which is smaller: 1 or z?
z
Let g = 202/7 - 3016/105. Which is bigger: g or 1?
1
Let r be (2 - 31/16)*2. Is r greater than or equal to 1?
False
Let c be 14/(-6)*1/(-7). Which is bigger: c or -3?
c
Let k(g) = g**2 - 5*g + 4. Let u(d) = d + 3. Let h be u(3). Suppose -i - 3*c + 3 = 0, 2*i - 3*c = -c + h. Let r be k(i). Which is greater: -3 or r?
r
Suppose 6*t = 2*t + 40. Which is smaller: 11 or t?
t
Let j = 100 - 55. Is 44 smaller than j?
True
Let k(s) = s - 1. Let b be 4/10 + (-28)/(-5). Let u be k(b). Let q be (-20)/75 - (-2)/u. Is q at most as big as -1?
False
Let b be ((-4)/(-18) - 6273/1620) + 4. Which is smaller: 1 or b?
b
Let m be 3/(-6)*0/(-1). Suppose 0 = -m*l + 3*l. Let u = 4/25 - -1/25. Which is smaller: u or l?
l
Suppose 0 = -2*z - o + 58, 2*z = 7*z - 4*o - 119. Does z = 1?
False
Let t = 9 + -3. Let j(z) = -z + 7. Let r be j(t). Which is smaller: r or -1/8?
-1/8
Let r(z) = z**2 + 4*z + 4. Let a be r(-3). Let x be (11/165)/(6/(-10)). Which is greater: x or a?
a
Let s be 5/(3 - 5/2). Let b be 16/(-10)*s/(-4). Let r = 2 - b. Do r and -2 have the same value?
True
Let r = 1 + 1. Let x = 18 - 15. Which is smaller: x or r?
r
Suppose 89 + 111 = -10*m. Which is smaller: m or -17?
m
Let y(m) = m**2 + 6*m - 4. Let r be y(-4). Let a = -703 + 691. Is r less than or equal to a?
True
Let q = -17 - -40. Suppose 0 = 4*y + y - 3*a - 31, -3*y + 4*a + q = 0. Is 9/2 at least as big as y?
False
Let u be (-3 + 60/28)*7. Suppose -3*t - 6 = -t. Let k = u - t. Which is bigger: k or -1?
-1
Let g be ((-2)/3)/(4/24). Let w = -139 - -136. Do g and w have the same value?
False
Let v = -227/2613 + 2/201. Suppose 5*g + 4*q = 21, -q - 1 = -g - 4*g. Is g smaller than v?
False
Suppose 4*i - 12 = i. Let n = 69 + -49. Let m = n + -18. Which is smaller: m or i?
m
Let d(z) = -z**2 - z + 2. Let x be d(-2). Suppose 0 = -c + 5*b - x*b + 10, 2*c - 5*b = 10. Let u be ((-12)/(-15))/((-3)/5). Which is smaller: c or u?
u
Suppose 3*b + j = -19, -3*b - 14 = 2*j - 6*j. Let k = b + 11. Let d be k/5 + 14/(-10). Is -3 less than d?
True
Let u = 3 + -1. Suppose -u*n = -2*a - 2, 0*a + 1 = 3*n - 2*a. Suppose b = -b. Is b > n?
True
Let l = 6 - 7. Which is greater: l or -2?
l
Let x = -723/7540 - -18/65. Let c be ((-2)/(-58)*1)/((-4)/(-8)). Let v = c + x. Which is smaller: 0.3 or v?
v
Let v(n) = 2*n**2 - 2*n - 1. Let h be v(-1). Is h at least as big as 5?
False
Let n = 32 + -32. Are -1/3 and n nonequal?
True
Suppose -3*m = 3, 4*o - 16 - 5 = m. Do o and 5 have different values?
False
Let v be ((-6)/28)/(1/2). Let w = 37 - 36. Which is bigger: v or w?
w
Let a = -60 + 298/5. Are a and 0 equal?
False
Let k be (0 + (-2)/4)*-8. Suppose -31 = -5*g - a, 5*g + k*a = 3*g - 2. Suppose -2*o + g*o - 25 = 0. Which is greater: 6 or o?
6
Let l = 220/1017 + 2/339. Which is greater: 0.2 or l?
l
Let w = -12 + 3. Let t = w - -8. Which is greater: t or 3?
3
Suppose a + 0 = 6. Which is smaller: a or 5?
5
Let o = -9 + 5. Let r = -1 - -1.1. Let k = r - 0.2. Which is smaller: o or k?
o
Let g = -640/7 + 91. Which is bigger: g or 1?
1
Suppose -2*d - 4 + 2 = 0. Let s be (-135)/(-21) - (-3)/(-3). Let v = -5 + s. Does v = d?
False
Let l(q) = q**3 + 2*q**2 + 1. Let b be l(-2). Is b at least as big as 7?
False
Let h = -6 - 10. Is h > -0.1?
False
Suppose 2*y - 7*y + 5 = 0. Let q be -1 + 0 + 2 + y. Let p be (-3)/((15/q)/5). Which is bigger: p or -0.1?
-0.1
Let k = 64 + -63.4. Which is greater: k or 2/3?
2/3
Let r = -29 + 57/2. Let b(q) = -q + 3. Let i be b(5). Which is smaller: i or r?
i
Let r(i) = -2*i - 5. Let a be r(-3). Is a not equal to 1/70?
True
Let t = -3 - -3. Suppose t = n - 0 - 2. Is 1/2 < n?
True
Let g = -36 - -40. Which is bigger: g or -5?
g
Let t = -3 + 3.1. Let x = -2 - -5. Is t at least x?
False
Let w(l) = l**3 - 6*l**2 - 7*l - 2. Let n be w(7). Let o be -3*1*4/(-6). Let h be (-3)/o*4/3. Does n = h?
True
Suppose 83*x + 56 = 76*x. Suppose 4*o + 36 = 2*a, 4*a - 8 = 4*o + 9*a. Which is greater: x or o?
o
Suppose -3*c - 4 + 1 = 0. Is c smaller than -1?
False
Let b(l) = 15*l + 1. Let a be b(-2). Is -28 smaller than a?
False
Suppose 4*l - 7*l + 6 = 0. Let c(p) = -p + 1. Let g be c(l). Which is smaller: -3/5 or g?
g
Let o(g) = -g**3 + g**2 + 4*g - 4. Let a be o(5). Let t be 1/((-3)/6) + a. Let y = t + 689/8. Which is smaller: y or -1?
-1
Let f = 144/23 - 3359/92. Is f smaller than -31?
False
Let v = -18 + 28. Is v greater than 11?
False
Suppose 14*b = 11*b. Is b not equal to -1/5?
True
Let c = -4.9 - -5. Which is smaller: 6/5 or c?
c
Suppose 0 = f - 0*f + 10. Which is smaller: -9 or f?
f
Let t be (1/(-2))/(3/(-12)). Let o be ((-5)/t)/(9/6). Let x = -4/3 - o. Which is bigger: 0.1 or x?
x
Suppose 0 = 4*y - y + 21. Let r = 7 + y. Is r equal to 0?
True
Let k = 35 - 35. Is -7 at most as big as k?
True
Let t be (-2 + (-31)/3)*-2. Let w = t - 25. Does w = -2?
False
Suppose 2*r = r + 10. Let m be (15/r)/(3/(-67)). Let k = m - -33. Is 2 at most k?
False
Let r = -25.94 + 26. Which is smaller: 5 or r?
r
Let o(x) = 3*x**3 - 2*x**2 - 4*x - 5. Let q be o(-2). Is -28 at least q?
True
Suppose 0*u + 1 = -2*u - b, u + 4*b + 11 = 0. Suppose 10 = -5*c + 3*d - u, -4*c - d = 2. Let j = 1 - 2. Is j greater than c?
False
Let f = -12 + 6. Do f and 2 have different values?
True
Let p(d) = d**2 + 3*d - 4. Let x be p(-5). Let m = x + -6. Which is bigger: 4 or m?