k be (-442)/(-105)*7*36/20. Is 54 > k?
True
Suppose -3*t - 39*h + 10083 = 0, 26*h - 29*h - 17077 = -5*t. Is t equal to 3412?
False
Let x = -3030 - -3030. Is x <= -62/65?
False
Let y be 2/16*3126/36. Let s = -65/6 + y. Let l(q) = q**2 + 3*q. Let m be l(-3). Which is greater: m or s?
s
Let l = 10288 + -10289. Is l equal to -602?
False
Let z be (-4 + 45 + 4)/((-19)/(-2641)). Which is bigger: 6256 or z?
6256
Let b be 25 + -2*30/(-10). Suppose -b*r + 22*r = 18. Is r bigger than 19?
False
Let g = -1/26757 + 7090724/3184083. Let b = -16/7 + g. Let v be 0/(5/(5/4)). Is v < b?
False
Let j = -904 + -1096. Which is greater: j or -1999?
-1999
Suppose -5*t + 35 = 0, -46*t = -2*x - 42*t. Let g(b) = -10 - b**2 - 11*b + b + 1. Let r be g(-7). Is x at most r?
False
Let r(f) = 7*f**2 + 165*f - 72. Let g be r(-24). Which is smaller: -1/225 or g?
-1/225
Let k(z) = z**2 - 53*z + 23. Let x be k(32). Let i = x + 597. Is -61 greater than or equal to i?
False
Let f be (-1)/5 + ((-708)/15)/4. Let q = 15 + f. Which is smaller: 20/11 or q?
20/11
Suppose 2*k + 2*d - 19 - 15 = 0, 5*k - 85 = 2*d. Suppose -40 = -r - 4*f, -13*r + f + 35 = -11*r. Are k and r unequal?
True
Let d(c) = -c + 13. Let j = 157 + -154. Let p be d(j). Is p greater than 9?
True
Let q(m) = 2*m**3 - 4*m**2 - 40*m + 1. Let u be q(7). Which is bigger: 0.1 or u?
u
Let s be 72/(-1060) + (-24)/(-120). Does 1 = s?
False
Let a = 331.3 - 331.5. Which is bigger: a or 5443?
5443
Suppose j + 57 = -5*u + 4*j, 3*j = 4*u + 48. Let h = 12 + u. Let k be h/106*(-9)/((-27)/2). Is k > 0?
True
Suppose -3*t + 116 = 5*j, -8*t = -7*t + 3. Let z be (1 + j/3)*(-411)/274. Are 2/21 and z nonequal?
True
Suppose -x = w + 4*w + 23, -5*x = 5*w + 15. Let l = -160 + 165. Suppose -l*m = 2*k - 25, 0*m + 4*m = -2*k + 22. Is m less than x?
False
Let u = -539 + 342. Let c = u - -195. Is -0.6 equal to c?
False
Let m(u) = -17*u - 10. Let a be -1*(-1)/(-2)*2. Let d be m(a). Let o be (-2)/9 + 195/27. Are o and d unequal?
False
Suppose 15 = 5*v, -3*a = -4*v - 0 + 15. Is 2/18059 != a?
True
Let x = -103 + 27. Let v = x + 49. Let t be (-4)/10 - (-12012)/(-420). Which is bigger: t or v?
v
Suppose 0 = -11*y - 254*y - 3511515. Is -13253 < y?
True
Let c be ((-3539)/(-6) + 0)*(1404/(-48))/(-39). Is 443 smaller than c?
False
Suppose -w + 1 = 4*x, -3*x - 35 = -4*w - 12. Let b = 1 - w. Let o be 20/10*50/b. Which is smaller: o or -24?
o
Let g = 32647 - 32646. Is -7.708 > g?
False
Let n = 2308 - 864. Suppose -15*j = n + 2216. Which is smaller: -245 or j?
-245
Suppose 4*u = 2*l - 64, -7*u + 3*u - 184 = -5*l. Let k be 5/l*(-1940)/15. Which is smaller: k or -15?
k
Let h(p) = 43*p + 2228. Let s be h(-52). Do s and -8 have different values?
False
Let s = -43278 - -43272. Let g be 4/(-14) - (-153)/(-28). Is g at least s?
True
Let b = -0.2 - -0.3. Let n = 71 - 82. Let s = 21 + n. Which is smaller: b or s?
b
Let d be (-2)/(-6) - ((-10101)/1517 - (-6 + -1)). Let b = 12 + -12. Are b and d nonequal?
True
Let c = -531 + 494.3. Let k = c + -143.3. Is k > 1/2?
False
Let r = -1298 + 2386. Let f = r - 29383/27. Which is smaller: -1 or f?
-1
Let o = -0.06016 - 0.24584. Which is smaller: o or 9?
o
Let o be (-136)/(-22) + (-36)/198 - 6. Which is smaller: o or -2/303?
-2/303
Let a(g) = 4*g**3 - 5*g**2 - 35*g + 6. Let v(t) = -3*t**3 + 4*t**2 + 36*t - 5. Let b(x) = 2*a(x) + 3*v(x). Let u be b(9). Are -226 and u nonequal?
True
Let q be (-22 - -3)/((-33)/(-36) - 1). Let z = -229 + q. Let y be (-2)/((-2)/10*2). Which is greater: y or z?
y
Suppose 0 = 13*f - 148 - 99. Suppose 23*v - 4 = f*v. Let w = 28/29 + 212/261. Which is smaller: w or v?
v
Let d = 5981 + -5981.07. Is 4.58 greater than or equal to d?
True
Let a be ((-18)/(-1))/(-3) - (17 - (-23814)/56). Is 1 at most a?
False
Let p = 71 - 70.66. Let t = -243.34 + 246. Let i = t + p. Which is bigger: i or -1?
i
Let i = 410381 - 28725931/70. Let b = -21/2 + i. Is -1.6 >= b?
False
Let l = -2/15 + -7/60. Let v(n) = -2*n**2 - 50*n - 30. Suppose c = -8*t + 4*t - 96, -117 = 5*t + 2*c. Let m be v(t). Which is smaller: l or m?
m
Let z(n) = -n + 10. Let l be z(6). Let d be l/(-14) - 24/(-182). Let p = 85577 - 85574. Is d equal to p?
False
Let l(r) = 12*r - 133. Let t be l(79). Which is smaller: t or 814?
814
Let q be 4/(-35) + (-2)/(-5). Let v = 186428 + -186430. Which is smaller: v or q?
v
Let q = -2.7 - -2.4. Let g = 997.37 + -997. Is q >= g?
False
Let q be (-12)/102976*-12*(4 + 91/(-21)). Which is bigger: q or 0?
0
Let k be (-1)/(-4) + 7/4. Suppose 0 = 2*p + 4*v, k*v + v = 0. Suppose h - 11 = 2*a, p*h - 4*h + 4*a = -48. Is 11 at least as big as h?
False
Let u = -82.784 + 82.74. Which is smaller: -162 or u?
-162
Let f be 20/(-14) - 4185264/(-2929234). Is 0 >= f?
False
Let m be (-3330)/(-17150) + 20/(-100). Is m < -0.7?
False
Suppose 2*m + 45*p - 44*p - 29 = 0, 2*m + 3*p - 31 = 0. Suppose 0 = -3*k - k - 4. Let i(u) = 16*u**2 - 1. Let s be i(k). Do s and m have the same value?
False
Suppose 90*m - 57*m = 6698 + 13795. Is m bigger than 620?
True
Suppose 0 = 4*q + q. Suppose q*v - 60 = -4*h - 4*v, 4*v = -h. Suppose h*k = 23*k + 3. Which is smaller: -19 or k?
-19
Let q(x) = 3*x + 3. Let u(g) = 8*g + 8. Let z(w) = 17*q(w) - 6*u(w). Let o be z(-3). Let t(k) = -k**3 - 6*k**2 - 4. Let c be t(-6). Is c at most as big as o?
False
Suppose 12*v = -334 + 94. Suppose q - 28 = 5*z + 5, 2*q = 3*z + 31. Let n = q + -28. Is n greater than or equal to v?
True
Let m = -131 - -20. Let z be (-1 - m/118)/(2/(-4)). Let p = z + -403/413. Which is bigger: 3/5 or p?
3/5
Let c be ((-66)/(-21) + -2)/(948/(-3318)). Let x be ((-4761)/(-366))/(-3)*1. Let h = x + 1/366. Which is smaller: h or c?
h
Let x be (-11)/(44/(-6))*(-872)/(-3). Let v = -162 + x. Suppose -v - 194 = 9*d. Is d less than -52?
False
Let b be (-6)/9 + 3 + 1028/3. Suppose b*h = 350*h - 195. Which is smaller: 42 or h?
h
Let g = 415461/70 + -5935. Let p = 113/630 - g. Is -1/4 less than or equal to p?
True
Let l(v) = -9*v**3 + v**2 - 11*v - 2. Let y(f) = -4*f**3 - 6*f - 2. Let a(r) = 3*l(r) - 7*y(r). Let u be a(-2). Which is bigger: 1 or u?
1
Let j = -86 + 91. Suppose 0 = 4*f + 5*n - 2350, 3*f - 2091 = j*n - 346. Are f and 584 nonequal?
True
Let f = 1.08 - 1.3. Let v = 0.33 + f. Let x = -34961/4 + 8740. Is x at least v?
False
Let i = 20105 + -20105. Which is smaller: 18592 or i?
i
Suppose -x + 3 = -30. Suppose -29*r = -26*r - x. Suppose 6*c = r*c + 35. Is c greater than or equal to -8?
True
Suppose 0 = -2*t - 5*a, 3*t + a - 8 = 5. Let f be 12/t*200/(-80). Let z(o) = o**2 - 6*o + 3. Let n be z(4). Is n at least as big as f?
True
Suppose 61*k - 49*k + 11 + 1 = 0. Which is bigger: k or -2/15911?
-2/15911
Suppose -i = -5*t - 241, 3*t - 2*i = i - 135. Let z be -3*(2 - 1) + t. Let s be ((-2)/5)/(z/20). Which is greater: s or -2/3?
s
Let f(b) = b**3 - b + 1. Let g(r) = -r**3 + 7*r**2 - 6*r + 1. Let c be g(6). Let a be f(c). Let i = -647/48 - -215/16. Which is smaller: a or i?
i
Let x be (0 - -8)*(5 - 3). Suppose -u = -x + 14. Let z be 50/7*-2*u/10. Is z > -1?
False
Let l be (-187)/(-105) - (-2)/7. Let s = -8/1455 + -3484/1455. Let o = s + l. Which is greater: 5 or o?
5
Let l = 23 - 23.04. Let g = 9.04 + l. Let d = -8.91 + g. Which is smaller: d or 2?
d
Let a = -502 - -310. Let j be (8/(-20))/((-15)/(-75)). Which is smaller: a or j?
a
Let z be 4 + (-2)/1 - (380/(-55) + 3). Is z less than or equal to 5?
False
Let j = -825571 - -10722200/13. Suppose -5*p - 3938 = 3*l, -5*p + 2*p - 5*l = 2366. Let t = p - j. Is t <= -1?
False
Let y be (-2 - 1) + (-4469)/(-17). Let n = -260 + y. Let j = -1138 + 1130. Is n equal to j?
False
Suppose 157432 = -141*g - 59231 + 42246. Which is smaller: -1235 or g?
g
Let q = -53 + 57. Suppose -2*y + 6*b - 28 = 4*b, -q*y = -2*b + 48. Which is smaller: 7 or y?
y
Let u be 9/48 - ((-990)/(-160) + -6). Which is bigger: 128/323 or u?
128/323
Let r(o) = -o**3 + 67*o**2 - 53*o - 442. Let u be r(66). Are u and 419 equal?
False
Let m(l) = -l + 19. Let q be m(14). Suppose q*a + 1 + 25 = -r, -2*a - 14 = 4*r. Let y be (-4)/42*6 + 111/(-63). Which is greater: r or y?
r
Let y = 47 - 142/3. Suppose 3*d - 4*f - 173 = 0, -10*d + f = -5*d - 260. Does d = y?
False
Suppose -5*c + 2*n = 7, -3*n = 3*c + 23 - 2. Let h(y) = -2*y + 34. Let d be h(c). Is d greater than or equal to 38?
True
Suppose -1096 = 5*l - l. Le