4?
o
Let x = 63980/387 - 7128/43. Suppose 3*h - 12 - 9 = 0. Does x = h?
False
Let x = 149.59 + -155.813. Let a = x + 0.223. Which is bigger: a or -0.02?
-0.02
Suppose -7*q + 4*q = -4*p + 165, -2*q + p - 110 = 0. Let f = q - -55. Let l be 1*6/(-26)*3. Is f bigger than l?
True
Let m = -11060 + 17342. Is m at most 6284?
True
Let x(l) = l - 19. Let b be x(-5). Let n be (b/(-20)*5)/((-3)/3). Let t be 5*n/(-5) + -2. Is 4 at least t?
True
Let p(s) = s**3 - 3*s**2 + 83*s - 161. Let b be p(2). Is 34/797 less than or equal to b?
True
Let f(u) = 2*u - 29. Let r be f(8). Let l be r/78 + 38/12. Suppose -l*x + 2*x = -1. Is 1/70 at most x?
True
Suppose -2*z + 0 - 4 = 0. Let h be 2 - ((-14)/14 - -3). Which is smaller: h or z?
z
Let c(p) = -p**2 + 8*p - 2. Suppose -14 = -10*s + 16. Let f be c(s). Which is greater: 38/3 or f?
f
Let g = 0.08411 + 66.64589. Let u = g + -0.73. Let q = u + -64. Which is greater: 6 or q?
6
Let i = 513/10 - 16559/230. Which is smaller: i or -20?
i
Let c = -15 + 21. Let u = -5.93 + c. Let j = 395393/11 + -35945. Which is bigger: j or u?
u
Suppose 59 = -5*n - 106. Let t = -61 - n. Suppose -5*f + 11 = 146. Is t not equal to f?
True
Suppose -2*w + 135 = 3*w. Let h be -10 - (-34 - 943/(-41)). Is w > h?
True
Let y be (-400)/(-35)*(-1 + (-27)/(-6)). Suppose y*q = 44*q + 160. Which is smaller: -38 or q?
q
Let z = -2.5222 - -1246.5222. Which is greater: 0.2 or z?
z
Let k(t) = 52*t + 5354. Let w be k(-103). Are w and -75/64 nonequal?
True
Let y be (-18)/42 - (-1140)/(-84). Is 68 at least as big as y?
True
Let s = 2380.23 - 2392. Let g = -3.77 - s. Are 8 and g nonequal?
False
Let m(q) = q**2 + 9*q - 9. Suppose 124 = -26*s - 136. Let p be m(s). Let c = -1504 + 82718/55. Which is bigger: c or p?
p
Let n be 1/(18 - (-74)/(-4)). Let w = 3 + 43. Let x = w + -145/3. Which is bigger: n or x?
n
Let o = 13.4 - -0.9. Let t = o + -14. Let i = -0.3 + t. Which is bigger: i or -15?
i
Let k = -63 + 63. Let d be -4*(-16)/15 - (k + 4). Let p be (2 + -2)/((-1)/(-1)). Which is greater: d or p?
d
Let m be 4/9 - (3116/288 - (39 - 31)). Let l = -17 + 17. Which is smaller: l or m?
m
Suppose 8*t - 22 = 9*t + 5*c, 0 = -2*t - c - 17. Let v be (27 + -17)/(-3 + t/(-11)). Is -4 at most as big as v?
False
Suppose 2*u - 2*r - 140 = 0, 5 + 20 = 5*r. Suppose u*s = 76*s - 24. Let t(q) = q - 23. Let v be t(s). Are v and 2/119 equal?
False
Let q be (12/5)/((-21)/280). Let z = 485 + -282. Let c = z + -236. Which is greater: q or c?
q
Suppose 4*y - 3*c - 801 = -3051, 11*c = -22. Is y at most -566?
False
Let r = -48 + 48.52. Let z = -0.24 + r. Let x = 68 - 68. Is z >= x?
True
Suppose 364 = -5*n + w, 0 = -2*n + 4*w - 2*w - 152. Let s = 105 + n. Suppose -273*p + 8554 = 112*p - 4151. Is s >= p?
True
Let k = -240 - -580. Suppose 0 = -2*a - 8*a + k. Is a not equal to 131/4?
True
Suppose -11*f + 1437 = -7*f + s, -5*f = -2*s - 1806. Let u = -12241/34 + f. Which is greater: u or -1?
u
Let w = -309 + 314. Suppose 0 = -13*j + 8*j - w. Which is smaller: j or -4/59?
j
Suppose 3*m = 4*r + 22, 0 = -4*m + 6*m - 5*r - 24. Let j(w) = -5*w**2 + w. Let x be j(m). Are -25 and x equal?
False
Suppose 3*l - 1 = 2. Let u be ((-875)/75)/(3/(-36)). Let g be (-33)/(-11) + -206*2/u. Which is bigger: g or l?
l
Let n(g) = -3*g - 1. Let q(i) = 2*i + 2. Let v(a) = -3*n(a) - 4*q(a). Let s be v(5). Let r = -9.20179 + 0.90179. Do s and r have the same value?
False
Let t = -715591/4 - -179777. Which is bigger: 878 or t?
t
Let a be (-1002)/((9/(-12))/(42/1232)). Which is greater: 47 or a?
47
Let l = -80.6 - -79.918. Let n = 0.022 + l. Let u = -6.26 - n. Is u at most as big as -2/7?
True
Let m(k) = 6*k**2 - 9*k + 8. Let a be m(1). Suppose -3*t - 149 = 4*q, -q + 233 = -a*t - 0*t. Let o = -148/3 - t. Is 3 at least o?
True
Let t = 22412 - 22373. Let s(g) = 2*g**2 + g + 2. Let w be s(4). Which is greater: t or w?
t
Suppose 4*c - 41 = 3*b, -4*b - 7*c = -5*c + 18. Let k be 0 - b/(-21) - (-91)/291. Is k >= 0?
False
Suppose 0 = 2*z + 13*z - 90. Suppose -5*i - 2*j - 10 = 0, 0 = 3*i - 4*j - 26 + z. Let x be ((-1)/3)/(113/6). Is i at most as big as x?
False
Let m = -5204 + 5014. Is -185 bigger than m?
True
Let f be (-30)/(-9)*12/8 + -97. Let v = 94 + f. Is v smaller than -1?
False
Let j be 14/49 + (-680)/1792. Let p = -3001 + 96173/32. Let g = j - p. Which is greater: g or -5?
g
Suppose -66 = -5*x + 7*x. Let j(p) = p**2 + 6*p - 14. Let y be j(-10). Suppose 586 - y = -16*l. Is x less than l?
False
Suppose -5*t = 4*s + 48 + 13, 0 = -5*s - 5*t - 75. Let c be 3*10/45*-12. Is c not equal to s?
True
Let l be (1/(-19 - -21))/((-4)/(-158488)). Is 19811 > l?
False
Let o = 100 + -147. Let q be -2*(-21 - -22)/(2/(-2)). Which is smaller: o or q?
o
Let l be ((-426)/42 + 10)/((-1310)/4). Let x = l + 4101/1109570. Is 0 at most x?
True
Let o(h) = -6*h + 141. Let q be o(9). Suppose 7*n - 76 - 533 = 0. Is n > q?
False
Let u = -2428/215 + 56/5. Let f(o) = -o**2 - 74*o + 480. Let v be f(-80). Is u greater than or equal to v?
False
Suppose 17*l - 300 = 7*l. Suppose 0 = 128*p - 125*p + l. Which is smaller: p or 2?
p
Suppose 0*z + 4*z + z = -0*z. Do 2/5273 and z have the same value?
False
Let w = -76 + 58.2. Let z = w + 49.8. Let d = 2.4 - 3.4. Which is smaller: z or d?
d
Let t(k) = -24*k - 101. Let b be t(-6). Let u be (4/(-4))/(b/2). Suppose -2*i - 12 = 3*l, 5*i + 0 = -l - 4. Which is smaller: u or i?
u
Suppose 0 = -23*d + 20*d - 36. Let j be (-8)/d*-21 - 0. Let a be (j/(-16) - 1)*6/(-21). Is a less than or equal to 0?
False
Let x = 1686 - 1838.85. Let c = 153 + x. Which is greater: 0.2 or c?
0.2
Let a = -1817/1276 - -38/29. Let i = a - -371/3652. Is 1 bigger than i?
True
Let k = 229 - 51. Let o = -37 + k. Which is bigger: 0 or o?
o
Let h be -2*1/3*-3. Let t be ((-6)/h - (-3 + -5)) + -5. Is 3/388 not equal to t?
True
Let t(q) = -2*q**3 + 93*q**2 - 144*q + 51. Let r be t(45). Which is greater: -353 or r?
-353
Let l = 1368017/20 + -68373. Let y = l + -133/5. Is -1 > y?
False
Let a = 229767 + -2882886551/12547. Are a and -1 non-equal?
True
Let r(x) = -3*x**3 - 10*x**2 + 14*x - 12. Let w be r(-12). Let h be (-2)/5 - w/(-4785). Is 1 less than h?
False
Let y(o) = 2*o**2 - 54*o - 399. Let w be y(-6). Let p = -18 - -19. Let b be p - (-1 + 0)*-5. Which is smaller: w or b?
b
Let n(p) = -p**2 + 3*p + 1. Let o be n(4). Let l = -1660 + 16581/10. Is l smaller than o?
False
Let x = -10263 - -10265. Is -61 less than x?
True
Suppose -5*u = 5*v + 10, 4*v + 3*u - 4*u - 7 = 0. Let l be (v - 1) + (61 - -56). Is l less than or equal to 116?
False
Let j = 0.24 - -0.15. Let y(f) = f + 24. Let c be y(-17). Let h be (-9)/12 - ((-245)/100)/c. Are j and h equal?
False
Let m = -13 + 2. Let b = m - -12. Let a = 3467 + -3473. Do a and b have the same value?
False
Let y(b) = -14*b + 41. Let d be y(3). Let t be 459/(-135) - d*3. Is t greater than -8?
True
Suppose -q - 751 = -2668. Suppose 0 = -11*l + 38*l + q. Is -71 greater than or equal to l?
True
Let n = -379 - 5081. Let j = 21967/4 + n. Let b = 32 - j. Is -1/3 != b?
True
Let j = -7790 - -7211. Which is smaller: -576 or j?
j
Let d = 24124/149965 - 6/1685. Which is greater: d or 1?
1
Let k be 60/(-10)*(-261)/(-6). Suppose 12*d + 2174 = -958. Is d bigger than k?
False
Let g be (-1 - -2)*0 + -70. Let r = 63 + g. Let p = 19 + r. Which is smaller: p or 13?
p
Let c be -5*(-14)/(-35)*11/(-2). Suppose 17*x = -c*x - 56. Which is bigger: -14/9 or x?
-14/9
Let j be (-21)/35 + (-19182)/30. Let g = 639 + j. Which is greater: g or -46?
g
Let c = 489 - 434. Let n = c + -53. Are 29 and n nonequal?
True
Let x = -294 + 293. Let a be (0/12)/9 - (x + 1). Is a less than or equal to -1/9?
False
Let j = 128/3 - 346. Which is greater: j or -303?
-303
Let v be 2331/(-357) + (1 - -6). Let m = -163/238 + v. Is -1 at least m?
False
Let m(b) be the second derivative of -b**4/6 + 23*b**3/6 - 20*b**2 + 2*b - 53. Let u be m(9). Are u and 5 nonequal?
False
Let q = -703 + 261. Let o be q/51*9/66. Is 0 at least as big as o?
True
Let c = -48294 + 48334. Suppose -j + 1 + 39 = 0. Is c greater than j?
False
Suppose 0 = 3*h - 2*p - 3*p + 53, -3*p = 3*h + 21. Let o = h - -10. Let g = 1/379 - 775/6443. Which is smaller: o or g?
o
Let b = -1.1627 + 3.1627. Which is smaller: b or -282?
-282
Let k be (-39)/(-60) + (-4)/10. Let u = 1601 + -1761.2. Let s = u - -165. Does 