5*v - 10*v. Which is greater: v or y?
y
Let a(l) = -9*l + 7. Let q be a(3). Is -18 smaller than q?
False
Suppose 9 = 3*t + 2*h, -t - 4*h = -4*t - 9. Is t < 4/173?
False
Let f be (-2)/8*(-16)/(-6). Let m = 15.1 + -46.1. Which is smaller: f or m?
m
Let q be 108/(-189)*(-1)/4. Which is smaller: 4/19 or q?
q
Let w(r) = -3*r - 4. Let b be w(-7). Suppose 0 = -5*a + 62 - b. Let z be (6/a)/(1/(-12)). Which is smaller: -7 or z?
z
Let n = -4 - -13. Let y be (-51)/n + (-3)/9. Let f be (-27)/(-33) - y/33. Which is greater: 2/3 or f?
f
Suppose 0 = -2*d + 4, -5*d + 54 = -3*y - y. Let j be (-2)/(-4)*(-108)/(y + 5). Does 5 = j?
False
Suppose -j = -10 - 9. Let b be (-1)/3*(-16 + j). Which is smaller: 2 or b?
b
Let r(t) = 6*t**2 + 61*t - 3. Let n be r(-10). Is n != -0.5?
True
Let x = 28 + 6. Let p = x - 34.2. Which is smaller: -7 or p?
-7
Let g be 2441/2736 + -1 + 257/2313. Which is bigger: 1 or g?
1
Let i = 92.83 - 93. Let h = -591 - -597.83. Let d = i - h. Which is smaller: d or -0.1?
d
Let t(u) = -u**3 - 2*u**2 - u. Let c be t(-1). Let h = 3/194 + 767/582. Is c > h?
False
Let c be (89787/(-15) - -5)*(-16)/(-582). Let o = c + 822/5. Do -1/2 and o have different values?
True
Let k(a) = 6*a + 2. Let x be k(6). Suppose -x = -3*u + 25. Is u equal to 20?
False
Let q(a) = -a + 6. Let y be (-30)/12*1*-2. Let v be q(y). Let l(f) = -f - 6. Let p be l(-5). Which is greater: p or v?
v
Let x = 31 - 45. Suppose 2*t = -14*t - 192. Is x < t?
True
Let j be (10/8)/((-18)/(-72)). Suppose 2*i + 13 = j*k, -i + k = -3*i + 5. Let s = -2 + 15/8. Is i not equal to s?
True
Let h be (-4)/40*1*1. Suppose 0 = 25*z - 22*z. Which is smaller: z or h?
h
Suppose s - 16 + 145 = 0. Does s = -3?
False
Let j(f) = f**3 - f**2 + f + 8. Let q be j(0). Suppose 0 + q = -4*a. Let g = 0.084 - -0.916. Is g not equal to a?
True
Suppose 44*x - 41*x - 3072 = 0. Is 1023 <= x?
True
Suppose -2*n = -6*h + 2*h + 20, n = -3*h + 15. Let t(r) be the third derivative of r**4/24 + 5*r**3/3 + 20*r**2. Let g be t(n). Is g at most 9?
False
Let x be 292/(-78) - (-4 - -3). Let w = x + 8/3. Is w at least as big as -0.1?
True
Suppose g + 37 = 4*u, -3*g + 4*u - 78 = 1. Which is greater: g or -112/5?
g
Let n = -116 + 106. Let f be (-17)/(-5) + (-13 - n). Let l = 2 - 2. Which is smaller: f or l?
l
Suppose 81*a - 74*a + 2464 = 0. Is a != -350?
True
Let g = 1007 - 1006. Which is smaller: -212 or g?
-212
Let v = -0.081 + 1.081. Which is smaller: 43 or v?
v
Let x(l) = -11*l - 3. Let a be x(4). Let d = a - -47. Suppose -4*c - 10 = -3*i, -8 = -5*i + 4*c + 6. Which is bigger: i or d?
i
Let o = 6.55 - 20.55. Is 25 at least as big as o?
True
Let d = 152.06 + -154. Let b = -2 - d. Let m = -0.06 - b. Which is greater: m or 8?
8
Suppose k - 19 = -2*h, -h + 5*k = -2*h + 32. Which is greater: h or -7?
h
Let r = 0.0053 - 2.0053. Are 1/3 and r equal?
False
Suppose -4*l = 164 + 508. Is l >= 0?
False
Suppose 26*w + 936 = 18*w. Do -118 and w have different values?
True
Let c = 12582379/1401 - 8981. Does c = 1?
False
Suppose 5*j + 5*n = 40, -2*n + 40 = 4*j - 0*n. Let z be j/(-54) + 122/(-18). Is z bigger than -7?
False
Suppose 0 = h - 2*z - 519, 8*h = 9*h + 5*z - 498. Is 513 at most h?
True
Let o = 279.5 - 61.5. Which is greater: 0.3 or o?
o
Let y = 672 + -363. Suppose -b = -2*w + 85, w = -3*b - y + 19. Let g be b/(-15)*3/(-2). Is g greater than -11?
True
Let c = -0.22 - -0.02. Let z = 15 - 15.1. Let l = c - z. Which is bigger: l or -2?
l
Let q be (-20)/(-6)*(-9)/(-3). Let w be ((-4)/q)/(3/5). Let f = 9 - 19/2. Which is smaller: w or f?
w
Suppose -5*v - 64 - 156 = 0. Let z = v + 31. Are z and -15 non-equal?
True
Let m be 0 - (5 - 1)/4. Which is smaller: m or -4/173?
m
Suppose 2*i - 2 = -0, 2*o = 5*i + 3. Suppose -t = o*t. Let q be 6/(-27) + (-16)/9. Is t smaller than q?
False
Let p = 4642/285 - -36/95. Let z = 64/3 - p. Let o = z + -4. Is o > 0?
True
Let l = 0.1 + -1. Let j = 0.3 + -0.2. Let h = l - j. Which is smaller: h or 6?
h
Let a be 4*((-10)/(-70))/(8/14). Are -63 and a equal?
False
Suppose 7*i + 14 = 161. Is 16 >= i?
False
Let w be ((-190)/(-836))/(2/(-4)*-1). Let i(f) = f**2 - 2*f - 3. Let v be i(3). Which is greater: w or v?
w
Let b = 132 + -116. Let d be (-2)/(-6) + 92/(-6). Let c = b + d. Is c > 2/15?
True
Let d be -21*2*(-7)/357. Is d greater than 2?
False
Suppose -5*j - 6*i + 7*i + 845 = 0, 0 = j - 4*i - 169. Which is greater: 164 or j?
j
Let g = 2.884 - 0.884. Is g equal to 41?
False
Suppose -2*t - 2*s = 8, 6*t + 16 = 10*t - 4*s. Let p = -0.085 + -35.915. Is p bigger than t?
False
Suppose -7 = 11*r - 18. Let n = 45.071 - 0.071. Which is smaller: n or r?
r
Suppose 20*x - 736 = 1644. Is 824/7 < x?
True
Let t be (12/(-4))/((-5)/(30/9)). Let z = 701410/593943 - -2/141415. Let w = z - 8/21. Is t less than w?
False
Let m = -34.8 + -2.2. Let q = -127 - m. Which is smaller: q or 1?
q
Let l = -1.333 - -0.523. Is -2 less than or equal to l?
True
Suppose -s + 2 = -5*c, 0*c - 62 = 3*s + 2*c. Suppose 0 = 4*i - 49 - 7. Let g = s + i. Which is bigger: g or -5?
g
Suppose b = -5*h - 174, -92*h - 48 = -90*h + 4*b. Suppose -28 = u + 8. Is u smaller than h?
False
Let j = 80335/61 - 1317. Suppose -28 = -4*f - 8. Let t(x) = -x**2 + 4*x + 4. Let q be t(f). Is j > q?
True
Let p = 0.1 - 0.2. Let a = 16.75 + -16.7. Is p less than a?
True
Let t(x) = -4*x - 108. Let n be t(-28). Which is smaller: 13 or n?
n
Let i be 10/(-12) - (-123032)/(-336). Which is greater: -368 or i?
i
Let n be (-4)/(-26) - (-99)/117. Let v be -3*(4095/1377 + -3). Is v <= n?
True
Suppose -2*g - 5*j = 12, 0 = -5*g + j - 18 + 15. Which is greater: -2/33 or g?
-2/33
Let x(v) = -v**2 + 4. Let i be x(0). Let n be (-1)/(-2) + (-5)/i. Let u = n + 1. Which is smaller: -1 or u?
-1
Let h = 260 + -772/3. Are -4 and h nonequal?
True
Let w = -0.151 - -68.151. Let d = 32 - w. Which is greater: 0.1 or d?
0.1
Let a = 6 + -8. Let q be (4/(-54)*-3)/(1/(-3)). Which is greater: a or q?
q
Let u(f) = f**2 + 29*f + 108. Let i be u(-20). Which is bigger: -71 or i?
-71
Let x = -13 - -21. Suppose -x = -4*i + 4*q + 20, 0 = -5*i - 5*q + 35. Let w = i + -4. Is 3 at most w?
True
Let g = -2 - -2.2. Which is greater: g or -1/6?
g
Let c = 11 + -37. Let g = 25 + c. Is -2 smaller than g?
True
Let m = 1383/34 + 320/17. Is m greater than or equal to 0.1?
True
Let z(t) = -t**3 + 2*t**2 - 9*t - 1. Let r be z(0). Is -6/191 greater than or equal to r?
True
Let t = -1.557 + 0.457. Which is smaller: 0.02 or t?
t
Let s = 14 - 12. Let n be (2 - 17) + s/(-8). Is n at least as big as -14?
False
Suppose 0*h - 25 = -5*h + p, -3 = 2*h - 3*p. Let r be h*(-6)/(108/(-15)). Which is greater: 3 or r?
r
Let h(c) = 6*c**2 + c**2 - 3*c**2 - 3*c - 4 - 3*c**2. Let y be h(4). Suppose 0 = -4*d - y*d. Which is greater: d or 2/11?
2/11
Let s be (2/(-39))/((-5)/(-45)). Suppose -5*q + 6*q = -3*q. Does s = q?
False
Let u be (-18*2)/(-2)*14/(-4). Let b be (4/21 - (-18)/u)*-1. Suppose -s = 2, w + 4*w + 4*s = -13. Which is smaller: w or b?
w
Let q = 6 + -12. Let p = 267 - 270. Let d = q + p. Is 0 at least d?
True
Let k be 0/((-3)/(-15) + (-78)/65). Which is bigger: k or -622?
k
Let y = -0.31 + 0.01. Let c = -173.7 - -183. Let n = c + -9.6. Do y and n have different values?
False
Let o = 1685/117 - 180/13. Is -0.8 < o?
True
Let s be 2/6*(2 + -3 + 1). Suppose s = -f + 3*f + 6*f. Which is smaller: 1/47 or f?
f
Suppose 4*t = -4*n + t - 18, 5*t = 5*n + 40. Let q be 2/n*(-12)/(-10). Which is greater: q or -0.14?
-0.14
Let d = -3.095 - -2.795. Let i(t) = t + 9. Let s be i(0). Do s and d have the same value?
False
Let o = 2680/3 - 904. Is -11 > o?
False
Suppose 54 = 9*c - 11*c. Let i be ((-6)/c)/(-6 + 5). Is i smaller than 1?
True
Let v be 1 + (4 - (-4 + 4)). Let y(h) = -h**2 + 2*h + 5. Let f be y(v). Are f and 2 nonequal?
True
Let n = 183/4 + -46. Suppose 13 - 1 = -r. Let x be (r/(-4) - -4)*1. Is n < x?
True
Let s = -3 - -21. Let r = s + -17.87. Is 0.1 at most r?
True
Let o = 0.8 + 1.3. Let c = 2.3 - o. Suppose 0 + 3 = -s. Is s >= c?
False
Let c = -9743/2596 + 2/649. Suppose 2*n + 15 = -n. Do c and n have different values?
True
Suppose -2*c - c = -12*c. Is -9/14 bigger than c?
False
Let d(j) = -j**3 - 4 + 4*j + j**3 - j**3 - 3*j**2. Let a be d(-3). Let k be 92/(-6) + 4/12. Which is bigger: k or a?
k
Suppose -32*p + 216 = -44*p. Which is smaller: p or -27?
-