
False
Let h(d) = -d**2 + 2*d + 3. Suppose 2*t = -0 + 6. Let z be h(t). Which is smaller: z or -4?
-4
Let a be 6/1 + (-20)/5. Which is bigger: a or 13/12?
a
Let p = -32 - -37. Which is smaller: 1 or p?
1
Let f(c) = -c**3 + c**2 - 2*c - 22. Let a be f(0). Is a > -21?
False
Let j be ((-4)/(-56))/(-1*(-3)/(-12)). Let m be 6/21 - 4/(-35). Which is smaller: m or j?
j
Let q(t) be the first derivative of -t**2/2 - 4*t - 2. Let z be q(-4). Suppose -5*p = 5 - z. Which is smaller: -2 or p?
-2
Let g(z) = -z**3 + 9*z**2 + 11*z + 11. Let m be g(10). Let s be (-9)/m - (1 + -1). Let l = 2 - 2. Does s = l?
False
Suppose 11*w = 16*w + 25. Let a(g) = g**3 + 5*g**2 - 3*g - 6. Let k be a(w). Do 9 and k have different values?
False
Let f(y) = -6*y + y**3 + 6*y**2 - 1 + 1 + 5. Let s be f(-7). Let x = 3 + s. Are x and 1 equal?
True
Let z(v) = 3 - 3 + 2*v - 3 + 2*v**2 + 2*v. Let p be z(-4). Does 13 = p?
True
Let m = -2 - -5. Suppose m*g + 2*g = 0. Let c(b) = b - 4. Let o be c(5). Are o and g nonequal?
True
Let a(p) = p**3 - 3*p**2 - 4*p - 1. Let n be a(4). Is 2/673 not equal to n?
True
Let m be 2/(-3)*-6 - (-115)/(-30). Which is greater: m or 3?
3
Suppose -5*i + 3 = -2. Suppose -11 = -x - i. Let h be (-44)/10 + 4/x. Which is smaller: -3 or h?
h
Let b = -66 - -69. Let t = 0.05 + -2.05. Which is smaller: t or b?
t
Let w = -8 + 10. Let p = -11 + w. Is -9 greater than or equal to p?
True
Let g be ((-84)/(-70))/(3/200). Which is smaller: 79 or g?
79
Let b = -888 + 836.7. Let w = b - -47. Let a = w + 4. Is -0.1 > a?
True
Let t = 4091/132 + 17/66. Is 32 greater than t?
True
Suppose -2*r = -4, -4*k - 5*r + 13 = -3*k. Let q be -1 + 1 + 4/2. Which is greater: k or q?
k
Let z = -7 + 6. Which is smaller: 2/7 or z?
z
Let f be 4/(-14) + (-370)/(-70). Suppose 0 = -f*y - 0*y + 25. Which is smaller: y or 0?
0
Let w be (3 - -2) + -1 + 1. Let v = 27/5 - w. Let n = 0.068 - 1.068. Which is bigger: v or n?
v
Let f(o) = -o**2 - 4*o - 3. Let a = -20 - -18. Let t be f(a). Is t >= -2/17?
True
Let q = -13 + 11. Is -9 < q?
True
Let g = -112 - -64. Does -2 = g?
False
Suppose 0 = -a - 5, 4*s + 0*a = a + 21. Let w = -9 - -12. Is w greater than or equal to s?
False
Let u be (-5)/((-15)/(-6)) + -8. Let q = -21/2 - u. Which is smaller: q or 0?
q
Let m be (9 + -15)/(3/(-2)). Suppose -3*w + 6 = -4*p - 2*w, 3*w - m = -2*p. Is p at most as big as -6/11?
True
Suppose -y + 0*y = 1, 3*y + 13 = 2*c. Suppose c*w + 11 = 1. Let r be (-2)/24 + w/8. Which is smaller: 1 or r?
r
Let r be (-1 + 2/4)*12. Let m be 15/(-70)*(-16)/r. Suppose g - 4 = 5*g, 2*a + 7 = -5*g. Which is bigger: a or m?
m
Let h = -28355/32 - -886. Do h and 0 have the same value?
False
Let s be -4 + 76/(-104)*-8. Which is smaller: s or 1/3?
1/3
Let c(n) = 8*n + 1. Let s(x) = 3*x - 3. Let q be s(2). Let h be c(q). Let l = 49/2 - h. Is l greater than 2/7?
False
Let p = -50 + 35. Let a = 15 + p. Is -1/2 >= a?
False
Let a(p) = -p**2 - 9*p - 10. Let c be a(-10). Is -20 greater than or equal to c?
True
Let b(r) = -r - 4. Let n be b(-5). Let q = 0.14 + 0.26. Are n and q unequal?
True
Let b(z) = -z - 3. Let x be b(-3). Suppose n = -x*n. Are -4/7 and n equal?
False
Let a be (-268)/(-12) + 2/(-6). Suppose -2 + a = -5*z. Let i be z/(-2)*(-10)/4. Which is smaller: i or -1?
i
Let d = -3 + 2. Let r = d + 1.4. Let w = 0.6 + r. Is 0.2 at least w?
False
Let j(n) = n**3 - 4*n**2 - 5*n + 2. Let z be j(5). Which is greater: 6 or z?
6
Let h be (10*2)/((-2)/(-10)). Let a = 703/7 - h. Is a equal to 1?
False
Suppose 0 = -3*o - c - 5, 2*o - c = 4*o + 4. Let q be (o + -2 + 2)*3. Let t = 1 + -3. Which is greater: t or q?
t
Let b = -14 + 13.96. Are b and 11 unequal?
True
Let h be (3/(-9))/(10/(-6)). Suppose 0 = 2*v + 3*o - 4, -5*o + 5 = 3*v - o. Are h and v non-equal?
True
Let x = 1 - 2. Which is greater: x or 1?
1
Let a = 2 - 3. Let g be (-1)/3 + 2 + -14. Let q = -151/12 - g. Which is smaller: q or a?
a
Suppose 6 = s - 3*m, -1 = -2*s - 2*m - 3*m. Let k be 5 - (-6)/(-3) - 0. Is s at most k?
True
Let o be (-76)/(-6) + 2/(-4). Let a = 12 - o. Let m(g) = g**2 - 8*g - 8. Let q be m(9). Which is bigger: a or q?
q
Suppose -5*i + 29 = 4*t, 2 + 9 = 2*t - i. Suppose 2*s + o = 9, 0 = 4*s - o - 9 - t. Suppose 2*n + 5*l - l + 2 = 0, 2*l = -2. Which is smaller: s or n?
n
Let z = 403/12 - 127/3. Are z and 0 non-equal?
True
Let s = -96 + 1055/11. Which is greater: -6 or s?
s
Let o = -0.056 - -0.056. Which is greater: o or 35?
35
Suppose -2*w = -2*a + 60, 2*a + 30 = 3*a - 2*w. Suppose -3*n - 5*z - 5 = 0, 3*n - 3*z - a = -3. Suppose -q - 6 + n = 0. Is -1 greater than or equal to q?
True
Let n be 1*(6/(-2) + 3). Does n = 2/15?
False
Suppose 0 = -3*g - 0*g. Suppose g = 2*h + 1 + 1. Let q = -253/6 - -4289/102. Which is smaller: h or q?
h
Let w = -1.93 + -0.07. Let n = -3 - w. Suppose 0*g + 4*g = 0. Which is smaller: n or g?
n
Let v = -20984 + 1091201/52. Let o = v + 3/26. Is -0.1 equal to o?
False
Let b = 7 + -6. Suppose 3*d - b = 2. Which is smaller: d or 2?
d
Let p(c) = 4*c + 1 - 3*c + 3*c**2 - 2*c**2. Let h be p(0). Which is greater: 2/11 or h?
h
Let j(k) = 11*k + 2*k**3 + 9*k**2 - k**3 - 3*k. Let v be j(-8). Let m be v*((-3)/6 - -1). Which is smaller: m or 2?
m
Let m be (-8*(-3)/324)/(2/6). Which is greater: 1 or m?
1
Let q = -30 - -30. Is q greater than 2?
False
Let q = 124/817 + -2/43. Which is smaller: q or 0?
0
Suppose -4*v = -5*v + 2*s - 5, -v - 5*s + 9 = 0. Suppose -2 = 2*x + 2. Which is greater: x or v?
v
Let c = -15523/66 + 1385/6. Let i = -358/77 - c. Which is greater: i or 3?
3
Let z be -1 + -3 - (-64)/10. Is 2 smaller than z?
True
Let d = -1.2 - -3.7. Let c = d - 2. Let g = c + -0.4. Is g at least as big as -0.3?
True
Let r = 0 + 0. Let t = -13050/7 + 1871. Let w = t - 813/119. Is w greater than r?
False
Let z be (-32)/(-6) - 3/9. Let w = -6 + z. Which is smaller: w or 2/9?
w
Let y = 14.7 + -26.8. Let k = 12 + y. Let s = 4 - -1. Which is smaller: k or s?
k
Let b = -5.8 + 0.8. Suppose 3*m = 3*n + 6, 2*n - 6*n + 13 = 3*m. Suppose -m*c - 5*f + 17 = 0, 3*f - 18 = -2*c - 2*f. Which is bigger: c or b?
c
Let o be 68/12 - (2/(-2))/(-1). Which is greater: o or 6?
6
Let m(l) = 2*l + 23. Let n be m(-11). Is 1 >= n?
True
Let x be -4 + 1 + -1 + 3. Let m = 0 - x. Let u be 2/3*9/4. Which is greater: u or m?
u
Suppose 33*i = 31*i + 14. Is 31/5 at least i?
False
Let b = -79.1 + 79. Which is smaller: 0.08 or b?
b
Let q = -0.2 + 0.1. Let i be ((-4)/(-10))/(3/90). Suppose 4*v + i = 0, 4*t + 2*v - 5 = -27. Is t less than or equal to q?
True
Let q(y) = 8*y**2 - 2*y. Let m be q(-5). Let i be (1/(-10))/(216/m). Let o = -2/9 - i. Which is smaller: 0 or o?
o
Suppose -4*l + 457 = -3*c - 0*c, 5*l + 2*c - 577 = 0. Is 115 at least as big as l?
True
Let m = 14 - 15. Let r(k) = -k - 2. Let l be r(-3). Suppose -c + l - 2 = 0. Do c and m have the same value?
True
Suppose -4*d - d + 11 = -2*q, 5*d + 5*q + 10 = 0. Is 0 smaller than d?
True
Let f(j) = 2*j + 32. Let g be f(-16). Which is smaller: -2/19 or g?
-2/19
Let k(z) = 5*z**2 - z. Let a be k(1). Suppose 8*m = a*m + 4. Let x = -182 - -184. Which is smaller: x or m?
m
Let q = -14 + 16. Which is bigger: q or 7?
7
Suppose 10 = b + 4*b. Suppose b = 5*i - 3*r, i + 2*r + 12 = -i. Let n = -4 - -2. Is n >= i?
True
Let r(p) = p**2 - 10*p - 4. Let a be r(10). Is a smaller than -4?
False
Let q = -30 - -5. Are q and -24 equal?
False
Let s = 19.1 + -19. Let p = 3/10 - -1/5. Which is greater: s or p?
p
Let p be -4 - -2 - (1 - 1). Let f be (p - 0) + 5 - 0. Is 3 > f?
False
Let v = -145.7 - -146. Is 21 bigger than v?
True
Let p be 0 + 724/60 - 3. Let z be 28*3*1/(-10). Let u = z + p. Which is smaller: 0 or u?
0
Suppose -24 = -2*c - x - 3*x, 4*x - 60 = -5*c. Let i be ((-2)/c)/((-1)/3). Let n = -2 + 2. Is n smaller than i?
True
Let o(v) = -v**2 - 9*v + 6. Let z be o(-9). Let u = z - -2. Let m be (-1)/(-3) - u/6. Which is smaller: 1/5 or m?
m
Suppose -12 = -4*f + 2*l, 5*f + 12 = -5*l - 3. Which is smaller: f or 2/15?
2/15
Let y be ((-16)/120)/(20/(-6)). Which is bigger: y or 0?
y
Let u be (-6)/(-4)*16/348. Is 0 at least u?
False
Suppose 3 = 3*t, -8*j = -3*j - t - 19. Which is bigger: j or 3?
j
Let d be (-2310)/45 - (-4)/3. Is d not equal to -0.1?
True
Let j = 987 - 44413/45. Which is greater: j or 0.2?
0.2
Let z(m) = -m**2 + 2*m + 11. Let s be z(5). Which is greater: s or -5?