31/4 nonequal?
True
Let r(q) = -q**3 + 7*q**2 - 6*q. Let s be r(4). Suppose -3*o + 15 = 2*n, 2*o - 5*o - 5*n = -s. Which is bigger: 1 or o?
o
Let q(v) = -v**3 - 6*v**2 + 2*v + 7. Let z be q(-6). Let s = 10 + z. Which is smaller: 6 or s?
s
Suppose 5*h - 35 = x + 18, 0 = 3*h - 5*x - 45. Suppose 3*n - 2*a = 25, 6*a + h = 2*n + 3*a. Is -2/5 greater than n?
False
Let q be 136/14 - (-2)/7. Let o be (1 + 0)*1*q. Suppose 0 = 6*a - a - o. Is a greater than -1?
True
Let z be (2/(-2) + 2)*8. Let u = z + -13. Let y be -8*(1 - (-2)/(-4)). Which is bigger: y or u?
y
Suppose -16 = 4*m - 0*m. Let x = -6 + 10. Suppose 3*b = -x*r + r + 3, 0 = -2*b - 3*r + 3. Does b = m?
False
Let v(t) = 6 + 12*t**2 - 11*t**2 - 1 - 3 + t**3. Let u be v(-2). Let d(o) = o + 2. Let n be d(u). Which is bigger: n or -2/33?
n
Let p be 2/3 + (3 - 3). Is -0.07 bigger than p?
False
Let v be (0 - 1)/(62/4). Which is smaller: 0 or v?
v
Let h = -9237/17 + 543. Let y = 103/51 + h. Which is smaller: 1 or y?
1
Let j(f) = -f**3 - 6*f**2 - 5*f - 1. Let r be j(-5). Let o(l) = 5*l**2 + 2*l + 1. Let t be o(r). Suppose s - 15 = -t*s. Is 4 <= s?
False
Let a = 9 + -3. Is a < 6?
False
Let j be (-2)/3*81/(-63). Which is bigger: 0 or j?
j
Let p(j) = j + 5. Let t be p(-4). Let b = 4883/357 + -426/17. Let u = 35/3 + b. Which is greater: u or t?
t
Let b be 1/(-4) + 11/(-4). Let y be (-3 - b) + 2*-1. Let q(i) = -i**2 - 2*i. Let k be q(-3). Is k bigger than y?
False
Suppose 5*o - 9 = 1. Suppose 2*x + 4*t = -16, 2*x + 0*x + 4 = -t. Which is greater: x or o?
o
Let f be (-20)/11 - (-1 - 1). Let u be 81/(-15) - 6/(-15). Let p = 6 + u. Which is greater: p or f?
p
Let t = 0 - 0.05. Which is bigger: -1/4 or t?
t
Let p = 7 - 0. Is p != 1/4?
True
Let b be ((-3)/24)/(0 + 2/(-4)). Which is smaller: -7 or b?
-7
Suppose 4*g - 4*r + 152 = 0, 8*g - 5*g + 114 = -5*r. Which is bigger: g or -39?
g
Let p = 45 - 44.66. Which is smaller: p or -2?
-2
Suppose 2*s = -2*s - 24. Let x = -3/5 - -2/5. Is s smaller than x?
True
Let h = 8 + -4. Suppose -h*w - 6 = -2. Does w = -2?
False
Let q = -60.5 + -5.5. Which is bigger: -1/3 or q?
-1/3
Let k = -8 + 12. Suppose 6 = k*i + 2. Let z = -62 + 249/4. Is z at most as big as i?
True
Suppose 4*d - 155 = 5*s, -2*s + 44 = d + 2. Let g be 10/15*(-18)/d. Which is smaller: -1 or g?
-1
Let s = -10 - -2. Let a = s - -8. Which is greater: 1/9 or a?
1/9
Let k(v) = 6*v. Let d be k(5). Suppose -2*u - 2*o - o = 24, -d = 3*u + 3*o. Is u > -6?
False
Let o(z) = -2 + 0*z**3 + z**3 - 4*z + 5 - z**2. Let w be o(2). Let i(m) = m + 11. Let a be i(-12). Do a and w have the same value?
True
Suppose 0 = 3*p - 0*m + m + 3, 0 = m. Let r = -62 + 495/8. Is p at most as big as r?
True
Let n = 3.5 + -0.7. Let d = n + -1.8. Is 0 at least d?
False
Let b be (0 - -3) + (-2 - -4). Is b <= 6?
True
Let s = 0 - -2. Let v(p) = -p**3 - p + 2. Let j be v(2). Let u(c) = -c**3 - 9*c**2 - 8*c. Let w be u(j). Which is greater: w or s?
s
Suppose -15 = -a - 5*o, 4*a - 2*o - 26 = -5*o. Suppose 0 = w - 2 - 3. Is a at most as big as w?
True
Let w be (-7 - (-1 + -2))/(-2). Let r be (1/(-4))/(2/(-4)). Which is bigger: r or w?
w
Let c = 21 - 44. Let g = c - -24. Which is bigger: g or -1?
g
Let d(r) = r**2 - 3*r - 6. Let b be d(5). Suppose -c = 3*m - 9, b*c + 32 = 3*m + 2*m. Suppose 5*y - 19 = 3*k, -m*y - 29 = 3*k + y. Which is bigger: k or -7?
-7
Let a = 0 + 3. Suppose -2*q = -5*p - a*q - 25, -5*p - 5*q - 25 = 0. Which is smaller: p or -2?
p
Let r = 144 + -113. Is 32 at most as big as r?
False
Let d = 0.44 - 6.44. Which is greater: 0.1 or d?
0.1
Let p be -9*1 + (-1 - -2). Let t be ((-6)/p)/((-9)/8). Suppose 3*w + g - 5 = -3*g, 5*g - 14 = 4*w. Is t > w?
True
Let t = -2 + 1.3. Let x = -0.8 - t. Is x > -3?
True
Suppose -2*z + 100 = 3*z. Let p be -3 + 16/z + 0. Are -3 and p non-equal?
True
Let x = -9 - -12. Suppose 50 = 4*h + 38. Is x equal to h?
True
Let k = -23648847916499595145/11126466804 - -1251895293099/589. Let v = -1/55724 + k. Let p = v + -2/113. Are p and 2 equal?
False
Let m = 8 - -14. Let u = m + -21.8. Is u less than 0.04?
False
Let a = -0.2 - -0.3. Let c = 3.07 + -0.07. Which is greater: c or a?
c
Let w = 73 - 102. Is w < 0?
True
Suppose 2 = h - 2. Let y(q) = -10 + 11 - q + 0*q. Let c be y(-3). Is c greater than h?
False
Let j(i) = -i**2 - 7*i + 18. Let x be j(-9). Let p be 1*3/5*1. Which is smaller: x or p?
x
Let y be -1 + -7 + 4 + 32/3. Is y less than 7?
True
Let h be 1/1 + 74/(-84). Which is smaller: -1 or h?
-1
Let n(m) = m**2 + m - 2. Let d be n(-1). Let a be -1 - ((-10)/8)/1. Is d smaller than a?
True
Let t = 3.27 + -3.5. Let o = 0.3 + t. Let u = o - 0.17. Is u equal to 4?
False
Suppose 5*b + 4 = -f, -6*f - b + 4 = -f. Are 1/46 and f nonequal?
True
Suppose 4*o - 4 = 0, 3*o = -2*c - 13 + 4. Suppose 0*k + 7 = -k. Is c less than k?
False
Let j = -28 - -26. Is -4 greater than or equal to j?
False
Let x = 7 - 6. Is x less than 0?
False
Let j = -159 - -159. Are 2/211 and j equal?
False
Suppose -g + 12 = g - w, 5*g - w - 33 = 0. Does 7 = g?
True
Suppose 0 = 5*a - 3*a - 6. Let h be ((-12)/14)/(3/(-21)). Let i = h - 4. Which is bigger: i or a?
a
Suppose 0 = 5*q + 29 + 71. Which is greater: -19 or q?
-19
Let f(o) = -5*o**2 + 1 + 0 + 0 - 2*o. Suppose -2*c = -4*x + 12, -2*c - 2 = 6. Let u be f(x). Is u not equal to -7?
True
Let g be (0 - -180)/((-6)/4). Let l be (18/g)/(12/(-10)). Which is bigger: l or 0?
l
Suppose 4*t + 4 = -0. Let r = 1 + 5. Let i = 11/2 - r. Is t less than or equal to i?
True
Let b = -1.24 - -0.24. Which is smaller: b or -10/9?
-10/9
Suppose -8 = -5*f + 12. Let g(z) = -5*z. Let a be g(-1). Which is smaller: f or a?
f
Let w(z) = -z + 15. Let j be w(7). Suppose -4*c + 20 = -j*c. Which is greater: c or -4?
-4
Suppose 0 = 3*l - 5*l. Let b = -5 + 5. Let x = b + 1. Is x > l?
True
Let d = -30 + 23. Is d >= -7?
True
Let l(k) = 4*k + 9. Let o be l(0). Which is greater: o or 7?
o
Suppose -18 = -4*w - 2*w. Suppose -5*d - 6 = -n - d, n + 8 = -3*d. Let u = 1 - n. Is u smaller than w?
False
Let y(h) = -h**2 - 2*h + 2. Let t be y(-4). Let m(a) = a**2 + 7*a - 51. Let o be m(4). Is t less than o?
False
Let s(f) = -f**3 + 5*f**2 + 6*f + 5. Let m be s(6). Let a be 5/1*(-24)/(-30). Which is smaller: a or m?
a
Let r be 288 + -1 + 2/1. Let q = 6646/23 - r. Which is smaller: -1 or q?
-1
Let o = -25.99 + 26. Is o greater than -0.1?
True
Let w = -8 - -8.05. Let r = -2.1 - -2.2. Is r <= w?
False
Let k = 2 - 3. Let y = 2 + k. Suppose -3*z = -z - 4. Is y bigger than z?
False
Let w be -3 + ((153/(-15))/(-3))/1. Which is smaller: w or 2.6?
w
Suppose 6*q - 3*z - 23 = 2*q, -5*z = q. Is q greater than 0.4?
True
Suppose 3*l = l + 6. Let b be l/8*(-2)/3. Let h be (129/(-86))/((-6)/4). Which is bigger: b or h?
h
Let l = -0.4 + -1.6. Let k = l - -3. Which is greater: k or -8?
k
Suppose -22 = 3*c - 3*o + o, -4*o = -5*c - 40. Let d(a) = -2*a - 4. Let b be d(c). Which is bigger: b or 0?
b
Suppose -2*w + 80 - 10 = 0. Which is smaller: w or 0.1?
0.1
Let q(t) = t + 7. Let a be q(-6). Let j be a + 2 + 1 + -2. Let v be j/3 + (-16)/24. Do v and -2 have different values?
True
Let i be (-8)/(-20) + 198/(-345). Which is greater: i or -1?
i
Suppose -s = 5 - 0, 3*t + 11 = -4*s. Let b be 16/(-10) + (-2)/5. Let k = t + b. Which is smaller: k or -1/5?
-1/5
Suppose -12*o - 470 + 14 = 0. Is -39 smaller than o?
True
Let z be ((-4)/(-3))/((-14)/(-6)). Let n = 19 - 16. Suppose 4 = 5*l - n*l. Which is greater: l or z?
l
Let d be 1/4 - 2/8. Let q = -7 + d. Let y(t) = -t**2 - 6. Let h be y(0). Is q bigger than h?
False
Suppose -5*u = -33 + 13. Let v = 11 + -5. Let w be (v/(-8))/(2/(-8)). Is u >= w?
True
Let t(g) = g**2 + 4*g - 10. Let v be t(-7). Which is smaller: 12 or v?
v
Let r = 5.2 - 5. Let p = 0.2 + r. Let a = -0.5 + p. Which is bigger: a or -1?
a
Let a be (-1)/4 + (-37)/(-4). Let v be 3/a*6/4. Let s = 90 - 808/9. Which is smaller: s or v?
s
Suppose 0 = -b + 2 - 28. Let f be 4/14 + b/140. Are 0 and f non-equal?
True
Suppose -5*v - 7 = -a, -v - 4*v + 9 = -3*a. Let n be (-1)/((-11)/5 + 2). Let k = a + n. Is -4 >= k?
False
Let q be 116/228 - 3 - -2. Let x = 3/19 + q. Is x equal to 0?
False
Let w = 15.2 + -15. Is -3/11 greater than or equal to w?
False
Suppose -16 = -2*m + 4*v, -15 = -5*m + 2*v + 9. Let c = m + -4. Let j be 2 + (-5)/((-50)/(-6)). Is j less than or equal to c?