*2 + 35*r - 51. Let s(d) = -15*d + 135. Let a be s(8). Let o be b(a). Do 23 and o have different values?
True
Let u = 157 - 10517/67. Let d be (-2)/((-42)/111) - 10/35. Suppose 4*s - 4 = 7*s - 2*w, d*w - 10 = -4*s. Is s greater than u?
False
Let r = -54 - -107. Let x = r - 50. Which is bigger: x or 11?
11
Let u = -1734 + 3206. Is u at least 1472?
True
Let h(d) = -1168*d + 8175. Let m be h(7). Which is bigger: 67/194 or m?
67/194
Suppose 1 + 0 = 4*r - w, 4 = -2*r + 2*w. Let m(f) = 1 - 8162*f + f**2 + 1 + 8155*f. Let z be m(7). Which is smaller: z or r?
r
Let a = 595/4632 + -2/579. Let o be (-2)/4*(-28)/154. Is a greater than o?
True
Let g = -106 + -153. Let u be (2 - g)*(-5 + 168/35). Is -52 greater than u?
True
Let l = -89969585549651/1653 - -54428078485. Let c = -3027463/171 + l. Let t = c + 653. Is -1 at least t?
False
Let s = 1802 - 1801. Which is smaller: s or 1/101?
1/101
Let b = 128 - 76. Let a = b - 61. Let r be (-15)/a - 5/(-15). Which is greater: -4 or r?
r
Suppose -3*f + 3*s = -300, -19*f + 17*f + 204 = -3*s. Let k = f + -17. Which is bigger: 80 or k?
80
Suppose 13*x = 4151 - 4138. Let t = 640/3 - 41602/195. Which is bigger: t or x?
x
Let f(u) = u**2 + 19*u + 91. Let n be f(-8). Suppose -18 = -29*m + 31*m + 4*v, -5*m - n*v = 10. Which is greater: m or 37?
37
Let d = 13.38 - 13.08. Which is smaller: d or 3.3?
d
Let v = -10417 + 10417. Which is smaller: v or 5/1466?
v
Let k be 20/(-30)*(13 + -10)/(2/(-3)). Which is bigger: k or -577?
k
Suppose -19*l = -22 - 16. Suppose -5*b - l*f + 3 = 0, -2*b - 22 = -13*f + 8*f. Is b not equal to -24/11?
True
Suppose 4*z + 5*t - 640 = 0, 4*z = -6*t + 11*t + 600. Let x = -156 + z. Is x at most as big as 2/385?
True
Let j = 0.06173 - 0.11173. Let u be ((-6)/4)/((-2)/8). Let h be ((-9)/(-12))/(u/(-4)). Do j and h have the same value?
False
Let t = -660 + 455. Let g = t - -206. Is 3/146 < g?
True
Let d be (99/(-6))/(25/(-4)*56/140). Which is bigger: 50 or d?
50
Let w be ((136/(-708))/2)/(46/138). Which is greater: w or 0?
0
Let s = 222.2 - 156.2. Is s bigger than 0.06?
True
Let m(r) = r**2 - 2*r + 2. Let u be m(5). Suppose 152*z + 133 = 5*c + 158*z, 9 = 2*c - z. Which is smaller: c or u?
c
Let y = 6104 - 6089. Let c = -56 + 59. Is y greater than c?
True
Suppose -2*y + 4*z - 7*z - 488 = 0, y = z - 239. Let o = -282 - y. Is -83/2 at most o?
True
Let s be -2*(1 + (-1)/((-10)/(-25))). Suppose 0 = -2*w + 3*w - 5*d + 20, -s*w - 3*d = -12. Is -7/10 at least w?
False
Let c be ((-75)/4)/5 - (25 - 11 - 17). Are 1724 and c equal?
False
Let h = 11443/75 + -3456/25. Which is bigger: h or 164?
164
Let d = 25643 + -25515. Which is greater: 112 or d?
d
Let s = 3318 - 1051808/317. Are 0 and s nonequal?
True
Let b = -121 + 240. Let f = -0.0466 + -0.0534. Which is bigger: b or f?
b
Let z = -514 - -513.8. Let d = 252 - 304. Which is greater: z or d?
z
Let r be (1890/637)/5 - (-2)/(-7). Suppose 2*o + 5 = y - 8, o = 5*y + 16. Let l = 10 + o. Which is greater: l or r?
l
Suppose -5*s = -2*d, 5 = -d + 5*s - 0*s. Suppose 5*k = 5*w - d, 0*w = 4*k - w + 4. Which is bigger: k or -3/4?
-3/4
Let h = 20 - 19. Let k = -10060 - -9607298/955. Do k and h have different values?
True
Let n = 5718 + -3667. Is 2/5 at least as big as n?
False
Let y = 9019 + -8671. Which is smaller: 357 or y?
y
Let g = 61 - 113. Let l(j) = j**3 - 76*j**2 + 10*j - 758. Let s be l(76). Which is smaller: s or g?
g
Let b = -8746 + 8746. Which is smaller: -14/341 or b?
-14/341
Let z = -385.01 - -385. Let l = 522 - 14096/27. Which is smaller: z or l?
l
Let y = 3.3 + -1.9. Let z = -151 - -219. Let f = z + -67. Is f less than y?
True
Let g be (-3616)/9065 - ((-22)/5)/11. Is 1 <= g?
False
Let r(v) = -8*v - 4 + 10*v - 5*v**2 + 4*v**2. Let u be r(5). Let k be (-9)/6*2/u. Which is smaller: 0.1 or k?
0.1
Suppose v + 3*f + 3 - 9 = 0, 10 = 2*v + 4*f. Suppose v = -2*w - 1. Let x be 20/(-6)*30/25 + 3. Is w at least x?
False
Let r(u) = 2*u**2 + 47*u - 70. Let n be r(-25). Is -474 at most as big as n?
True
Let f be 2124/(-66) - 0 - (-4)/22. Let v = 28 + f. Which is greater: -23/9 or v?
-23/9
Let a = -19902773/245 + 81236. Which is smaller: -1 or a?
-1
Let x(f) = f**3 + 11*f**2 - 14*f - 20. Let h(k) = 5*k + 23. Let n be h(-7). Let w be x(n). Is 1/18 at most as big as w?
True
Let p be ((-63536)/1980)/((-13)/3). Let k = -1/195 + p. Suppose -3*l = -8 - 13. Which is bigger: k or l?
k
Let s = 1/112 + 5/336. Let w = 51870.7 + -51869.7. Is w smaller than s?
False
Suppose 3*w = 0, 2155 = -3*q - 2*q + w. Let t = -430 - q. Which is greater: 0.59 or t?
t
Let r = 137073/161 - 6023/7. Let j = -2192/161 - r. Which is smaller: -6 or j?
-6
Let j(x) = -2*x**3 + 16*x**2 - 6*x + 16. Let k be j(7). Suppose 0 = -k*t + 70*t + 32. Suppose 5*y + t = -0*m - m, 5*y + 17 = -2*m. Which is smaller: 1/34 or m?
m
Let h = -3803129802 + 1692393684819/445. Let x = h + -2074. Does x = 1?
False
Let g = 72/169 + -136527/338. Let p = 406 + g. Is 4 >= p?
True
Suppose -4*z + 5*j + 31 = 0, 5*z - 15 = 2*z + j. Let a be (7 + (-68)/12)/(z/6). Does a = -35?
False
Suppose -20*r - 1877 = -3*c - 15*r, 4*r + 3124 = 5*c. Which is smaller: 625 or c?
c
Suppose -4*n - d = -3*n - 41, 0 = 2*n - 2*d - 74. Suppose n*i - 40*i = 57. Which is smaller: -56 or i?
i
Suppose 45 + 40 = -t. Let d = 225 - 223. Suppose -79 = x - 4*c - 3, -d*x - 158 = -5*c. Which is smaller: t or x?
t
Let b(p) = -p**3 + 5*p**2 - 6*p + 2. Let j be b(4). Suppose -3*d - 326 - 334 = 0. Let f be 1096/d - ((-276)/66 - -4). Is j >= f?
False
Let g be 368/2024 + 60/33. Which is bigger: g or 5/8?
g
Let w = 289 - 16. Let l = 279 - w. Is -2/43 less than l?
True
Let p = -7371 - -7372. Let w(h) = h**2. Let j(c) = c**2 + 2*c - 1. Let q(b) = j(b) - 5*w(b). Let z be q(1). Which is smaller: z or p?
z
Let q = 74 + -71.68. Let m = -2.28 + q. Let u be 8/66*6/4. Is u at most as big as m?
False
Let t = 38.987 - -0.013. Let x = t + -38.3. Which is bigger: -5 or x?
x
Let q = 15 - 15. Suppose -8*b = -q*b. Suppose b = 3*p - 0*p. Are p and 1/40 equal?
False
Let p = 6269 - 6272. Which is smaller: 44/3 or p?
p
Let o(i) be the second derivative of 0 - 1/6*i**3 + 15/2*i**2 + 11*i. Let d be o(-5). Which is smaller: 21 or d?
d
Let r(c) = -5*c**3 - 15*c**2 + 40*c - 10. Let x(y) = 3*y**3 + 14*y**2 - 39*y + 9. Let q(h) = 2*r(h) + 3*x(h). Let z be q(6). Which is smaller: z or -4?
-4
Let h(a) be the third derivative of -7*a**4/12 - 49*a**3/2 + 138*a**2. Let m be h(-8). Do m and -35 have the same value?
True
Suppose -8*w = -4*w + 52. Let l(b) = -b**3 - 13*b**2 - b - 4. Let g be l(w). Let c = 8 + 0. Which is bigger: c or g?
g
Let i be (-820)/8*4640/200. Is i smaller than -2378?
False
Let h = -99.0084 + 99.1. Let a = h + 0.7084. Which is greater: -9 or a?
a
Let j(b) = -9 - 1 - 2*b + 0*b. Suppose -37 = 2*t + 5*m, -2*m - 3 + 5 = -2*t. Let a be j(t). Which is smaller: a or 1?
1
Let v = 83.6 - -33.4. Let i = -116.98 + v. Are i and 2/3 unequal?
True
Let q = -1872 + 3046. Are q and 1174 non-equal?
False
Suppose 0 = 5*v + 5*r - 25, 3*v - 17 = -0*v - 2*r. Let o be 1/(611/130 + -4). Do v and o have different values?
True
Let x be (-24*(-13)/208)/(1/(-88)). Do x and -116 have different values?
True
Let q(l) = -2*l**2 - 26*l - 16. Let f be (-1 - 16) + -7 + 11 + 1. Let d be q(f). Is d smaller than 10?
True
Suppose 0 = -5*d + 3*n + 31, d - 11 = -9*n + 12*n. Let w be d + 39/(-6) - (-6)/(-4). Is -2 bigger than w?
True
Let v(i) = -2*i**2 + 482*i + 11518. Let m be v(-24). Which is smaller: m or -1200?
m
Suppose 0 = -3*r - 4*u - 4, -3*u = -6*u + 6. Let k be (-2)/((r/(-140))/(3/6)). Let s = k - -29. Which is bigger: s or -5?
-5
Let i = 522410 - 1407621. Let u = i + 11499490/13. Let c = u + 633. Which is smaller: c or -2?
-2
Suppose 0 = z - 22 - 27. Let s(a) = 3*a**2 - 38*a - 221. Let h be s(-5). Let t = h - z. Which is bigger: t or 6?
6
Let i(w) = -w - 8. Suppose 2*p + 4 = 2*t, 2*p + 11*t - 9*t = 16. Let c be i(p). Let h = 12 - 24. Which is greater: h or c?
c
Let i be 1 + 12 - (-97160)/(-7280). Which is greater: i or 12?
12
Suppose -9 + 30 = 3*w. Suppose 0 = w*j - j. Let f be (-6 - j) + 40/10. Is f != 1/3?
True
Let g be 17410/(-43650) - (2 - 60/25). Which is smaller: g or 3?
g
Let c = -12326 - -628636/51. Is 1 at most as big as c?
False
Suppose 2*d = 5*n - 21, 9 = 4*d - 2*d + n. Let t be 1/d - (-2712)/16. Let m be -1 - (t