260.69. Let y = 6.1 - m. Let w = y + -0.11. Which is smaller: w or -7?
-7
Suppose -4*t = -2 - 2. Let v = 3.7181 - -78.2819. Which is smaller: t or v?
t
Let a be (46/10)/((-18)/(-105)). Let r be ((-4)/8 + (-165)/(-315))*-1079. Let o = a + r. Is o bigger than 0?
True
Let v = -3 - -97. Suppose -v*z + 89*z = -70. Which is greater: 33 or z?
33
Let q = 151020 - 2119263658/14033. Is q greater than or equal to 1?
False
Let i be 4 + 2 + 19 + -133. Let b = i - -82. Does -29 = b?
False
Let x = 2765.9 - 2766. Are x and 102.7 equal?
False
Let s be 119/(-77) - 13/((-143)/6). Which is smaller: 19/102 or s?
s
Let x be (1 + -2)/(2/(-34)). Let g = x - 11. Suppose -2*k - g = 2, -4*l = -5*k + 16. Does -10 = l?
False
Let q(y) = -16*y + 85. Let r be q(5). Let h be (-3)/214*(r - 70/15). Is 1 less than h?
False
Let k = 0.01 + 0.09. Let a = -767.9 + 400.9. Is k less than or equal to a?
False
Suppose -5*l + v = -115, -3*v + 253 = -l + 262. Which is bigger: 255/11 or l?
l
Let v = -112.44 - -112.7881. Do v and -1/4 have the same value?
False
Let v = -18059 - -18093. Let q be (-2)/(-8) + 123/4. Which is smaller: v or q?
q
Let r = 10236 - 10260. Is r > 18?
False
Suppose -2*x - 299 = -339. Do 16 and x have the same value?
False
Suppose 0 = -70*n + 38*n + 512. Suppose -63 - 81 = n*f. Which is bigger: f or -10?
f
Let q = 11077 + -8772983/792. Let k be (-205874)/(-36432) - (2 - -4). Let r = k + q. Which is smaller: 0 or r?
r
Let l(q) = q**2 + 13*q - 27. Let v be l(-15). Suppose -f - 4 = v*w - 5, 3*w + 23 = 5*f. Suppose 25 = 3*p + x - 5*x, 4*x - 41 = -3*p. Is w > p?
False
Let z = 2926 + -2924. Suppose -4*a + 3*a = -300. Let h be a/152 + (4 - z - 4). Are h and -1 equal?
False
Let m = 52 + -29. Suppose 0 = 10*g - 151 - 1129. Let n = 150 - g. Which is greater: n or m?
m
Let h = 44 - 83. Let z(k) = 21*k - 759. Let y be z(37). Let p = y - h. Which is greater: 56 or p?
p
Let c = -1516.37 + -22.63. Let i = c - -960. Which is bigger: -0.1 or i?
-0.1
Let s = -0.407 + -1.463. Let c = s - 26.13. Which is smaller: 1/4 or c?
c
Suppose 43*o + 834 = -1160 - 199. Is -31 < o?
False
Suppose 0 = 3*z + 5*r + 865, 0 = -4*z + 13*r - 12*r - 1138. Let a = z - -297. Is 14 <= a?
False
Let a be -2*(-6 + 1 + 1 + 1). Let m be (a - 33)*-4 - 5. Does 101 = m?
False
Suppose 15*w - 11*w + g + 27 = 0, -5*w + 3*g - 38 = 0. Let l = -190 - -110. Which is bigger: l or w?
w
Suppose 2*v + 14 = -4*m, 24 = -16*m + 17*m - 5*v. Which is smaller: m or -27/37?
m
Suppose -3*k - 15*b + 11*b + 6 = 0, 13 = k + 5*b. Let i be (300/(-55))/(-3) + k. Let y be (1 - 1) + (-1)/1. Is y > i?
False
Let d = 508.1 - 461. Let b = 44 - d. Let n = b + 3. Which is smaller: n or -0.14?
-0.14
Let j(c) = 2*c**2 - 39*c - 124. Let a be j(24). Which is greater: 2700/29 or a?
2700/29
Suppose -20 = z - 3*z + 4*b, 0 = 2*z - b - 11. Suppose z*y + 12 = -4. Which is bigger: -26 or y?
y
Suppose 35 = -7*j - 0*j. Let a(k) = k**2 + 9*k + 16. Let f be a(j). Let w be (-20)/(-15)*(-6)/f. Is w <= 0?
False
Let u be (-92)/(-100) + 4/7*112/800. Is 13/235 equal to u?
False
Let o = 9 - 6. Let t = -30 - -34. Suppose -5*z + 0 = 5*x - 5, -o*x + t*z - 18 = 0. Is -2 not equal to x?
False
Let f be 106/(-46)*(2 - 1) + -111 + 113. Does 0 = f?
False
Let u = 0.142 + -0.08. Let k = u - 10.062. Are -2/19 and k non-equal?
True
Let t = -5 + 9. Let v(b) = 2*b**2 + b - 16. Suppose 5*l + 5 = 2*x, 28*l - 2*x = 30*l + 16. Let g be v(l). Is g >= t?
False
Suppose 10*o = 2296 - 1906. Which is bigger: o or 38?
o
Suppose 5*a + 735*k = 736*k + 913, -3*a + 561 = -5*k. Is 72 at most a?
True
Suppose 3*o - 323 = -308. Suppose -6*n - 85 = -n + j, 51 = -3*n + o*j. Suppose 0*m = 2*m + 30. Is n at most m?
True
Let o = -148 - -92. Let v = o + 198. Which is greater: v or 143?
143
Let r(q) = -q**3 - 4*q**2 - 12*q - 16. Let h be r(-3). Do -429 and h have different values?
True
Suppose 0 = -8*p + 45 - 5. Suppose 3 + p = 4*q. Suppose -q*o - 7 = -1. Which is greater: 3 or o?
3
Let y = -3123 + 28003/9. Let n = y - -34/3. Let c(v) = v**2 + 121*v + 903. Let l be c(-8). Is n at least as big as l?
True
Let z = -25 + 31. Suppose z*d = -235 - 2069. Let g be (-6)/(-39) + 0 + d/(-39). Is 12 at most as big as g?
False
Let y = -11 - -1. Suppose 128 = 16*r + 560. Let b = r + 17. Are b and y nonequal?
False
Let k = 7011.066 - 6991. Let q = k + -20.3. Does q = -0.1?
False
Let z = -244 - -454. Let o = z + -142. Is 69 at most o?
False
Let q = -575 - -748. Let h = q + -14. Is -2/5 less than or equal to h?
True
Let s be 2 - 5/(20/(-68)). Let w(n) = -32*n**2 - 543*n + 40. Let v be w(-17). Which is smaller: s or v?
s
Let k = 888182/876491 + -78/77. Is k greater than or equal to -1?
True
Suppose 24*o + 452 + 652 = 0. Which is bigger: -72 or o?
o
Let w = 482 - 168. Let g = w - 312.499. Let z = g - 1.46. Which is greater: z or 2/9?
2/9
Let c = -13099 - -6405415/489. Let m = -1006/3423 + c. Which is greater: m or -2?
m
Let f = -5174 + 5177. Is 44 less than or equal to f?
False
Let f be 1/(1*(-3)/(-6)). Suppose -5*w - 2*k = -16, f*w - 4 = 3*k - 5*k. Let y = 359 - 357. Is w >= y?
True
Let m = 108078.9984 - 107876. Let p = m + 0.0016. Which is smaller: 1 or p?
1
Suppose -5*i - 172 = -2*v + 212, 2*i + 897 = 5*v. Is 179 > v?
True
Suppose 0 = 2*s - 4*s. Let m = 150 + 50. Let k = -195 + m. Is s >= k?
False
Let r be (-1)/14*30*-7. Let d be (-12)/2 - (-5)/(r/(-102)). Do -37 and d have the same value?
False
Let v = 6969 - 6967. Let n(f) = -2 + 4*f**2 - 1 + f - 3*f**2. Let b be n(v). Which is greater: b or -9?
b
Let m = 3034 + -3126. Which is bigger: -77 or m?
-77
Let n = -10668 - -10982. Which is smaller: n or 328?
n
Let v be (8 + -7)/(21/6). Let y = -54.97 - 1.03. Is v less than y?
False
Let i be -6 + 48/(-8) - -1702. Which is smaller: 1689 or i?
1689
Suppose -29*g - 9*g - 1326 = 992. Which is bigger: -34 or g?
-34
Let n(u) = 5*u**2 + 5 - 7*u + 2*u + 0*u**3 + u**3. Let m be n(-6). Let a be 20/((-800)/(-30))*(-70)/45. Which is smaller: m or a?
a
Let h(a) = a**2 + 49*a + 12. Suppose 0 = b + 3*v, -2*b = b - v + 40. Let u be h(b). Let d = 4756/11 + u. Which is bigger: -1 or d?
d
Let b(a) be the first derivative of -a**2 + 35*a - 20. Let s be b(8). Suppose 4*l - 3 = -s, -2 = -3*f + 2*l. Which is bigger: -2/3 or f?
-2/3
Suppose -2*y = g + 2*y - 34, -4*g - y = -151. Let w = g - 35. Suppose -2*r + 6 - 1 = -5*s, 3*s = w*r - 3. Which is smaller: r or 11/9?
r
Let a = 35 - 56. Let z = 9 + a. Let j = z + 12.1. Which is bigger: j or 0.04?
j
Let u be 33/12 + (-2)/(-4). Let w(y) = y**3 + 22*y**2 - 75*y - 3. Let n be w(-25). Let x = n + u. Which is smaller: -75 or x?
-75
Let d be (128/48)/(2/24). Let c = d + -29. Let l be (-570)/(-110) - 4/22. Which is smaller: l or c?
c
Let s be -2 - -5 - (0/(-2) - -3). Suppose -v + 7*v - 252 = s. Suppose -l + 3*l - 86 = -2*d, 0 = -2*l + 5*d + 79. Is l greater than v?
False
Suppose 0 = -2*f - s - 4, -1 + 7 = -3*f - 5*s. Let n be 119/14*(-1 + 3). Let w = -19 + n. Is f smaller than w?
False
Let x = 6 - 12. Let v be ((-352)/x)/(13/(-39)). Is v greater than -176?
False
Let a be 3 - 0 - (-455)/(-143). Let l = 3548.2 + -3548. Is l >= a?
True
Suppose 2*g - 19*l + 118 = -16*l, -3*g = -5*l + 178. Suppose -a - 121 - 40 = 2*z, 5*z - 516 = 3*a. Let o = a + 112. Is o equal to g?
False
Let g = -6295/11004 + 1/1572. Which is smaller: g or 293?
g
Let y = -143 - -146. Let g be ((-4)/(-8))/(y/2). Let a = -10.7 + 10. Which is smaller: a or g?
a
Let a(y) = 7*y**2 - 18*y - 4. Let g be a(4). Is -0.04 less than g?
True
Suppose 31*z = 2*z + 97440. Which is greater: z or 3361?
3361
Let w = 2781 - 2778. Let z = 45.1 - 43.11. Let l = z - -0.01. Is w at most l?
False
Let p be -1 + 1 + (-123)/8. Let v be (16/(-9)*((-18)/8)/3)/(416/(-312)). Which is bigger: p or v?
v
Let i = -567 + 679. Let x = i + -180. Which is smaller: x or -65?
x
Let g = -1273201/41 - -31052. Let r = g - -25/697. Is 1/4 bigger than r?
True
Let r be 4/(48/9) - 8/(-64)*2. Which is smaller: -1/2414 or r?
-1/2414
Let u = 13573 - 13643. Suppose 5*a + 5*n + 372 = n, -3*a = -4*n + 204. Which is smaller: u or a?
a
Let c(b) be the second derivative of -b**4/12 - b**2/2 - b. Let f be c(0). Let n be 34/153 + ((-1317)/(-756) - 2). Is n bigger than f?
True
Let v be (-526902)/(-274) + 7*-1. Is v <= 1913?
False
Let t = -1.582 - 0.018. Let m = -56.4 + t. Let c = 58 + m. Is -11 at least c?
Fal