t. Is 16 <= k?
False
Let a = 89/3 + -29. Let m = -1776121 - -772611941/435. Let t = -2/435 + m. Which is bigger: t or a?
a
Suppose 6*l - 130 = -4*l. Let s = l + -9. Suppose -28 = -0*u + s*u. Which is greater: u or -5?
-5
Let i be 76/(-126) - (-4)/(-14). Let g(f) = f. Let o(u) = u + 14. Let l(y) = 2*g(y) - o(y). Let t be l(14). Is i at least as big as t?
False
Let l = 5.7 + 0.3. Let z = -0.3916 + -4.6084. Let u = z + l. Which is bigger: 0.1 or u?
u
Let o(i) = i**2 + 9*i - 11. Let b be o(4). Let a = b + 141. Suppose -2*t + a = -5*t + j, 3*t - 4*j = -188. Is -61 at least as big as t?
False
Let i(y) = -y**3 + 20*y**2 - 8*y + 179. Let p be i(20). Which is greater: p or 570/29?
570/29
Suppose -n = 7 - 12. Suppose -2*y + 1 - 11 = -3*b, n*y = -4*b - 2. Let c be 544/(-51) + 1/b*4. Is -8 smaller than c?
False
Suppose 8 = -2*j - 3*u + 72, j - 39 = 2*u. Let d be 384105/13050 + (7 - 1) + 2/5. Which is bigger: j or d?
d
Suppose -1152854 = 266*y - 8077632. Which is smaller: y or 26032?
26032
Let v = 5 - -4. Let i = -203.61 + 4.61. Let u = -201 - i. Which is smaller: v or u?
u
Let q(p) = 2*p**3 + 49*p**2 + 87*p + 1710. Let n be q(-24). Is n at least as big as -1/3?
True
Let d be 14 - 3380/240 - (-122)/24. Which is smaller: -1/369 or d?
-1/369
Let o = 5428 - 3495. Which is smaller: o or 1931?
1931
Let o = 0.16 + -0.06. Let r(c) = -c**3 + 6*c**2 - 4. Let u be r(6). Let b be 14/(-4)*u/(-2). Which is smaller: o or b?
b
Let w(i) = -21*i - 629. Let y be w(-30). Let q be 85/338 + 9/(-36). Which is bigger: y or q?
y
Let j be (0 - (-44)/(-161)) + (-4)/(-14). Let c = j - 487/322. Is c smaller than -2?
False
Let k be (-2)/(-3)*(2 + 4 + 39). Let z be (2/(-18))/(4 + k/20). Is z <= 0?
True
Let b = 2.1145 - 0.1145. Let j = -8.8 + -0.2. Do j and b have the same value?
False
Let a = -6002 + 10354. Does a = 4353?
False
Let w(o) = -15*o + 75. Let k be 11 + -6 + (-4 - -4). Let u be w(k). Which is greater: u or -8/11?
u
Suppose -42 = 2*m + 76. Let h(d) = 2*d**3 - d**2 + 4*d + 15. Let z be h(-3). Let o = z - m. Are o and -2 nonequal?
True
Let t be 2/15 - (-41728)/(-17760). Let h = 1183/851 + t. Which is smaller: -1 or h?
-1
Let v be -5*(539/220)/49. Which is bigger: v or 23/63?
23/63
Suppose 3*j + 82 = 4*s + s, -2*s + 4 = 0. Let f = j + -129. Is -152 smaller than f?
False
Let q = -837101/761 + 1100. Let s = -1253/204709 + q. Let x be 60/((-90)/9) + -2 + 7. Is s smaller than x?
False
Let w be 1/(0 - 1/11). Suppose 1381*i = 1407*i + 286. Is i not equal to w?
False
Let a = -1 + 5. Suppose -z - 3*c - 30 = 0, a*c - 74 = 4*z + z. Let l = -19 - z. Which is greater: l or 6/17?
6/17
Let s = 1698 - 1698. Are -1/727 and s equal?
False
Let c(o) = o**3 - 10*o**2 + 10*o + 6. Let u be c(9). Suppose -240 = u*s + 135. Which is smaller: s or -24?
s
Suppose 25*w - 50*w = -53*w + 168. Is w bigger than 127/25?
True
Let u be 123/(-225) - 2/(-3). Suppose -2*y = 4*o - 14, 4 = 2*y - y - o. Suppose 5*i + 2*t + 4 = 0, 10*i - 4*t - 8 = y*i. Which is bigger: i or u?
u
Let u = 33.008 + -0.008. Let o = -263.6 - -263.5. Which is smaller: o or u?
o
Let r = 3220 - 3205.8. Let p = -15.1 + 1.1. Let v = r + p. Is v at most as big as -0.9?
False
Let f(r) = -2*r**2 + 19*r - 22. Let m be f(8). Let p be (3 - 2)*-6 - (m + -8). Which is greater: 45 or p?
45
Let n = 639.2 - 638.2. Is n greater than or equal to -17/325?
True
Let b = 2902.6 - 2902.5. Is -62/77 greater than b?
False
Let x = -23378 + 5073028/217. Do x and 0.75 have the same value?
False
Suppose -4*o - 1208 = -2*o. Suppose 1207 = -2*p - 3*l, 610 = -p + 28079*l - 28074*l. Is p less than o?
True
Let g = -0.4744 + -0.5256. Which is greater: 1572 or g?
1572
Let i be (-4)/18 - (4272/27)/8. Let l = -378 - -360. Is l bigger than i?
True
Let v(a) = 5*a - 24. Let x be v(5). Let c(o) = 336*o**2 + 6*o - 6. Let d be c(x). Let k be d/(-420) - (-1 - (-422)/(-40)). Which is bigger: 12 or k?
12
Suppose 3*v + 95 - 47 = 0. Let h be v/6*(-3)/(-204). Suppose j + t = -3*t, 4*j = 5*t. Is h equal to j?
False
Let n(w) = w**2 + 204*w + 3007. Let a be n(-16). Which is smaller: -38/447 or a?
a
Let j = 269 - 161. Suppose -4*h = -h - j. Let n(a) = 5*a**2 + 194*a - 1360. Let t be n(-45). Is h < t?
False
Let y = 7 - 28. Let h = 18 - -4. Let g = y + h. Which is smaller: -5 or g?
-5
Suppose 0 = -7*c + 11*c + 2808. Let w = c - -515. Which is bigger: -186 or w?
-186
Let u = -0.23 + 0.14. Let l = 3/335 + 83/5695. Let c = l - -77/340. Is c != u?
True
Let h = 2 - 4. Let c(g) = -2*g + 1. Let z be c(h). Let u(b) = b**3 + 15*b**2 + 21*b - 62. Let j be u(-13). Which is bigger: z or j?
z
Let s = -425 + 504. Suppose 0 = -3*b - 283 + s. Which is smaller: b or -70?
-70
Let p = -108 + 109. Which is smaller: p or -48/221?
-48/221
Let p be -1 + (194/(-8) - 1). Let k be 157/(-6) - 23/(-138). Let z = p - k. Which is smaller: 0.2 or z?
z
Let k be -19230*((-25)/20 - (-8)/(576/42)). Is k not equal to 12819?
True
Suppose 0*u - 4*u - x + 7 = 0, 3*u = -2*x + 4. Suppose 7*q - 5*q = u. Do 1/12 and q have the same value?
False
Suppose 2*x - w = 20 - 2, -w - 7 = -x. Suppose 16*l = x*l + 110. Suppose -l*q = -23*q + 15. Which is bigger: q or 16?
16
Let l = -0.62709 - -0.72709. Suppose 5*b - 720 = 8*b. Which is bigger: b or l?
l
Let r = -3061 - -3059. Is -72/49 not equal to r?
True
Suppose -24333 = 4*l - 3*b, 0 = -79*l + 76*l + 4*b - 18241. Is -18259/3 greater than or equal to l?
True
Let o = 1910 - 1944. Let d = 29 - -5. Let m = o + d. Is m less than 2?
True
Let f = -89 - -89.75. Let k = f + -73.75. Which is smaller: 0 or k?
k
Let p be ((-2)/23)/(((-3)/120)/(36/150)). Which is greater: p or 1?
1
Let p be (-9)/126*(-2)/1. Suppose 0 = -r - 4*s - 0 - 9, 5*s = -5*r - 15. Which is smaller: p or r?
r
Let d = -1630 - -1629. Is -298 at least d?
False
Suppose s - 1437 + 6547 = u, -10210 = 2*s + 3*u. Which is greater: -5111 or s?
s
Let a = -8716 - -8715. Which is bigger: -59/194 or a?
-59/194
Let r = 195 - 274. Let k = -835.8 - -763. Let j = r - k. Is j at most 0?
True
Suppose 32*k - 3211 - 63957 = 0. Is 1 greater than or equal to k?
False
Let m = 18485 + -23958. Is m != 2/7?
True
Let v = -105775/287 - -11/41. Let j = v + 368. Does j = 299?
False
Let l(c) = 9*c + 411. Let w be l(31). Is w at least 688?
True
Let m = 267 + -266.79. Let d = 0.01 - m. Let o = -45 - -75. Is d smaller than o?
True
Suppose 7*g - 5*j + 15 = 12*g, 2*g - 4*j = 36. Let a be g/6 - 20/(-30). Is a >= -9?
True
Let r(o) = -2*o + 13. Let x(l) = -2*l + 14. Let h(p) = 3*r(p) - 4*x(p). Let q be h(5). Let b = -36 + q. Is b smaller than -1/4?
True
Let n be ((-660)/(-72) - 9)*3*2. Which is smaller: n or 2/1213?
2/1213
Let b = 47141 + -44735. Which is smaller: b or 2404?
2404
Let x be -7 + ((-261)/8700)/((-12)/1805). Are x and -3 non-equal?
True
Let t be (3 + (-18)/2 - -3) + 14. Let u be 35 + t + 1/(-1). Is u smaller than 218/5?
False
Let u(c) = -2*c**3 - 179*c**2 + 451*c + 277. Let l be u(-92). Which is smaller: l or 1100?
1100
Suppose -3*n - n + 4*m + 232 = 0, 5*m = n - 38. Let s = -62 + n. Suppose 3 = -3*w + 3*g, s = -2*w + w + 3*g. Is -2/29 at least as big as w?
True
Let z(p) be the third derivative of -5*p**4/24 - 23*p**3/6 + 22*p**2. Let i be z(4). Let f = i - -44. Do f and -15 have the same value?
False
Let n = 4103/61285 - -1/3605. Is n > 0?
True
Suppose -45*w + 3*i = -42*w - 360, -w = -2*i - 125. Let p = -53 - -169. Is w bigger than p?
False
Let u = 2330 + -2323. Let l(a) = 6 + 8 - a + 5*a. Let d be l(u). Is 42 at most as big as d?
True
Let k = -92 - -91. Let y be -3 + -1 - 24/k. Suppose -3*g = 5*n - 94 - 11, 4*n - 84 = 4*g. Is n != y?
True
Let u = -0.99824 - 0.00176. Which is bigger: u or -38/3?
u
Let i = 7547 - 2271649/301. Suppose -3*x - 29 = 26*x. Which is greater: i or x?
i
Let k = 6254.976 + -6255. Is k greater than 7?
False
Let j = -111203 - -1335865/12. Which is greater: 118 or j?
j
Let g = -4.8019 + -0.0881. Which is bigger: g or -1?
-1
Let d be 45/8 + 6/16. Suppose -11 = -5*l - d*l. Let s be 0 + 6*(6/4 - l). Which is greater: s or -1.7?
s
Let t(q) = 21*q + 71. Let y be 1*(-8 + 2)*6/4. Let o be t(y). Which is greater: -119 or o?
o
Suppose p - 4*p + 849 = 999. Is 6 > p?
True
Let y = -352 - -496. Let c = -148 + y. Is 1/19 at most c?
False
Let m be (-95)/35 - -3 - 2479385/9339715. Let z = -6/1427 + m. Which is bigger: -1 or z?
z
Let t be (6/7)/(-1)*(14 +