 a(h) = h**3 - h**2 - 7*h - 4. Let c(m) = 5*a(m) - 6*i(m). Let j be c(n). Is j less than -0.1?
True
Suppose 3*v + 8 = -o - 0*v, -3*o - 2*v - 10 = 0. Let k(t) = -12*t**2 + 3. Let y be k(o). Is -45 > y?
False
Let v(m) = -m**3 + 7*m**2 - 5*m + 3. Let r be v(5). Let p(i) = -28*i**3 - i**2 + i + 1. Let k be p(-1). Which is smaller: k or r?
k
Let w = 279/5 + -3064/55. Suppose 2*j = h + 4*h, h - j = 0. Do h and w have the same value?
False
Let t(x) = x**3 + x**2 + x - 1. Let f be t(1). Suppose f*r = -2*c - 10, 0*r - 10 = -2*r + 2*c. Which is smaller: r or -3/11?
-3/11
Let n = 46 + -70. Let u = -29 + 58. Let d = n + u. Is -1 less than d?
True
Let t(a) = 5*a + 42. Let u be t(-15). Let h be 6/u + 432/(-44). Are h and -10 nonequal?
False
Suppose f - 36 = -3*f. Let x = f - -7. Suppose 0 = -v + 2*v - x. Is 0.1 >= v?
False
Let o(w) = -2*w**2 - w + 6 + 0*w**2 + 5*w**2 + 2*w - w**3. Let j be o(3). Is 1 at least as big as j?
False
Let q be 14/44 + (-1)/2. Let t = 3.36 + -3.2. Let r = t + 0.04. Which is smaller: r or q?
q
Let c(a) = -a**2 + 6*a + 2. Let p be c(6). Let f = p - -3. Suppose -4*o + 31 = 11. Do f and o have the same value?
True
Suppose 16*g + 38 = -58. Suppose -2*n - n = 3, 0 = -k + 2*n - 4. Is g less than k?
False
Let s be -2 + -1 + (5 - 920/(-75)). Which is smaller: s or 13?
13
Let j = 7.3 + -0.7. Let a = -7 + j. Let s = 5.2 - 6.2. Which is greater: s or a?
a
Let t = 61 - 60.4. Let w be ((-4)/(-3))/((-14)/(-3)). Are t and w nonequal?
True
Let p = -22038/29 - -760. Is -1 greater than p?
False
Let c be 398/8 - 4/(-16). Let n = -68 + c. Which is smaller: n or -0.1?
n
Let z = 1319 - 1318. Which is greater: z or -1165?
z
Let w(v) = 12*v + 4. Let g be w(4). Let u = 52 - g. Which is greater: u or 19?
19
Suppose -6*j = -2*j. Let g = -26 + 70. Let v = g - 311/7. Is j <= v?
False
Let b be (-6)/(-4)*1/122*-4. Is b >= 1?
False
Let s be (-1)/4 - 287/4. Let u be (-14)/12*s/112. Which is smaller: -6 or u?
-6
Let n be 1*1594*(2 + -1). Let m = 9541/6 - n. Let q = m + 7/3. Which is bigger: q or -2/3?
-2/3
Let l = -4 - 0. Let b be (l/6)/((-8)/(-12)). Let i be (2/(-6) + -1)*6/20. Is b at most as big as i?
True
Suppose -5*m = -2*m - 3. Let k be 6 + -8 + m + 7. Suppose -4 + k = -2*g. Are g and 0 equal?
False
Suppose -4*w = -4*k - k + 1, -2*w + 4 = 2*k. Is 1 >= k?
True
Let s = -25.6 - -16. Let j = s + -0.4. Which is greater: 1 or j?
1
Let z(i) = i. Let g be z(-4). Let b be (-1)/(-12)*g/(-2). Suppose -296 = 42*n - 254. Is b at most as big as n?
False
Let d = -21377/8 + 2672. Suppose 0 = 2*f + 6. Let j be (1/f)/(3/9). Is j smaller than d?
True
Let h be ((-5)/(-5))/(1 + -2). Which is greater: -25/14 or h?
h
Suppose -26*a + 63 = -27*a. Let r = -79 - a. Which is greater: r or -17?
r
Suppose 0 = -x + 9*x - 8. Let c be -22*(-1)/(-2) - x*2. Suppose 0 = -2*r - 22 - 2. Which is greater: c or r?
r
Let r be 44/(-14)*7*(-6)/558. Is r at least as big as -1?
True
Let q = 7.97 - 6.97. Which is smaller: 167 or q?
q
Let u be (-14)/(((-16)/14)/(-4)). Let g be 14/36*(-28)/u. Is g at least as big as 1?
False
Let f(a) = -a**2 + 9*a + 3. Let c be 2*((-45)/(-6))/(-1). Let m = -6 - c. Let u be f(m). Which is smaller: -3 or u?
-3
Let j = -0.0685 - -0.1585. Is j at least 7?
False
Let k be (4 - 88/20)/(-1). Let x = -43.42 + 43. Is k greater than x?
True
Suppose -3156 = -0*x + 4*x + 2*z, 2*z = 8. Is x not equal to -790?
True
Let n(t) = 0*t + 3*t + 4 + 10. Let x be n(-8). Which is greater: x or -6?
-6
Let t be (69/184 - 5935/8)*2. Do -1484 and t have the same value?
False
Let i = 23.4 + -24.4. Which is greater: i or -25?
i
Suppose 18*p - 2169 = 153. Which is smaller: p or 128?
128
Let v(i) = i**3 + 34*i**2 + 92*i - 33. Let x be v(-31). Let m be ((-14)/5)/(3/15). Which is bigger: x or m?
x
Let y be (-2716)/70*20/8. Which is greater: -91 or y?
-91
Let w be ((-12)/9)/((-15 + 7)/(-96)). Is w at most -25?
False
Let k = -33 - -34. Let m be 1 + k + 294/(-133). Do m and 0 have different values?
True
Let m be (((-180)/(-190))/3)/((-40)/2). Which is greater: m or 0?
0
Suppose 4*n + 8 - 23 = -3*o, -3*o + 15 = -2*n. Let w(y) = y**2 - 4*y + 5. Let b be w(5). Which is greater: b or n?
b
Suppose -d + 16 = -17*d. Which is greater: d or -30/157?
-30/157
Let r = 8.853 + 0.147. Let h = -33 - -69/2. Which is smaller: h or r?
h
Let w = -3 - -9. Let h be w/(-1 - 0) - 3. Let y be (-11)/24 - h/27. Is -1 less than y?
True
Let c = 0.0999 + -17.9199. Let q = c - -18. Is -2/7 < q?
True
Let m = 15541/134 + -116. Which is smaller: -1 or m?
-1
Let t = 15.43 + 12.57. Does 6 = t?
False
Let i be 7/(-5) - (6 + (3 - 10)). Let y be 0 + 0 - (-1 + -50). Suppose -5*a - 34 = 2*r, -5*r - 3*a - y = a. Is r bigger than i?
False
Let m = 82/3 + -1561/57. Which is smaller: 0 or m?
m
Let z = 1838.5 - 1839. Is 0.237 != z?
True
Let g be 8/(3 - (1 + 4)). Let n be (-1)/(-13)*-20*g/(-5). Which is greater: n or 0?
0
Let z = -74 - -88. Suppose 49 = z*l + 7. Does l = 11/6?
False
Let y = 2235.1 - 2161. Is 0.2 greater than or equal to y?
False
Suppose 0 = -2*j + 2*s - 7*s + 14, -8 = j - 5*s. Let n be (j - -1)/((-8)/2). Is 1 equal to n?
False
Suppose -h - h - 82 = -2*c, 2*c - 82 = -h. Let o = c + -24. Let s = o - 17. Which is smaller: -4/23 or s?
-4/23
Let o = -535 + 526. Which is greater: o or -6?
-6
Let d = -3.5 + -23.5. Let k(q) = -11*q + 46. Let n be k(4). Is n smaller than d?
False
Let c(q) = -q**3 - 17*q**2 + 20*q + 36. Let g be c(-18). Let s = 1 + 1. Suppose -r + 23 = s*k, -3*k + 4*r - 2*r + 52 = g. Which is smaller: 13 or k?
13
Let r = 424 - 429. Are -1/6 and r nonequal?
True
Let y = -27/542 - -870831/2168. Let b = -106153/264 + y. Let w = -3/22 - b. Which is smaller: w or 4?
w
Let w = -3.756 - 0.244. Is w smaller than 2/5?
True
Let o(x) = x**3 + 22*x**2 + x + 22. Let l be o(-22). Let u = l + -2/5. Which is smaller: 54 or u?
u
Let b = -2.025 + 0.105. Let y = b - 0.28. Are 1 and y equal?
False
Suppose -12*k + 3*k + 9 = 0. Let b be (-3)/(-2 + (3 - 2)). Suppose -k = -q + 2*p + b*p, -2*p = 0. Which is smaller: q or -1/4?
-1/4
Let l(w) = -3*w + 8. Let o(m) = m - 1. Let p(d) = l(d) + 2*o(d). Let y be p(-2). Let n be (-1)/(4/y*10). Is 1/2 <= n?
False
Let c = -403.011 + 403. Which is smaller: c or -2/53?
-2/53
Let l(u) = -u**3 + 2*u**2 + 10*u - 6. Let w be l(4). Suppose w*q - 5*i + 61 + 37 = 0, 0 = 3*i. Which is bigger: -51 or q?
q
Let g(q) = 778*q**2 - 10*q + 2. Let n be g(1). Is 770 != n?
False
Suppose -16*a + 1386 = -22*a. Is -921/4 < a?
False
Let x = -0.069 + 1.069. Let o = 12 + -7. Let g = o - 5. Which is bigger: g or x?
x
Let n = -2 + 2.48. Let f = n + -1.48. Do f and -30/11 have the same value?
False
Let d be (3 - 2)/(-1 - -2). Suppose -2*i - 3*i = 2*g - 30, 24 = i + 4*g. Suppose -i*s = -d - 3. Is 3 equal to s?
False
Let w = 19 - 16. Suppose 0*t + 225 = w*t. Suppose -3*z - t = -27. Which is smaller: -17 or z?
-17
Let a = 0.41 + -0.01. Let f = 191 - 190. Is f < a?
False
Let c(o) = o**2 - 8*o + 7. Let d be c(10). Suppose -m = -0*r - r - d, -4*r - 108 = 2*m. Let j be ((-12)/9)/(42/r). Is j at most 1?
True
Let y be (130/(-12) - -11)/(8/(-18)). Is y at least 0.2?
False
Let m = 10 - 6. Let u be ((-1)/m)/((-2)/8). Let g be 1 - -1*(0 - u). Are -8/13 and g unequal?
True
Let o = 19 - 20. Let v(y) = y**3 + 7*y**2 - 7*y + 9. Let h be v(-8). Let i be 20/(-16)*h/(-15). Is o >= i?
False
Suppose 6*s = -s. Suppose 2*q - 9*q - 133 = s. Let t(a) = -a**3 - 6*a**2 + 4*a + 5. Let m be t(-6). Is q > m?
False
Let c be 18/(-33) + (-26752)/(-42834). Which is smaller: -1 or c?
-1
Suppose -6*w - 3 = 4*h - 5*w, -2*w = -2. Let l be (57/(-18))/h + (-3)/(-18). Suppose 0 = 5*a + 3*y - 12, -y - 3 = -5*a + 13. Which is greater: l or a?
l
Let c be (3/2)/((-6)/8) + -38. Which is smaller: c or -42?
-42
Let n(a) = -2*a + 28 + 16 + 1 + 3*a. Let w be n(-21). Which is greater: 22 or w?
w
Suppose -2*q = -5*h - 43, 3*q - 16 - 26 = 5*h. Let p be -2 - (-1 - h/(-6)). Do 0.06 and p have the same value?
False
Let g = 251 + -265. Which is bigger: g or -88/7?
-88/7
Let h = -7 + 10. Suppose h*y + 2 = 17. Suppose -5*v + 2 - 12 = 0, -3*v = -y*u + 1. Do 2/11 and u have the same value?
False
Let n = 352 - 352.2. Let a = -1.92 + 0.12. Let r = n + a. Is r <= 1/7?
True
Let r = -527/5 - -105. Which is greater: 0.0328 or r?
0.0328
Suppose -5*f + 25 = -30. Suppose 0 = f*x - 8*x. Let b be 5/(-10)*(2 + x). W