2. Are k and 319 non-equal?
False
Let r be (3/9 - 190/(-15)) + 2. Suppose 0 = 11*f + 51 + r. Do f and -10 have different values?
True
Let a be (22/(-6))/((-1)/(-3)). Let i = -861 - -851. Which is smaller: a or i?
a
Suppose 4*o = 3*b + 599, -2*b = 5*o - 42 + 426. Is b not equal to -195?
True
Let t(m) = -m**3 - 21*m**2 + m - 7. Let v be t(-22). Let o be (-5 - v/(-90))*-4. Is -2.6 smaller than o?
True
Let a(y) be the third derivative of -y**6/120 + 7*y**5/60 - 5*y**4/12 + 23*y**3/6 + 22*y**2. Let t be a(6). Let f be 14/(-12) - 1/(-2). Does f = t?
False
Suppose -7*q + 4*q + 5*j = -1019, q - 341 = 3*j. Which is smaller: 339 or q?
q
Let l = 1.9 - 3.958. Let x = 0.058 + l. Is x < -4/11?
True
Let v be (2 - (-1 - 3))*-12. Let q = v - -163/2. Which is bigger: q or 9?
q
Let x = 837/58 + -29/2. Which is bigger: -0.1 or x?
x
Let u = 6 - 8. Let v(n) = n**2 + 6*n - 7. Let b be v(-7). Suppose -3*y - 6 - 3 = b. Which is smaller: y or u?
y
Let q be (4 - 5/2)*26/2. Is q bigger than 21?
False
Let z = 601 + -1011/2. Which is smaller: 96 or z?
z
Let y be 10/(20/6)*-1. Let d(o) = -o - 3. Let t be d(-2). Are y and t equal?
False
Suppose 4*g - 116 - 52 = 0. Suppose 0 = -10*v + 7*v + g. Is -2/5 > v?
False
Let n = 19 - 18. Let j be (-73)/(-4) + n/(-4). Suppose -v = -j + 19. Is 1/9 less than v?
False
Let a(w) = -w**2 - 15*w - 52. Let h be a(-9). Which is smaller: h or -115?
-115
Suppose 5*d + 4*w + 10 = 0, 5 + 22 = d - 5*w. Let n = 0.7 + -3.7. Is n less than or equal to d?
True
Suppose 5*q - 6 = 19. Suppose o + 2 = 5*n, -4*n + 6*n = -q*o - 10. Which is greater: n or -4/7?
n
Suppose 0*r = -3*r + 12. Let c be 3/12*r - 0. Let q be (-112)/(-18) + 16/(-72). Which is bigger: q or c?
q
Let y = -237 - -215. Which is smaller: y or -17?
y
Let w = 205 + -206.98. Which is bigger: w or -2?
w
Suppose -f + 15 = 9. Suppose 2*j = f, -3*a + j = 5*j - 42. Suppose 3*h - 5*h + 20 = 0. Does a = h?
True
Let s(f) = -5*f + 21. Let k be s(6). Let c be k/(-6)*12/(-246). Is 0 < c?
False
Let b = -179.04 + 175. Let v = b + 4. Let d = -1.2 + 1. Which is smaller: v or d?
d
Suppose -15 + 3 = -3*r. Suppose q - r - 2 = -m, -9 = m - 2*q. Do -1/3 and m have the same value?
False
Suppose 0 = -5*c + b, 4*c = -5*b + 9*b - 16. Which is bigger: 2/5319 or c?
c
Suppose 11*n + 877 - 118 = 0. Is n smaller than -71?
False
Suppose 7*f - 2*b + 15 = 2*f, -2*f - 3*b - 25 = 0. Let k be -2 - f/((-5)/(-6)). Suppose -12 = 4*w, -3*w + 4 = k*z + 53. Which is smaller: -11 or z?
-11
Suppose 26 = u - 27. Suppose 350 = -3*a + u. Let k be (-3)/(-2)*(-6)/a. Which is smaller: 1 or k?
k
Let u = -11 - -10. Is 8 greater than or equal to u?
True
Suppose -3*z = -3*p - 6, -4*z = -0*z - 2*p - 12. Suppose 2*d + 8 = z. Let o be ((-5)/d)/((-35)/(-20)). Are 2 and o unequal?
True
Suppose -21*a - 170 = -24*a - 5*z, -3*z = -2*a + 107. Is 55 > a?
False
Suppose -5*k - a + 19 = 0, -2*a = -3*k + 21 - 7. Let v = k - 3. Let h = -141 - -845/6. Is v > h?
True
Suppose h + 110*c - 108*c = -23, -3*h - 73 = 5*c. Which is bigger: h or -187/6?
h
Let s be -29 + 24 + 3/10. Is -5 at most s?
True
Let z = 493 - 493. Is z greater than or equal to 0.08?
False
Let p = -55 + 69. Suppose l + 7 + p = 5*y, 4*y = 3*l + 8. Which is smaller: y or -9?
-9
Let s be (1/(-4) + 1)/(5/(-20)). Let v be 4 - (s + 5 + -1). Do v and 11/5 have the same value?
False
Suppose 31 + 20 = 3*t - 3*k, 2*k + 70 = 4*t. Is 75/4 less than t?
False
Suppose a + 3*n - 14 = 0, -2*a + 20 = 4*n - 0*n. Suppose -u - 3*p - 6 = 0, a*u + 5*p + 10 = -3*u. Let s = 5.76 + -5.64. Is u at most as big as s?
True
Suppose 3460 = -29*y - 4805. Is y at least 1?
False
Let n = -15 - -2. Let k = 8 + n. Which is bigger: k or -1?
-1
Let a = -38.9 + 17.8. Let y = 12 + -33. Let p = a - y. Which is bigger: -2/9 or p?
p
Let q = 120 + -351. Is -230 greater than q?
True
Let d = 120453/11 - 10939. Let j be 6/15 + (-1016)/(-110). Let y = j - d. Which is bigger: -2 or y?
y
Let y = -905 + 1062. Which is smaller: 633/4 or y?
y
Let v = 225 + -165. Is 60 equal to v?
True
Let t be (-3)/((-30)/(-4)) - 120/75. Let p be (5 - (-5 + 6)) + t/(-1). Is 6 != p?
False
Let o = 0.86 + 0.04. Let f(s) = s**2 + 6*s + 9. Let y be f(-3). Is y less than or equal to o?
True
Let i be -3 + (-3 - (-40644)/7700). Let d = i + 2/275. Which is smaller: -1 or d?
-1
Suppose l - 2*l - 3 = 0. Let o = l + -94. Which is bigger: o or -98?
o
Let j = -4.7 + 4.32. Let k = -0.28 - j. Which is smaller: k or -1/9?
-1/9
Suppose b + 4 - 9 = 0. Suppose -195 = -3*t - 2*a, -76 = -b*t - 2*a + 249. Suppose 39 = 3*d + i, 6*i + t = 5*d + 3*i. Are d and 12 unequal?
True
Let g(o) be the second derivative of -o**3/6 + o**2/2 + 11*o. Let j be g(-3). Suppose 0 = j*d - p - 3*p - 28, 4*d = 5*p + 27. Is d > -2?
True
Suppose -11 - 1 = -2*l. Let j(p) = -p - 11*p**2 + p**3 + 9 - 4*p**2 + l*p**2. Let v be j(9). Are v and -1/3 equal?
False
Suppose 3*u + 3 - 18 = 0. Let n be ((-7)/u)/1 - -1. Let x = 1/10 - n. Is x at least as big as 1?
False
Suppose -k + 2*k + 5*d = 23, -4*k - 4*d = -12. Suppose w + 4*f - 25 = 0, 0 = w - 0*w - f. Suppose 3*o + 3 = 3*r, -w*o + o - 6 = -2*r. Are k and o non-equal?
False
Let z be (-6)/(-24) - 177/36 - -5. Which is bigger: z or -1.1?
z
Let j = -196.25 - -28.1. Let x = j - -164. Let r = 0.15 + x. Are r and 0.2 non-equal?
True
Let k be -6 + 3/(3/(1017/168)). Which is smaller: k or -1?
-1
Suppose 2*s = 2*h - 2, -3*s + 17 = 3*h + s. Let m be 1/(-170)*(-20)/(-10). Let c = 1108/255 + m. Which is smaller: c or h?
h
Let v(b) = -9*b**2 - 2*b + 12. Let m be v(-6). Let z be 165/m - (-6)/8. Let l = -0.15 - 1.85. Is l less than z?
True
Let h be (18*2)/(4/16). Is h greater than or equal to 146?
False
Let w(t) = -t**2 - 6*t - 9. Let j be w(-5). Suppose -2*c = 2*c. Suppose 0 = -x - c*x - 6. Is j less than x?
False
Let m(o) be the first derivative of o**3/3 + o + 7. Let w be m(2). Suppose w*d + 5 = 10. Which is greater: d or 6/13?
d
Let t = -1778 - -4553/3. Let h = t - -265. Is h at least 6?
False
Let x = 42 - 73. Let a be ((-2)/3)/(-1*(-4)/138). Let i = a - x. Which is greater: i or 1?
i
Let u(c) = c**2 + 5*c + 12. Let x be u(-4). Let h(r) = 6*r - 3. Let j be h(6). Let f be (j/55)/(3/x). Is f greater than 2?
False
Suppose -7*a + 1862 = -273. Do a and 304 have the same value?
False
Let b = -1314 + 1311. Which is smaller: b or 83?
b
Let k(g) = -2*g**2 + 9*g - 50. Let v be k(7). Which is smaller: -83 or v?
v
Let i be ((-8)/(-1))/(4 + -10). Which is smaller: i or 0.1?
i
Let b = -74541/68 - -1096. Let u = -3197/3162 - -13/186. Let k = u - b. Is k greater than 0?
False
Let b(d) = -d**2 + 101*d + 496. Let v be b(-5). Are -39 and v equal?
False
Let c = 196.7 + -197. Which is smaller: -172 or c?
-172
Suppose 4*v = g - 8, -2*v - 2*g = -6*g + 4. Let t = 23 - 23. Suppose -6*l + 4*l = t. Which is smaller: v or l?
v
Let h be (2/1)/((-1)/(-4)). Let b = 6204 - 6195. Which is smaller: h or b?
h
Suppose 7*z + 12 = 4*z - 3*y, -z + 16 = -3*y. Which is greater: 0 or z?
z
Let m = -7.26 - -0.26. Let u = m - -5. Let l = -74/15 - -16/3. Is l at most u?
False
Let s be -18*(10/4)/(-5). Let k = 1 - -53. Let y be (s/28)/(k/63). Is y smaller than 0?
False
Let p = -14 + 9. Let k = p - 0. Let i be (-4 - -3)*(-1)/1. Is k > i?
False
Let r be (-3)/2*(-60)/(-9). Suppose 31 = 14*f - 17*f - 2*y, -3*f - 25 = -y. Is f >= r?
True
Suppose -9*w - 36 = -6*w. Let f(l) = -4*l + 8. Let z be f(w). Suppose -2*h = -5*j - 6*h + z, -5*j = -5*h - 20. Is j smaller than 9?
True
Let h be (-5)/(-10) + (-2)/(-4). Suppose -6*i + 18 = -9*i. Let b = i - h. Which is smaller: b or -6?
b
Let k = -1.12 + 0.02. Let y = k + 1. Let z = -7114 - -7109. Which is greater: z or y?
y
Let s = -875.976 - -876. Which is smaller: -0.2 or s?
-0.2
Suppose 3*h - 9 = -24. Let z be (-5)/6 + (-1058)/(-1932). Do z and h have different values?
True
Let z = -0.15 + -28.85. Let l = 29.2 + z. Is l at least -0.63?
True
Let s(i) = 4*i**3 + 2*i - 1. Let z(b) = -4*b**3 - b**2 - 2*b + 1. Let j(m) = -3*s(m) - 4*z(m). Let t be j(-2). Is t at least as big as -20?
False
Suppose -5*z + 4*l = -45, -z + l - 20 = 6*l. Let k = 5 - z. Let p = 2.84 + 0.16. Which is greater: k or p?
p
Let x be -32 - -32 - (-288 - 0). Which is greater: x or 287?
x
Let n = -1.57 - 121.43. Let r = n - -122.9. Which is smaller: -0.49 or r?
-0.49
Let u(k) = 24*k + 10 - 10*k - 11*k. Let p be u(-3). Is p < 2/