 Let x be n(-17). Which is smaller: o or x?
o
Let p be 13 + (-46 - (-132)/12). Is p > -20?
False
Suppose -u = 2*q - 104, -3*u = -4*u - 2. Let n = 11231 - 11178. Is q at least n?
True
Let j = 587 - 1248. Let g = 660.98 + j. Let a = 7 - 4. Which is smaller: g or a?
g
Let h = -6.776 - -7. Let c = h + -0.131. Let z = c - -0.007. Is 17 not equal to z?
True
Suppose 12*y - 6 = 54. Suppose 5 = 3*l - 4*h + 1, -5*h = 4*l + y. Which is smaller: 2/95 or l?
l
Let w be 4870/17192 + (-8)/42*(-27)/(-18). Is w > 1?
False
Let i = -20.71 + 20.6875. Do 10 and i have the same value?
False
Let r = 6.9 - 7.1. Let b = -0.26 + 8.26. Let a = -8.2 + b. Are a and r non-equal?
False
Suppose -614 = 232*u - 150. Do u and -105.5 have the same value?
False
Let d = 253481/5038 + -1107/22. Does d = 0?
False
Let x(a) = -a**2 + a - 157. Let v be x(0). Let g(h) = 60*h**2 + 912*h + 24. Let y be g(-15). Which is bigger: y or v?
y
Let p(m) = m**3 + 6*m**2 - 6. Let j be p(-6). Let f be (-556)/12 + 4/j. Let o = 0.6285 + -0.6285. Is f greater than o?
False
Let f be 1/(-6)*(-126)/(-8)*(-142485)/(-1610). Is f <= -233?
False
Let l be (5 + (-85)/15)*(-30)/(-162480). Which is greater: l or -1?
l
Let d = -26710.74 - -26711. Let w = -0.4 - -0.3. Let c = w + -0.9. Which is smaller: c or d?
c
Let s = -17944 + 16643. Is s equal to -1301?
True
Let x be (-50)/(-2)*1/6. Let k = 14/3 - x. Let m = -16536 - -16576. Which is greater: k or m?
m
Let u(p) = -p**3 - 6*p**2 + 5*p - 17. Let n be u(-7). Let d = n - -1. Let v be 80/30*15/d. Is v <= -19?
True
Suppose -3729 = -424*u + 427*u. Which is smaller: u or -1244?
-1244
Suppose -y = -4*v + 6*v - 11, 3*v - 10 = 5*y. Suppose 3*f = 2*l + 73, -v*f = 3*l - 2*f + 102. Is 0.1 at most l?
False
Let t = -53/3 - -121/3. Let a = 23 - t. Is -4 at least as big as a?
False
Let f = -114 - -117.9. Let t = -100.9 + 106. Let j = t + f. Which is bigger: j or 1/3?
j
Let t be 2*(-4 - -30) - -5. Let n = t + -31. Is n at most as big as 26?
True
Let n = 7197.7 + -7198. Which is smaller: n or -11.1?
-11.1
Let o be (-16)/(-558)*(10 - (-3 + 1967/140)). Which is smaller: o or -0.2?
-0.2
Let g = -105 - -193. Which is greater: 1/36 or g?
g
Let o = 2346 - 9383/4. Which is smaller: o or 706?
o
Suppose 2*v - 393 = -3*s, -4*s + 592 = 18*v - 15*v. Is 1/8 smaller than v?
True
Let m = -45944 + 44988. Are m and -958 nonequal?
True
Suppose -8*d + 5*d - 372 = 0. Let j be (-20)/30 - d/6. Let z = j - 62/3. Which is bigger: z or 0.5?
0.5
Let v be ((-2682)/12)/(14 + (-2289)/168). Let n = 0.8 + 0.2. Is n > v?
True
Let x be 1/(-4) - (2049/(-276) - -7). Is -1 <= x?
True
Let c(t) = -25*t**2 - 648*t + 59. Let g be c(-26). Is g at most as big as 87?
True
Suppose 14*q - 3*p + 257 = 16*q, -4*q + 502 = 2*p. Which is smaller: q or 15?
15
Let t = 11584/9 + -1284. Suppose -55 = 148*w - 211*w + 134. Which is bigger: w or t?
t
Let g be (23 - 23)/(15*(-14)/21). Let n be ((-32)/15)/(-4) - 0. Are g and n equal?
False
Let o(p) = -24*p**3 + 4*p**2 - 6*p + 7. Let f be o(2). Let q = f - -180. Is q >= 1/143?
False
Let c(b) = 2*b + 16. Let d be (-8)/4*3/(-2). Suppose q + d*l - 16 = -l, 5*q - 64 = -4*l. Let o be c(q). Is 41 less than o?
False
Let f = -10144/5 + 93892859/46280. Is f bigger than 0?
False
Let r(u) = -5*u - 63. Let n be r(-13). Suppose -8*k - 280 = n*k. Let z be 5 - k/5 - (-6)/15. Do z and 14 have the same value?
False
Let x = -20049 - -20087. Suppose 2*l + 11 = 5*t, -3*t + 2 = -7. Is l bigger than x?
False
Let l(f) = -38*f + 194. Let b be l(5). Suppose b*u = 4*z - 526 - 158, -u + 843 = 5*z. Which is smaller: z or 170?
z
Suppose -o - 28 = o. Suppose -85 = -4*t - f, 5*t + 13 - 117 = -2*f. Let l be (-32 + 30)/(t/10 - 2). Which is smaller: l or o?
o
Let z = -0.0187 - -0.0187. Let c = -57 + 52.2. Let o = c + 8.6. Is z less than o?
True
Let d be 4/18 - 48/(-27). Let k = -1675 + 1561.95. Let a = k - -113. Is a greater than d?
False
Let o be (43 - 1)/((-8)/(-10)). Let d be ((-1)/2)/((-201)/(-1166) - 148/814). Is o less than d?
True
Let k be 0/((-2)/(2/1)). Let u = 23088271/111 - 624007/3. Does u = k?
False
Let r = -17 + 23. Suppose r*j = 26 + 46. Let a = 448 - 435. Which is greater: a or j?
a
Let x be ((17/(153/(-54)))/((-16)/8))/(-1). Suppose 5*r - 5*i = -30, 4*r + 2*i + 3 + 3 = 0. Let f be r/(-5)*1*-6. Is x equal to f?
False
Let u be (3/(-36)*-4)/((-1)/(-63)). Suppose 0 = h + 38 - u. Let m = 18 + h. Which is greater: 2/63 or m?
m
Suppose 5*l - 3*f + 0 - 3 = 0, f = 4. Let x(r) = 35*r. Let j be x(4). Let b be 4/(-8) + 430/j. Which is bigger: l or b?
l
Let x(b) = b**2 + 4*b - 4. Let m be x(-6). Suppose 11*a - 11 = -66. Let z = m + a. Is z greater than or equal to 6/5?
True
Let j be (-2480)/930 - 22/(-8). Let k(x) = -x**2 - 6*x - 4. Let m be k(-4). Suppose 0 = m*a - 0*a + 4. Is j > a?
True
Suppose -29765*m + 29943*m = 3382. Let k(u) = u**3 - 4*u**2 - 2*u - 7. Let d be k(5). Which is smaller: d or m?
d
Let v = 293490 + -293490.5. Let z = 0.052 - 56.052. Is v at most as big as z?
False
Let w be (-5)/3 - 107136/(-49896). Which is smaller: 1 or w?
w
Let k = 0.027228 + -0.087228. Suppose -d + 3 = 5*t, -2*d - 78 = 2*d + 2*t. Is k greater than or equal to d?
True
Suppose -23*z + 8*z + 12393 = 36*z. Which is smaller: z or -51?
-51
Suppose 0 = -8*z + 11581 - 533. Is z bigger than 2/13?
True
Let f be (-2*(-4)/(-8))/1. Suppose 4*k + 4*u + u = 274, -322 = -5*k + 4*u. Let l be 3/((-1159)/22 + 12/k). Which is bigger: l or f?
l
Suppose -5*r = -o + 2276 + 68, 2*r + o = -939. Are -2 and r nonequal?
True
Let b = -138.4 + 138.2. Which is bigger: b or 1/166?
1/166
Let m be (-1 - -4863)/(-17) - -11. Is -13 > m?
True
Let v(b) = -198*b + 7. Let q be v(-6). Let m = q - 492339/412. Let a = m + 795/11948. Which is bigger: 1 or a?
1
Let x be -20 + (-30860)/20 + -18. Which is smaller: -2 or x?
x
Let q be (8 - (-28)/(-6)) + (-15)/(-9). Suppose 2*l - 2*n = 180, 2*l + q*n - 82 - 98 = 0. Is 90 greater than or equal to l?
True
Suppose 0 = y + g + 1 - 17, 5*y - 4*g - 98 = 0. Suppose -2*b = 4*u + 80, b = 2*u + 22 + y. Let z = -21 - u. Which is bigger: z or -2?
z
Suppose -126*c + 122*c = 4*y + 20700, 2*c + 10377 = -5*y. Is -5171 bigger than c?
False
Let z = 18005 - 18008.45. Is 4/3 at most z?
False
Let g = -2051645230043767/682 - -3008278163714. Let w = g - 700307. Let q = w + -5/62. Is q at least as big as -1?
True
Suppose -2*t - 5*a + 19 = 0, -3*a + 14 + 3 = 4*t. Let x be t - (8/5)/((-19)/(-38)). Is x smaller than -1?
True
Suppose -2 + 17 = 5*n. Let g be 154/22 + (n*1 - 1). Suppose x - 10 + g = 0. Which is greater: x or -3/23?
x
Suppose 11*w - 48 = -w. Suppose -2*q + 6 = 0, -32 = 4*b + b - w*q. Let c be (-336)/(-80) + b/(-5). Is 15/4 smaller than c?
True
Let w be (-1)/(324/(-45) - -7) - 5. Is w equal to -290?
False
Let h(u) be the second derivative of u**4/12 + 7*u**3/2 - 11*u**2 + 13*u. Let n be h(-22). Suppose -w + 9*w - w = n. Is -1/11 greater than w?
False
Suppose -1 = 5*h + 2*c, 3*h + 2*h + c = -3. Let g = 64 - 70. Let f be g/(-81)*(-11 + -1). Which is greater: f or h?
f
Let v = -14.419 - -19.419. Which is bigger: 51.7 or v?
51.7
Let u be -1 + 48/(-14) + (-452)/791. Let w = -0.95 - -1. Is w bigger than u?
True
Let b = 7.17 + 2.13. Let k = -88.3 + b. Let r = k + 79.13. Which is bigger: r or -0.1?
r
Let g = -29386 - -29362. Which is bigger: 15.8 or g?
15.8
Suppose -4*s + 148 = -2*i, 3*s - 85 - 41 = -i. Which is smaller: s or 577/14?
s
Let r = 229 - 30. Is 2/7 > r?
False
Suppose 0 = -3*r + 5*t - 85, 2*r = -4*t - 36 - 6. Let m = r + 178/7. Let s = -11 + 6. Do s and m have the same value?
False
Suppose 16 = 9*x - 11. Suppose 4*w + x*i + i - 92 = 0, 0 = 3*w + 2*i - 73. Is w greater than 30?
False
Let v be (3/(-522))/((-1)/8). Let r be 1687/(-10332)*-15*1/(435/(-6)). Let o = v + r. Is o greater than 0?
True
Suppose 5*w - 3*w + 32 = 0. Let s be ((-4443)/12)/((-4)/w). Let u = s + 81457/55. Which is smaller: u or 1?
u
Suppose 2*b - 4648 = -734. Let v be b/391 + 1 + -6. Which is smaller: v or 0?
0
Let u be 7412/8 + 20/(-8). Let b = u - 937. Which is smaller: b or -29?
-29
Suppose -3*f - 3 = 3*m, 6 = 4*m - 5*f + 4*f. Is m at least 6/241?
True
Suppose 3*w = 2*w - 3, 4*w = 5*b - 32. Let x be (b - 157/4) + 4/16. Does -34 = x?
False
Let f = 3953 + -4059. Is f less than -106?
False
Suppose 20 = -0*f - 2*f. Let m be f/(-6) - 1/(-3). Let x be 45/468 + m/(-8). Is