et s be h(7). Is s equal to i?
False
Let d be (-36)/60 + 1086/(-15). Which is greater: d or 2?
2
Let j(n) = n**3 + 3*n**2 - 4*n - 2. Let z be j(-4). Let k = 0.48 + -0.09. Let d = k - -0.21. Which is smaller: z or d?
z
Let v be (-4)/(0 + 2/(-4)). Suppose -v*s + 3*s = -20. Let q be s/2 + 1 + 1. Which is smaller: q or 7/2?
7/2
Let n = 2.99 - 2.8. Let a = 0.16 - n. Is a smaller than -0.1?
False
Let f = -321 + 326.84. Let x = -0.16 - f. Let l = x - -7. Is 1 smaller than l?
False
Suppose -14 = -18*v + 11*v. Let b(w) = -w + 2. Let l be b(0). Is l <= v?
True
Let d = -6.78 + 7. Let k = d + -0.12. Let s = 0.6 - 0.63. Which is bigger: k or s?
k
Let m be (2 + (-40)/25)/((-321)/45). Which is smaller: 0 or m?
m
Let i = -370 + 382. Are i and 75/7 nonequal?
True
Let a be (30/7)/((-624)/(-42) + -15). Is a at most as big as -29?
True
Let l = 4951 + -212869/43. Let x = l + -92/473. Let w(k) = k**3 + 3*k**2 + k - 1. Let p be w(-2). Which is smaller: p or x?
x
Let b be -4*(-3 + 10)/25298. Is b at most as big as 0?
True
Suppose 0 = -2*b + 1 - 3. Let p be 12/40*-4*(-165)/(-154). Is b smaller than p?
False
Let y be (-16)/(-6)*27/(-18) + -679. Is y >= -682?
False
Suppose -3376 = -2*d + n, 27 = -5*n + 47. Is d > 1689?
True
Let n = -18 + 19. Is n >= 2/323?
True
Let l = -49 - -45. Let v be 2 - ((-2)/l*4 - 1). Let t = 61/495 + 1/99. Which is bigger: t or v?
v
Let k(d) = d**2 + 10*d + d**2 - d**2 + 14 - 3. Let b be k(-8). Suppose 2*c + 3 = -3. Is b at most as big as c?
True
Let q = -7 + 11. Suppose 0 = -0*y + 2*y - q. Suppose 12 = -d + 4*v - v, 21 = -y*d + 3*v. Which is smaller: -2 or d?
d
Let o = 1627 - 2289. Are o and -662 nonequal?
False
Let x = -27.7 - 86.3. Let z = x - -115. Which is smaller: z or -7?
-7
Let o be 5/2*(5 - -1). Let f = o - 16. Which is smaller: f or 4/15?
f
Suppose 2*l + 25 = -3*l. Let g = l + 8. Let a = 35/26 + 2/13. Which is bigger: a or g?
g
Suppose 0 = 5*f - l + 15, 3*f - 10 = -2*f - 4*l. Suppose 0 = -8*j + 3*j + 120. Suppose 3*z = 7*z + j. Which is smaller: f or z?
z
Suppose -3*m + 34 = 5*b, 0 = 5*b - 0*b + 5. Do m and 13 have different values?
False
Let p be 2/5 - 32/55. Let h(y) = -y**2 - 2*y + 2. Let b be h(-3). Let n be (-8 + 9)/(0 + b). Is n greater than p?
False
Let q(b) = -b**2 + 5*b - 2. Let i be q(3). Suppose 0 = -i*x + 3*p + 1, 0*x - p - 15 = -5*x. Suppose -x*n + 7 = 3. Do n and 1/41 have different values?
True
Suppose 2*h = -h. Let c = 4147016/373 + -11118. Is c less than h?
False
Let a = -550.9111 + -0.0889. Which is smaller: a or 1?
a
Suppose 45*j - 46*j + 319 = 3*p, 2*p = 2*j + 202. Is 104 smaller than p?
True
Let h(w) = 0*w**2 + 2*w - 3*w**2 + 0*w + 0*w - 3. Let g be h(1). Let u be (-3)/2*2/1. Which is smaller: g or u?
g
Suppose 4*p - 40 = -4*y, 0 = 5*p + y - 34 - 16. Suppose 0 = -p*n - 13 + 3. Which is greater: n or 2/483?
2/483
Suppose 390 = 9*b - 4*b. Suppose -b = -4*k + 2. Which is bigger: 19 or k?
k
Let p(j) = -j**3 + 11*j**2 - 11*j + 17. Let v be p(10). Let x be ((-10)/3)/((-8)/12). Suppose -s = 4*k + 2, s - x - 3 = k. Which is greater: s or v?
v
Let z = 4/155 - -266/1705. Let k = 6 + -9. Let x = -4 - k. Which is smaller: x or z?
x
Let b be ((-6)/18)/(3/(-558)). Which is greater: b or 61?
b
Let r(i) = -2*i + 2. Let a be r(1). Suppose -3 = -3*t - 2*x - 6, x - 3 = 0. Let y be (2/t)/(2/(-3)). Which is smaller: y or a?
a
Let p be -382 - 33/22*4/(-6). Is -381 >= p?
True
Suppose -b = 2*b + 15. Let a(m) = -m - 4. Let i be a(b). Let n = -0.1 + -8.9. Which is bigger: i or n?
i
Let w(l) = -l**3 + 17*l**2 + 4*l + 17. Let h be w(17). Let z = h - 87. Is 37 < z?
False
Let f = -7.2 - 0.8. Let p = 2 - f. Let c = 1 - p. Which is smaller: c or -2?
c
Suppose 0 = 10*v - 13*v + 15. Let q be 8/(-8) + (-21)/(-3). Is q at most as big as v?
False
Let s be (3*(-3)/(-63))/2. Let i be ((-15)/42)/(-1 + -1). Let u = s + i. Does -6 = u?
False
Let k = -234.278 - -234.9. Is k at most 0?
False
Let m = 0.1 - 0.2. Let g = -4320 - -4321. Which is smaller: m or g?
m
Suppose 28*j - 35 + 7 = 0. Suppose 4*g + 15 + 13 = -3*p, 5*g + 20 = 0. Do j and p have the same value?
False
Let l = -70.59 - -71. Let f = -899 + 898.42. Let a = l + f. Which is bigger: a or 0.1?
0.1
Suppose 0 = -2*s + t - 52, -5*s - 3*t - 50 = 80. Let l be (51/15 + -4)*-20. Let f = l + s. Does f = -14?
True
Let m = -10 + 15. Suppose -3*q - 3*y + 3 = 0, -y = -5*q + 24 + m. Let a be (-12)/(-5)*-1*q. Which is greater: -13 or a?
a
Let c = -2705 + 2760. Is c smaller than -1/4?
False
Let z = 0.05 - 0.029. Let i = -3.979 - z. Which is smaller: -0.2 or i?
i
Let a = 1475 - 769949/522. Is a equal to 1?
False
Let c = 1757 - 8782/5. Is c > -8/203?
True
Suppose 0*v - v = -6. Let p be v/(-12)*(-12)/10. Let h = 4/43 - 63/215. Is h smaller than p?
True
Suppose 39 = -2*h + 4*r - 81, -4*h - 201 = 5*r. Let x = h - -42. Which is smaller: x or -13?
-13
Let s(y) = y**2 - 3*y - 62. Let m be s(-6). Let h(g) = g**2 - 3*g - 5. Let l be h(5). Suppose l*q + 4*f = -0*q - 40, -8 = q - 2*f. Are m and q equal?
True
Let k be 17/((-595)/(-392)) + 1/(-5). Let o be 1 + 19 + -3 - 4. Which is greater: o or k?
o
Suppose 0 = -14*t + 10*t + 52. Are 25 and t equal?
False
Suppose -319 = -5*m + q - 4*q, 0 = -4*q - 8. Suppose 14*g = 15*g + m. Are -65 and g nonequal?
False
Let d = -989 - -990. Is -0.8 < d?
True
Suppose -3 + 28 = 5*f. Let y be f/3 + 0/(-14). Let g be (-3)/((-9)/12) + -2. Which is greater: g or y?
g
Let w be (-663)/(-51) + 1357/(-103). Which is smaller: w or 0?
w
Suppose -4 = -5*x + 16. Suppose -2*g = 2*v - 5*v + 20, -x*g - 8 = 2*v. Let m be (-3)/(-7)*v/(-3). Which is greater: m or -1?
m
Suppose 38*g = 36*g + 1568. Suppose 37*w - g = 44*w. Do -112 and w have the same value?
True
Let g(u) = -3*u + 6. Suppose 0 = -2*r + 3*y + 14, -r - 3*y = -0*r - 7. Suppose -5*w + 13 = c, -r*c - 6 = -4*c. Let v be g(w). Which is bigger: -1 or v?
-1
Let r = 2/3 + -1/3. Let c be 2*(-2)/(2/1). Let m be ((-1)/c)/(7/(-84)). Is m greater than r?
False
Let y be 29/1 + (3 - -1)/(-4). Suppose -y*o = -31*o - 18. Is -32/5 at most as big as o?
True
Let h = -1759 - -952. Is h != -808?
True
Suppose 2*j - 170 = -3*j + 5*t, -3*j + 2*t = -98. Let k be (j/9)/((-1)/(-18)). Let g be (-10)/(-25) - (-21)/k. Which is smaller: 1 or g?
g
Suppose 22*g + 156 = -20. Are -4 and g non-equal?
True
Let y be ((-2)/(-2))/((-46)/(-4)). Suppose 3*l + 27 = 165. Let a = 46 - l. Which is smaller: a or y?
a
Suppose 2*s = -2*x + 726, -4*x = -8*x. Is s > 363?
False
Suppose 0 = 84*z - 82*z - 2. Which is greater: z or -2/2117?
z
Let o = -6523/32665 - 2/6533. Is 46 <= o?
False
Let v = -0.369 + -2.131. Is v smaller than 8?
True
Suppose 0 = 2*h - 19*h - 17. Let y be 5/30*(1 + 1). Which is smaller: y or h?
h
Let r(y) = -y**2 + 2*y - 1. Let o be r(2). Let f(i) = i**3 - 7*i**2 + 3*i - 9. Let s be f(7). Let p be (-1)/(4 + (-52)/s). Which is smaller: p or o?
o
Let b = -15 + 16. Let i = 5 - 3. Let n be (-2)/12 + i + -2. Is n bigger than b?
False
Suppose -3 - 1 = -m. Let h be 2/m + 216/16. Suppose 2*p - 65 + 15 = -4*d, -d - 2*p + 5 = 0. Do h and d have different values?
True
Suppose -4*w + 33 = 9. Suppose -w*s = -5*s - 2. Suppose 0 = 5*t + s + 28. Is -4 greater than t?
True
Suppose -4*u = w + 3*w - 76, -28 = -2*w - 4*u. Suppose -w*i + 27*i = 33. Are i and 0 equal?
False
Let g(z) = z + 3. Let j be g(-4). Let x = -15 - -31. Which is bigger: j or x?
x
Let m = -20 - -20.026. Let r = m + -0.326. Which is smaller: r or 1/4?
r
Let r be 2 + -5*(-132)/2127. Let z = r - -341774/237515. Let n = -10/67 + z. Which is greater: 5 or n?
5
Let r = 12.4 + -6.8. Let a = 6 - r. Let y = 0.8 - 0.6. Which is smaller: y or a?
y
Let x(p) = p**3 + 13*p**2 + p + 17. Suppose -2*m = -k + 3*k + 22, -k - 2*m - 9 = 0. Let j be x(k). Is j less than or equal to 0.3?
False
Let f be 8/(-6) - (-4)/(-6). Let l(i) = -2*i**3 - 8*i**2 + 12*i + 7. Let u be l(-5). Let w = u - f. Do w and 2/9 have the same value?
False
Let w(y) = -4*y**2 + 16*y + 11. Let p be w(8). Which is smaller: -118 or p?
-118
Let g(m) = -m**3 + 9*m**2 - 9*m + 12. Let b be g(8). Suppose -b*z + z = 0. Let t be (-6)/10 + z + 0. Which is smaller: t or 0?
t
Let r be 4/24 - (-370)/300. Which is greater: 1 or r?
r
Suppose a - 4*q = -11, 5*a + 10 = 5*q - 0*q. Let l = 23 - 27. Let i(n) = n**3 + 5*n**2 + 2*n - 7. Let o be i(l). Is o at most a?
True
Suppose -13*u + 85*u = 47016.