 = -16 + v. Let n = l + 6. Which is greater: -1 or n?
-1
Let w be 5/(-2)*24/(-20). Let z be 159/81 - -1 - w. Which is smaller: z or -1?
-1
Let a = -1330/9 - -1220/9. Is -11 greater than or equal to a?
True
Suppose 0 = 21*u - 25*u - 156. Is u > -350/9?
False
Suppose -13*p = -17*p + 128. Let b = 31 - p. Is b at most 1/7?
True
Let k(c) = c. Let p be k(2). Let f be p/(-8)*(-1 - -5). Let s be ((-2)/(-26)*-3)/1. Are s and f equal?
False
Suppose -10 = -2*l, 6*l = -2*w + l + 311. Suppose -5*z - 4*d = -w, -z - d + 19 = -5*d. Is 28 >= z?
True
Let i be -268*3/(105/4). Let y = i + 156/5. Let q = 17 - 17. Do y and q have the same value?
False
Let h = 129 - 132. Which is bigger: -0.3 or h?
-0.3
Let w be ((-14)/(-10) - 2) + 138/5. Let c = 67 - w. Is 41 >= c?
True
Let w = -14.59 - -15.3. Let o = -0.29 - w. Which is bigger: o or 2?
2
Suppose -8*j + 5*j + 24 = 0. Suppose -j = 5*h - 7*h. Let v be ((-22)/(-8))/((-3)/h). Are v and -4 nonequal?
True
Suppose -v - 3*t + 2 = 0, 0*t + 2*t - 5 = 3*v. Suppose 3*i + 2535 = -0*i. Let p = i + 41403/49. Which is bigger: p or v?
p
Let n(w) = w**2 + 7*w + 7. Let i be n(-6). Let k = -852595063/1518 + 561657. Let z = k + -5/33. Which is bigger: i or z?
i
Suppose 3*x + 0 + 18 = 0. Let v be (-16)/(-498)*x/(-8). Let a(w) = -w**3 - w**2 + 6*w - 1. Let l be a(2). Which is smaller: v or l?
l
Let v = -901 - -130. Which is greater: -770 or v?
-770
Let d be 1005/9 + (-4)/(-12)*1. Which is smaller: -1 or d?
-1
Suppose 3*z = 4*c - 15, 4*c + 4*z + 20 = c. Let o = -5 + 8. Which is smaller: c or o?
c
Let y = -22.034 - -0.034. Let b = 12.9 - 35.2. Let q = b - y. Which is smaller: q or -5?
-5
Let v = -793211/128 - -6197. Do -1 and v have different values?
True
Let h = 9853/13 - 758. Suppose 0*u - 8 = 4*u. Is u > h?
False
Let h = 31 - 27. Suppose -2*n - 10 = -h*z - n, 5*z - 2*n = 11. Is 1 greater than or equal to z?
False
Let y = 5.443 - 5.5. Is -2 smaller than y?
True
Let u be ((-16)/10)/(-4 + 21/5). Which is bigger: -33 or u?
u
Let l(j) = j**2 - 3*j + 2. Let v be l(-4). Let o = v + -35. Is -6 at least as big as o?
False
Let u be (-1359)/405*-1 - (2 - -1). Is -1 bigger than u?
False
Let d = -38.8 + 62. Let p = 22.995 - -0.005. Let i = d - p. Is i less than -1/16?
False
Let v = 0.23 + -0.66. Let d = v - -0.33. Which is bigger: d or -0.08?
-0.08
Suppose -2*i + i = -1. Let k be 2 + (i - 5)/1. Let j be (44/(-55))/(k/(-45)). Is j at least -18?
True
Suppose -6*v - 7 - 11 = 0. Let o(k) = 3*k**2 + 9*k + 18. Let x be o(v). Which is smaller: x or 15?
15
Suppose 0 = 14*b - 2*b - 60. Suppose 2*k = -b*z + 22, 4*k - 2*z - 2*z + 12 = 0. Is -5.1 at most as big as k?
True
Let t = 27.726 + -27.726. Let u = 92 + -45. Are t and u unequal?
True
Suppose 6 = -q - 3. Suppose 0 = -c + 3*a - 18, -24 = 2*c + 2*a - 4*a. Let n(u) = u**2 + 7*u - 26. Let y be n(c). Does q = y?
False
Suppose 0 = 2*u + 2*u + 2*p - 2, 0 = -4*u - 4*p + 8. Let r(o) = 2*o - 1. Let a be r(-2). Let c = a - u. Which is smaller: -3 or c?
c
Let k be 1006/(-6060) + 10/60. Is k greater than -1?
True
Let x = 0.1177 - -164.9823. Let k = 165 - x. Which is greater: -94 or k?
k
Let v = 91.043 - 0.043. Let c = v + -91.4. Is c greater than -9?
True
Let h = 96 + -188. Let c be 1/(0 + 2)*h/(-5). Is 8 greater than or equal to c?
False
Suppose -13*o - 10 = -18*o. Let y = 190 + -130. Suppose -2*p - o*p = -y. Is p at least as big as 14?
True
Let j = 249 - 251. Which is bigger: j or -312?
j
Let t(c) = -15*c - 7. Let p(k) = -32*k - 15. Let l(v) = 6*p(v) - 13*t(v). Let q be l(-3). Which is smaller: -0.05 or q?
q
Let y = -11.06 + 11. Let l be (-1)/(1*(-33)/15). Let z = 4/33 - l. Do y and z have different values?
True
Suppose l + 25 = -0*n + 5*n, -3*l = 0. Let y be (-1)/(1/(-3) + 0). Suppose -z - 2*z = -y*d - 3, -2 = n*d - 2*z. Which is smaller: -0.6 or d?
-0.6
Let a = 0.15 + 1.91. Let c = a + 0.74. Which is bigger: 0.2 or c?
c
Let k(a) = -4*a**3 - a. Let n be k(-1). Suppose i = t - 9, i = t - 5*t + 26. Suppose 0 = t*x - 12 - 23. Is x less than n?
False
Let s(g) = 2*g**2 - 2*g - 25. Let m be s(6). Is m > 31?
True
Let m be 54/432 + -2*209/16. Is m at least as big as -105/4?
True
Let w be (-36)/45*15/(-18). Which is smaller: w or -2/47?
-2/47
Let b = 3770 + -524038/139. Which is bigger: 0 or b?
0
Let o(t) = t**2 - 29*t - 95. Let f be o(32). Is f >= -2/75?
True
Let u(k) = k**3 - 21*k**2 - 25*k + 24. Let b be u(22). Let x be (-112)/(-6) - (-28)/b. Let r be (x/12)/((-15)/6). Which is smaller: r or 0?
r
Let f be -2 - (1 + 118/(-2)). Do 56 and f have different values?
False
Suppose -5*r = -2*x + 139, -2 = -3*r + 1. Suppose -4*z = -x - 344. Let d = -2183/21 + z. Which is greater: -1 or d?
d
Let h(m) = 4*m + 1. Suppose -y - 2*y = b + 17, 4*y + 12 = 0. Let p be h(b). Which is smaller: -2/5 or p?
p
Let w(q) = q**2 + 5*q + 49. Let o be w(-15). Which is bigger: 200 or o?
200
Let n be (10/(-15))/(-1)*6. Suppose -6*b + n*b = 0. Let k be (-4 + b - -7)/1. Which is greater: k or -4?
k
Let h = -512 - -664. Which is greater: 4 or h?
h
Let c = -594 - -588. Is c < 9?
True
Let b(r) = 575*r**2 - 2*r - 1. Let k be b(-1). Let i be (k/(-8))/((-21)/2). Let h = i + -295/42. Is h less than 1?
True
Let z = 40 - 40. Are -1/35 and z unequal?
True
Suppose 4*i + a + 7 = 0, 5 = 5*i - 2*a + 30. Let d = 62 + -77. Are i and d non-equal?
True
Let a = -2852/9 + 314. Are a and -4 nonequal?
True
Suppose 0 = 3*h - 5*h - 4*u + 4, -3*u = 2*h - 5. Suppose -h*o + 3*w = -7*o + 9, 0 = 3*o + 5*w - 1. Let q be 2/36*(-3 + o). Is q bigger than -0.01?
True
Let v be 12/(-3) + 4/(-4). Let i be v/(-15) + (-1)/(-3). Suppose -4*m = -9*m. Is i at most m?
False
Suppose 5*v - 9*r + 7*r + 4504 = 0, 5*r + 890 = -v. Which is smaller: -899 or v?
v
Let o = 225 + -1581/7. Let z = 718/171 - 84/19. Which is bigger: z or o?
z
Let d be ((-18)/(-21))/(((-10)/28)/(-5)). Let l = 221 + -207. Which is bigger: d or l?
l
Let i(r) = -r**3 + 14*r**2 - 18*r - 48. Let p be i(12). Do p and 19 have the same value?
False
Let p(t) = 4*t - 3. Let j be p(-3). Let w be (-252)/45*(-15)/(-6). Which is bigger: w or j?
w
Let a be (646/(-190))/(1/(-5)). Do 17 and a have different values?
False
Suppose 270*a + 9 = 5*f + 268*a, f + 2*a = 9. Suppose 3*y - y = 4. Let v be y*1 - (-3 + 1). Is f at most as big as v?
True
Let w be 2*1 - 139191/69637. Which is smaller: 0 or w?
0
Let o be 14/(-4) + 9/(-18). Let s be 5/(-25)*(o - 1). Suppose -4*c + k = -44, -3*k + 5 = -2*c + 17. Which is smaller: c or s?
s
Let m = 3/5 + -1/10. Let u = -73.1 - -73.1. Is u != m?
True
Suppose 5*g = -2*f + 11, 4*f = -7*g + 12*g + 7. Which is greater: g or -106?
g
Let d = 21 + -20. Let z = -756/11 - -62792/913. Let a = z - 330/3403. Is d bigger than a?
True
Suppose -15*b + 10*b = -110. Let q be 11/b*(2 + -1 + -1). Is q at least as big as 0?
True
Let v be -6*1*5/10. Let l be (10/20)/(8/(-30)). Which is greater: v or l?
l
Suppose 172*c + 93 = 175*c + 3*h, -4 = -h. Which is smaller: 287/11 or c?
287/11
Let a be (6 - 5)/((12/(-2768))/3). Which is greater: -691 or a?
-691
Let u = 238 + -575. Let p = u - -3706/11. Let y be 1*(1 + -1 + -1). Is p bigger than y?
True
Let x(k) = -5*k - 228. Let j be x(-33). Let y be (-2 + 65)*(0 - 1). Are j and y unequal?
False
Let t = -33 - 3. Let w = 17 - 3. Let z be ((-2)/w)/((-3)/t). Is z < -1?
True
Let t = -67 + 71.95. Let b = t - 5. Which is smaller: 0.1 or b?
b
Suppose 0 = -2*n - 5*y + 37, y = 4*n + 4*y - 39. Suppose -n*u = -u - 10. Is -0.2 less than u?
True
Suppose -5*z - 15 = 5*o, 9 = -4*z + 6*z - o. Suppose 2*d - 4 = z*i, 5*d = 2*d + 5*i + 12. Which is bigger: d or 2/15?
2/15
Let q = 26 - 23.8. Let z = q - 2. Let n = -1 + -1. Which is greater: n or z?
z
Let q be (-3)/(-2) + 11 + (-29032)/2320. Let m be (-3)/7 + 44/(-77). Which is smaller: m or q?
m
Let g be 0/(1/(-1) - 0). Let v = 343/3 + -14740/129. Does v = g?
False
Let j = -220 + 212. Which is smaller: j or -29?
-29
Let g = 17 - 3. Let t(d) = -d**3 + 7*d**2 - 13*d + 18. Let p be t(4). Is p <= g?
True
Let l = -373 - -369. Which is bigger: l or 2/11?
2/11
Let f be 12/(-36)*35/(-7). Do -23 and f have different values?
True
Let h be -1*(1 + -3 + -1). Suppose 0 = 2*j + 3*j + h*z - 8, 3*j - 4*z = 28. Suppose -4*s + 4 = -4*t, -5*t + 18 - 3 = 0. Is j != s?
False
Let i = 14760 - 162336/11. Let t = 3 - 4. Let c be t/2*(0 + -6). Which is smaller: c or i?
i
Let g(x) = 