4)/(-8) - 70/(-12). Let h = n + -5. Let c(f) = f**3 - 19*f**2 + 38*f - 68. Let t be c(17). Which is smaller: t or h?
t
Let f be 3/(-232)*(-55)/330. Are 1 and f nonequal?
True
Let a = -5892 + 5886. Let c(l) = -7*l**3 + l. Let i be c(1). Are i and a equal?
True
Let k be (-1584)/(-7) + -12 + (-1230)/(-105). Do k and 225 have the same value?
False
Let q = -0.031 - -0.056. Let l = q - -0.075. Do -14/3 and l have different values?
True
Let s = -7.9 + -2.1. Does -57 = s?
False
Suppose 25 = 4*a + a. Let m(x) = x**2 - 7*x + 9. Let j be m(a). Is 1/14 > j?
True
Suppose -82*k + 57*k + 350 = 0. Which is greater: k or 29?
29
Suppose 0 = 7*b - b. Let v be (-7 + 2832/402)/1. Which is smaller: v or b?
b
Let c(x) = 4*x + 14. Suppose 18 = -2*m + 2*j, m + 3*j + 12 = 3. Let h be c(m). Which is smaller: h or -0.1?
h
Let z = -559 - -869. Which is smaller: 309 or z?
309
Let b be -7 - (-6 + 8 + -170). Which is greater: b or 158?
b
Let w be (-9 - -9)*4/(-12). Let y be -2 - -1*10/7. Is y less than w?
True
Let j be -12*(1 + 5/(-3)). Suppose -j = 2*t - 5*r, r = 3*t - 0*r - 1. Suppose 0 = -35*q + 19*q - 69*q. Which is smaller: t or q?
q
Suppose 4 = -u, -5*n + 21 = -3*u - u. Let p be ((-48)/32 + 3)*(-2)/(-102). Which is smaller: n or p?
p
Suppose 150 = -18*q - 66. Let c = 7 - q. Which is smaller: 20 or c?
c
Let a = -214 + 137. Let z be (-298)/14 + (-22)/a. Which is smaller: -19 or z?
z
Let v(x) = -x - 8. Let j(l) = -423*l + 2. Let o be j(-2). Let k be o/(-104) - 4/(-26). Let g be v(k). Which is smaller: g or -2/19?
-2/19
Suppose 0 = 5*m - n + 4, 11*m + 3*n = 12*m + 12. Is m <= 1/808?
True
Let d be (0 - -32)/(-7 - -10). Let l = d + -67/6. Is l at most -2/11?
True
Suppose -3*m + 4 = -2*p, 5*m - 12 = 2*p - 0*p. Suppose 3*i + 2*i - 9 = y, m*y + 3*i = -36. Suppose -3*b + 3*o - 2 = 34, 0 = 5*b - o + 48. Is y < b?
False
Let g = -353 + -38. Is g != -390?
True
Let i = -0.09 + 0.09. Let z = 94 - 94.2. Which is greater: i or z?
i
Suppose 123 = 5*v + 5*z - 22, -z - 91 = -4*v. Let n = 27 + -18. Let l be (92/6)/(6/n). Is l > v?
False
Let c = 0.1824 + 12.8176. Which is bigger: c or -34?
c
Suppose 4*z = 2*z + 162. Let t = 13 - 31. Let c be t/z - (-20)/9. Is 2/5 greater than or equal to c?
False
Let w = 293 - 317. Which is greater: w or -10?
-10
Let p(b) = 3*b**2 + 33*b + 65. Let q be p(-8). Which is smaller: q or 102?
q
Let h(f) = 2*f**2 - f + 1. Let o be h(1). Let m be 0/2 - (0 - o). Suppose -k = k + 4*j - 8, -m*k - j = -8. Is 4 greater than k?
False
Suppose -11*z + 0*z = 462. Are z and -209/5 nonequal?
True
Let f = -14383/23 - -625. Let t = f - 36/161. Which is smaller: 1/4 or t?
t
Let t be ((-3)/9)/((-4)/36). Suppose -t*o = 16 - 67. Let f = 175 + -158. Is f equal to o?
True
Let o be (-975)/6*-3*20/75. Do 130 and o have the same value?
True
Let d = -0.1172 + 1.1172. Let a = 0.2 + -0.4. Which is greater: d or a?
d
Let m = 15 - 27. Let n = 17 + m. Is 3 at most n?
True
Let w be 25/(-150) - (-4)/24. Which is smaller: w or 4/457?
w
Suppose 282 = 7*u - 103. Is u != 52?
True
Suppose 4*m - m = 9. Let t = -1 + m. Suppose 3*b + t*j + 8 = 0, 19 + 1 = -3*b - 5*j. Which is smaller: 5 or b?
b
Let f be 68/10 - 1/(-5). Suppose f*l = l. Which is smaller: l or -3?
-3
Let b = 163 - 73. Suppose 0 = -3*i + 8*i + b. Let o be 1/(-3) - (-9)/i. Are o and -2 unequal?
True
Suppose -5*i = -2*n - 48, 5*n + 102 = 4*i + 16. Let d = -24 - n. Are -8 and d nonequal?
True
Suppose 4*q + 123 = -3*y, -3*y = 2*q - q + 33. Let l be 6/q*90/(-4). Is 6 greater than l?
True
Let z = -227 - -231. Is z bigger than 1/2?
True
Let w(c) = 3*c**3 + 7*c**2 + 2*c. Let h be w(-3). Let d be (-4)/h - (-631)/6. Let g = d + -108. Which is bigger: g or -4?
g
Let i(r) = -7*r - 211. Let j be i(-26). Suppose -3*n + 47 = -16. Let u = j + n. Is -8 at least as big as u?
True
Let v = -0.74 + 0.8. Let y = v + 0.24. Let r = 65.5 + -65.6. Which is smaller: y or r?
r
Let g(a) = -3*a + 102. Let d be g(-7). Which is bigger: 124 or d?
124
Let b = 772 - 774. Is b < 112?
True
Suppose -17*u = -14*u - 15. Suppose -u*k = -25 + 5. Let j(c) = 2*c. Let y be j(1). Which is smaller: y or k?
y
Let c = -29 + 31. Suppose 2*u = -3*f + 22, -5*f = -3*u - c*u + 5. Which is smaller: u or 8?
u
Let b = 16 - 18.5. Let v = b + -1.5. Let s = v + 7. Are 1 and s nonequal?
True
Let z = -5 - -4. Let i be (-6 + 9)*((-98)/90 + 1). Is i not equal to z?
True
Let z = 29.5 - 34.5. Is z at most 10?
True
Suppose 2*p - 4*a + 12 = 0, -4*a - a - 21 = 2*p. Let o be 69/12*p/6. Which is smaller: -8 or o?
-8
Let k = 1047 - 1042. Which is bigger: -57 or k?
k
Let d = -165 - -1157/7. Let m = 0.2 - 0.4. Let f = 0.2 - m. Which is smaller: f or d?
d
Suppose 18 = -0*o + o. Let q be (-3)/((-4)/(464/o)). Let k = q - 19. Which is smaller: 0.1 or k?
0.1
Let w = -2.99 - 0.01. Let g = w + -68. Does -0.1 = g?
False
Let z = 0.28 - -0.72. Let y = z - -2.9. Let x = y - 4. Which is smaller: x or 0.2?
x
Suppose 48 - 80 = -z. Let g be -3 + 42/16 + 44/z. Let v be (-1)/2 - (-7)/10. Which is greater: g or v?
g
Let o = -210/11 + 409/22. Which is greater: -0.23 or o?
-0.23
Let d(u) = -3*u**2 - u + 4. Let o be d(-3). Let q = 3/2002 + 1987/10010. Is o smaller than q?
True
Let v be (2 - 1 - -2)/1. Suppose 0 = w - v*w - 4. Suppose -77*h + 3 - 80 - 77 = 0. Does w = h?
True
Let v(h) = 0*h - 2*h + 2*h + h**2 - 3*h + 12. Let f be v(6). Is f greater than 29?
True
Suppose 20*o = 17*o + 6, 4*h + 5*o = 10. Is h greater than 3/35?
False
Let y(g) = -g**2 + 9*g - 14. Suppose 14 = 2*j + 6. Let q be j/(-5)*(-45)/6. Let x be y(q). Do 1 and x have the same value?
False
Suppose 4*o = 5*o - 7. Let w = 16 - 24. Let h = w + o. Which is smaller: h or 1/21?
h
Let x = -37727541/13 - -4759968523/1638. Let i = -3845 + x. Let n = i - -4/63. Is n less than or equal to 0?
False
Let c(y) be the third derivative of y**6/120 - y**5/15 + y**4/12 - y**3/2 - 3*y**2. Let o be c(3). Let x = -2 + -4. Is x bigger than o?
False
Suppose -2*s = -46 + 52. Is s equal to -5.9?
False
Suppose -8*y + 48 = 3*z - 10*y, 2*y - 32 = -2*z. Is 15 at most as big as z?
True
Let k = 236 - 242. Is k >= -13?
True
Let g(a) = -a**3 + 6*a**2 - a + 5. Let t be g(6). Let v be -1 - (-2 + t - -2). Which is greater: -6/5 or v?
v
Suppose -5*i - 19 = -4. Let q = 29/15 - 32/15. Let t = q + i. Which is smaller: -3 or t?
t
Let r = -5.4 + -1.6. Let u = r + 7. Which is bigger: 1/7 or u?
1/7
Let t = -10 + 19. Let p be (-100)/42 + (15/t - 1). Is p at least -3?
True
Suppose -4*o - 4 = -2*o. Let n = 14/151 - -8881/302. Let r = n - 30. Is o not equal to r?
True
Suppose 2*k = 9*k + 28. Let w be -4 + 75/10 + k. Which is smaller: -3/14 or w?
w
Let i be 1*(-2)/2*15. Let z(u) = -5*u + 52. Let c be z(13). Which is smaller: c or i?
i
Let n = 109 + -185. Which is smaller: 0.1 or n?
n
Let p = 12211/35 - 2284/7. Which is bigger: 24 or p?
24
Let m = 10.84 - 11. Let u = -10.84 + m. Which is smaller: 0.1 or u?
u
Let f be (12/(-27)*(-3)/8)/(-4). Is f at most as big as 0?
True
Let y be (0 - 12/(-104))/((-60)/(-80)). Suppose 2*j + 4 = 2*v - 8, 0 = 4*v + j + 1. Are y and v equal?
False
Let k = 17.8 - 19. Let u = k - 0.8. Which is smaller: -0.1 or u?
u
Let w(j) = j**2 + 8*j - 5. Let r = 4 - 12. Let t be w(r). Is t != -4?
True
Let u = 42.59 - 0.59. Let c = u + -41.8. Is c at most as big as 3/16?
False
Let s = 165/19 + -1725/133. Let t be (20/30)/(2/(-12)). Which is greater: t or s?
t
Let y = 26 - 26.011. Let c = 1.989 - y. Do -1 and c have the same value?
False
Let q = -4.84 - -3.1. Let t = q - 0.26. Let i be ((-4)/(-14))/((-3)/6). Are t and i nonequal?
True
Let x = 93 - 93. Which is greater: x or 1/810?
1/810
Let t be (-341)/(-15) + (-2)/5. Let k = t - 22. Let r = -2 - -2.1. Which is smaller: r or k?
r
Suppose -71 = b + 5*o, -4*b + 2*o - 54 - 296 = 0. Are b and -89 non-equal?
True
Let z = -0.06 + -0.19. Let o = z - -0.05. Let h = -95.1 + 95. Is o at most as big as h?
True
Suppose -i = u - 2, -u = 4*i - 7*i - 14. Let r be ((-1)/i)/((-4)/(-2)). Which is smaller: 2 or r?
r
Let g = 17.9 + -15.9. Suppose -3*p = p - 20. Suppose -3*v + 16 = p*o, -3*v + 16 + 9 = -4*o. Which is smaller: v or g?
g
Let y = 320 + -316. Do y and 6 have the same value?
False
Let q(n) = 11*n + 12. Suppose 0 = -4*h - 0*h - 24. Let j be q(h). Let k = -42 - j. Is k < 12?
False
Let u = 1338 + -1337.9. Let h = 1 - 0.7. Do u and h have different values?
Tr