True
Let c(j) = j + 17. Let r be c(-9). Suppose r*l = 9*l. Let n = -4 + 3. Is l not equal to n?
True
Let x be 8/(-12) + (-8)/(-12). Let j(l) = -l - 4. Let h be j(-7). Let t be -1 - (2 - h)*3. Is t > x?
True
Let w(j) = 2*j**2 + 4*j + 1. Suppose 5 = -5*f - 5, -f = -3*d - 7. Let l be w(d). Which is smaller: l or 4?
4
Let f be (16/10)/(6/15). Suppose 3*h + 21 = 2*p, -5*p + h - 2*h + 10 = 0. Suppose -u - q = u - p, f*u = q - 3. Which is greater: -1/3 or u?
u
Let m be (-3)/(-1)*1/3. Let y(n) = 3*n**2 + 5*n - 5. Let k be y(4). Let g = k - 253/4. Do m and g have the same value?
False
Let p = -11 - -8. Which is smaller: p or -0.1?
p
Suppose 2*v = v. Suppose v*y + y = -2. Let u(f) = -f**2 - 4*f - 3. Let g be u(y). Is g smaller than 1?
False
Let i be 2/2 + (4 - 4). Let d be 1*3/(i + -4). Which is greater: d or -1/6?
-1/6
Let t = 7.6 + 0.4. Let v = -1 + 5. Let f = v + -4.1. Which is bigger: f or t?
t
Let w be 2/5 + 14/(-20). Let c be 2/(-3) + 3/(-9). Let s be (1 + -1)/(c*2). Is s at least as big as w?
True
Let p = 8 - 4. Suppose 0*x - 4*u = 3*x + 5, -2*u = p. Is 0 bigger than x?
False
Let i be (-5 - -6) + (-2 - 0). Is -3/8 bigger than i?
True
Let w = 2 + -6. Let m be 2*2/w + 1. Suppose -c + 4*c = m. Is 1/4 smaller than c?
False
Suppose 0 = -13*p - 2*p. Is 3/25 at least as big as p?
True
Let y = 9350/19 - 492. Which is bigger: y or 1?
1
Let z be 2/(-5) + 24/10. Let n = z + -1. Let o = 1 - n. Which is greater: o or 1/6?
1/6
Let i = 1 + 2. Suppose -i*y = -5*b - 16 + 5, -4*y + 3*b = -11. Is y >= 4?
False
Suppose y + 5*w = -0*w + 4, 4*w = -4*y. Let v = y - 0. Let m be 3/(-3) + (0 - 1). Which is smaller: m or v?
m
Let n = -9.12 + 0.12. Let q = n - -8.95. Let v = 0.55 + q. Which is bigger: 2/3 or v?
2/3
Let f = -113 - -203/2. Which is greater: -12 or f?
f
Let t(l) = -l + 5. Let s(r) = 5*r - 25. Let n(x) = -2*s(x) - 11*t(x). Let o be n(6). Is -1 at most o?
True
Let d = -17 - -11. Is 0 less than or equal to d?
False
Let m = 1 - -2. Let y be 1/(0 - (m - 6)). Is y bigger than -1?
True
Suppose -4*r - m = -17, 6*r = 3*r - 3*m + 15. Let w = 7 - r. Which is smaller: w or 1?
1
Let d = -1783/2118 + 3/353. Let f = 22/3 + d. Which is smaller: 8 or f?
f
Suppose 0 = 3*q - q + 16. Let j = -2 - q. Is j less than 6?
False
Let x be (-9)/(-3 + 0) - 13/5. Which is bigger: 17 or x?
17
Let g = 0.12 + -0.051. Are g and -0.1 equal?
False
Suppose -6*b - 14 = 3*s - b, b + 8 = -s. Which is smaller: -11 or s?
s
Let f be 6/1 - (-8 - -8). Do 7 and f have the same value?
False
Suppose -n - 25 = -8. Which is bigger: n or -18?
n
Suppose -6*n = -7*n. Is n at most as big as -2/23?
False
Suppose 5*d + 4*v + 2 = 0, 6 = v + 2*v. Let g(r) = -r**3 - r**2 - 3. Let s be g(d). Is 1 greater than or equal to s?
True
Let w(v) = -v**2 + 7*v + 6. Let a be w(8). Let s(c) = 3 + 3*c**2 - c + 5*c - 2*c**2. Let t be s(a). Are -2/11 and t equal?
False
Let s(t) = 2*t**2 - 9*t + 5. Let a be s(6). Let k = a - 43. Let l be k/5*(-1)/18. Which is bigger: 1 or l?
1
Suppose 35 = -5*b + 3*k, 2*k = 4*b - k + 25. Let h be (-32)/(-5) + 4/b. Is 6 smaller than h?
False
Let h(p) = p**2 - 4*p - 6. Let s be h(5). Let q(l) = l**3 - 4*l**2 - 5*l + 3. Let k be q(5). Suppose 2*x - 2*g + 14 = 0, k*x + g - 2*g = -11. Is x < s?
True
Let s = 40 + 6. Which is smaller: s or 45?
45
Suppose -2 = -w - 0. Suppose -f + w = -0*f. Suppose 4*v - f = 2*v, -2*j + 9 = v. Is j less than or equal to 5/2?
False
Let k = 1 - 4. Let q = k + 5. Suppose -1 = t - q. Is 2/13 smaller than t?
True
Let c(t) = -t - 9. Let i be c(-10). Is i greater than or equal to 2/25?
True
Let l be (-3)/1 - -10 - 3. Suppose -1 = -u - l. Are u and -3 equal?
True
Suppose -9*k + 4 = 22. Let g = -2.02 + 2. Is g at least as big as k?
True
Suppose w + 9 = 4*w. Suppose 5*i + 4 = w*x, 4*x + 7 = -i + 20. Suppose 4 = -2*v + 3*b, -x*b - b = 0. Is v at most -1?
True
Let d = -6 + 5.8. Let t = d - -1.2. Is 9 at least as big as t?
True
Let q be (-7)/(-8) - (2 + -1). Do q and 1 have the same value?
False
Let i = 16 - 12. Which is smaller: 7 or i?
i
Let u = -1.3 - -0.3. Suppose -6 = -12*f + 15*f. Let m be (6/f)/((-18)/4). Is m < u?
False
Let u = 34 + -23. Let w be u + (3 - 3)*1. Which is bigger: w or 10?
w
Suppose 24 = 25*y - 26*y. Is y at most as big as -26?
False
Let a(x) = x**2 - 2*x - 4. Let t be a(3). Is t <= -1/4?
True
Let y = -6.4 + 20.4. Which is bigger: 0 or y?
y
Suppose 4*j = 4, 3*a + 2*j - 5 = 3. Suppose -6 = -4*q - 90. Let c be 3*(-2 + q/(-9)). Which is smaller: a or c?
c
Let u(t) = t**2 - 7*t. Let k be u(7). Let r = -7801/111 + 211/3. Which is greater: r or k?
r
Suppose -5*q + 2*q + 21 = 0. Suppose -2*u + 14 = -3*k, -k - 4*u + q + 7 = 0. Let l be (-33)/22 + (-6)/4. Is l at least k?
False
Let v(s) = 365*s**2 + s - 1. Let m be v(-1). Let d = m - 4717/13. Let j = -0.2 - -0.3. Are d and j unequal?
True
Let x = 7.58 + 0.42. Is x bigger than 0.5?
True
Suppose 5*a = -5*v + 33 + 2, -4*a + 52 = -2*v. Is 4/7 greater than a?
False
Let r = 0.17 - 26.17. Let a = r + 27.1. Let w = a + -0.1. Which is greater: -2 or w?
w
Suppose -2*o = v - 2, -5*v + 10 = 5*o - 0*o. Is v smaller than 2?
False
Suppose -5*x = -2 + 7. Let r be (9/16)/((-6)/10). Let j = r - -103/144. Which is greater: j or x?
j
Let n be (-2 - 4)/(3/(-2)). Let a = 22 - 21. Which is smaller: a or n?
a
Let t = -4.2 - -4. Is t > 2?
False
Let o = -16 + 8. Let k = -5 - o. Let v = k - 1. Which is bigger: v or 0.1?
v
Let s(c) = -c - 8. Let w be s(12). Is -20 at most as big as w?
True
Let h be 4*((-16)/(-284))/4. Let a = -106/639 - h. Which is smaller: 0.1 or a?
a
Suppose -4*q + 2*q - c = -22, 3*c + 4 = q. Suppose -2*p + 22 = 2. Do q and p have different values?
False
Let n = 166/129 + 2/43. Suppose 0 = -5*h + 2*h. Which is smaller: h or n?
h
Let r = 1 + -3. Is r at least as big as -1/2?
False
Suppose -4*q - 16 = -2*q - 4*r, -3*r + 12 = 2*q. Let d = 168 + -1846/11. Is d less than q?
False
Suppose -5*t - 5 = -a, 0*t = 5*a - 2*t - 25. Suppose 3*w - 6 = -g - 2, 0 = g - a*w + 12. Is -2 at most as big as g?
True
Let w be (6 - -3)/(-1*1). Suppose -4*h + 5 - 13 = 0. Let d be h*w/6 - 2. Is d equal to 1?
True
Suppose 3*q + 10 = -0*h + 5*h, 8 = -q + 4*h. Which is smaller: q or 1/21?
q
Let r = 1 + -1. Let u be -3 + 2 + (-7 - (-45)/6). Which is smaller: u or r?
u
Let p = -344/5 - -4622/65. Which is greater: p or 3?
3
Let b = -10 + 4. Let h be (-2 + 0)*(-40)/(-16). Which is bigger: h or b?
h
Suppose -q - q = 0. Let y be 0*((-21)/(-6) - 3). Suppose -k + 6*k = y. Are q and k equal?
True
Let l be 58/5 - (-9)/(-15). Is 12 <= l?
False
Let n(p) = -p - 1. Let j be n(0). Let a(g) = 2*g. Let y be a(j). Which is smaller: 0 or y?
y
Let i = -12 - -8. Let z = -4.73 - -0.63. Let d = z - i. Which is greater: 1 or d?
1
Let k be (3 + (-11)/4)*-191. Let g = -47 - k. Which is smaller: g or 0?
0
Suppose 3*o + t + 6 = -2*t, 0 = -3*o - 5*t - 14. Let b(k) = 11*k - 3. Let x be b(-3). Let u be 16/(-6)*x/80. Which is smaller: u or o?
u
Suppose -b - 4*s + 42 = 0, -3*b + 6*s + 143 = s. Is 45 smaller than b?
True
Let y = -20.94 + 21. Which is smaller: y or 1?
y
Let h be 36/(-24)*(-4)/(-123). Which is bigger: 1 or h?
1
Let i(q) = -2*q + 1. Let n be i(-2). Let o(w) = -2 - 3*w - n + 2*w. Let z be o(-5). Which is bigger: -3 or z?
z
Let r(y) = -2*y - 18. Let z be r(-12). Let q(p) = p**2 - 6*p - 1. Let u be q(z). Which is smaller: u or 2/3?
u
Let q = -14.1 - -12.1. Let v = 0.06 - -1.94. Is v less than q?
False
Let w = 0.02 - 0.03. Let p = -0.21 - w. Let m = -6 - -5. Which is smaller: m or p?
m
Let a = -24.1 - -23. Let d = -2 - a. Let u = -2 - -3. Which is smaller: d or u?
d
Let x = -1/5726 + 443767/11452. Let k = -39 + x. Which is greater: 0 or k?
0
Let t(w) = -w + 9. Let l be t(9). Let p = -3 - l. Does -11/4 = p?
False
Let i = 32/145 + -18/29. Does 1/3 = i?
False
Let d = 2.6 - -0.4. Let n = -40 + 43.2. Let c = d - n. Which is smaller: c or -1?
-1
Let z be 6/4*(-16)/(-6). Suppose p - 6 = -m + 2, 2*m - 3*p + z = 0. Suppose j - m = -j. Which is smaller: j or 4?
j
Suppose -4*u = u - 90. Let x be 4*(-3)/u*-3. Suppose -4 + 2 = -x*a. Do 1 and a have the same value?
True
Let s = -3748/23 - -163. Which is smaller: s or 0?
0
Let y be (-3 - 73/(-19)) + (0 - 1). Is 0 bigger than y?
True
Let n = 0.4 - 0.2. Let k = 4 + -4.3. Let t = k + n. Is t > -1/3?
True
Let t(h) = -3*h - 14. Let c be t(-6). Is c bi