st as big as z?
False
Let y = 10 - 6. Suppose -4*r = -2*r + t - 3, y*t + 4 = 0. Suppose 0*h - r*h - 14 = 0. Which is smaller: h or -6?
h
Let u(c) = c**2 - 11*c - 12. Let s be u(12). Let j = 48 + -49. Is s equal to j?
False
Let x = -1 - -4. Let i be 6/12*(-4)/(-1). Suppose i = z - 0. Which is smaller: x or z?
z
Let g = 3 + -3. Let b be (2/4)/(5 + 1). Are b and g equal?
False
Let d(m) = 2*m - 3. Let k be d(3). Let g = 2 - k. Is g greater than or equal to -1/23?
False
Let f be 1/((-2 + 139)*1/(-2)). Is -1 greater than or equal to f?
False
Suppose 0 = 5*b - 11 + 1. Let d be b/(-4) + 20/8. Is d greater than 4?
False
Let b(q) = q**2 - 6*q + 7. Let m be b(6). Let k be (1/2)/(3/(-30)). Let w = m + k. Are 2 and w nonequal?
False
Let n(i) = -i**3 + 9*i**2 - i + 7. Let q be n(8). Suppose 4*r - q = -7. Suppose 0 = -5*p + 4*p - 4*s - 17, -2*p - r = 3*s. Is -1 > p?
False
Let w = 49 - 48. Which is bigger: -22 or w?
w
Suppose 0 = -5*r - 12 + 137. Let p be ((-2)/r)/((-8)/10). Is p less than or equal to 0?
False
Let n be -2 + (2 - 2)/2. Let b be ((-63)/27)/((-4)/(-6)). Let o = b + 3. Is o greater than n?
True
Suppose 20 = 8*h - 3*h. Is 2 less than or equal to h?
True
Suppose 4*o - 5 = -1. Are o and 2/49 unequal?
True
Let p = -5.42 - -0.42. Is 0.4 > p?
True
Let i = 46 + -65. Which is bigger: i or 0.1?
0.1
Let g = 2969 - 377065/127. Is 0 less than or equal to g?
False
Suppose -8 = -5*m - 3. Is 8/5 greater than or equal to m?
True
Let i = -37 - -39.3. Let n = -0.3 + i. Is n less than -2?
False
Suppose 0 = 5*m + 5*l + 5, -3*l + 8 = -l. Let z(r) = -r**2 - 5*r. Let n be z(m). Is -3/7 at least as big as n?
False
Let y = -7.79 + -0.21. Let o = y - -7.4. Let w = 0.5 + o. Are w and -0.1 nonequal?
False
Suppose -2*g - 5*y - 17 = 0, -3*y - y - 10 = -2*g. Let b be (-18)/(-1 + 10) + (-14)/(-12). Do g and b have the same value?
False
Let h be 1*(0 + -1)*(-1)/1. Is h smaller than 8/27?
False
Let x be (1*6)/((-6)/(-4)). Suppose 0 = -x*v - 0*a + 5*a - 15, -4*a + 12 = -2*v. Which is smaller: v or -0.1?
-0.1
Let k be (-12)/10*1/(-4). Let m = -184 + 917/5. Let o = k + m. Which is greater: o or 0?
0
Let s = -0.3 - -0.3. Let z = -0.2 - 0.8. Let t = s - z. Are t and 6 unequal?
True
Let u be (-2)/4 + (-28)/8. Let s = -15 - -9. Let v = u - s. Which is smaller: 3 or v?
v
Let s(d) = 7*d - 1. Let q be s(1). Let p = -5 + q. Which is smaller: p or 2?
p
Let p = 40 - 44. Is 0 >= p?
True
Let d = -16.6 + 0.6. Which is smaller: d or -0.1?
d
Let y = -36.03 - -36. Is y <= 2?
True
Suppose 0 = j - 2, -f - 4*j - 2 = -3. Are 5 and f equal?
False
Let h(b) = -b**2 - 6*b + 10. Let v be h(-7). Let y(k) = -k**2 + 6*k + 3. Let m be y(6). Is v at least as big as m?
True
Suppose p + 0*p = 0. Suppose d + 4 = -p*d. Let l be (-4 - d)/(-1 + 3). Is l at most as big as 6/7?
True
Suppose 6*u + 12 = 3*u - 3*d, 0 = 4*u + 3*d + 12. Let s be (-5)/(-3) - 3/3. Is u <= s?
True
Suppose r = 4*r + 507. Let q = -778/5 - r. Let f = q + -13. Is -1 less than f?
True
Let q = -2 + 1. Let c = 1 - -3. Let d = c + -4. Which is greater: d or q?
d
Let k = -62/11 + 311/22. Is k smaller than 9?
True
Let d = -0.052 + -1.748. Is d smaller than 6?
True
Let k be (-33)/(-7) - (-2)/7. Let u = 1 - 1. Suppose -3*a + 4*a - 5 = u. Is a < k?
False
Suppose -2*c + 29 + 41 = 0. Suppose -3*r + 3 = 5*v - c, -8 = 2*r - 5*v. Which is greater: r or 5?
r
Let p(f) = f**2 - 2. Let q be p(2). Let k = -97 + 98. Do k and q have the same value?
False
Let u = 176 - 176.1. Are 1.33 and u nonequal?
True
Let j be 1 + 6 - (1 + 1). Let y be 3*(1 + (-4)/(-6)). Is j not equal to y?
False
Suppose -j + 2 = -3*y - 12, -4*j + 12 = -y. Suppose -2*h = -0*h - 10. Suppose -h = 4*q + 7. Is y > q?
False
Let w = -13 - -23. Suppose 5*z - w = -0*n + 5*n, 2*n - 3*z = 0. Are n and -5 non-equal?
True
Let z = -9 + 19. Suppose z + 3 = f. Which is greater: 12 or f?
f
Let c = 0.5 + -1. Let w = 2.5 - c. Let q = 5 - w. Is q bigger than -0.2?
True
Let m = -7 - 5. Let u be m/1*1/(-4). Is u less than -1?
False
Suppose 59 + 25 = -2*q. Let f = q + 163/4. Suppose 7 = -y + 6. Is y greater than or equal to f?
True
Let z = 82 - 85. Is -19/10 != z?
True
Suppose -4*x = x + 30. Let g be 2 - (-3)/(-6)*x. Suppose 0 = g*z + 3*l, z - 2*z + 5*l = 0. Which is greater: z or -1/13?
z
Suppose 3*p = 5*p - 8. Suppose 3 = v + p*d, v + 2*v - 9 = 4*d. Suppose -j = -v*j + 2. Which is bigger: -1/5 or j?
j
Let f(x) = 11*x. Let a be f(-1). Is -11 greater than a?
False
Let s be 3/(-2) - (0 - 1). Let j = 56 + -55.9. Is j at least as big as s?
True
Let b be (-15)/4*(-192)/(-36). Which is greater: -21 or b?
b
Suppose 5*u = t + 5, -6*t + 11*t - 3*u = 63. Suppose -4*a = 2*v - 3 - t, 4*v + 2*a - 30 = 0. Is v <= -1?
False
Let c be 1 - (-1 - -1)/(-7 - -6). Do -1 and c have the same value?
False
Let q(o) = -o + 1. Let j be q(3). Are j and -3 nonequal?
True
Let g(o) = -o**2 - 10*o - 10. Let j be g(-6). Is j at most 13?
False
Let d(o) = -o + 3. Let t be d(7). Let p = t + 6. Let w be p - (6 - 3) - 0. Are w and 2/7 equal?
False
Let h(x) = x**2 + 2*x + 2. Let s be h(-2). Suppose 0*j + j = 2*p + 6, s*j - 8 = 2*p. Is p < -1?
True
Let v = 2 - 4. Is v <= -2?
True
Suppose 3*u - 4 = 7*u. Let n = -3 - u. Let s be -2 - -1 - 10/(-6). Are n and s nonequal?
True
Let n be 11 - 10/(-15)*-3. Is n at least 7?
True
Let g(t) = t**3 - 4*t**2 - 3. Let z be g(4). Let y = z - -5. Suppose 0 = -2*n - 2*o - 10, -3*n - 20 = -5*n + 4*o. Is n greater than or equal to y?
False
Let h = -5/9 - -17/63. Is h less than or equal to -1/4?
True
Let p(h) = -9*h + 1. Let i be p(1). Let f(a) = a**3 + 9*a**2 + 7*a - 5. Let k be f(i). Let t = -0.2 + 0.1. Which is smaller: k or t?
t
Let r be 2/(-1)*1 - -6. Suppose -o + 3*p = -11, r*o + 0 = -4*p - 4. Suppose 0 = o*g - 1 - 1. Does -1/6 = g?
False
Let x = 12 + -7. Let j be ((-4)/(-10))/(1/x). Let i(f) = f - 1. Let z be i(4). Which is smaller: j or z?
j
Let u = -15/28 - 3/14. Let n(m) = -m + 5. Let s be n(5). Which is smaller: s or u?
u
Let b be (-9)/(-45) + (-358)/1690. Do b and 0 have the same value?
False
Let s = -40 - -119/3. Does s = 3/5?
False
Let m = 47 + -27. Let y = -28 + m. Which is greater: -7 or y?
-7
Let i(b) = -4*b + 3*b + 5 + 2*b. Let t(a) = -a**2 + 4*a + 7. Let v be t(6). Let k be i(v). Is 0 not equal to k?
False
Suppose -a - 2*m + 4 = -3*m, 0 = -a + 4*m - 2. Suppose a*z = 5 + 1. Which is bigger: z or 1/6?
z
Suppose -4*a - a = 35. Let w be 1 + a/((-2114)/(-300)). Let c = 307/755 - w. Which is smaller: c or -4?
-4
Suppose r + 0 = 3. Let b = -53 - r. Let o = -506/9 - b. Is o bigger than 0?
False
Suppose 0 = 4*a - 10 - 18. Let i(t) = t**3 + 2*t**2. Let w be i(-2). Let v be (w/(-2))/(a + -5). Do v and 2 have the same value?
False
Let s be ((-1)/(-12))/(2/4). Suppose 0*r - 3*r = -3. Let b be 0/(r/(-2)*-2). Is b >= s?
False
Let y = 32/45 - 10/9. Let r be (-15)/(-4)*8/3. Suppose 5*d - 3*v = -6, 4*d - 5*v + r = -0*d. Is d bigger than y?
True
Let r(g) = -g**3 + 2*g**2 + 2*g + 4. Let z be r(3). Is z greater than 1/14?
True
Let q(u) = 6*u - 29. Let s be q(5). Which is bigger: s or 12?
12
Suppose -4*i + 19 = i - 4*b, -10 = -4*i - 2*b. Suppose -v - i*v = 0. Which is greater: v or -2/5?
v
Let c = 38 + -38. Let v = 65923/5338 - 210/17. Let z = 949/2198 + v. Is z smaller than c?
False
Let z(s) = -s**2 - 3*s - 1. Suppose -7*t - 8 = -3*t. Let q be z(t). Suppose -q = r - 2*r. Which is smaller: 2 or r?
r
Suppose 0 = 6*z + 8 + 16. Which is smaller: z or -1?
z
Let a = -15 - -17. Let f be (-6)/a*(-10)/15. Let b = -0.1 + 0.3. Do f and b have the same value?
False
Let x = -44/13 + -3/26. Let v = 4 + x. Which is greater: v or -2?
v
Let j be ((-14)/105)/(4/(-6)). Which is smaller: -1 or j?
-1
Suppose 4 = -2*l - 0*l. Let u be 2/(-18) - l/(-9). Let a = -0.07 - -1.07. Which is smaller: u or a?
u
Suppose -2*b + 0 + 2 = 0. Suppose 3*f = -5*z + 24, z + 3*z - 27 = -5*f. Let d be z/(-5)*(-2)/(-3). Is d != b?
True
Suppose 18 = 2*s - 4. Which is bigger: s or 12?
12
Suppose -5*z + 10*z - 2*f = 50, -z - 17 = 5*f. Which is greater: z or 20/3?
z
Let m(f) = -f**2 - 2*f + 2. Let k(j) = -2*j + 20. Let i be k(10). Let d be m(i). Which is greater: d or -1/3?
d
Let t(d) = -d**3 + 10*d**2 - 10*d + 12. Let k be t(9). Let m(i) = -i**2 + 4*i + 2. Let a be m(4). Suppose u = -u + a. Which is bigger: k or u?
k
Let z(x) = -x**3 + 5*x**2 + 7*x - 2. Let b be z(6). Supp