et u be p(6). Which is bigger: -2/11 or u?
-2/11
Suppose 49 = -4*u + 5. Let o be u/(33/(-24))*-1. Let k be 10/(-6) + -3 - 2. Is k at most o?
False
Suppose -5*x = 4*j + 145, 3*j + 117 = 45*x - 46*x. Which is bigger: j or -66?
j
Let l = -24.85 - -24.35. Is l at most -45?
False
Let c(b) = 1206*b**3 + 2*b**2 - 9*b + 9. Let o be c(2). Which is smaller: 9645 or o?
9645
Let k be 1/(-3) + (-7)/21. Let w = -121 + 121. Let z be w - (-9 + 1)/(-4) - -2. Is k bigger than z?
False
Let n be ((-6)/(-9))/(((-12)/9)/(-26 - 5268)). Is 2647 > n?
False
Let r = 0.07516 + 0.02484. Is 3145 less than or equal to r?
False
Suppose -4*w = -3*l - w - 8754, -11672 = 4*l - 5*w. Which is smaller: -2916 or l?
l
Let p be (-1249 - 22)*(-12 - -13)/(0 - -1). Is p at least as big as -1270?
False
Let f(o) = 2*o**3 + 16*o**2 - 29*o - 39. Let p be f(-9). Which is bigger: 48 or p?
p
Let q(j) = -j**3 - 4*j**2 + 11*j + 1. Let x be q(-6). Which is greater: 111/20 or x?
x
Let x = -12682 - -18429. Let v = x + -51671/9. Let m = v - -71/9. Are m and 14 equal?
False
Let z = -1.3 - 26.7. Let y = z + 31. Let i = y + -3.2. Do -3.3 and i have different values?
True
Let c = -256 + 213.2. Let g = 44 + c. Let q = -1.3 + g. Is q >= -2/29?
False
Let x = 401 - 180. Let l(c) = 362*c + 9993. Let y be l(-27). Is x bigger than y?
True
Let l = -105 + 148. Let r = l - 41. Let y be 1 + -2 + (0 - (-5 + 3)). Do r and y have different values?
True
Let m = 1644 + -2102675/1279. Let p = -1244270291 + 52516916174762/42207. Let b = p + m. Which is smaller: b or 0?
0
Suppose 541*c - 2361 = 538*c. Suppose 6*p - 793 = -c. Which is smaller: 1/18 or p?
1/18
Suppose 0 = 4*f + 6 + 14. Let k(j) = -j**3 - 4*j**2 + 7*j + 6. Let h be k(f). Let c be (-5 + (1 - h))*(-1)/2. Is c less than -5/11?
False
Let q be -3 - -5 - (-509 + 0)*1. Suppose -q = 12*t - 5*t. Are t and -73 non-equal?
False
Let x(w) = -w**3 + 4*w**2 - 2. Let q be x(5). Suppose 13*l = 47*l + 884. Is l bigger than q?
True
Let l be (-145)/(-4872)*8*1/(-295). Is l >= 0.3?
False
Suppose -5*k - 395 = -5*w - k, -2*w - 5*k + 191 = 0. Let u = w + -85. Let a = -403 + 3617/9. Which is bigger: a or u?
a
Let f = 5.479 + -6.379. Is -37 bigger than f?
False
Let s = 1992.212 + -1992. Is -1/3 at least s?
False
Let a = 46 - 46.018. Let j = -0.118 - a. Let z = -0.14 - 1.16. Is z at least as big as j?
False
Suppose 20 = 4*j - 3*h - 41, -2*j = -5*h - 27. Let u(l) = -2*l**3 - 5*l**2 + 12*l + 33. Let w be u(-4). Suppose -w*y = -37*y + 56. Which is smaller: y or j?
y
Let z be (-109096)/184 - 5/((-805)/(-14)). Which is smaller: z or -596?
-596
Let d be ((-7478)/1247 + 6)/(-4 + -1 + 6). Are 0 and d unequal?
True
Suppose -f - 5*c = -7, 2*f - 2*c - 14 - 12 = 0. Suppose 7*x + 5*u = f*x + 175, -2*u - 44 = x. Is x bigger than -38?
False
Let p = -31 + 10. Let i = -18 - p. Let n be i/(-2)*(-2)/3*47. Which is greater: 46 or n?
n
Let r(g) = 100*g**2 - 1085*g + 47. Let c be r(11). Which is smaller: c or 2346/11?
c
Suppose 0 = -5*a - 4*l + 3, -2*a + 0*a + l = -9. Suppose 2*y + 125 = -a*y. Let g be 6*6*(-6)/9. Which is bigger: y or g?
g
Suppose 47 + 52 = 122*d - 23. Which is smaller: 6/511 or d?
6/511
Let f = -38.4 - -0.4. Let h = 37.407 + 0.493. Let j = h + f. Is 14 < j?
False
Let h = 463.8 + -464.8. Is 0.0949 != h?
True
Let l(b) = -b**3 + b**2 + 4*b - 4. Suppose -7*r = -40 - 2. Suppose 4*m - r*m + 4 = 0. Let o be l(m). Is o greater than or equal to 0?
True
Let p = 1.073 - 1.22. Let y = p - 0.053. Is y less than 95?
True
Let v = -167 + 169. Let q be (-973)/21*(10 + 3 + v). Which is smaller: -696 or q?
-696
Suppose -2*w = -n - 216, -3*w + 79*n + 363 = 84*n. Which is smaller: 86 or w?
86
Suppose -1820 = 5*s + 2*m, -247*s + 242*s - 1795 = -3*m. Is -363 equal to s?
False
Suppose 4*m - 51 + 35 = 0. Suppose -4*x + 2*y + 7 = 5*y, 5*x = -m*y + 10. Is -1 smaller than x?
False
Let a be (-1)/(2*4)*(-79 - 10495). Is 1323 less than a?
False
Suppose -11*j - 62 = 7*j + 46. Which is smaller: -28 or j?
-28
Let z be (2 + -2770 + 22)/(1 + 0). Which is smaller: z or 1?
z
Let r = 311 + -310.626. Let b = -23.626 - r. Is -4/3 greater than b?
True
Let t be ((-74)/(-74))/(1/56). Let f be t/224*(-8)/18. Which is bigger: -4/7 or f?
f
Let k = 18843 + -18874. Is -73 at least k?
False
Let n = 3283 - 22943/7. Let m(g) = 2*g + 6. Let y be m(0). Suppose a + 32 = 5*a - 3*w, 0 = -2*a - 4*w - y. Which is smaller: n or a?
a
Let a = -3139/16 + 196. Let b = a - -87/208. Is b < 1?
True
Suppose 1586*b - 96842 = 1627*b. Which is bigger: b or -2365?
b
Let j = 2596 + -2599. Which is greater: j or 3/259?
3/259
Let v = 21 - 13. Let n = -5 + v. Let w = -13388 - -13384. Which is greater: n or w?
n
Let k = 261.7 - 260.7. Are -0.0819 and k unequal?
True
Let t be 2 + -3 + 12/2. Suppose 0 = -t*i + 3*s - 15, 0 = -2*i + i - 2*s + 10. Which is bigger: -4/415 or i?
i
Let y(b) = 172*b + 2984. Let x be y(-24). Is -1137 greater than x?
True
Let x = -23830 - -12844360/539. Is 1 at most x?
False
Let t = 172 - 174. Let o = 9 - 37. Which is bigger: t or o?
t
Let j = -43 + 100. Let h = j + -56. Which is greater: 9 or h?
9
Let p = 5183 - 5218. Let u = 257/3 - 85. Which is smaller: u or p?
p
Let i(p) = -5*p**2 - 5*p - 14. Let x be i(-3). Suppose -142*o + 215 = -147*o. Are x and o unequal?
True
Let m = -1241 + 1240.1. Is m at least -3?
True
Let k = 63.5 + -84. Let q = k - -109.5. Are q and -1/4 unequal?
True
Let m = -12/13 - -10/13. Let v = -113441 - -113450. Which is bigger: v or m?
v
Let s = -36/107 - -4714/13375. Let q(c) = c**2 - 28*c - 28. Let k be q(29). Let j(x) = x**3 - x. Let f be j(k). Is s at least f?
True
Suppose -65*b - 160 = -4*h - 64*b, -5*b + 19 = h. Which is smaller: 35 or h?
35
Let q be (33985/(-105) - 8/(-12))*-6. Which is smaller: 1940 or q?
q
Suppose 0 = g + g. Let x(m) = m**2 + 12*m + 5. Let f be ((-102)/(-119))/((-2)/28 - 0). Let q be x(f). Do q and g have the same value?
False
Suppose 0 = -9*x - 4*b - 818, 5*b = -3*x - 136 - 144. Does -126 = x?
False
Let n = 16953/50 + -339. Suppose -16*s + 19*s + 3 = 0. Which is greater: n or s?
n
Let u be 1720/(-285) - (-6 + 0). Let r = -3 - -11. Let v(l) = l - 8. Let c be v(r). Is u at most c?
True
Let f be 429/715 + (-21874)/(-10). Which is greater: f or 2187?
f
Suppose 2*g - 4 - 18 = 2*u, -29 = -2*g - 5*u. Let q be (-1)/(g/24) - 66*1. Which is bigger: q or -62?
-62
Suppose -4*z - 4*z = -7*z. Which is greater: 9/386 or z?
9/386
Suppose 0 = 4*l + 5*m - 30, -15*l + 18*l - m + 6 = 0. Is 5/3847 at most as big as l?
False
Suppose 29*q - 41*q = -63*q - 7293. Is -142 less than q?
False
Let p = -18 + 33. Let z be (-66)/(-297) + 46*10/36. Which is smaller: z or p?
z
Let n be (-14 - -9 - -1)/4. Suppose -u = -0*u, 0 = 3*g - 5*u + 21. Is g not equal to n?
True
Let z be 9*(-94)/(-3)*(190/57 - 3). Which is bigger: 4 or z?
z
Let p be (7/28)/(2/16). Suppose -2*n + 12 + 13 = -b, -48 = 2*b - p*n. Is b > -28?
True
Let a be (-197)/7 + -4 - 4/(-28). Let z = a - -26. Does z = -4?
False
Let s = 37 + -37. Let m(b) = 5*b - 26. Let q be m(s). Which is bigger: q or -1?
-1
Let n = -97342 - -97275.037. Let f = -12970 - -13037. Let o = f + n. Which is greater: o or -1?
o
Suppose 0 = 5*i + 60 - 90. Suppose -5*n + 10 = 4*j, 2*j + i = 2*n + 2. Is j < 6/133?
True
Let y = -127684 - -127683. Let b = 3 - 2. Let t be (0 + (-2)/(-14))/b. Which is smaller: t or y?
y
Let s be 2/22 + 327/33. Let i be s/14*(-60)/(-150). Let u = -71 - -357/5. Which is smaller: i or u?
i
Suppose -4*t + 3*g + 44 = 0, -3*g + 6*g = -2*t + 4. Let n be (-24)/t - (-4 - (2 - -1)). Suppose -n*q - 225 + 85 = 0. Which is bigger: q or -1/2?
-1/2
Let u be 18*(-2)/(-6) - 2. Let r be ((-10)/u)/(13/(-260)). Is r < 51?
True
Let o = -87 + 84.94. Let l = -3.06 - o. Which is smaller: l or -82?
-82
Let r be 6/16 - (-12764835)/(-3352). Which is smaller: r or 0.1?
r
Let h = 224 + -507. Let g = 282 + h. Let m = 2282/5 - 458. Which is smaller: m or g?
m
Let x = 3611 - 3366.1. Let v = x - 243. Are -4/13 and v equal?
False
Suppose 3*p = 3*u - 105, -u + 0*u = -3*p - 95. Let g(v) = -30*v**2 - 205*v - 181. Let m be g(-6). Which is smaller: m or p?
m
Suppose -4*a + 30 = -5*t - 92, 2*a + 4*t - 48 = 0. Suppose -a*i + 11 = -39*i. Which is bigger: 6/47 or i?
6/47
Suppose -4*l - 27 = -h, -2*l - 5*h + 6 - 47 = 0. Let p be -1*12/l*132/9. Do p and 0.2 have the same value?
False
Let f = 15 - -6. Supp