)/(21/14). Let p = -4 + 0. Let y be (p/3)/(4/(-12)). Which is smaller: y or i?
i
Let n = 4 + 0. Suppose 21 = n*l - 0*l + m, 3*l - 4*m = -8. Suppose 5*q - k - 1 = -3, -l*q - 13 = 3*k. Which is bigger: -1/8 or q?
-1/8
Let x be (-4)/14 - 210/(-49). Suppose -x*s - 24 = 4*q, -24 = 2*q - 0*q + 5*s. Is -14 at most q?
True
Let d = 17 + -12. Suppose -2*h = 29 + d. Let l = 17 + h. Is l greater than 2/3?
False
Suppose 3*t + 4 = -5. Let f be ((-1)/(-2))/(t/(-18)). Suppose 5*y = -3*o, -f*o - o + 3*y - 29 = 0. Which is smaller: o or -0.1?
o
Let x = 107 - 62. Suppose 6556 - 848 = 242*r - 5666. Which is smaller: r or x?
x
Let c(f) = -f**2 - 12*f - 24. Let u be c(-16). Let l be u/12 - 12/(-9). Is -6 not equal to l?
False
Suppose -7*f - 3*i = -9*f - 20, -2*i = -12. Let a be -1 + (0 - (-4)/19). Which is smaller: f or a?
f
Suppose 5*d + 5*j = -0*j - 65, 3*j + 9 = 0. Suppose -5*g + 41 = -3*n, 2*g - 63 = 4*n - 13. Let a = d - n. Is -2 >= a?
False
Let t = -34 - -35. Let d be (-1 + t)/((-7)/(-7)). Is d at least 3/8?
False
Let z = 29/3 - 136/15. Which is greater: 2/9 or z?
z
Let v(i) = -i**2 - 3*i + 2. Let b be v(-2). Suppose 0 = -2*d - t - 2, d - b*t = 5*d + 12. Is d smaller than 7/5?
True
Let i(c) = 2*c**2 + c - 1. Let h be i(1). Let f(o) = 13*o - 3*o**h - o**3 - 7 - 7*o**2 - 3*o. Let k be f(-11). Which is smaller: -1 or k?
-1
Suppose 5*v = -3*s + 69, 16 - 62 = -2*s + v. Let p = 57 - 34. Is p >= s?
True
Let y = 23/8 + -353/120. Let d = -10.991 - 0.109. Let f = d - -11. Which is smaller: f or y?
f
Let v = -4 + 4. Suppose v = -10*j - 0*j - j. Is -5/17 greater than or equal to j?
False
Suppose 0 = 3*x + 50 - 35. Let u be 4/x*(-12)/(-24). Which is smaller: u or -1/13?
u
Let w be (-2)/(-8) + (-4)/16. Suppose w = 2*k + 6, 5*p - k - 2 = -2*k. Is 4/15 greater than p?
False
Let i = 5984 - 5984.14. Let t = 0.1 - -0.2. Which is greater: t or i?
t
Let v be -4 + 0 - 102/(-26). Suppose -2*q = -6*q + 20. Suppose -3*n - q*d = -25, -5*n + 5 = d - 0*d. Which is bigger: v or n?
n
Let n = -13 - -16. Let r = 17 - n. Let m = -6 + r. Is m > 9?
False
Let c = 5 - 3. Let a = -3 + c. Is a at least 4/65?
False
Let s be (-15)/15*0/(-2). Suppose -2*c + 3*c = s. Is -9/7 greater than c?
False
Let d = 7.85 + -7.65. Which is smaller: d or -3/28?
-3/28
Let s(h) = -h**3 + 7*h**2 + 8*h + 4. Let q(f) = -f**3 - 7*f**2 - 7*f + 2. Let g be q(-6). Let n be s(g). Suppose -n + 0 = 2*x. Which is bigger: x or 0?
0
Let v be (14/105)/((-3)/15). Let x = -5 - -2. Let g = 2 + x. Which is greater: v or g?
v
Suppose 30 = -0*a + 3*a. Suppose -m - 2*m = -2*g + a, g + 6 = -4*m. Suppose 2 = i - 3*z, 4 = 2*i - 0*i + 3*z. Is g at least as big as i?
True
Let k be 0 + ((-9)/21)/1. Suppose -14 = -2*i - 6, -32 = -4*n - 5*i. Suppose 0*j - 14 = 5*j - 3*o, j - 8 = -n*o. Which is smaller: k or j?
j
Suppose -11*o + 6*o - 5 = 0. Let r be (48680/1120)/((-2)/(-12)). Let m = r + -261. Are o and m equal?
False
Suppose 4*j = -5*t + 17, -2*j + 4 = -4*t + 2*t. Let p be t/2 + (-920)/15. Let u = p + 61. Is 1 != u?
True
Let f = 0.009 - -0.031. Suppose -2*v + 2*w = -4, 0*w + 2 = 5*v + 3*w. Suppose 2*o = 3*o + v. Are o and f equal?
False
Suppose -20*w - 16 = -22*w. Suppose 27 = 9*c - w*c. Let b be (-2)/(-8)*8/c. Are 1 and b equal?
False
Let z be 2335414/(-84) - (-1)/3. Let o = z - -27836. Let k = o - 65/2. Is 0 at most k?
True
Suppose -15*i - 4495 = 14*i. Which is bigger: i or -152?
-152
Let x = -153.8 + 153.9. Which is bigger: x or -3.94?
x
Let t = -13.25 - -0.25. Let s be 8*(31 + 1) - (-51 + 48). Let c = -257 + s. Is c >= t?
True
Suppose 87*b - 21*b = 72 + 654. Let g(o) = -99*o**2 + o. Let m be g(-3). Let c = m + 2713/3. Which is bigger: c or b?
b
Let g be (-96)/(-40) - (-19 - -21). Is g <= 1?
True
Suppose 2*g = 7*g. Let h be (g/(-3 + 5))/(-2). Suppose 4*x - 3 = -2*u + 3, h = -2*u - 5*x + 7. Is -1/4 at least as big as u?
False
Let q = 1573 - 1634. Are -61 and q equal?
True
Let z(i) = i**2 + 9*i + 11. Let c be z(-8). Let g(h) = h**3 - 5*h**2 + 4*h. Let r be g(c). Is -8 smaller than r?
True
Let h = -40 - -40.5. Let m = -0.9 + -1.1. Is m greater than or equal to h?
False
Let q(x) = -15*x**2 - 4*x + 5. Let i be q(2). Let g = i - -111. Let s = g + -29. Which is smaller: s or 20?
s
Suppose 3*b = 3*h - 15, 5*h + 4*b = 2*b - 3. Let k = -0.044 + -45.956. Let j = k + 52. Is j greater than h?
True
Let k = 420 - 418. Which is bigger: k or -15?
k
Let q(b) = 6*b - 5*b + 11 - 2*b. Let u be q(10). Let h = -25/6 + 4. Which is bigger: h or u?
u
Suppose 7 = -3*i - 2*j, 0 = -2*i - 0*i + 3*j - 22. Suppose -20*f + 18 + 42 = 0. Let c be f + (i/2)/5. Is c greater than or equal to 2?
True
Let u = 10 + -5. Suppose -6 = -2*g - 2*d, 3*g + 4*d - u = 5. Suppose 1 + 43 = g*n. Which is bigger: n or 23?
23
Let k be ((-24)/(-5))/(30/(-375)). Which is smaller: k or -64?
-64
Let i be 42/4*-3*(-28)/(-49). Which is smaller: -16 or i?
i
Let f(p) = -13 - 2*p - 22 + 34. Let t be f(-1). Suppose -5*d + 4 = -t. Which is greater: d or -1/9?
d
Let o = -7.3 - -5.3. Let q = 20 + -18.7. Let u = -1 + q. Which is greater: o or u?
u
Let k(v) = 4*v + 8. Let o be k(-2). Suppose w = 5*b - 5, -6*w + 3*w = o. Which is greater: b or 2/81?
b
Let v be (-3)/4 - (9115/(-820) - -11). Which is smaller: v or -1?
-1
Suppose 0 = j + 3*z + 530, 3*j + 5*z = -0*j - 1594. Which is bigger: j or -1?
-1
Let s(a) = a**2 - 1. Let n(h) = -h + 4. Let k be n(7). Let u = k - -3. Let t be s(u). Which is bigger: t or -4/9?
-4/9
Let d(v) = v**2 + 1. Let g = -39 - -40. Let k be d(g). Which is greater: 1/2 or k?
k
Suppose 7*r + 14*r = -5*r. Does 1/221 = r?
False
Suppose -2*s - 665 = 373. Which is bigger: -520 or s?
s
Suppose 127*a = 126*a. Is -360/11 greater than a?
False
Suppose 0 = 3*c + 2*c - 2*o - 665, -5*c + 665 = 4*o. Is c at most 134?
True
Let h(q) = -4*q + 2. Let r be h(-1). Let f = -2 + r. Which is bigger: 7 or f?
7
Let x = -109/1064 + -3/133. Which is greater: x or 5/3?
5/3
Let b = 4 + -3. Let p be (4 + -4)/(b + -3). Suppose -6 = -p*j + j. Is 2 at most as big as j?
False
Let a be 3355/(-11) + 3/(3/5). Are a and -298 non-equal?
True
Let p = -26 - -73. Let f = p + -43. Which is bigger: 3 or f?
f
Let w = -5/37 - 466/111. Suppose -z = 5*y + 22, 3*y + 3*z + 5 = -1. Is y less than or equal to w?
True
Let z = -43 - -59. Suppose 2*h = -10 - z. Is h != -13?
False
Let p be (4/(-60))/(-1 + 2). Suppose -3 - 9 = 4*c - 4*k, -2*k = 4*c - 6. Which is greater: c or p?
c
Let t = 785/3 - 269. Suppose -3*b + 6 = -2*y, 3*y - 24*b = -26*b - 22. Is y at most as big as t?
False
Let j = -1435 - -1398.15. Let h = j - -37. Is h != -1?
True
Let r = 647664/443 - 1462. Is r < 1?
True
Let f = -34.11 - 1.24. Let g = -0.35 - f. Is 0 less than g?
True
Let d(u) = 138*u**2 + 6*u + 2. Let i(s) = s**2 - s - 1. Let c(f) = d(f) + 3*i(f). Let z be c(1). Let t be 1/(-3) + z/726. Which is bigger: -1 or t?
t
Let x = 37 - 56. Let u = x - -33. Let r = -27 - -43. Is r < u?
False
Suppose -8*i + 888 = -0*i. Suppose 3 = 114*k - i*k. Is k <= -5/26?
False
Suppose j = -3*j + 76. Let b = j - 7. Suppose 4 = -4*l - b. Is l less than -1?
True
Let o(d) = 2*d**2 + 7*d. Let m be o(-5). Suppose q - 13 = 2*v, q - v - m = -6. Suppose 2 = -q*z + 7. Which is greater: z or 2/3?
z
Let c = -266 + 275. Which is bigger: c or 19?
19
Suppose -30*o - 182 = -23*o. Let f = -57 - -31. Do f and o have the same value?
True
Suppose -465 = 5*t - 3*y, 133 = -2*t - 4*y - 27. Let b be (-2)/(-9) + 56/t. Which is smaller: -0.2 or b?
b
Let z = -1948 + 1811. Is -135 bigger than z?
True
Let t = -53 + 50. Let x be 0 + 153/(-6) - t/6. Are -25 and x equal?
True
Let f = 80 + -128. Let t be ((-24)/(-14))/6 - f/(-21). Let c be ((-3)/5)/((-2)/(-4)). Is c >= t?
True
Let d = -13513/24 - -563. Which is smaller: d or 1?
d
Let x = -0.01 + 0.07. Let c = 0.182 + -0.061. Let f = c - 0.021. Are x and f unequal?
True
Suppose -10*u - 3*u + 3614 = 0. Are u and 277 non-equal?
True
Let d be 14 + 5/(10/4). Let n(o) = -o**2 + 14*o + 10. Let q be n(d). Let u = -21 - q. Is u < 6/5?
True
Let o be (-3)/(-1 - 51/(-60)). Let p = -26 + o. Which is bigger: -4 or p?
-4
Suppose -2*c + 5*i = 55 - 22, 3*c + 12 = -5*i. Let y be (10/(-5))/2*27. Let u = y + 20. Is c equal to u?
False
Suppose 24*g = 31*g - 224. Is g at least 3?
True
Let c be ((-111)/6)/(1/(-2)). Suppose -c*h + 32*h = 10. Do -1 and h have the same value?
False
Let l = -1