d = -15 - -14. Suppose -5*f = -4*y - 0*y - 33, 3*y + 26 = 4*f. Suppose -8 = 4*h, -2*c - 9 = f*h - 1. Is d smaller than c?
True
Let c = 22 - 20. Suppose 4*w + c = 2*w. Is -1 <= w?
True
Let k = 44 + -43. Is k <= -2/85?
False
Let z(g) = -g**3 - 4*g**2 - g + 7. Let j be z(-3). Is -4 < j?
True
Let f(p) = -3*p. Let j(o) = -o + 1. Let q(u) = -f(u) + 2*j(u). Let z be q(-2). Is z smaller than 0?
False
Let m be (-4)/(-26) + 37/13. Suppose h + m = -2*z, -2 + 3 = -z. Which is smaller: 1/15 or h?
h
Let f(y) = -y**3 - 5*y**2 - y - 6. Let o be f(-5). Suppose 0 = 4*q - 9*q - 110. Let x = 24 + q. Is x at least as big as o?
True
Let t = -13 - -11. Is 1/10 > t?
True
Suppose -5*f = -4*f + 4. Is f smaller than -4?
False
Let v be -1*(-1 + 2) - -4. Suppose -9 = 4*u + v*h + 11, 0 = -4*h. Which is greater: -7 or u?
u
Let y = 68 + -71. Are 0 and y equal?
False
Suppose -3 = m - 5. Suppose -4*h = 5*j - 18, 0 = -8*h + 3*h + 5*j. Suppose -h*n = -3*b - b, -11 = -5*n - b. Is m bigger than n?
False
Let t be -4 + 5 + 1 - (-1 + 1). Suppose 3*o + 15 = 4*f - 0*o, 5*f - 14 = -o. Which is smaller: t or f?
t
Let f = -27 + 31. Suppose p - 2 = 1. Which is bigger: f or p?
f
Let a be (-17)/(-34) - (-1)/2. Which is bigger: 1/2 or a?
a
Suppose 3*f - 48 = 3*q, 25 = 5*f + 3*q - 23. Let u = f - 14. Is 0 greater than u?
True
Let c = 0.26 - 1.06. Let v = c - -2.8. Is 1/12 > v?
False
Let k be 6/((-1)/(6/(-9))). Suppose -2*u - h = -18, 2*h - 8 = -0. Let x = u - k. Which is smaller: x or 1?
1
Let k(o) = -o**2 + 10*o - 3. Let f be k(9). Is 4 at least f?
False
Let t = 81/5 - 17. Let h be (5/10)/((-2)/(-20)). Suppose -h*u = -0*u + 3*v + 1, u - 7 = -3*v. Which is smaller: u or t?
u
Let y(u) = u**2 - 2*u - 4. Let z be y(3). Suppose -w + 3 = 3*o, -2*w + 9 = -4*o + 53. Let h be (z + 1)*(-6)/w. Is -1/3 less than h?
True
Suppose -q = -5*j - 10, 3*j - 7 = -0*q - 2*q. Let g = -8.3 + 8. Let d = g + 0. Which is greater: d or j?
d
Let m = 2/61 - -179/122. Suppose -x = r - 7, -3*r + x - 23 = -8*r. Suppose o + 1 = r. Are m and o non-equal?
True
Let q = 1541/7 + -218. Which is smaller: q or 2?
2
Let d = 44.2 - 44. Are 1.9 and d non-equal?
True
Let b be -6 + 5 + 1688/(-6). Let a = b - -285. Which is greater: a or 3?
3
Let n be -3 + 3/1 - -2. Let f(z) = 5*z - 4*z + 3*z - z**n + 5*z + 3. Let l be f(10). Which is greater: -6 or l?
-6
Let z = -0.3 + 0.28. Which is smaller: z or 0?
z
Let j(q) = -27*q**2 + 4*q - 4. Let x be j(1). Which is smaller: -26 or x?
x
Let i be -1 - (-2)/((-18)/(-7)). Let d(m) = -m + 5. Let s be d(0). Suppose s - 1 = 4*n. Which is bigger: n or i?
n
Let s = -2897/6 - -481. Which is greater: s or -1?
-1
Suppose 0 = -4*l + 429 - 133. Let j = l + -299/4. Suppose d + 4 = 0, g = 2*g - 3*d - 10. Is g greater than j?
False
Let x = 39 + -38. Which is bigger: x or -6?
x
Let p = -0.6 + -0.2. Let k = 1 + p. Let h = -149/630 - -1/70. Is h at least k?
False
Suppose -3*g + 5*o + 20 = -15, -5*g + 3*o + 37 = 0. Suppose g*m + 3 + 2 = 0. Let t(b) = b**3 - 5*b**2 - 7*b + 6. Let w be t(6). Is m < w?
True
Let l = -19 - -25. Let d(j) = j + 10. Let p be d(-7). Let n(r) = 3*r - 4. Let a be n(p). Does l = a?
False
Let z = 15 + -15. Which is bigger: z or 1/7?
1/7
Suppose b = -3 + 4. Is b less than or equal to 2/23?
False
Let w = 0 + -2. Let c be -3*5*w/(-6). Which is bigger: c or -2?
-2
Suppose -4*w + 5 = -3. Suppose -w + 1 = -f. Is f > 3?
False
Suppose 0 = -5*r + 5*f - 10, -8 = 4*r - 0*r - f. Does -4 = r?
False
Let n be 6/27 - 43/234. Is 1 bigger than n?
True
Let h = 12 + -12. Which is smaller: h or -1/2?
-1/2
Let u be 1/(-12)*-9 + (-325)/(-20). Which is smaller: u or 20?
u
Let q be 4/(-18) - 76/(-18). Is -0.2 greater than or equal to q?
False
Suppose -9*s + 6*s = 54. Let c be (-4)/12 + (-2)/s. Which is smaller: -1.3 or c?
-1.3
Let h be (-2)/(-8) + (-30)/(-8). Let v = h - 3. Let g = v + -2. Is g less than -2?
False
Let y be 0/(-2) - (0 - 3). Suppose -z = y*r + z - 12, 2*r = -4*z. Which is greater: r or 7?
7
Let m(s) = 4*s**2 - s. Let p = 4 - 3. Let u be m(p). Let w(z) = z + 19. Let v be w(-14). Which is smaller: u or v?
u
Let n = 13703/13 - 1055. Let c = n + 97/91. Is -1 > c?
False
Let f be (-12)/(-2) - (-4 - 0). Is 14 <= f?
False
Let q = -1 - 0. Let w be 0 + 3 + -3 + -4. Let t be (-20)/70 + w/(-14). Which is smaller: q or t?
q
Let i(z) = 5 - 4 - z**2 - 3*z - 3. Let u be i(-2). Let r be 1 + -8*(1 - (-15)/(-18)). Is u < r?
False
Suppose 4*i + 0*n = -2*n + 4, 2*i = n - 6. Which is smaller: -5 or i?
-5
Suppose -12*t + 0 = -12. Are t and 1 non-equal?
False
Suppose j - 2*j = -3. Let r be ((-3)/(-2))/(j/(-1)). Suppose u = 4*u. Is u bigger than r?
True
Let f be (-4 - -2) + 1 + -11. Let n be 2375/f - (-2)/(-6). Let x = n + 197. Which is smaller: -1 or x?
x
Let q = -1 - -1. Let s = q - 0. Let g = -3.3 - -3.2. Do g and s have the same value?
False
Let x = 335431/184 - 1823. Which is smaller: x or 1?
x
Suppose 0 = 3*o - d - 14, -3*o - o - d = -7. Suppose o = m + 7. Is m >= -2?
False
Suppose 0 = 4*v + 2*w - 6, -3*w = -3*v + 2*w - 15. Suppose -4*u = -2*x + 18, 2*u + 2*x - 6 = -v*x. Is u != -2?
False
Suppose 6*a = 2*a. Suppose a*m - 18 = -3*m. Suppose -4*d = -m*d. Is 1/4 less than or equal to d?
False
Let r(b) = 2*b**2 - 2*b - 2. Let h be r(2). Let u(i) = 3 + 1 + h*i - 1. Let g be u(-2). Is g at least -1?
True
Let u be (-186)/30 + (0 - 3/(-15)). Which is bigger: u or -11/2?
-11/2
Let n be ((2 + -3)/(-3))/((-95)/57). Is n != -8/7?
True
Let k be 2*((-861)/(-6))/7. Let c be 2/5 - 201/(-5). Let h = k - c. Do -1 and h have the same value?
False
Let k be 9/3 - 3/(-3). Suppose -5*p = 19 - k. Are p and -6 non-equal?
True
Let n be (-2)/5 - 8/5. Let f = n + 2. Let m be (1 - f) + (-3 - -2). Which is smaller: 2/13 or m?
m
Let g be (-6)/56*(-67 - 25/5). Is g <= 9?
True
Let c = -5 + 5.3. Let s = 0.2 - c. Let v = -63 + 64. Does s = v?
False
Let u(y) = -y + 1. Let o be u(0). Let f be (3 - 1)*o/(-3). Let h = -0.1 + 0.1. Does h = f?
False
Let t = -6343/2 - -22300/7. Let g = t - 57/4. Let s = g + 15/28. Which is smaller: 2 or s?
s
Suppose -25 = -5*g, s + 4*s - 2*g - 85 = 0. Is 21 less than or equal to s?
False
Let k = -124 + 368/3. Which is smaller: k or -1/2?
k
Let z be 40 + -41 - 2*2/(-10). Let a(o) = o**2 - 6*o + 4. Suppose -3*q = 2*d + d - 15, -4*q = -d - 20. Let s be a(q). Are s and z unequal?
True
Let m = 17/4 - 33/8. Let p be (-14)/(-6) - (-3)/(-9). Suppose -3 = -p*d - 1. Which is smaller: m or d?
m
Let h = -6 + 0. Which is smaller: h or -1?
h
Suppose -2*g - 4 = -8. Let z be 7/3 + 1/(-3). Suppose 4*t = z*h - t - 10, 6 = g*h - 3*t. Are h and 1/7 equal?
False
Suppose -2*i - 2*i - 8 = 0. Let t = 30 + -31. Does t = i?
False
Let f = -10 - -6. Suppose 0*b = 5*s + 3*b + 34, s - 10 = 5*b. Let h be 1 + 2*s/2. Is f > h?
False
Let z = -0.3 - -0.1. Let l = 102/13 - 1912/247. Which is greater: z or l?
l
Let u = 3.2 - -0.8. Let y = -5 + u. Which is bigger: y or 3?
3
Let r = -1.1 + 1. Let i = -3 + 2.4. Which is smaller: i or r?
i
Suppose 0 = 2*z - 8 - 0. Let x = -3 + z. Is x bigger than 2?
False
Let j = -7607/27936 - 26/873. Let l = j - 1/32. Let q = -0.1 - 0.9. Is q at most l?
True
Let v be ((-4)/(-12))/((-1)/(135/12)). Is -5 less than v?
True
Let n = 3 + 0. Suppose 0 = h + n - 9. Let z be ((-1)/12)/(h/16). Is 0 equal to z?
False
Let r = -210672 - -1221265576/5797. Let i = r - -585737/173910. Let j = i - 16/5. Is j at least as big as 0?
True
Let t be (-28)/(-182) - 225/26. Which is greater: t or -9?
t
Suppose 0 = -j - 6 - 7. Let t = 8 + j. Is -5 smaller than t?
False
Let p = 17 + -11. Let h be 28/p - (1 + 1). Are h and 2 nonequal?
True
Let b = -0.025 - -0.125. Is b bigger than -0.1?
True
Let r = -51 - -50. Which is bigger: r or 4/119?
4/119
Suppose -2*w = r - 6*w, 0 = 3*r + 2*w - 14. Which is smaller: 3 or r?
3
Let j = 5 + -9. Let l = 0.1 + -6.1. Let f = j - l. Which is greater: -1 or f?
f
Let l = 5 + -5. Let t = 189/5 + -943/25. Let s = t - -8/25. Which is greater: l or s?
s
Suppose 0*r - 4 = 2*r, -2*r - 9 = -5*i. Which is smaller: 3 or i?
i
Let p = 162 - 1132/7. Let g = -279/14 - -37/2. Which is smaller: g or p?
g
Let w(h) = -5*h + 1. Let x be w(3). Let a = -20 - x. Is a bigger than -7?
True
Let t = -654.5 + 654. Let x = -0.3 + 0.1. Which is bigger: t or x?
x
Let t(x) = 3*x - 15. Let f(i) = 2*i - 8. Let c(d) = -5*f(d) + 3*t(d). Let u be c(-4). Let p(s) =