Suppose -5*c + 4*h = 320, -2*c + 297 = -6*c - 5*h. Is c less than or equal to -70?
False
Suppose -55 - 113 = -8*p. Is 19 greater than p?
False
Let q be 4/(-10) - 2/(20/(-194)). Suppose 150 = q*o - 24*o. Is o != -31?
True
Suppose 6 = 5*u + 41. Let w = -11829 + 11829. Which is smaller: w or u?
u
Let l = 25/3 + -103/12. Let c = 10.3 - 10.34. Is l > c?
False
Suppose 5*l + 25 = -0. Is -34/9 at least as big as l?
True
Let l be (8 - 55/10)/((-5)/(-4)). Which is greater: 8 or l?
8
Let n(v) = -2*v - 1. Let a be n(1). Let k = -15 + 23. Let y(m) = m**3 - 8*m**2 + m - 11. Let i be y(k). Is a less than i?
False
Let o(j) = j**2 + 11*j + 8. Let b be o(-7). Let f be (-7)/((-35)/(-25)) - ((-9)/(-3) + 12). Is f smaller than b?
False
Let i = 520 - 260521/501. Which is smaller: 0 or i?
i
Suppose 83 = 4*d - 109. Suppose 15*r = 12*r - d. Is -16 at most as big as r?
True
Let u be 22/(-99) - (-3612)/(-27). Which is greater: u or -135?
u
Suppose -4*n + 12 = -d, -6*n = -n + 3*d - 15. Let u(y) = y**2 + 16*y - 30. Let l be u(-18). Is l >= n?
True
Let s = 3/137 - 295/959. Let y = 1417 - 1416. Which is bigger: y or s?
y
Let s be 12/(-72) - (-2)/((-36)/(-615)). Is s less than or equal to 34?
True
Let z = -1113 + 586. Is z < -527?
False
Let y = -4 + 10. Suppose -3*j - y = 9. Let b be 4/(-140)*2*j. Do -0.5 and b have the same value?
False
Suppose 4 = 6*p - 4*p. Let n be (-4)/16*p*-6. Are 0 and n equal?
False
Let j = -14 + 17. Let c(a) = a**2 - a**j - 7*a + 9*a + 0*a**2. Let h be c(-2). Which is smaller: 7 or h?
7
Let w = -0.311 + 0.121. Which is bigger: -0.6 or w?
w
Let p = -1.1 + 2.05. Let r = p - -0.05. Let i = 0.01 + 0.09. Is r greater than i?
True
Let d = 255/8 - 31843/1000. Is 0 not equal to d?
True
Let y = -2.9 + 0.5. Let x = 1.9 + y. Let t = 0.12 + -0.12. Is t equal to x?
False
Let c be 1*622/(-60) - -4. Let g = -37/6 - c. Which is smaller: g or 2?
g
Suppose q + 4 = 2*u - u, -12 = 4*q - 2*u. Let i(c) = -c**2 + 10*c + 7. Let x be i(9). Let f = 15 - x. Which is bigger: f or q?
f
Let k = 31 - 23. Suppose -4*g = -3*x + 7*x + k, 5*g + 9 = -4*x. Which is smaller: x or -5/9?
x
Let t be (3*22/6259)/(-1 + -3). Is t greater than -1?
True
Let j(w) = 4*w - 3. Let d(y) = y + 1. Let s(m) = 3*d(m) - j(m). Let g be s(6). Are -1/21 and g equal?
False
Let y be -1 + (((-40)/42)/(-5))/((-1)/(-7)). Let b be ((-2)/(-5))/((-2)/(-10)). Let v be 1/(-2) + 3/b. Does v = y?
False
Let b = 10/1151 + 151882/5755. Which is bigger: b or 25?
b
Let v = -35.3 - -36.3. Let s = 7.4 + 77.6. Are s and v nonequal?
True
Let q = -22.101 + 0.101. Let k = -24 - q. Which is bigger: k or 16?
16
Let z be 1 + 24*(-5 - (-114)/18). Which is greater: 27 or z?
z
Let a = 566 - 534. Let z = 2 - 0. Suppose 3*g + z*k - 28 = 0, -2*g + 5*k = 3*k - a. Is g < 11?
False
Let v be (-3 - -5) + -7 + 4. Suppose -k + 3*k = -5*w - 20, 18 = w - 4*k. Let r be 0*1*(w - v). Which is greater: 2/3 or r?
2/3
Suppose 0 = -5*y + 22 - 2. Suppose -2*d + y = -6. Let r = 44.6 + -45.6. Is d at least r?
True
Suppose -4 = 2*a, 3*k - 3*a + 2*a - 44 = 0. Let z = 10 - k. Let i(t) = -t**3 - 5*t**2 - 5. Let v be i(-5). Which is greater: v or z?
z
Suppose 14 = 21*i - 427. Is 15 at most i?
True
Let g be 8/6 - ((-6300)/(-162))/25. Let q(z) = -2*z + 2. Let i be q(-2). Is i != g?
True
Let u be (2 - 1)*(-2)/(-2). Let z = -2 - -7. Suppose 4*x = 7 + z. Are x and u non-equal?
True
Let p = 3/2 + -1. Suppose -6 - 11 = -x. Let m = -16 + x. Which is greater: m or p?
m
Let l(o) = -4*o - 99. Let j be l(-25). Which is greater: j or -0.61?
j
Suppose 15*g - 13*g - 44 = 0. Let r = g + -20. Suppose -r*q = -4*q - 2. Which is greater: q or -3?
q
Suppose -3*o - 2*m - 207 = 491, 4*m = -4*o - 928. Let s = 477/2 + o. Let h = -83/14 + s. Which is bigger: h or -2?
h
Suppose 4*b - 2*o - 98 = 0, -2*o + 5 = -b + 22. Let y(a) = a**3 - 3*a**2 - 3*a - 2. Let s be y(4). Suppose 0 = s*j + j - 78. Is b > j?
True
Let d be 6/3*10/4. Suppose -3*v + 330 = 3*v. Let o = -54 + v. Are d and o non-equal?
True
Let j = 278/2079 - 16/77. Let h be (12/8)/(1/(10/(-15))). Is j at most as big as h?
False
Let z = 281 - 190. Is 93 > z?
True
Suppose -c + 5*i = 3*c - 32, -5*c + 5*i + 35 = 0. Suppose 6*n - c*n = -3*n. Which is bigger: -3 or n?
n
Suppose 0 = -10*d + 13*d - 27. Suppose -s - 2 = -3*h - 3*s, 0 = -4*h - 5*s - d. Let f(q) = q**2 + 4*q - 7. Let z be f(-6). Which is smaller: z or h?
h
Let k be (-4)/(-26)*3/(-6). Let q = -30 + 10. Let p be 12/q - (-2)/(-5). Is p > k?
False
Let z = 47 - 68. Let d be (-2)/3*z/77. Do -2 and d have different values?
True
Let z be -2*(-1 - -2) - -5. Suppose 0 = z*s + s - 52. Is 41/3 bigger than s?
True
Let z be (-2)/(-16) - 3135/3192. Let n(v) = v - 3. Let q be n(3). Is z at most q?
True
Let y = -9 - -16. Suppose -4*m + y = 3. Is m less than 1/12?
False
Suppose -n + 2 = -2*n. Let o be ((-2)/(-3))/(n/54). Let f be (-8)/6 - (-12)/o. Which is smaller: f or -8/5?
f
Let n = -32 + 32.3. Let h = n + -8.3. Let i = -7.9 - h. Is 16 >= i?
True
Let g be 2/(-3) - 2/6. Let j be 2 - g/3*-5. Is j != -6/7?
True
Let p = -382/143 - -43/13. Is p at most 2?
True
Let f(t) = t**2 + 6*t + 1. Suppose b + 20 = -3*b. Let v be f(b). Which is greater: v or -1/11?
-1/11
Let x be 460/(-15)*((-126)/(-12))/(-7). Which is greater: x or 43?
x
Let z(o) = -o**2 + 11*o - 3. Let v be z(15). Let b be (9/v)/(2/8). Is b less than or equal to 0?
True
Suppose 0 = 14*n - 1117 - 2635. Let b = 13778423/52257 - -2/17419. Let x = b - n. Do -4 and x have the same value?
False
Let w(f) = f**3 + 2*f**2 - 2*f + 2. Let x be w(-3). Suppose -4*l + 2*a = -a + 28, -12 = 5*l + 2*a. Let n be x + -4*l/32. Which is bigger: 3 or n?
3
Let i = 20 - -15. Let n = 33 - i. Suppose 2*r + 1 = -5. Which is smaller: r or n?
r
Let q = 1.267 - 1.337. Which is smaller: -56 or q?
-56
Suppose -5*c + k - 62 = -11, 11 = -c + k. Let r = c + 12. Which is bigger: 3 or r?
3
Suppose 10*c - 12*c = -2. Let j be (-2)/10 + (-12)/(-10). Let n be 3/(j/((-8)/804)). Are c and n unequal?
True
Let t = 281 + -152. Which is smaller: t or 127?
127
Let l = 31 + -28. Let o be ((-3)/9 + 2)*l. Which is greater: 3 or o?
o
Let g be (-2 + (-8)/4)/1. Let z = 9 - 11. Let j be 1 + g - -2 - z. Which is smaller: j or -1/11?
-1/11
Suppose 4 + 12 = -3*f + 5*l, -l = -5. Suppose -2*x = f*p - 29, 65 = 3*p + 2*p - 5*x. Let j(g) = g**2 - 12*g + 1. Let v be j(p). Is v at most -11?
False
Let i be -4 - 0 - 44*-2. Suppose -i = a - 54. Is a at most -29?
True
Let r be (2/(8/(-2034)*-111))/(-3). Let b = 1/37 + r. Does -1/2 = b?
False
Let o be -6*119/(-252) + (-2)/(-4). Which is bigger: -1/3 or o?
o
Let s be 99820/(-372) + (6 + -1 - 0). Is s smaller than -263?
True
Suppose 5*x - 3*t = -5, 3*t + 1 - 24 = -4*x. Let r = -66 + x. Which is smaller: -63 or r?
r
Let k = -8643409/418 - -20678. Is k not equal to 1?
True
Let w = -86 - -162. Let a = 74 - w. Which is greater: -3 or a?
a
Let c = 1035 + -44503/43. Which is smaller: -1/3 or c?
-1/3
Let x be 1 + (36/(-2) - -3) + -1. Let c = x + 13. Which is bigger: -4 or c?
c
Let f = 7 - 12. Let b = -56.61 - -51.6. Let d = b - f. Which is smaller: -0.1 or d?
-0.1
Let w = 0 + 0. Suppose w = -m - m + 4. Let f be 2479/871 + (-6)/(-39). Which is greater: f or m?
f
Let c(y) = y**3 - 13*y**2 + 12*y - 6. Let m be c(12). Let b(r) = r**3 + 8*r**2 + 11*r - 5. Let h be b(m). Is 5 bigger than h?
True
Let u be (-2*(-1)/36)/((-44)/(-1936)). Let j be (-562)/252 + 2/(-4). Let m = u + j. Which is smaller: m or 0.3?
m
Let b = -15.389 - 0.011. Let r = 16 + b. Let w = r + 0.3. Is w at least as big as 2/5?
True
Let l = 0.0808 + -9.0808. Are 15 and l nonequal?
True
Suppose 0 = 33*w - 40*w. Is 3/299 at least w?
True
Let c be 5*(4 - 24/5). Let q be 42/24 + 2/8. Suppose -n - q*y = y + 21, -25 = 5*y. Is c at least as big as n?
True
Let q be ((-202)/8)/(-9 + 444/48). Is q less than -898/9?
True
Let o = -4.21 - -3.9. Suppose 0 = 2*f - 5*h + 10, -3*f = -4*f + 5*h - 10. Which is bigger: f or o?
f
Let j(h) = 8*h - 25. Let v be j(9). Suppose -2*y - v = -3*s, -5*s + 4*y = y - 79. Which is bigger: s or 15?
s
Let p be 4/6 + (-28)/(-3). Let i = -18 + p. Suppose -3*n + 5*v - 1 - 5 = 0, -4*v + 2 = -2*n. Is i at most as big as n?
True
Suppose -28*w + 23*w + 15 = 0. Let n be (w/10)/((-18)/(-10)). Which is smaller: n or -1/7?
-1/7
Let b be (2 + (-244)/124)*2/(-1). Which is smaller: 0 or b?
b
Suppose -