Let n be w(3). Let a be 1 - (1 - n/12). Is a greater than or equal to 1?
False
Suppose 3*z = -5*d + 2*z, -2*d = 5*z. Let u be 4/18 + d/3. Is -1 smaller than u?
True
Let t be (-1)/(-3) + 24/(-18). Which is smaller: t or -1/5?
t
Let y = -0.1 + -8.9. Let u = -8.9 - y. Which is smaller: u or -4?
-4
Let k = -516 - -491.3. Let v = k - -26. Is v bigger than 0.1?
True
Let m = -118 + 126. Is 10 < m?
False
Let k(v) = 3*v - 1. Let l be k(1). Suppose 0 = -l*f - c + 1 - 0, -f - 5*c = 13. Suppose -2*x + 4 = 2*x. Is x <= f?
True
Let a = 6.82 - -0.18. Let f = 7 - a. Let g = f - 0.3. Which is greater: g or -2?
g
Let s be (4/7)/(2/7). Let f be 4 + -1 - (4 - 1). Suppose 7*n - 2*n = c - 4, -s*c - 4*n - 6 = f. Which is smaller: c or -2/9?
c
Let x be (-2)/(3 - 5 - (-24)/11). Let y = -35 + 25. Which is bigger: y or x?
y
Let o be (-11 + 11)*2/(-6). Let b = -6716 - -221645/33. Let f = -2/11 + b. Which is greater: o or f?
f
Let o = 110 - 12. Is o != 97?
True
Let q be ((-3)/1 + 6)*-2. Suppose 2*x = -3*l + 11, 4*x - 2*l - l + 5 = 0. Let w(t) = -8*t + 1. Let n be w(x). Which is greater: q or n?
q
Suppose j = -2*h + 23, -8*j - 80 = -5*h - 3*j. Is 13 equal to h?
True
Let h = 201/5 - 2231/55. Which is greater: 1 or h?
1
Let m(w) = -3*w - 6. Let x be m(-4). Let t = x - 8. Which is greater: t or -1/2?
-1/2
Let m be -11 - -11 - (3 + -1). Is -14/5 less than or equal to m?
True
Suppose 0 = c + 1 - 4. Suppose 12 - 3 = -c*p. Let o be (-1)/p*(-5 - -4). Is 0.7 < o?
False
Let r = 0.35 - 1.35. Let j = 0 - -2. Which is bigger: j or r?
j
Let f be ((-20)/12)/((-2)/6). Let b = f + -5. Do b and 2/3 have the same value?
False
Suppose 0 = 3*i - 3*z, 2 + 6 = i + 3*z. Let q(c) = -c - 5 - 2*c + 2 + 2. Let u be q(-1). Is i smaller than u?
False
Let u be (-14)/21 + (-56)/6. Let v be (-15)/u*(-20)/6. Are -4 and v equal?
False
Let i = -79 + 80. Let c = 115/174 + 5/29. Is c at least as big as i?
False
Let i = 0.4 + 3.6. Which is bigger: -2 or i?
i
Let w = 143 - 17. Let n be (-2)/(-9) + 8/w. Let h = 680/2979 - 2/331. Which is smaller: h or n?
h
Suppose -14*t = -18*t - 4. Let p = -1 - t. Is -5 bigger than p?
False
Let c be (-9)/12*(-13)/(-6). Let o be ((-60)/14)/((-32)/10). Let v = o + c. Is v bigger than 1?
False
Let i = -5.3 - -0.3. Let v = i + 4.9. Is v less than 2/9?
True
Suppose 0 = -4*f + 5*f + 2. Let o be (8/6)/((-4)/(-6)). Suppose o*b - 17 = -3*x - 2*b, 0 = -4*x + 3*b - 19. Which is bigger: f or x?
x
Let g be 10 + 3 + 2/(-2). Let f = g + -8. Suppose -6 = -f*d - 2. Which is smaller: 1/5 or d?
1/5
Let r = -0.3 + 0.51. Let z = r - 0.01. Are 3 and z nonequal?
True
Let j(w) = 2*w**2 - 4*w - 1. Let k be j(2). Is -1/34 less than k?
False
Suppose -4*a = -0*u + u - 3, 9 = 3*u + a. Suppose 2*l = -u*l. Let b be ((-4)/(-32))/((-1)/(-6)). Which is bigger: l or b?
b
Let j(p) = p + 3. Let d(n) = n + 4. Let z(k) = 3*d(k) - 2*j(k). Let v = -8 + 3. Let b be z(v). Is 1 greater than b?
False
Let k = -2295/14 - -164. Let h(a) = 2*a + 1. Let r = 2 + -3. Let o be h(r). Is k at least as big as o?
True
Let j(b) = -b - 1. Let t be j(0). Let q be t + 2/(-2)*-2. Let k(x) = x + 1. Let g be k(1). Is q equal to g?
False
Let n = -3879/5 - -780. Let m be ((-358)/(-120))/(3/4). Let z = n - m. Is z at least -1?
True
Let z = 2.88 - 3. Let b = 1.08 - z. Is 0.1 less than or equal to b?
True
Let c = 1 - 1. Let g be 1 + (-21)/(-19) + -2. Let i = 13/57 + g. Is i less than or equal to c?
False
Let c = 0.08 - 2.08. Let m = 7 + c. Let s = m + -5. Is s equal to 2/19?
False
Let l = -1518 - -86528/57. Let m(n) = n + 10. Let g be m(-9). Is l smaller than g?
True
Let c = 7/10 + -29/70. Let n be 100/(-232) + (-3)/(-6). Is c > n?
True
Let u(o) = 6*o + 5. Let y be u(-3). Let d(x) = x - 10. Let b be d(y). Is -22 at least as big as b?
True
Suppose -4*a - 6 = 2. Which is bigger: 0 or a?
0
Suppose -f - k = 3*k - 15, -2*f = -5*k + 35. Which is smaller: 3 or f?
f
Let f be -3 + (58/10 - 3). Let t = 0 - -4. Suppose 4*p + 10 = -t*w + 2, 2*w + 3*p = -5. Which is smaller: w or f?
w
Let d = 0.2 - 0.1. Let s = d + 0.9. Which is smaller: -4 or s?
-4
Let u be 4*(15/28 - 4/14). Which is bigger: u or -1?
u
Let o = -55 + 62. Which is smaller: o or 8?
o
Let z(c) = c**2 - 13*c + 19. Let i be z(12). Which is greater: 11/2 or i?
i
Let p = 0.136 + -18.236. Let x = -18 - p. Is -6/11 equal to x?
False
Let f be 2*-1 - 20/(-5). Suppose 0 = -3*x + 5 - f. Which is bigger: x or -2/41?
x
Suppose -2*l + 5*l + 3 = 0. Let u = 1.7 + -2. Is u <= l?
False
Suppose 2*z = 6*z. Let v be 3/9 - 659/18. Let y = v + 73/2. Is y at most z?
False
Let n be 5/(165/62) - 2. Let f be ((-14)/(-198))/((-12)/63). Let v = f - n. Do v and 1 have the same value?
False
Let k = 8 + -5. Suppose k + 2 = -x. Is -5 greater than or equal to x?
True
Let w = 0.9 + -1. Does w = -23?
False
Let f = -377/6 - -63. Let p = 16 + -4. Suppose 0 = 4*w - 3*q - p, -5*w - q - 4 = -2*w. Which is smaller: f or w?
w
Let n = -393 + 12185/31. Are -1 and n non-equal?
True
Suppose -29*q + 21*q = 8. Which is bigger: 2 or q?
2
Let j be 8/(-16) - 10/(-4). Suppose j*g = -g + a + 13, 5*g + 2*a - 29 = 0. Suppose -5*b - g = -5*z, -5*b - z + 1 = -0*z. Is -2/3 at least b?
False
Let g be 5 - (-2*2 - -3). Let v(q) = q**2 - 11*q + 6. Let l be v(11). Is l >= g?
True
Let p = 238 - 1663/7. Let f be (-18)/4 + 4 + (-1)/(-6). Let z = f + p. Which is greater: z or 1?
1
Let k(s) = s - 5. Let l be k(6). Let w be (-3)/(-17)*4/12. Are w and l equal?
False
Suppose -3*a + 26 - 2 = 0. Suppose -a = l - 3. Is l <= -6?
False
Suppose 0 = -2*g - 0*g + 2. Let y be 1 + 61/(-30) + g. Let f = y - 49/330. Which is bigger: 0 or f?
0
Let i(t) = -t**2 + 3*t - 1. Let m be i(3). Let l be ((-1)/m)/(-4) - 0. Does l = 1?
False
Let j = 10 - 10.02. Let y = j - -0.04. Is 0 equal to y?
False
Let j be (2/(-18))/(1 + (-8)/6). Is -1/17 > j?
False
Suppose -3*d = -4*d + 2. Suppose -c + 2*v + 7 - d = 0, -4*v = 16. Is -5 not equal to c?
True
Let g(k) = k + 3. Suppose 3*m + 11 = -4. Let t be g(m). Is t at least -2/3?
False
Let s be 3/(-12) + (-19)/(-2). Let b = s + -415/44. Is 1 > b?
True
Let l(n) = 10*n**2 + 2*n. Let t = -9 + 7. Let u be l(t). Let v be u/(-45)*5/(-2). Which is greater: 1 or v?
v
Let y = 2/1575 + -215783/6300. Let n = -34 - y. Is 4 >= n?
True
Let c be (-4)/(-15)*5/(-3). Which is smaller: c or -1?
-1
Suppose -5*n - 2*d = -5, -19 = -0*n - 3*n + 2*d. Which is bigger: n or 0?
n
Let f be 7/(-5) - (-8)/20. Which is smaller: -31 or f?
-31
Let k = 2 - 3. Suppose -c + h - 2 = 0, 4*c + c = 4*h - 10. Is k greater than or equal to c?
True
Let q = -3 - -4. Let r be (-15)/(-13) - 1 - 92/429. Which is smaller: q or r?
r
Suppose 4*p + 0*p = -k + 14, 0 = -2*k - 5*p + 16. Which is smaller: -1 or k?
k
Let w = 1.4 + -5.4. Does w = 0.2?
False
Let q = -0.1 + -0.1. Let u = -1.2 - q. Let w be (-39)/12 + 0 + 3. Is w at least u?
True
Suppose 15 + 13 = 4*s. Let i = s + -13/2. Is i smaller than -1?
False
Let f = -17 - -28. Let t = f - 6. Suppose 25 = t*n - 0*n. Do n and 5 have the same value?
True
Let m(t) = -2*t**3 - 2*t**2 - 2*t + 1. Let n be m(-2). Suppose 4*f + x - 9 = 0, 5*f + 7*x = 4*x + n. Suppose 0 = o - 5 + 3. Is o at most as big as f?
True
Let u = -54/7 + 8. Let y(n) = n**2 + 13*n - 15. Let l be y(-14). Which is greater: l or u?
u
Let d = 0 - 1. Let r = 2 - d. Suppose 14 = 5*w + 4*t - 3*t, 5*t = -3*w + 26. Which is smaller: w or r?
w
Let w = 25.6 + 0.4. Let s = w + -26.1. Which is bigger: s or 0.6?
0.6
Suppose 6*m - 4*m = 0. Which is smaller: m or -2/11?
-2/11
Let a = -5 + 8. Let n = -19 - -17. Let z be -4 - n - 0/3. Are z and a unequal?
True
Let k be (-1 - -1)*(-3)/9. Is -24 less than k?
True
Let q = 5.5 - -3.5. Is -2 less than q?
True
Suppose -j = -p - 7, 0*p + 5*p + 19 = j. Suppose -3*z = z + j. Let f be (z - -2)*(-2 - -1). Is 1/7 smaller than f?
False
Let q = 2 - -1. Suppose -4 = -2*a, 4*a - 4 = -2*z + q*a. Which is smaller: z or -1/4?
-1/4
Let n(k) = -k**3 + 7*k**2 - 5*k - 7. Let r be n(6). Let v be -2 - ((-168)/(-26))/(-3). Which is bigger: r or v?
v
Let l be 5/(-15) + 3/9. Let s be (-9)/6*(-4)/(-57). Is s at least l?
False
Suppose -3*o + 67 = q, q = 5*o - 99 - 26. Let d be (24/27)/(2/o). Let v = 11 - d. Which is bigger: v or -3/2?
v
Let g = 2 + -2. Suppose -p + g*p - 2 = 0. Let t = -1.1 + 1. Is p at most as big as t?
True
Let o = 11 + -2. Let c(s) = s**3 - 9*s**2 + s - 9. Le