 or 5?
5
Suppose -75*b + 70*b + 165 = 0. Let s = -27 + b. Suppose s*j = -2*j + 160. Is j less than 20?
False
Let r = -3517/3 - -1155. Let l = -8 + -10. Which is greater: l or r?
r
Suppose 0 = 6*b + 48 - 36. Let t be (-104)/96*2*1. Is b greater than or equal to t?
True
Suppose 0 = 164*f + 38*f + 2339 + 5135. Which is smaller: -1019/28 or f?
f
Suppose 19*d + 120 = 24*d. Suppose -3*k - d + 15 = 0. Let z be (20/15)/((-1)/(k/1)). Which is smaller: 24/5 or z?
z
Suppose 0 = -2*b - 3*k - 10, -4*k + 3 = 19. Let l be ((-6870)/516 + 13)/(18/(-12)). Are b and l unequal?
True
Let b be 35113/52 + (-2)/8. Let y = b + -470. Let g = 813/4 - y. Do g and -3 have the same value?
False
Let u be 1/2 + (-7)/(-2). Suppose 23*y - 4*y - 133 = 0. Suppose -4*r - 5*d - 11 = 0, r + u*d + y = -2*r. Is r at least as big as -2?
False
Suppose -f - 489 = -4*r - r, -289 = -3*r + 5*f. Let x = r + -92. Let s be (-1 - -2)/(x*4/96). Is s less than 7?
True
Suppose -3*t = -5*t - 3*t. Let y(b) = b**3 - b**2 + 2*b + 39. Let u be y(t). Which is greater: u or 42?
42
Let j = -1549/6 + 517/2. Which is smaller: j or 27/100?
27/100
Let v = 9714 - 8797. Which is greater: v or 915?
v
Let s = -16097/1309 - 181/119. Let x be (-4)/((-12)/(-45))*1. Which is smaller: x or s?
x
Let b(s) = s**2 + 14*s + 49. Let w = -118 - -108. Let x be b(w). Do 2 and x have different values?
True
Let k = -0.8713 + -0.1287. Which is smaller: 16/7 or k?
k
Suppose 0*y = -y - 56. Let h = -26 - y. Let j = h - 30. Are j and 1/18 equal?
False
Suppose -18 + 3 = -5*t. Suppose -2*p = g + t, -3*g + 4*p + 3 = -6*g. Let q = -7.42 + 5.82. Which is bigger: q or g?
g
Let m(p) = p + 14. Let c(t) = -t - 13. Suppose 18 = 2*n - 4*z, -4*n - z = -10 - 8. Let x(i) = n*c(i) + 4*m(i). Let w be x(-5). Which is smaller: -2 or w?
w
Let d be (128/(-8088))/((-20)/(-8850)) - 7/(-1). Do -1 and d have different values?
True
Let z be 112/(-14) + (-363735)/(-45465). Is 0 less than or equal to z?
True
Suppose -57*c - 6650 = -19*c. Suppose 0 = -5*p - 4*x + 11 - 18, -5*p = x - 2. Is p at most c?
False
Suppose 2*d - 12 = 9*g - 8*g, 0 = -5*d + 4*g + 27. Suppose 23 = 6*x - d. Let h be (-2)/(1 + x) + 0. Which is greater: -1/23 or h?
-1/23
Suppose r = 4, 2*r - 7 = 2*u + 61. Which is bigger: 18 or u?
18
Let y = -1664228/3 + 549262. Which is greater: y or -5482?
y
Let l = 681935 + -7491079/11. Which is smaller: l or 927?
927
Let h be (-102)/306*6*4. Which is bigger: h or -41?
h
Suppose -2*s = -3978783282 - 953192872. Let r = s + -36484293526574/14795. Let k = r - 1/1345. Which is bigger: k or 4?
k
Let f(m) = -2*m + 3. Let v be f(-1). Suppose -2*a + 0 + 8 = -2*p, 3*p + 14 = v*a. Is -1/49 at least a?
False
Let o(m) = m - 5. Let z be o(6). Let d = -40192 - -40202. Is z < d?
True
Suppose b - 5*b + 5*p + 997 = 0, -2*b = -p - 491. Suppose 2*m + 7*m = -b. Which is smaller: m or -24?
m
Let k = 9094 - 9035. Suppose 4*u = 2*m - 12, 3*u + m + 0*m = -4. Which is smaller: u or k?
u
Let t(h) = 25*h + 107. Let u be t(-4). Let x(m) = 9*m + 4. Let l be x(5). Let b = l + -41. Which is smaller: b or u?
u
Let p = -0.0399 + 112.6199. Let c = 92.6 - p. Let y = -1.02 + c. Which is smaller: y or 2/7?
y
Let h = -728/9 + 26648/333. Are h and -2 equal?
False
Let h be (-130)/1235 - 11632/(-38). Let f = h - 306. Are -2/1273 and f unequal?
True
Suppose -60*x - 504 = -564. Which is smaller: 1/2116 or x?
1/2116
Let h(n) = -n**3 - 22*n**2 - 19*n + 45. Let u be h(-21). Suppose 5*b - 4 - 27 = -u*o, -o = b - 7. Which is bigger: -10 or o?
o
Let f = -326 + 325. Let h be -2 + ((-3311)/662 - -7). Which is smaller: h or f?
f
Suppose 17*p = 62*p. Which is greater: -2/1089 or p?
p
Suppose 2*o - 6*o = 5*r - 7, 0 = 3*o - r + 9. Let c be 56*4/8 + (o - 1). Suppose -8*v + 2*w + 106 = -4*v, -2*w - 28 = -v. Is c at least v?
False
Let y(l) = -171*l - 1261. Let n be y(-7). Does -210 = n?
False
Suppose 3*o = -5 + 11. Suppose 8*z - 6*z + 971 = -l, o*l = z + 498. Which is smaller: -487 or z?
z
Let p = 4872 - 4866.6. Which is smaller: -23/10 or p?
-23/10
Let w = 257.245 - 123.252. Let a = w - 134. Are -1 and a equal?
False
Let v = -347656/31 - -11216. Let f be (0/(30 + -7))/2. Which is smaller: v or f?
f
Suppose 762 = -5*l + 122. Let s = -1277/10 - l. Let u = 12 - 11. Are s and u nonequal?
True
Suppose 5*w - 2*f - 11838 = 4*w, 3*w - 35499 = f. Are w and 11832 equal?
True
Suppose 0 = -21*h + 15*h + 192. Suppose 4*k = x - h, 0 = -4*x + 4*k - 0*k + 68. Is 110/9 less than or equal to x?
False
Let j(t) = -2*t**2 + 17*t - 7. Let c(n) = n**3 - 19*n**2 - 20*n + 8. Let k be c(20). Let q be j(k). Let o be (2 - q)/((-40)/12 + 3). Does o = -1?
False
Let n = 25728 + -24421. Which is bigger: n or 1305?
n
Let l(c) = c - 7. Let k be l(5). Let y be (((-131131)/(-32024))/(-11))/((-11)/k). Let b = y - 2/4003. Are 1 and b nonequal?
True
Let l = -286/3 - -181/2. Suppose 14 = -s - s. Let q(w) = 2*w + 9. Let v be q(s). Are v and l nonequal?
True
Let y = -4568 - -4718.1. Which is smaller: -2 or y?
-2
Suppose 3*f + 0*f + 5*n = 9, -f + 7 = 3*n. Suppose -5*a + 5*c = 180, -20 = -9*c + 5*c. Let o = a + 32. Which is bigger: o or f?
o
Let h be 5/(-8)*(-164)/(-205). Which is smaller: -541 or h?
-541
Let g(w) = -w - 2. Let n(x) = x**2 + 16*x - 43. Let r be n(-18). Let p be g(r). Suppose -p*h = 3*j - 104, -2*j + 4*j + 5*h - 76 = 0. Is j greater than 27?
True
Let w = -22157/13205595 - -6/3133. Which is smaller: w or 1?
w
Let w be 2 + 17787/(-18) + 12/72. Is w not equal to -986?
False
Let a = -1587 - -1581. Which is bigger: 118 or a?
118
Let r be ((27/12)/((-14)/(-28)))/((-276)/32). Is -2 less than or equal to r?
True
Let j = -21 + 35. Let b be (-7)/(j/(-36)) + 1. Let p = 244/13 - b. Is 0 > p?
True
Let q(y) = y + 23. Let k(a) = -2*a - 23. Let l(d) = -3*k(d) - 4*q(d). Let v be l(13). Suppose 3*m = -4*m + v*m. Is m > 0.1?
False
Let a be (-4)/(-26) - -3*(-482628)/2340. Is -619 bigger than a?
False
Let t(f) = f**3 + f**2 - 7*f + 6. Let v be t(-3). Suppose 0 = -18*p + v*p. Which is smaller: p or -1/188?
-1/188
Let u = -45/2 - -227/10. Suppose 5 = b + 2. Suppose 0 = -b*k - s + 6, 0 = 4*k - 0*s + 4*s. Is k less than u?
False
Let z = -30.34 - -30.084. Which is smaller: z or -3?
-3
Suppose -2*z + 5*l + 764 = 0, 5*z + 4*l - 1018 - 958 = 0. Let x be 10/2 - z/70. Let b = 0 - -0.1. Is b > x?
True
Let w = 1/11664 + -112795/501552. Is w at most as big as -1?
False
Let p(d) = -28*d - 202. Let g be p(-7). Let f be ((-45)/34)/(9/36). Are g and f unequal?
True
Suppose 12 = -7*t + 13*t. Suppose -2*d - 32 = t*d. Let u be (-2)/d*70/21. Which is smaller: u or 0?
0
Let m = -739 + 742. Suppose -9 = j + 2*j. Let y = 6 - j. Do m and y have the same value?
False
Suppose -6*l - l + 210 = 0. Let s be (-3)/9*l/(-5) - 3. Is -14/11 >= s?
False
Let d = 15 + -11. Let i = -9 + d. Let w = 462 - 461.97. Is w at most as big as i?
False
Suppose -4*d - 3*z - 85 = 0, 5*d - 17 = -z - 115. Is -840/41 equal to d?
False
Let j = 0.136 + 56.864. Let g = 3.209 + -3.04. Let q = g + -0.069. Which is smaller: j or q?
q
Let q = 33884105597/11458757895 - -3/365351701. Let g = 44/15 - q. Which is greater: g or -1?
g
Let p be 1/(-1) + -1 + 6. Suppose p*q + 6 = 10. Let h = -1598 + 1600. Do h and q have different values?
True
Let g = -1151 + 1152. Let v = -14398/355 - -203/5. Is g > v?
True
Let c be (458 - (0 + -6))/((-10)/(-3) - 4). Is -697 less than c?
True
Let x(a) = -588 + 61*a - 43*a**2 + 116*a**2 - 74*a**2. Let p be x(12). Let n = 4/35 + -247/1855. Is n smaller than p?
True
Let j be (-18)/(15 - 18) + 1 + 2901. Is 2909 at least j?
True
Suppose -394 = 14*f + 236. Let s be 9 - f/(-81)*15. Is 39 bigger than s?
True
Suppose 456 = 164*q - 161*q - 3*g, 4*g - 280 = -2*q. Is 117 != q?
True
Let k = -0.225 + 286.225. Let y = 286.023 - k. Is y at most 1?
True
Let k(n) = -n**2 + 13*n - 7. Let m be k(6). Let x be ((-8)/(-10))/(6/15 - 0). Let b be 14/m*x/(6/(-15)). Is 0 at least as big as b?
True
Let r be 1 - (3/7 - (-528)/(-154)). Let l(i) be the first derivative of i**3/3 + 5*i**2/2 - 5*i + 4. Let u be l(-5). Is r > u?
True
Let n = -832 + 259. Let f = n + 707. Which is smaller: 2/7 or f?
2/7
Let w = -2947 + 2937. Which is greater: 45 or w?
45
Suppose -3121 = 34*u - 3189. Let o(w) be the first derivative of -w**2/2 + 4*w - 1. Let x be o(6). Which is greater: u or x?
u
Let c(u) = -5*u + 43. Let i be c(10). Let s