. Let v(y) = 3*y**2 - 17*y + 10. Let h be v(5). Which is bigger: c or h?
h
Let y = -490 - -538. Let n = 2 + -2. Which is bigger: y or n?
y
Suppose -7*t + 26 = -3*s - 3*t, 0 = -2*s - 3*t + 11. Let c be (5 + (-4 - s))*(-6)/(-78). Is c greater than -2?
True
Let y = -323 + 404. Is y less than or equal to 79?
False
Let l = 1.355 + 0.645. Which is greater: l or -34?
l
Suppose 0 = h - 5*o + 31, -46 = 3*h + 2*o - 21. Let x = 1 - h. Are 10 and x non-equal?
True
Suppose -5*x + 32 = 4*b - 13, -3*x = -2*b - 5. Suppose b*q = -3*j - 1, -q + 7 = -2*j - j. Which is smaller: j or -14/5?
-14/5
Let a be 1828/(-435) - (-4)/(-20). Let f = a - -13/3. Is -1 != f?
True
Suppose 0*w = 3*w - 12. Suppose -3*i + 2 + 4 = 2*p, 0 = w*p. Suppose o - i*t + 5 = 2*o, -4*t + 7 = -o. Is -2/17 < o?
True
Suppose 58*j + 216 = 54*j. Is j greater than or equal to -55?
True
Let v be (-4)/249*72/768. Is 1 not equal to v?
True
Let n = -19 - -18. Let i(o) = o**2 + 2*o - 12. Let l be i(-5). Let k be (-1)/l*20/110. Is n smaller than k?
True
Let t = 470.86 - 475. Let n = t + 0.14. Let x = n + 3.1. Are 1 and x nonequal?
True
Let p be 734/4 - 6/(-12). Is p at least 185?
False
Let g = 0.4 - 0.3. Let k = 0.88 - 1.08. Is k greater than g?
False
Let d = 6/4049 - 11765/5207014. Is d greater than 1?
False
Suppose 5*u + 4*h - 334 = 0, 0*u + 3*h + 152 = 2*u. Suppose 3*s = -2*s + u. Which is bigger: 13 or s?
s
Let w = 2361/5 - 473. Is w less than or equal to 2?
True
Suppose -5 - 6 = f. Let h = -8 - f. Suppose 0 = -3*m - 0*m + h. Which is smaller: m or 2?
m
Let h = 642 - 34029/53. Suppose 0 = 13*x + 13*x + 26. Is x greater than h?
False
Suppose -2*d = 0, 119*z = 123*z - 3*d + 2512. Is -627 equal to z?
False
Let h(x) = x**2 + 8. Let s be h(0). Let b = -24 - -32. Is s > b?
False
Let k be (-47)/(-5) + 18/30. Suppose -92 + 70 = -2*s. Which is smaller: k or s?
k
Let c = 25/34 + -4/17. Is -191 < c?
True
Let g = 1 + -1.1. Let k be (5/(9/(-9)))/((-2)/(-4)). Let s be (k - -8)*(-3)/4. Which is smaller: g or s?
g
Let o = -2.3 - -0.3. Let m = 0 - o. Let c(k) = -3*k + 19. Let q be c(6). Which is smaller: m or q?
q
Let f = -0.1 + 0. Let b be (-80)/180*(-3)/(-2). Is b <= f?
True
Suppose -2*o - 4*p - 10 = 0, -3*p + 8*p = -2*o - 9. Let q(t) be the third derivative of t**4/8 + 4*t**3/3 + 6*t**2. Let i be q(-5). Is i greater than o?
False
Let t = 66 + -65.881. Let p = 0.131 + t. Which is bigger: p or -3?
p
Let n be 2 + (-12 - -2)/5. Does -3/5 = n?
False
Let z = 4 - 3.9. Is z at least 421?
False
Let i be ((-24)/32)/((-2)/(-328)). Let a = 2340/19 + i. Which is greater: a or -1?
a
Suppose 105 + 191 = -m. Let d be 2/13 - m/(-234). Is d equal to -1?
False
Let m be (-14)/(-35) - (-1)/10. Suppose 3*i = -i. Suppose 0 = -i*g + 5*g. Which is smaller: g or m?
g
Suppose -20*f - 12 - 8 = 0. Do -11/8 and f have different values?
True
Let x = -0.648 + 0.848. Is x bigger than -17.5?
True
Let a = -146 - -140. Is a smaller than 0.04?
True
Let v = 409 + -8183/20. Let b be ((-6)/(-9))/(4/6). Are v and b non-equal?
True
Let k(a) = -2*a**2 - 4*a + 5. Let d be k(-5). Suppose -5*z - 51 = 2*v, -v + 4*z - 21 = 2*z. Let t = d - v. Which is greater: -8/11 or t?
-8/11
Suppose 4*h = 2*h + 6. Suppose 3*u = -m + 6, -4*u - h*m + 16 = m. Let i be (-6)/21 - 4*36/(-651). Is i less than or equal to u?
True
Let b be -236*(-5)/(-205) - (4 - 10). Are 1 and b non-equal?
True
Suppose -21*l + 5*n = -17*l + 11, 2*l + 3 = 3*n. Which is smaller: l or -1?
l
Let f = 49 + -87. Let z be 4/(-6)*(-4 + 1). Let u be -3 + f/(-26) + z. Is 1 less than or equal to u?
False
Let c = -0.25 + 0.47. Let a = -147 + 146.78. Let l = a + c. Which is smaller: l or -4?
-4
Let f = -50.76 - 0.24. Are -2 and f unequal?
True
Let i be -7 - (-6 + 1127/(-14) + -5). Are 0.1 and i nonequal?
True
Let l = 323/9 - 36. Let w be 36/24*13*2. Let n = 39 - w. Is n at most l?
False
Let k(z) = -18*z**2 + z + 2. Let l be k(-1). Is -18 at most as big as l?
True
Let b be (4 - (-18)/(-5))/(2/30). Suppose 2*y + 4*w + 6 = 0, 4*y - b = w - 0*w. Which is bigger: -1/21 or y?
y
Let i be 1/(-30)*2*(-5)/(-4). Let g = 1/4 + i. Which is greater: g or -8?
g
Suppose -n + 4*b - 75 = 0, -2*n + 3*b + 2*b - 138 = 0. Let u = 0 - n. Which is smaller: u or 60?
u
Suppose -2*o = o, -4*c + 5*o - 8 = 0. Is c >= 14/13?
False
Let v = 0 + -4. Let z be (-23 - -25)/(0 + v). Which is greater: z or -1?
z
Suppose -5*v = -4*v + 40. Let u = 27 + v. Which is bigger: u or -14?
u
Let l be 1*(0 + 3) - -2. Suppose 0 = -3*w + 5*s + 122, 2*s + 4 = l*w - 212. Is 43 smaller than w?
True
Let j(y) = y**3 + 10*y**2 - 9*y + 16. Let t be j(-11). Let z be (t/(-21))/(9/(-21)). Which is smaller: -7 or z?
-7
Let v = 11.35 + -11.37. Which is bigger: -14 or v?
v
Suppose 8*g - 5*g + 21 = 0. Let h = 9 - g. Which is greater: h or 0?
h
Let l = -61 + 145. Let h = 84 - l. Suppose -4*d = -4, 0 = -2*j - 0*j - 2*d. Which is bigger: h or j?
h
Let u = -25.68 + 16.28. Is 4/5 < u?
False
Suppose -8*k - 5*q = -12*k + 20, 12 = 5*k - 3*q. Is k less than or equal to -1/4?
False
Let t = -2311/7 - -2610/7. Let l = t + -43. Suppose -i + 11 = 10*i. Is i <= l?
False
Let v = 2071 - 3094. Do -1023 and v have the same value?
True
Let h = -105.2 + 99. Let m = h + 6.241. Which is greater: 1 or m?
1
Let n = 101/6 + -493/30. Let w be -3 - (0 + 105/(-33)). Which is smaller: n or w?
w
Let l be -22 - (13 - 355/10). Let h = -29 + -2. Which is bigger: l or h?
l
Let p = 20 + 16. Let i be p/(-90) - (-86)/140. Suppose v - 1 = -0. Which is bigger: v or i?
v
Let b = 1.9 - 0.1. Let o = b - 0.8. Let c be 2*4/(-16)*2. Is c less than o?
True
Let l = -92 - -136. Which is greater: l or -2?
l
Let y(v) be the third derivative of 2*v**6/15 - v**5/15 - v**4/6 - v**3/3 - 3*v**2. Let o be y(-2). Let f = o - -2074/15. Is f equal to 0?
False
Let c(w) = 3*w - 15. Let i be c(7). Suppose -i*d + 4*d = 4. Which is smaller: d or -10?
-10
Let a(v) = v**3 - 8*v**2 + 5*v + 9. Let m be a(7). Let j(x) = -2*x - 9. Let b be j(m). Is b less than 2/31?
False
Let g = 9 + 3. Let p be ((0 + 4/g)*0)/1. Is 2/225 at most p?
False
Let y be (-4)/(-3) + 357/(-153). Let f = -24 - -81. Let r be 2*f/120 - 1. Which is bigger: r or y?
r
Let k = 0 - -1. Suppose -13*l = -8*l - 210. Let s be 7/(-6)*(-27)/l. Are k and s non-equal?
True
Let w be (-268)/(-4) - (-1 - -3). Let c be (-2)/13 - 250/w. Is c at most -60/13?
False
Let m(r) = r + 1. Let s be m(0). Let d(n) = n**3 - 11*n**2 + n - 5. Let f be d(11). Let a be 12/f - (s + 3). Is a at most as big as -7?
False
Let o be (-3 + (-28)/(-8))/(1/2). Let u be (8 + o)/((-180)/48). Which is smaller: u or -1?
u
Let c = 79 + -148. Let m = 70 + c. Let t = 118 + -943/8. Which is bigger: m or t?
m
Let l be ((-300)/(-70))/(2/(-14)). Let r = l + 18. Let c = r - -24. Is 12 < c?
False
Suppose 4*q = -q. Suppose q = 8*z - 15 - 41. Is 0.2 < z?
True
Let y(l) = -19*l**3 - 13*l**2 + 6*l + 3. Let w(b) = 9*b**3 + 6*b**2 - 3*b - 2. Let z(j) = 9*w(j) + 4*y(j). Let c be z(-2). Is -32 > c?
False
Let y = -4/267 - 58/89. Is y >= 0.24?
False
Let o = -3.1 + 2.1. Let v = -6 - 3. Let m = v + 9.1. Which is smaller: m or o?
o
Let w be 3/(0 - (-6)/4). Let t = 4 - 19/6. Which is smaller: t or w?
t
Let o = 2001568/119 + -16820. Let y = 9/17 + o. Is -1 equal to y?
False
Let g be (-114)/(-4) + 42/(-28). Suppose -4*t + 15*o - 2 = 17*o, 4*t = -5*o + 13. Which is smaller: t or g?
t
Suppose 0 = 5*m + 5*z + 175, -4*z + 5*z + 3 = 0. Let i be -8*4/m*10. Let a be ((-12)/i)/((-6)/(-15)). Are a and -4 equal?
False
Suppose -1 = t - 2*q - 3, -q - 22 = -4*t. Let h be 0 - (-3 + -1 + 2). Is t bigger than h?
True
Let t be -4 + -165*14/(-567). Does -13 = t?
False
Suppose 560 = 328*t - 318*t. Do t and 56 have the same value?
True
Suppose 5*c - h - 66 = h, 2*c + 3*h = 34. Let g = -12 + 10. Let w = g + c. Which is greater: w or 11?
w
Let h(i) = -i**3 + 14*i**2 + 19*i + 4. Let r be h(15). Is 65 at most as big as r?
False
Suppose -2*o + 3*x = 2, 3*x - 8 - 1 = 3*o. Is -10/9 less than o?
False
Let f = 259 - 213. Which is greater: -1 or f?
f
Suppose g - 85 - 38 = 5*w, 87 = -4*w - 3*g. Which is greater: -5 or w?
-5
Let x = 27 - 17. Suppose -2*w = -2*v + x, 1 = 2*v - 9. Let u = 39 - 545/14. Which is bigger: w or u?
u
Suppose 0 = -7*i + 2*i - 530. Let x = -102 - i. Which is smaller: x or 16/5?
16/5
Let q(f) = -f + 4. Let i be q(3). Let x = -1418 - -1423. Is x bigge