d?
False
Let d(g) = -g**2 - 15*g + 20. Let p be d(-16). Suppose 3*w + 0*k + 2*k - 20 = 0, -32 = -p*w - 4*k. Suppose w*r - 8 - 4 = 0. Which is bigger: r or 4?
4
Let n = -13 + 12.94. Let k = 49 + -45. Does k = n?
False
Let o(a) = 6*a**2 - 21*a + 11. Let n(l) = l**2 - 4*l + 2. Let t(v) = -22*n(v) + 4*o(v). Let g be 6/(-33) - 31/11. Let k be t(g). Is 5 smaller than k?
True
Suppose 2*d - d = 4, 0 = -2*k - 4*d. Let c be (k + 7)*12/26. Let v(a) = -a**2 + 7*a + 7. Let q be v(8). Which is greater: q or c?
c
Suppose -4*n + 2*u = 34, 4*u + 94 = 5*n + 132. Which is smaller: -212/21 or n?
-212/21
Let u = 1879.2 + -1879. Is u at least -4/85?
True
Let v = -12225/17 + 719. Let p = -1 - 0. Are v and p unequal?
True
Let h = -4 + 9. Suppose -9 = -4*s + 7*s, 2*u = 3*s - h. Let y = u - -13. Which is greater: y or 7?
7
Let j be (-1)/(-1)*8/(-8). Which is smaller: j or 2/165?
j
Suppose -28 = -4*v - 4*w, -4*v + 4*w = v - 17. Suppose -c - 5*y - 5 - 1 = 0, 4*c = -y - v. Is c smaller than -2?
False
Suppose 3*i = -2*i - 5. Let q(g) = g**3 + g - 2. Let r be (-3)/6*8 - -5. Let f be q(r). Which is smaller: i or f?
i
Let o be (-6)/(-12)*(6 - 220). Is -107 != o?
False
Let g = -27.3 + 26. Let a = g + 0.3. Let s be (-117)/(-189) - 4/14. Do s and a have the same value?
False
Suppose -58 = -5*u - g, g + 15 = 5*u - 37. Suppose u*h - 7*h - 44 = 0. Which is greater: 10 or h?
h
Let j be (-226)/(-638) - (9 - (-582)/(-66)). Is -1 not equal to j?
True
Let c be (-12)/(4 + (-1810)/455). Let u = -25115/46 - c. Which is smaller: u or 0?
0
Suppose -17 + 25 = -4*z. Let d(x) = -x**2 + 2*x + 1. Let s be d(z). Which is smaller: s or -8?
-8
Let t(u) = -73*u**3 + 2*u**2 - u - 2. Let m be t(-1). Which is bigger: 71 or m?
m
Let c = 79/6 - 5311/402. Is 2/13 > c?
True
Suppose -2*c - 146 = -4*c - 4*q, 0 = c + q - 68. Suppose -14*u = -13*u - 64. Which is smaller: c or u?
c
Let q be (-2 - (-24)/10)*-1. Let w be (28/(-21))/((-3)/((-18)/60)). Which is smaller: w or q?
q
Let j = 398770/4023371 + 2/33251. Which is smaller: 0 or j?
0
Let s = 317/3 + -104. Let a = -0.217 - -0.003. Let j = -0.114 - a. Is j != s?
True
Let g = -38 - -38. Let r be 3 + (-123)/42*1. Which is smaller: g or r?
g
Let d = 0.6 + -0.9. Let q = d - -0.4. Is 1.1 less than q?
False
Suppose -4*h + 5*k - 11 = -h, 4*h - k = 8. Let o(q) = h*q**2 - 2 + 4 - q**2 + 2*q + 2*q**3 - 1. Let y be o(-1). Which is smaller: y or -4/5?
y
Let m = 107 - 105. Suppose -m*u - 50 = -o, -4*o = -7*u + 12*u + 138. Which is smaller: u or -27?
-27
Suppose 5*a + 29 = -21. Suppose 7*f - 4*f - 30 = 0. Suppose -3*y = -i + 29, 26 = -3*y - 6*i + f*i. Is a at most as big as y?
True
Let o(q) = 26*q + 6. Let v be o(6). Is 159 at most v?
True
Let f = 24.4 - 24.1. Which is greater: f or 46?
46
Let l = -904 + 24412/27. Are l and 1 non-equal?
True
Let s be (-15)/(-3)*(-378)/35. Is s >= 0?
False
Let y be (10/(-276))/(15/2 - 7). Are 0 and y non-equal?
True
Let u be (-34)/(-4) + 10/(-4). Suppose u*r = 3*r - 30. Is r greater than or equal to -12?
True
Let y = -24 + 10. Let w be ((-2)/y)/(2/(-4)). Let c = -7/10 - 1/2. Which is greater: w or c?
w
Let z = 11 - 8. Suppose 4*q + 7 = q + 4*v, z*v = -q + 2. Let o be (q/10)/(7/56). Is o not equal to -1?
True
Let q be -3 - -5 - (1 + -1). Suppose -5*r - 3 = 12. Let t be (1/r)/((-5)/50). Is t at least q?
True
Suppose -2*x + 17 = 3*a, -2*a + 14 - 7 = -3*x. Let n be x - 2/4 - 84/(-280). Which is smaller: n or 6?
n
Let s be (-2)/(-13) - (-3300)/312*-2. Is s less than or equal to 0?
True
Let c = 0.028 + 2.972. Let t = 0.6 + 0.4. Let k = t - -1. Is c equal to k?
False
Let h be (-2 - 0)*(0 - 1). Let p be (1 - (-2 + 3))/h. Let n be (-4)/22 - 12/33. Is p greater than or equal to n?
True
Let s = 56 + -53. Suppose -3*v = 2*v + s*p + 348, -4*p + 88 = -v. Which is greater: v or -71?
-71
Suppose -2*r = -10*r - 64. Let c be (-2)/(-8)*(0 + r/3). Are c and 0.66 unequal?
True
Let r(m) = -111*m - 29. Let w be r(-2). Which is smaller: w or 192?
192
Suppose -n = 3*n - 8. Suppose -2*k = 5*u + 12, n*u + 12 = -5*k + 3. Let g = 41/5 - 1399/170. Is g greater than or equal to k?
True
Let h be (-60)/135 + (-87)/(-135). Which is smaller: h or 113?
h
Suppose -68*j - 45 = -63*j. Let q = 8 + -15. Which is smaller: j or q?
j
Let u be ((-50)/(-6) - 2)*(-32 - -33). Suppose 3*d + 7 = 2*v, -5*v + 4*d = -2*v - 11. Which is smaller: u or v?
v
Suppose -5*q = -9*q + 5*p - 35, -p - 31 = 3*q. Which is smaller: -9 or q?
q
Suppose 183*l + 165 = 168*l. Is l at least -11?
True
Let j be (10/12)/(4/(-8)). Let g(m) = m**2 - 17*m + 60. Let i be g(5). Do j and i have different values?
True
Suppose 0 = -5*x + q + 52, -48 = -0*x - 5*x - q. Let w(u) = 2*u - 7. Let h(j) = -j. Let k(g) = 3*h(g) + w(g). Let z be k(-17). Do z and x have the same value?
True
Suppose 0 = -q - 1 + 3. Let x be (q + -3)*1/(-1). Let w = 19/5 - 123/35. Which is smaller: w or x?
w
Let w = 26 + -56. Are w and 23/4 equal?
False
Let d = -605/21827 - 4/299. Which is greater: 1 or d?
1
Let f be (-627)/30 + 15/(-25). Let z = 22 + f. Is z not equal to -0.2?
True
Suppose -4*g + 52 = 4*z, 3*z + 2*g = 5*g + 15. Let o be (-12)/(-4)*114/z. Suppose 4*j + o - 14 = 0. Which is smaller: j or -27/5?
j
Let m = 2/49 - -88/245. Let u = 14 - 14.35. Let p = u - -0.15. Which is smaller: p or m?
p
Let j = -4 - -13. Suppose 2*r - 3*r = 5*z - 12, -5*r = 5*z - 40. Suppose 4*m - 22 = -5*w, 2*m - 3 = -3*w + r. Which is smaller: m or j?
m
Let r(s) = -s**2 + 14*s - 7. Let a be r(14). Let h(x) = -8 + 5*x - 2*x**3 - 5*x**2 + x**3 + 3*x**2 - 4*x**2. Let k be h(a). Is 7 greater than k?
True
Let s = -40 + 100. Let w be s/140 + (-110)/28. Let c = -8 + 7.8. Is w <= c?
True
Let m = -0.3 + 0.291. Let j = 20.991 - m. Do 0.2 and j have the same value?
False
Suppose 4*l = k - 327, -243 = 4*l - l - 3*k. Which is smaller: -84 or l?
-84
Let z be (1 + 1)/(2/3). Suppose z = -3*r - 0*r. Is r bigger than 2?
False
Suppose 4250*f = 4256*f - 18. Which is smaller: 29/16 or f?
29/16
Let q = 560 - 565. Let d(j) = -j**3 + 3*j**2 + 2*j - 4. Let t be d(3). Let f be t/(-4) + (-14)/4. Which is smaller: f or q?
q
Let h(a) = a**3 - 11*a**2 + 10*a + 27. Let v be h(9). Which is bigger: v or -50?
v
Let g be 0/(0 - (1 + -3)). Let f be ((-28)/(-35))/(2/15). Is f equal to g?
False
Let r be -4 + (-3932)/30 + 1/(-3). Let c = r + 135. Which is smaller: c or -64?
-64
Let u be (-8)/(-10)*1*5. Suppose -u*h - 4*f + 0*f = 12, -3*h - 4 = -2*f. Let n be 2 + h + (-2)/4. Is -2 greater than or equal to n?
False
Let l = -1615/16 + 101. Let j = 89 - 90. Is l less than or equal to j?
False
Suppose t - 4 = 5*t + 4*h, 5*h = 0. Let s = 9 + -4. Suppose s*j = 4*k - 6, 2*j + 2 + 4 = -2*k. Is j bigger than t?
False
Suppose 13 = 3*r + 4, n - 5*r + 8 = 0. Which is greater: 5 or n?
n
Let z = 28.7 - 27. Let p = 1.78 - z. Let w = 0 - 0. Is w at least as big as p?
False
Suppose 2*d + d - 36 = 0. Suppose 0 = 14*q - 9*q - 105. Let r = -10 + q. Are r and d equal?
False
Suppose 713 - 887 = -6*q. Is 29 smaller than q?
False
Suppose 2048 = -10*n + 14*n. Is 512 bigger than n?
False
Let x = 14 + -3. Let l(p) = p**3 - 12*p**2 + 12*p - 15. Let n be l(x). Are n and -6 unequal?
True
Let a = 138.9 + -139. Which is bigger: a or 0.198?
0.198
Let c = 234 + -129. Let x be (c/66)/7 + (-1)/2. Suppose t = -1, y - 6*y = 4*t + 4. Which is smaller: y or x?
x
Let s = 17409/17124302 + -4/11401. Which is smaller: 1 or s?
s
Let l be -4 - ((-204)/32 + 2). Let z = l + -23/40. Is z equal to -0.1?
False
Let p = -2129 + 2987. Let r be (-2)/(-5)*(-130)/p. Are 0 and r unequal?
True
Suppose 5*q - 228 = d, 3*d = -4*q - d + 168. Suppose -2*b = -4*j - 108, 5*b - 28*j = -32*j + 200. Do q and b have the same value?
False
Let g(d) = -d + 9. Suppose 2*q + 0*q - 16 = 0. Let n be g(q). Suppose -2*s - n = -23. Is 11 >= s?
True
Let h be 2/6*10/(-275). Let k = 74/55 + h. Suppose -2*v - 4*z + 19 = v, 2*v - 2*z = -6. Is v greater than k?
False
Suppose 27*j = 23*j - 576. Let k be (-4)/(-10)*(-90)/j. Let x = -0.22 + 0.2. Are k and x unequal?
True
Let b = -529 + 221. Are -309 and b nonequal?
True
Suppose 5*h + 7*l - 11*l + 5 = 0, 2*l = 3*h + 1. Suppose g - 9 = -2*g. Is g >= h?
True
Suppose 0 = -32*y - 13 - 19. Which is bigger: y or 4/183?
4/183
Let k be 126/945 + 1972/(-165). Do k and -11 have the same value?
False
Suppose 5*k = 4*y - 0*y - 43, 4*k = -3*y + 40. Suppose