 ((-14)/i)/(1/(-3)). Is 0 < b?
False
Suppose v - 40 + 16 = 0. Let d = v - 12. Which is bigger: 11 or d?
d
Let m = 127/3 - 42. Let i = -1.9 - 0.1. Which is bigger: i or m?
m
Suppose -1 = -p - 3. Let m be (0 - 3) + p + 2. Let n = -2 - 0. Is n equal to m?
False
Let h be (-4436)/3*1/(-84). Let v = h - 152/9. Which is bigger: v or 0?
v
Suppose 6*f = 2*f + 4, 5*n + 6 = f. Are 14/9 and n non-equal?
True
Suppose 0*u - 4*u - 4*q = 16, -1 = -5*u + 2*q. Let n(h) = -4*h**3 + h**2. Let k be n(1). Is u < k?
False
Let u = -0.28 - -2.28. Let h be (0/1)/(2 - 0). Let z be h/2 + (-1)/3. Do z and u have the same value?
False
Let i(v) = v. Let o be i(5). Let h be (2/8)/(o/(-12)). Is -1 bigger than h?
False
Let r = -1/5 - -6/55. Suppose 5*v + 8 = 3. Is r greater than or equal to v?
True
Let c = -148 + 149. Are c and -0.6 nonequal?
True
Suppose 3*f + 0*t + 3 = -3*t, 4 = 2*f - t. Does f = 2/39?
False
Let x = 1 + -2. Suppose -2*r - 14 + 12 = 0. Are x and r nonequal?
False
Let c be ((-1)/(-278))/(25 + 0). Let t = c - -46907/38225. Let p = -14/11 - t. Does p = -4?
False
Suppose 2*s + 5*r - 194 = 3*r, r = -2*s + 193. Let f = -482/5 + s. Which is smaller: f or -1?
-1
Suppose -2*v = -4*v. Is -9/7 equal to v?
False
Let h be (-104)/(-6)*1/(-8). Are h and -3 equal?
False
Let w be 2/8*(-6)/6651. Let h = w + -58627/1478. Let r = 39 + h. Which is greater: r or -1?
r
Suppose -4*i + 3*k - 25 = 0, -12 = 2*i - 7*k + 5*k. Let x = 6 + i. Let j = 3 - x. Is j at least 5?
False
Let i = 45 - 52. Is i at most -2?
True
Let h be (2/(-50))/(8/(-180)). Which is bigger: 0 or h?
h
Suppose -o - 2 = -0*o. Is -4/3 smaller than o?
False
Let k(c) = -c**3 + 11*c**2 - 8*c - 17. Let r be k(10). Is r < 7?
True
Suppose 2*b - b = 0, b + 2 = h. Let f be 1/(-4)*-2*4. Is h equal to f?
True
Let s be (-6)/21 - (-20)/(-28). Is 7 >= s?
True
Let b(q) = 5*q - 1. Let m be b(1). Let f be (-62)/(-36) - 6/m. Which is smaller: -2 or f?
-2
Let x = -4 + 3. Let i = -7 + 15. Suppose -5*s + s = i. Is s greater than x?
False
Let m = -1595/12 - -133. Is m smaller than 0.1?
True
Let i(x) = 2*x**2 + x. Let d be i(-1). Let w be 2/d + -2 + 0. Suppose 0*a + 5*a - 5 = w. Which is smaller: a or -1/8?
-1/8
Let v(b) = -2*b + 2. Let q be (4/3)/(-2)*-3. Let d be v(q). Suppose 0 + 1 = -c. Which is smaller: c or d?
d
Let g be 25 + 2*1/(-2). Suppose 0*d - g = 3*d. Let u(z) = z**3 + 8*z**2 + z + 4. Let j be u(d). Is -3 >= j?
True
Suppose -3*f + f = 0. Suppose f = 3*b - 4*a + 4, -4 = 2*b + a - 4*a. Suppose 0*p - b = -4*p. Is 1 <= p?
True
Let a(i) = 4*i**3 - i + 1. Let d(m) = 3*m**3 - m**2 - 2*m + 1. Let s(g) = 2*a(g) - 3*d(g). Let z = 2 - -2. Let u be s(z). Is -3 >= u?
False
Let v(g) = g**3 + 2*g**2 - 3*g - 1. Let h be v(-3). Let b be (-90)/(-87)*1 + h. Is b < 1?
True
Suppose 18 = -4*s + 126. Suppose 5*o + 4*m + 5 = 0, 3*m = 2*o + 2*o - s. Let x be 1/2*4/o. Which is bigger: x or 0?
x
Let h be -1*((-4)/22)/(-2). Let a(x) = -7*x**2 + 3*x - 2. Let d be a(1). Let m = d + 5. Which is smaller: h or m?
m
Let x = -34268 + 2398703/70. Let r = x + 18/35. Is r greater than 1?
False
Let y = 0.02 + 0.18. Let b = -2.7 + 3. Is b bigger than y?
True
Let m = -31 + 48. Is m at most as big as 19?
True
Suppose 0 = -5*z - 4*x - 15, -2*x + x = 0. Let d = z - -5. Suppose 0*n = -d*n. Are n and 0 equal?
True
Suppose -333 + 113 = 4*u. Let i be 11/u*(0 + -1). Which is bigger: 1 or i?
1
Suppose -2*u + 24 = -u. Let m = -38 + u. Let d be m/33 + (-1)/(-3). Is d bigger than 0?
False
Let t(k) = k**3 + 9*k**2 + k + 11. Let r be t(-9). Let d(i) = -i**2 + 7*i. Let g be d(7). Let j be r - g*3/(-6). Is 1/2 > j?
False
Let o be (-1)/((-29)/15 - (-8 - -6)). Is -10 at most as big as o?
False
Let v be (-3 + -1)/((-4)/2). Is 3 at most v?
False
Suppose 4*h - 6 - 2 = 0, -w - 2*h + 7 = 0. Suppose c = -0*l - 5*l + w, -3*l - 3 = -c. Suppose l*u = -4*u - 4*b - 12, u + 3*b + 5 = 0. Are u and -2 unequal?
False
Let a = -5.1 - -5. Which is smaller: a or -3?
-3
Let g(i) = i**3 + 14*i**2 + 4. Let j be g(-14). Are 4 and j nonequal?
False
Let d be -2 - (1 + -4)*1. Which is smaller: 3/68 or d?
3/68
Suppose 5*k + 10 = -30. Let z = 12 + k. Which is bigger: 3 or z?
z
Let r(o) = 8*o - 39. Let k be r(5). Which is bigger: k or -56?
k
Let r(q) = 3 + q + 3*q**3 - 2*q**3 - 2*q**3 - q**2. Let b be r(0). Suppose 0*w - 3 = b*w. Which is greater: w or -2/7?
-2/7
Let u be (-9)/2 - (-6)/12. Let w = u - -4. Which is bigger: 2/3 or w?
2/3
Let s = 0 + -2. Is -0.1 less than s?
False
Let q be (1/(-2))/(3/24). Let s = -5 - -3. Is q >= s?
False
Suppose -29 = -3*y - 14. Which is bigger: y or 6?
6
Let c = 1.1 + -1. Let h(m) = -2*m + 7. Let z be h(8). Is z greater than c?
False
Let h be 1*2 - (-9 + -3 + 33). Which is greater: -59/3 or h?
h
Let c be 1/((-10)/(-4)) + (-144)/110. Is -2 at most c?
True
Let y be 12/45 - 7/21. Is y bigger than 0?
False
Let u be 6 + 1/2*-6. Suppose -c = -n - 1, -4*c - u = -0*c + 3*n. Which is smaller: 2/11 or c?
c
Suppose 504 = 3*t - 0*t. Let g = 1178/7 - t. Is 0 not equal to g?
True
Let u(h) = -h**2 - h + 4. Let x be u(-3). Suppose -l = s - 4*s, 0 = -3*l - 9. Let o = x + s. Is o greater than -3/2?
False
Suppose -b - 40 = -3*b. Let z = b + -13. Suppose z*u + 3*q - 2 = 3*u, 2*u = q - 4. Which is greater: -3/2 or u?
u
Let t = 1/2 + -1/4. Let m be ((-8)/(-12))/(32/28). Let h = m - t. Is -1 greater than h?
False
Let n(a) = -a + 2. Suppose -z = 3*q + 2*z + 15, -3*q = -2*z - 5. Let k(l) = -1. Let t(v) = q*n(v) + k(v). Let s be t(5). Is 5/3 at least as big as s?
False
Let u(p) = -p**2 - 9*p - 10. Let d be u(-7). Suppose d*q = 2*q - 4*z - 2, -9 = 3*z. Which is greater: q or 6?
6
Let w = 6 - 12. Which is greater: -1 or w?
-1
Let q = -19 + 14. Let c = q + 4.9. Is -0.3 at least as big as c?
False
Let s = -1655 + 11612/7. Which is bigger: 5 or s?
5
Suppose -q = -5*q. Let t = 1 + q. Let h = 9 + -8. Is t at least as big as h?
True
Let a = 12 + -11. Do 5/2 and a have different values?
True
Suppose -p - p = 4. Let y(n) = -n**2 + 15*n - 26. Let s be y(13). Which is smaller: s or p?
p
Let q(b) = -4*b - 30. Let h be q(-9). Which is smaller: -1/2 or h?
-1/2
Let s be (-402)/(-15) - (-3)/15. Let k be (-1)/((-3)/(s/3)). Let q be 4/18*k/2. Is q smaller than 4?
True
Let a be (2/6)/((-5)/15). Is 3/4 <= a?
False
Let c be (-21)/35*(-10)/28. Let q = c + 2/7. Which is bigger: q or 1?
1
Let o = -25391/13 - -1951. Which is smaller: -3 or o?
-3
Let l be 78/21 - 8/28. Are l and 4 nonequal?
True
Suppose -4*l + 21 = r - 2*r, l - 3 = -2*r. Suppose 0 = 3*k + 4 + l. Let y = -4 - -3. Is k equal to y?
False
Let z = -27 - -35. Which is bigger: z or 31/4?
z
Let l = -0.2 + 0.3. Let a = l - -0.6. Let t = a + -0.8. Are 2 and t unequal?
True
Suppose -7 = 3*q - 4*p + 9, -3*p = 5*q - 12. Suppose -4*y + 2*c - 12 = 4*c, q = -2*y - 5*c - 22. Is 0 smaller than y?
False
Suppose 5*v - 15 = -5*d, -3*v - 2*v = 4*d - 14. Suppose -f = v*f - 117. Let t be 1/4*12/f. Is t at most 0?
False
Let y(t) = -5*t**3 - 3*t**2 + 2*t. Let s be y(1). Which is bigger: s or -4?
-4
Let b(n) = n**2 - 11*n + 15. Let x be b(5). Is x <= -15?
True
Let y(w) = w**2 - 7*w - 56. Let u be y(13). Do 22 and u have different values?
False
Let l = -14 - -17. Suppose -c + l = 2*c. Is c less than -1?
False
Suppose 0 = -3*f - 4*i - 7 - 4, -10 = 5*i. Are -4/39 and f nonequal?
True
Let d = -11770/3 + 4009. Suppose 425 = q + 4*q. Let i = q - d. Are i and 1 equal?
False
Let k(o) = 4*o**2 - o. Let z be k(-1). Suppose 2*r - 24 = -2*r. Is r equal to z?
False
Let s = -14 - -12. Let t be s/26*(0 - 1). Which is smaller: t or 0?
0
Suppose -2*k + 3*k = 1. Let v(s) = s**2 - 2*s + 1. Let x be v(0). Is x at most as big as k?
True
Let y = -23 + 24. Which is bigger: 0 or y?
y
Let u(q) = -3*q - 3. Let n be u(-8). Let o be (n/28)/(-1 + 4). Let d be (-1)/2 + 1/2. Is d at most o?
True
Let d = -116 - -810/7. Let r = 1/8 - -17/56. Which is greater: d or r?
r
Let t = -8 - 6. Let m = t - -13. Is m bigger than 1/6?
False
Let x = -77/3 + 563/21. Which is smaller: 0 or x?
0
Let w = 65 - 64. Are w and 2/3 unequal?
True
Let i(j) = -8*j + 7. Let x(n) = -n + 1. Let l(q) = -i(q) + 4*x(q). Let m be l(2). Which is bigger: -1/4 or m?
m
Let p = 46 - 39. Is -1 at least p?
False
Let m(v) = -18*v**3 - v**2 - 5*v - 3. Let d be m(-1). Which is smaller: d or 15?
15
Suppose 0 = -5*c + 5*m - 235, 3*c - 2*m + 145 = -3*m. Which is g