t q(n) = -5*i(n) - 2*y(n). Let x be q(2). Which is bigger: z or x?
x
Suppose 9 = 5*d - 2*d. Let t be d + 0 + 8/(-4). Let p be 40/10 - (3 - t). Do 12/11 and p have the same value?
False
Suppose w - 20 = -5*d, -3*w = 2*d - 6*d + 35. Suppose j + 4*p = 1, -d = -5*j + p + p. Is -3.2 <= j?
True
Let x be (4 - (-1 + 2))*4. Suppose 1 = b - x. Which is bigger: 14 or b?
14
Let s = 21 - 27. Let q = -2.1 - -8.1. Let x = s + q. Which is smaller: 2 or x?
x
Let x be (920/30)/((-4)/(-3)). Is x != 4?
True
Let t = 29 + -33. Let m = t + 3. Is -1 equal to m?
True
Let q(b) = -3*b**2 - 12*b + 15. Let y be q(-5). Let f be (-4)/16 + 1 + -2. Which is smaller: f or y?
f
Let t = -1564/9 + 172. Is -1 greater than t?
True
Let n = 41.31 + 0.69. Let h = -41.88 + n. Which is smaller: h or 0.2?
h
Suppose 5*s - 66 + 161 = -w, -2*s = 6. Is -84 at least w?
False
Suppose 133*c = 88*c - 10440. Is c smaller than -0.1?
True
Let f = -177 - -3008/17. Let g = -129 + 130. Is g >= f?
True
Let u be (-24)/(-15) - (-12)/30. Suppose u*h - 3 = -h. Is -3/49 at most as big as h?
True
Let i = 16746 + -251299/15. Let k = -5977/5 + 1203. Let x = i + k. Which is greater: x or 2/5?
2/5
Let o(f) = 221*f**2 + 4. Let c be o(-2). Let l be ((-6)/63)/(c/(-2727)). Let s = l - 1/148. Is 3 greater than s?
True
Let x(s) = -s**3 - 11*s**2 - 11*s - 11. Let h be (-1)/(-4) + (3 - (-106)/(-8)). Let v be x(h). Let d = -35/264 + 1/132. Is d less than v?
False
Suppose 2*z = -2*s + 144, 0 = 2*z - z - 3*s - 64. Let n be (-154)/z + (-2)/(-10). Let h be (-130)/(-134) + n/2. Is h less than or equal to 0.1?
True
Let s be (1/(-8))/((-7)/4). Let w = -4.99 + 9.99. Do w and s have different values?
True
Suppose -b - 56 = 3*b. Let s = 24 + b. Suppose -u - 2*q + 36 = -6*u, -s = 5*q. Which is smaller: u or -9?
-9
Let v = 39 + -112. Let a = 77 + v. Let o be (4/10)/((-14)/(-10)). Which is smaller: o or a?
o
Let t = -1/138013 + -279614327/1518143. Let b = t + 184. Let m = -50 - -201/4. Do m and b have the same value?
False
Suppose 11 = 4*o - 13. Let q = -7 - o. Let z = 18 - 32. Which is smaller: z or q?
z
Let z(n) = n**2 - 2*n - 4. Let a be z(2). Is a at most as big as -173?
False
Let v = -1.396 - -2.396. Is 480 at least as big as v?
True
Suppose 9*p - 20 = 4*p. Suppose 0 = -3*r + p*d - 33, -4*r + d - 72 = r. Let j be 4/6*r + -1. Is j at most -11?
True
Suppose -3*m = -46 + 1. Let k be (m - 11)*(-1)/(-1). Let c = k + 1. Is c less than or equal to 5?
True
Suppose -256 = -a - 2*z - 65, 5*a - 935 = -5*z. Do 183 and a have the same value?
True
Suppose -3*d + 17 = 11. Let a be 2 - -1 - (-1 + 3). Is d at least as big as a?
True
Let i be 1*3 - 5/40*676. Is -81 > i?
True
Let n(v) = 91*v + 11. Let t be n(-2). Which is bigger: t or -169?
-169
Let f = 4647/817 + -360/43. Which is smaller: -2 or f?
f
Let c = -43.8 - -44.8. Is -94 not equal to c?
True
Let p be ((-1629)/(-15) + 1)/(72/(-180)). Which is bigger: p or -275?
p
Suppose 15 = 4*v + v. Let a be 32/6*v/2. Suppose 5*n + a = n. Which is bigger: 4 or n?
4
Suppose -z = -6 - 10. Let v(n) = n**2 - 16*n - 14. Let w be v(z). Let k be 72/84 - 2/w. Which is bigger: -9 or k?
k
Let a(d) = 14*d**2 + 2*d + 1. Let l be a(-1). Suppose 0 = -2*i + l + 7. Suppose -i*o = -9*o. Is o > 2/3?
False
Let w = -12.4 + 12. Let o = w + 14.4. Let h = o + -13.3. Do h and 0.1 have the same value?
False
Let p(m) = 51*m + 992. Let u be p(-13). Is u <= 332?
True
Let b be ((-2)/(-5))/((-7)/(-70)). Suppose 0 = -b*z + 2*f + 4, 3 = -4*f - 5. Suppose 1 = -z*h - h. Is -3/11 > h?
True
Suppose 0 = 3*z + o - 27, 7*z - 4*z - 21 = -3*o. Suppose 8*c - z*c = -2. Are c and 5/16 equal?
False
Let c = -23513756/235 + 100059. Let h = c + -3/47. Let t = 1.5 - 0.3. Which is smaller: t or h?
h
Let d(r) = r - 15. Let h be d(0). Which is bigger: h or -3?
-3
Suppose -4*p + 4 + 12 = 0. Suppose 0*o - p*o = -24. Suppose -19 = 5*x + o. Is -6 bigger than x?
False
Let a = 25/16 - 607/368. Which is bigger: a or 0.4?
0.4
Let l(d) = d**3 - 2*d**2 - d - 1. Let q be l(2). Let i = -1 + q. Let s be ((-6)/15)/(i/10). Are 1/10 and s equal?
False
Let z = 391 + -389.8. Which is greater: -7 or z?
z
Let w = 1437 + -967. Which is smaller: w or 469?
469
Let d be -4 - (-13 + 4/2). Suppose 0 = -4*z + 2*f + 6, 0*z = -2*z - 3*f + d. Which is smaller: -0.5 or z?
-0.5
Suppose 0 = -563*k + 561*k. Is k at least as big as -24/95?
True
Suppose -x = -7*y + 3*y, -4*y = -2*x + 12. Let d be (-1 - -4)/((-9)/x). Let s = d - -6. Which is bigger: -3 or s?
s
Let r(k) = 3*k - 18. Let y be r(12). Let i be ((-8)/(-10))/(y/45). Let n be i/(-12) - 245/(-390). Is n equal to 1?
False
Suppose -u = -4*m + 911, 4*u - 438 = -4*m + 478. Is 226 >= m?
False
Let t = -4 + 2.7. Let r = -2.4 - -1.7. Let z = r + t. Is -2 at most z?
True
Suppose 116*p = 113*p + 15. Which is bigger: p or 15?
15
Let b be (-1)/(0 + 2/(-14)). Let a = b - 6. Is a > -2/185?
True
Let j = -299 - -292. Suppose z + 0*z = -36. Let c be 2/(z/15 - -2). Which is smaller: j or c?
j
Let m be (0 + 1)/((-7)/91). Let h = m - -10. Suppose 25 = -5*k - 5*w, -4*k + w - 15 = -0*w. Which is bigger: h or k?
h
Let b = -0.03 + 0.09. Let i = 13 - 11.8. Let j = -1.1 + i. Which is smaller: b or j?
b
Suppose 0 = -4*f + 8 - 0. Suppose -74 = 7*v - 95. Which is bigger: v or f?
v
Let x = -145579 - -5823923/40. Let o = x + -101/5. Is o > -1?
False
Suppose -3*t = -t - z + 159, 0 = -4*z + 20. Which is smaller: t or -80?
-80
Let p = -11 - -38/3. Are 3/4 and p non-equal?
True
Let m = 0.075 - -0.025. Let g be 496/66 - 4/22. Which is bigger: m or g?
g
Suppose 2*f - 9 = 5*u, 21 = -4*u + 3*f - 6*f. Let l be (-66)/15*5/5. Which is smaller: u or l?
l
Suppose 3007 - 597 = -5*o. Let n = -713 - o. Let v be 314/n - (-32)/24. Is 1 bigger than v?
True
Let r = -9.31 + 7.71. Which is smaller: 0.1 or r?
r
Let d = 0.506 + 0.014. Let o = -0.48 - d. Let h = -3 + 2. Is h <= o?
True
Suppose -877*v + 866*v = -11. Are v and -1/333 unequal?
True
Let r be 2/(-6) - (-9248)/(-7280). Let q = r - -1/273. Suppose 4*s - 3*h - 4 = 0, -3*h + 3 = 4*s + 23. Which is smaller: q or s?
s
Let l be (276/(-2))/(135/(-90)). Which is smaller: l or 97?
l
Suppose -j = 4, -3*y - j - 53 = -2653. Let z be (6/y*4)/((-19)/(-133)). Is 1 greater than or equal to z?
True
Let b be ((-3)/(-12) - 0) + 2522/(-8). Let v be (-9)/12 - b/36. Which is bigger: v or 6?
v
Suppose -f + 3*u + 36 - 26 = 0, 5*f - 4*u - 39 = 0. Let o = -5 + 3. Let w be (-5)/o*1*2. Which is smaller: f or w?
w
Let f be (-33)/(-22) + (2 - (-5)/(-2)). Is f bigger than -2?
True
Let t = 1.3 - 1.305. Let s = t - -0.061. Is 0 at least s?
False
Let z = -317/3 - -629/6. Is z greater than 4/21?
False
Suppose 3*f + 234 = 240, -3*j = -2*f - 4364. Is j at least 1455?
True
Let h be 3 + (-1 - (-4 + 2)). Suppose -4*d - 3*r + 31 + 37 = 0, 2*r = h*d - 88. Let c = d - 21. Is 2/23 at most as big as c?
False
Suppose 15 = 3*u, 2*t + 2*u = -2*u - 86. Are -53 and t equal?
True
Suppose -4*o + 151 - 627 = 0. Let x = -87 - o. Is x greater than or equal to 33?
False
Let c be (0 + (-1 - 3))/(12/(-9)). Let y be 6/(-27) - (c - (-1486)/(-450)). Which is smaller: 4/7 or y?
y
Let m = 13 - 18. Let c = -23.7 - -24. Is m greater than c?
False
Suppose 11*x - 40 = 16*x. Are -7 and x nonequal?
True
Let a(l) = -9*l + 46. Let v be (-63)/(-12) - (-7)/(-28). Let u be a(v). Is -4/9 greater than u?
False
Let c = 0.09 + -21.09. Let x = -13 - -13.1. Are c and x non-equal?
True
Let w be (-1)/((-5)/18)*(-60)/84. Let h be ((-5)/(-30))/(4/(-6))*-1. Is h less than w?
False
Suppose -74 = -15*p - 314. Let w be (-12)/p*(-12)/(-10). Which is bigger: w or 1?
1
Let b(h) = -6*h**3 + h**2 + 3*h + 2. Let t be b(-1). Suppose 0 = -5*g - t*g + 11. Does -4/67 = g?
False
Let y be 4/6*(-343)/(-147). Let p be (-6)/4*4/(-3). Are y and p nonequal?
True
Let r be ((-54)/15 - -4)/(272/(-40)). Are 1 and r equal?
False
Let f = 3 - 1. Suppose f*c + 20 = 3*c. Suppose 2*j - 2*o + 8 = 0, 5*j - 2*o - o + c = 0. Is j bigger than -3?
False
Let a be 2/5 + 141/(-240). Let w be (-1 - -2)/((-7)/(-35)). Suppose 0 = w*q + 3*t, -4*q - 3*t = -7*t. Which is smaller: a or q?
a
Suppose 2*t + w = -265, 9 = 2*w + w. Let g = -138 - t. Which is smaller: 0.07 or g?
g
Let z = 11 + -10.9. Which is bigger: -12/5 or z?
z
Suppose 4*r + r - 6490 = 0. Let p be (-22)/r*(-2 - 0). Let b(a) = a**3 - a**2 + a - 1. Let j be b(1). Is j greater than or equa